runsolver version 3.4.0 (svn: 3018) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 15859 MiB (13152 MiB free)
  memory of node 1: 16087 MiB (13561 MiB free)
  node distances:
     10  21
     21  10

command line: runsolver -W 1800 ./pigeonPurSampling.py ./benchmarks2/sat-2002/goldberg/fgpa_routing/example2_gr_2pin_w5.shuffled.cnf 

running on 1 cores: 7

Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Linux 4.18.0-301.1.el8.x86_64
solver pid=1276273, runsolver pid=1276272
Current StackSize limit: 8192 KiB


[startup+0.100119 s]*
/proc/loadavg: 0.40 0.08 0.14 14/569 1276275
/proc/meminfo: memFree=27325936/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=41084 memory=13620 CPUtime=0.03 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 2233 0 0 0 3 0 0 0 20 0 1 0 398715411 42070016 3405 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 2 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 10271 3405 1505 2 0 2683 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 13620 KiB

[startup+0.222159 s]*
/proc/loadavg: 0.40 0.08 0.14 10/569 1276275
/proc/meminfo: memFree=27304720/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52092 memory=24772 CPUtime=0.14 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5071 0 0 0 13 1 0 0 20 0 1 0 398715411 53342208 6193 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13023 6193 1505 2 0 5435 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 52092 KiB
Current children cumulated memory: 24772 KiB

[startup+0.321154 s]*
/proc/loadavg: 0.40 0.08 0.14 12/569 1276275
/proc/meminfo: memFree=27304184/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52092 memory=24772 CPUtime=0.22 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5072 0 0 0 21 1 0 0 20 0 1 0 398715411 53342208 6193 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13023 6193 1505 2 0 5435 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 52092 KiB
Current children cumulated memory: 24772 KiB

[startup+0.701158 s]
/proc/loadavg: 0.40 0.08 0.14 11/569 1276275
/proc/meminfo: memFree=27303360/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52092 memory=24772 CPUtime=0.54 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5072 0 0 0 53 1 0 0 20 0 1 0 398715411 53342208 6193 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13023 6193 1505 2 0 5435 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 52092 KiB
Current children cumulated memory: 24772 KiB

[startup+1.50616 s]
/proc/loadavg: 0.40 0.08 0.14 11/569 1276275
/proc/meminfo: memFree=27302956/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52092 memory=24772 CPUtime=1.32 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5073 0 0 0 131 1 0 0 20 0 1 0 398715411 53342208 6193 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13023 6193 1505 2 0 5435 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 52092 KiB
Current children cumulated memory: 24772 KiB

[startup+3.12316 s]
/proc/loadavg: 0.40 0.08 0.14 11/569 1276275
/proc/meminfo: memFree=27303124/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52092 memory=24772 CPUtime=2.89 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5082 0 0 0 288 1 0 0 20 0 1 0 398715411 53342208 6193 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13023 6193 1505 2 0 5435 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 52092 KiB
Current children cumulated memory: 24772 KiB

[startup+6.30316 s]
/proc/loadavg: 1.01 0.21 0.18 12/569 1276275
/proc/meminfo: memFree=27303040/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52092 memory=25036 CPUtime=5.99 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5137 0 0 0 598 1 0 0 20 0 1 0 398715411 53342208 6259 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13023 6259 1505 2 0 5435 0
Current children cumulated CPU time: 5.99 s
Current children cumulated vsize: 52092 KiB
Current children cumulated memory: 25036 KiB

[startup+12.7012 s]
/proc/loadavg: 1.57 0.34 0.22 13/569 1276275
/proc/meminfo: memFree=27300832/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52356 memory=25564 CPUtime=12.24 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5287 0 0 0 1223 1 0 0 20 0 1 0 398715411 53612544 6391 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13089 6391 1505 2 0 5501 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 25564 KiB

[startup+25.5012 s]
/proc/loadavg: 2.99 0.72 0.35 14/569 1276275
/proc/meminfo: memFree=27300492/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52356 memory=25564 CPUtime=24.72 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5296 0 0 0 2471 1 0 0 20 0 1 0 398715411 53612544 6391 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13089 6391 1505 2 0 5501 0
Current children cumulated CPU time: 24.72 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 25564 KiB

[startup+51.1212 s]
/proc/loadavg: 4.85 1.34 0.56 13/569 1276283
/proc/meminfo: memFree=27296156/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52356 memory=25828 CPUtime=49.68 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5305 0 0 0 4967 1 0 0 20 0 1 0 398715411 53612544 6457 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13089 6457 1505 2 0 5501 0
Current children cumulated CPU time: 49.68 s
Current children cumulated vsize: 52356 KiB
Current children cumulated memory: 25828 KiB

[startup+102.301 s]
/proc/loadavg: 6.80 2.41 0.97 13/568 1276293
/proc/meminfo: memFree=27294168/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52488 memory=25828 CPUtime=99.56 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5326 0 0 0 9955 1 0 0 20 0 1 0 398715411 53747712 6457 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13122 6457 1505 2 0 5534 0
Current children cumulated CPU time: 99.56 s
Current children cumulated vsize: 52488 KiB
Current children cumulated memory: 25828 KiB

[startup+162.301 s]
/proc/loadavg: 7.96 3.53 1.45 12/569 1276303
/proc/meminfo: memFree=27293940/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52624 memory=25828 CPUtime=158.07 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5351 0 0 0 15806 1 0 0 20 0 1 0 398715411 53886976 6457 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13156 6457 1505 2 0 5568 0
Current children cumulated CPU time: 158.07 s
Current children cumulated vsize: 52624 KiB
Current children cumulated memory: 25828 KiB

[startup+222.301 s]
/proc/loadavg: 8.06 4.36 1.87 12/569 1276313
/proc/meminfo: memFree=27292768/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52624 memory=26092 CPUtime=216.55 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5372 0 0 0 21654 1 0 0 20 0 1 0 398715411 53886976 6523 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13156 6523 1505 2 0 5568 0
Current children cumulated CPU time: 216.55 s
Current children cumulated vsize: 52624 KiB
Current children cumulated memory: 26092 KiB

[startup+282.301 s]
/proc/loadavg: 8.55 5.19 2.31 12/569 1276322
/proc/meminfo: memFree=27292000/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52756 memory=26092 CPUtime=275.06 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5395 0 0 0 27505 1 0 0 20 0 1 0 398715411 54022144 6523 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13189 6523 1505 2 0 5601 0
Current children cumulated CPU time: 275.06 s
Current children cumulated vsize: 52756 KiB
Current children cumulated memory: 26092 KiB

[startup+342.301 s]
/proc/loadavg: 8.34 5.74 2.68 12/568 1276331
/proc/meminfo: memFree=27290260/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52892 memory=26092 CPUtime=333.56 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5418 0 0 0 33355 1 0 0 20 0 1 0 398715411 54161408 6523 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13223 6523 1505 2 0 5635 0
Current children cumulated CPU time: 333.56 s
Current children cumulated vsize: 52892 KiB
Current children cumulated memory: 26092 KiB

[startup+402.301 s]
/proc/loadavg: 8.23 6.18 3.02 12/568 1276341
/proc/meminfo: memFree=27290184/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=52892 memory=26356 CPUtime=392.08 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5442 0 0 0 39207 1 0 0 20 0 1 0 398715411 54161408 6589 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13223 6589 1505 2 0 5635 0
Current children cumulated CPU time: 392.08 s
Current children cumulated vsize: 52892 KiB
Current children cumulated memory: 26356 KiB

[startup+462.301 s]
/proc/loadavg: 8.17 6.54 3.35 13/567 1276350
/proc/meminfo: memFree=27287032/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=53028 memory=26356 CPUtime=450.53 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5464 0 0 0 45052 1 0 0 20 0 1 0 398715411 54300672 6589 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13257 6589 1505 2 0 5669 0
Current children cumulated CPU time: 450.53 s
Current children cumulated vsize: 53028 KiB
Current children cumulated memory: 26356 KiB

[startup+522.301 s]
/proc/loadavg: 8.12 6.83 3.65 12/567 1276360
/proc/meminfo: memFree=27287640/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=53168 memory=26356 CPUtime=508.97 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5486 0 0 0 50896 1 0 0 20 0 1 0 398715411 54444032 6589 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13292 6589 1505 2 0 5704 0
Current children cumulated CPU time: 508.97 s
Current children cumulated vsize: 53168 KiB
Current children cumulated memory: 26356 KiB

[startup+582.301 s]
/proc/loadavg: 8.27 7.10 3.94 12/567 1276370
/proc/meminfo: memFree=27287104/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=53168 memory=26620 CPUtime=567.45 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5506 0 0 0 56744 1 0 0 20 0 1 0 398715411 54444032 6655 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13292 6655 1505 2 0 5704 0
Current children cumulated CPU time: 567.45 s
Current children cumulated vsize: 53168 KiB
Current children cumulated memory: 26620 KiB

[startup+642.304 s]
/proc/loadavg: 8.33 7.33 4.22 13/569 1276376
/proc/meminfo: memFree=27287316/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=53300 memory=26620 CPUtime=625.92 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 5529 0 0 0 62590 2 0 0 20 0 1 0 398715411 54579200 6655 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 13325 6655 1505 2 0 5737 0
Current children cumulated CPU time: 625.92 s
Current children cumulated vsize: 53300 KiB
Current children cumulated memory: 26620 KiB

[startup+702.305 s]
/proc/loadavg: 8.56 7.60 4.51 10/567 1276380
/proc/meminfo: memFree=27282144/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=684.36 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6660 0 0 0 68433 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 684.36 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+762.301 s]
/proc/loadavg: 8.40 7.74 4.75 14/567 1276389
/proc/meminfo: memFree=27282032/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=742.84 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 74281 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 742.84 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+822.301 s]
/proc/loadavg: 8.39 7.86 4.99 11/567 1276399
/proc/meminfo: memFree=27280196/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=801.34 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 80131 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 801.34 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+882.301 s]
/proc/loadavg: 8.31 7.95 5.20 10/567 1276408
/proc/meminfo: memFree=27279940/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=859.69 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 85966 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 859.69 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+942.301 s]
/proc/loadavg: 8.11 7.96 5.38 13/568 1276418
/proc/meminfo: memFree=27278912/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=918.08 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 91805 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 918.08 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+1002.3 s]
/proc/loadavg: 8.04 7.97 5.54 11/568 1276436
/proc/meminfo: memFree=27278752/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=976.62 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 97659 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 976.62 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+1062.3 s]
/proc/loadavg: 8.32 8.06 5.73 13/569 1276446
/proc/meminfo: memFree=27278728/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=1035.07 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 103504 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 1035.07 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+1122.3 s]
/proc/loadavg: 8.32 8.10 5.89 11/569 1276456
/proc/meminfo: memFree=27278636/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=1093.48 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 109345 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 1093.48 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+1182.3 s]
/proc/loadavg: 8.79 8.26 6.09 11/569 1276466
/proc/meminfo: memFree=27278460/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=1151.97 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 115194 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 1151.97 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+1242.3 s]
/proc/loadavg: 8.76 8.36 6.26 11/569 1276476
/proc/meminfo: memFree=27272356/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30700 CPUtime=1210.41 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6661 0 0 0 121038 3 0 0 20 0 1 0 398715411 58912768 7675 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7675 1505 2 0 6795 0
Current children cumulated CPU time: 1210.41 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30700 KiB

[startup+1302.3 s]
/proc/loadavg: 8.31 8.31 6.38 12/569 1276496
/proc/meminfo: memFree=27269140/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1268.78 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6717 0 0 0 126875 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1268.78 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

[startup+1362.31 s]
/proc/loadavg: 8.17 8.26 6.49 12/569 1276505
/proc/meminfo: memFree=27269624/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1327.32 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6735 0 0 0 132729 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1327.32 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

[startup+1422.3 s]
/proc/loadavg: 8.13 8.24 6.59 12/568 1276515
/proc/meminfo: memFree=27269516/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1385.91 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6753 0 0 0 138588 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1385.91 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

[startup+1482.3 s]
/proc/loadavg: 8.05 8.20 6.68 12/568 1276524
/proc/meminfo: memFree=27269532/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1444.44 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6762 0 0 0 144441 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1444.44 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

[startup+1542.3 s]
/proc/loadavg: 8.13 8.19 6.78 13/567 1276533
/proc/meminfo: memFree=27269444/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1502.93 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6771 0 0 0 150290 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1502.93 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

[startup+1602.3 s]
/proc/loadavg: 8.18 8.20 6.87 13/567 1276543
/proc/meminfo: memFree=27269396/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1561.47 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6780 0 0 0 156144 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1561.47 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

[startup+1662.3 s]
/proc/loadavg: 8.47 8.27 6.98 12/567 1276552
/proc/meminfo: memFree=27269396/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1619.98 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6789 0 0 0 161995 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1619.98 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

[startup+1722.3 s]
/proc/loadavg: 8.49 8.31 7.08 11/567 1276562
/proc/meminfo: memFree=27268868/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1678.47 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6798 0 0 0 167844 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1678.47 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

[startup+1782.3 s]
/proc/loadavg: 8.43 8.35 7.18 11/567 1276572
/proc/meminfo: memFree=27268952/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1737.02 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6807 0 0 0 173699 3 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1737.02 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]*
/proc/loadavg: 7.98 8.26 7.18 7/528 1276594
/proc/meminfo: memFree=27363912/32713960 swapFree=33554428/33554428
[pid=1276273] ppid=1276272 vsize=57532 memory=30908 CPUtime=1754.32 cores=7
/proc/1276273/stat : 1276273 (pigeonPurSampli) R 1276272 1276273 1276258 0 -1 4194304 6807 0 0 0 175428 4 0 0 20 0 1 0 398715411 58912768 7727 18446744073709551615 94425914724352 94425914728464 140727697387616 0 0 0 0 16781312 16386 0 0 0 17 7 0 0 5 0 0 94425916828928 94425916829700 94425946951680 140727697392139 140727697392257 140727697392257 140727697395681 0
/proc/1276273/statm: 14383 7727 1505 2 0 6795 0
Current children cumulated CPU time: 1754.32 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 30908 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Detected pigeons:

[startup+1800.06 s]
# the end of solver process 1276273 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1754.31 s, system=0.043849 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 1800.06
CPU time (s): 1754.36
CPU user time (s): 1754.31
CPU system time (s): 0.043849
CPU usage (%): 97.461
Max. virtual memory (cumulated for all children) (KiB): 57532
Max. memory (cumulated for all children) (KiB): 30908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1754.31
system time used= 0.043849
maximum resident set size= 30908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6925
page faults= 0
swaps= 0
block input operations= 2080
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 70288


# summary of solver processes directly reported to runsolver:
#   pid: 1276273
#   total CPU time (s): 1754.36
#   total CPU user time (s): 1754.31
#   total CPU system time (s): 0.043849

??? end of timestamper thread
runsolver used 15.7127 second user time and 19.9867 second system time

The end
