runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4100027-1466210531/watcher-4100027-1466210531 -o /tmp/evaluation-result-4100027-1466210531/solver-4100027-1466210531 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466206070-7007 --watchdog 1960 naps-1.02 HOME/instance-4100027-1466210531.opb
pid=10344
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.09 2.06 3/176 10347
/proc/meminfo: memFree=30039256/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=8564 CPUtime=0 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 767 0 0 0 0 0 0 0 20 0 1 0 23099794 8769536 641 33554432000 4194304 5796924 140735935195616 140735412457256 4621249 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 2141 642 114 392 0 1740 0
[startup+0.100164 s]
/proc/loadavg: 2.11 2.09 2.06 3/176 10347
/proc/meminfo: memFree=30039256/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=41600 CPUtime=0.09 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 8482 0 0 0 8 1 0 0 20 0 1 0 23099794 42598400 8194 33554432000 4194304 5796924 140735935195616 140735412457256 4621249 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 10400 8197 114 392 0 9999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41600
[startup+0.200444 s]
/proc/loadavg: 2.11 2.09 2.06 3/176 10347
/proc/meminfo: memFree=30039256/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=55736 CPUtime=0.19 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 11417 0 0 0 17 2 0 0 20 0 1 0 23099794 57073664 11090 33554432000 4194304 5796924 140735935195616 140735412457256 5092604 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 13934 11090 116 392 0 13533 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 55736
[startup+0.300337 s]
/proc/loadavg: 2.11 2.09 2.06 3/176 10347
/proc/meminfo: memFree=30039256/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=65700 CPUtime=0.29 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 14305 0 0 0 27 2 0 0 20 0 1 0 23099794 67276800 13675 33554432000 4194304 5796924 140735935195616 140735412457256 4366368 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 16425 13675 124 392 0 16024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65700
[startup+0.700286 s]
/proc/loadavg: 2.11 2.09 2.06 3/176 10347
/proc/meminfo: memFree=30039256/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=70004 CPUtime=0.69 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 15051 0 0 0 67 2 0 0 20 0 1 0 23099794 71684096 14421 33554432000 4194304 5796924 140735935195616 140735412457256 5087771 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 17501 14421 129 392 0 17100 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70004
[startup+1.50027 s]
/proc/loadavg: 2.11 2.09 2.06 3/177 10348
/proc/meminfo: memFree=29978904/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=81260 CPUtime=1.49 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 17149 0 0 0 147 2 0 0 20 0 1 0 23099794 83210240 16519 33554432000 4194304 5796924 140735935195616 140735935193032 5092432 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 20315 16519 129 392 0 19914 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81260
[startup+3.10025 s]
/proc/loadavg: 2.11 2.09 2.06 3/177 10348
/proc/meminfo: memFree=29958940/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=118572 CPUtime=3.09 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 26483 0 0 0 305 4 0 0 20 0 1 0 23099794 121417728 25853 33554432000 4194304 5796924 140735935195616 140735935194840 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 29643 25854 129 392 0 29242 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118572
[startup+6.30028 s]
/proc/loadavg: 2.10 2.09 2.06 3/177 10348
/proc/meminfo: memFree=29900432/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=157748 CPUtime=6.29 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 36939 0 0 0 623 6 0 0 20 0 1 0 23099794 161533952 35609 33554432000 4194304 5796924 140735935195616 140735932488168 4806891 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 39437 35609 140 392 0 39036 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 157748
[startup+12.7003 s]
/proc/loadavg: 2.09 2.09 2.06 3/177 10348
/proc/meminfo: memFree=29862372/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=189304 CPUtime=12.68 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 41501 0 0 0 1262 6 0 0 20 0 1 0 23099794 193847296 43452 33554432000 4194304 5796924 140735935195616 140735932491080 5092493 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 47326 43452 140 392 0 46925 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 189304
[startup+25.5003 s]
/proc/loadavg: 2.07 2.08 2.05 3/177 10348
/proc/meminfo: memFree=29804600/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=232116 CPUtime=25.49 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 43636 0 0 0 2541 8 0 0 20 0 1 0 23099794 237686784 54030 33554432000 4194304 5796924 140735935195616 140735935191832 5092509 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 58029 54030 144 392 0 57628 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 232116
[startup+51.1004 s]
/proc/loadavg: 2.04 2.08 2.05 3/177 10348
/proc/meminfo: memFree=28764016/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1360288 CPUtime=51.08 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 124186 0 0 0 5073 35 0 0 20 0 1 0 23099794 1392934912 320001 33554432000 4194304 5796924 140735935195616 140735935192936 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 340072 320002 152 392 0 339671 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1360288
[startup+102.3 s]
/proc/loadavg: 2.06 2.08 2.05 3/177 10349
/proc/meminfo: memFree=28645380/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1469492 CPUtime=102.28 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 141288 0 0 0 10185 43 0 0 20 0 1 0 23099794 1504759808 336483 33554432000 4194304 5796924 140735935195616 140735935192664 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 367373 336483 170 392 0 366972 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1469492
[startup+162.3 s]
/proc/loadavg: 2.09 2.09 2.06 3/177 10396
/proc/meminfo: memFree=30302056/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1494872 CPUtime=162.26 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 145967 0 0 0 16178 48 0 0 20 0 1 0 23099794 1530748928 341585 33554432000 4194304 5796924 140735935195616 140735935192664 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 373718 341585 170 392 0 373317 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1494872
[startup+222.307 s]
/proc/loadavg: 2.09 2.09 2.06 3/177 10397
/proc/meminfo: memFree=30206652/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1494872 CPUtime=222.25 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 145998 0 0 0 22177 48 0 0 20 0 1 0 23099794 1530748928 341782 33554432000 4194304 5796924 140735935195616 140735935192664 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 373718 341782 170 392 0 373317 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1494872
[startup+282.3 s]
/proc/loadavg: 2.14 2.11 2.07 3/177 10399
/proc/meminfo: memFree=30151064/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1506536 CPUtime=282.24 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 147074 0 0 0 28175 49 0 0 20 0 1 0 23099794 1542692864 353088 33554432000 4194304 5796924 140735935195616 140735935192664 4592073 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 376634 353088 170 392 0 376233 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1506536
[startup+342.3 s]
/proc/loadavg: 2.16 2.12 2.07 3/177 10400
/proc/meminfo: memFree=30134352/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1510728 CPUtime=342.22 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 147895 0 0 0 34170 52 0 0 20 0 1 0 23099794 1546985472 352853 33554432000 4194304 5796924 140735935195616 140735935193080 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 377682 352853 170 392 0 377281 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1510728
[startup+402.3 s]
/proc/loadavg: 2.06 2.09 2.07 3/177 10401
/proc/meminfo: memFree=30141624/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1531840 CPUtime=402.21 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 150517 0 0 0 40165 56 0 0 20 0 1 0 23099794 1568604160 353600 33554432000 4194304 5796924 140735935195616 140735935192664 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 382960 353600 170 392 0 382559 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1531840
[startup+462.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/177 10402
/proc/meminfo: memFree=30084224/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1539516 CPUtime=462.2 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 151197 0 0 0 46163 57 0 0 20 0 1 0 23099794 1576464384 362390 33554432000 4194304 5796924 140735935195616 140735935192664 4592632 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 384879 362390 170 392 0 384478 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 1539516
[startup+522.3 s]
/proc/loadavg: 2.16 2.12 2.08 3/178 10406
/proc/meminfo: memFree=30115092/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1546808 CPUtime=522.19 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 151868 0 0 0 52158 61 0 0 20 0 1 0 23099794 1583931392 362317 33554432000 4194304 5796924 140735935195616 140735935192664 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 386702 362317 170 392 0 386301 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1546808
[startup+582.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/177 10453
/proc/meminfo: memFree=29973436/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1553812 CPUtime=582.18 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 152540 0 0 0 58156 62 0 0 20 0 1 0 23099794 1591103488 372459 33554432000 4194304 5796924 140735935195616 140735935192664 4606523 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 388453 372459 170 392 0 388052 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1553812
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.03 2.05 2.06 3/177 10459
/proc/meminfo: memFree=28769696/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1569004 CPUtime=882.12 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 157890 0 0 0 88137 75 0 0 20 0 1 0 23099794 1606660096 378691 33554432000 4194304 5796924 140735935195616 140735935192728 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 392251 378691 170 392 0 391850 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 1569004
[startup+942.3 s]
/proc/loadavg: 2.09 2.06 2.06 3/177 10460
/proc/meminfo: memFree=28704684/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1713156 CPUtime=942.11 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 160739 0 0 0 94133 78 0 0 20 0 1 0 23099794 1754271744 388654 33554432000 4194304 5796924 140735935195616 140735935193256 4591895 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 428289 388654 170 392 0 427888 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 1713156
[startup+1002.3 s]
/proc/loadavg: 2.03 2.05 2.06 3/177 10461
/proc/meminfo: memFree=28687176/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1591064 CPUtime=1002.09 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 162054 0 0 0 100127 82 0 0 20 0 1 0 23099794 1629249536 385600 33554432000 4194304 5796924 140735935195616 140735935192664 4592128 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 397766 385600 170 392 0 397365 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 1591064
[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/177 10462
/proc/meminfo: memFree=28666852/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1734268 CPUtime=1062.09 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 164129 0 0 0 106124 85 0 0 20 0 1 0 23099794 1775890432 395822 33554432000 4194304 5796924 140735935195616 140735935192664 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 433567 395822 170 392 0 433166 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1734268
[startup+1122.3 s]
/proc/loadavg: 2.13 2.07 2.06 3/178 10466
/proc/meminfo: memFree=28666536/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1607916 CPUtime=1122.07 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 164536 0 0 0 112118 89 0 0 20 0 1 0 23099794 1646505984 388848 33554432000 4194304 5796924 140735935195616 140735935192664 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 401979 388848 170 392 0 401578 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 1607916
[startup+1182.3 s]
/proc/loadavg: 2.13 2.08 2.06 3/179 10491
/proc/meminfo: memFree=28613060/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1740176 CPUtime=1182.07 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 165975 0 0 0 118116 91 0 0 20 0 1 0 23099794 1781940224 395885 33554432000 4194304 5796924 140735935195616 140735935193256 4606531 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 435044 395885 170 392 0 434643 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1740176
[startup+1242.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/178 10492
/proc/meminfo: memFree=28602644/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1747232 CPUtime=1242.06 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 166060 0 0 0 124114 92 0 0 20 0 1 0 23099794 1789165568 402102 33554432000 4194304 5796924 140735935195616 140735935192664 4606433 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 436808 402102 170 392 0 436407 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1747232
[startup+1302.3 s]
/proc/loadavg: 2.06 2.08 2.06 3/178 10493
/proc/meminfo: memFree=28555584/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1747232 CPUtime=1302.05 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 166511 0 0 0 130113 92 0 0 20 0 1 0 23099794 1789165568 408174 33554432000 4194304 5796924 140735935195616 140735935192664 4592023 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 436808 408174 170 392 0 436407 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 1747232
[startup+1362.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/178 10494
/proc/meminfo: memFree=28578472/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1752948 CPUtime=1362.04 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 167835 0 0 0 136105 99 0 0 20 0 1 0 23099794 1795018752 396915 33554432000 4194304 5796924 140735935195616 140735935192664 4591930 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 438237 396915 170 392 0 437836 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1752948
[startup+1422.3 s]
/proc/loadavg: 2.08 2.08 2.06 3/178 10495
/proc/meminfo: memFree=28580896/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1759788 CPUtime=1422.04 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 168495 0 0 0 142105 99 0 0 20 0 1 0 23099794 1802022912 405751 33554432000 4194304 5796924 140735935195616 140735935192664 4593641 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 439947 405751 170 392 0 439546 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1759788
[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.06 3/178 10497
/proc/meminfo: memFree=28528464/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1759788 CPUtime=1482.03 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 168628 0 0 0 148103 100 0 0 20 0 1 0 23099794 1802022912 412527 33554432000 4194304 5796924 140735935195616 140735935192664 4594694 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 439947 412527 170 392 0 439546 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1759788
[startup+1542.31 s]
/proc/loadavg: 2.03 2.06 2.06 3/178 10498
/proc/meminfo: memFree=28484616/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1759788 CPUtime=1542.02 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 168892 0 0 0 154102 100 0 0 20 0 1 0 23099794 1802022912 418412 33554432000 4194304 5796924 140735935195616 140735935192664 4591865 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 439947 418412 170 392 0 439546 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1759788
[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/178 10499
/proc/meminfo: memFree=28530700/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1765460 CPUtime=1602 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 169119 0 0 0 160096 104 0 0 20 0 1 0 23099794 1807831040 399936 33554432000 4194304 5796924 140735935195616 140735935192664 4583054 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 441365 399936 170 392 0 440964 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1765460
[startup+1662.3 s]
/proc/loadavg: 2.06 2.06 2.06 3/178 10500
/proc/meminfo: memFree=28489960/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1765460 CPUtime=1662 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 169137 0 0 0 166095 105 0 0 20 0 1 0 23099794 1807831040 406086 33554432000 4194304 5796924 140735935195616 140735935192664 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 441365 406086 170 392 0 440964 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1765460
[startup+1722.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/179 10504
/proc/meminfo: memFree=28502468/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1775580 CPUtime=1721.99 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 169822 0 0 0 172094 105 0 0 20 0 1 0 23099794 1818193920 414947 33554432000 4194304 5796924 140735935195616 140735935192664 4592059 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 443895 414947 170 392 0 443494 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1775580
[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/178 10506
/proc/meminfo: memFree=28451500/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1775580 CPUtime=1781.98 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 169832 0 0 0 178092 106 0 0 20 0 1 0 23099794 1818193920 420067 33554432000 4194304 5796924 140735935195616 140735935192664 4606799 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 443895 420067 170 392 0 443494 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1775580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.05 2.06 2.05 3/178 10506
/proc/meminfo: memFree=28440732/32872528 swapFree=303544/319896
[pid=10347] ppid=10344 vsize=1775580 CPUtime=1800.08 cores=0,2,4,6
/proc/10347/stat : 10347 (naps-1.02) R 10344 10347 6991 0 -1 4202496 169835 0 0 0 179902 106 0 0 20 0 1 0 23099794 1818193920 421603 33554432000 4194304 5796924 140735935195616 140735935192664 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/10347/statm: 443895 421603 170 392 0 443494 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1775580
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10347 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.02
CPU system time (s): 1.07384
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 2103664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.07384
maximum resident set size= 1895216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169847
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77
involuntary context switches= 1905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.39903 second user time and 7.98179 second system time
The end