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-4100651-1466217913/watcher-4100651-1466217913 -o /tmp/evaluation-result-4100651-1466217913/solver-4100651-1466217913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1466206079-966 --watchdog 1960 naps-1.02 HOME/instance-4100651-1466217913.opb
pid=3981
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: 4.60 2.99 2.45 4/177 3984
/proc/meminfo: memFree=24564064/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=8364 CPUtime=0 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 726 0 0 0 0 0 0 0 20 0 1 0 23838098 8564736 600 33554432000 4194304 5796924 140734362872496 140734841482632 5151552 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 2091 600 114 392 0 1690 0
[startup+0.100121 s]
/proc/loadavg: 4.60 2.99 2.45 4/177 3984
/proc/meminfo: memFree=24564064/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=13516 CPUtime=0.09 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 1964 0 0 0 9 0 0 0 20 0 1 0 23838098 13840384 1796 33554432000 4194304 5796924 140734362872496 140734841482632 5183584 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 3379 1796 124 392 0 2978 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13516
[startup+0.200303 s]
/proc/loadavg: 4.60 2.99 2.45 4/177 3984
/proc/meminfo: memFree=24564064/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=18416 CPUtime=0.19 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 3194 0 0 0 19 0 0 0 20 0 1 0 23838098 18857984 2943 33554432000 4194304 5796924 140734362872496 140734841482632 5087650 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 4604 2943 124 392 0 4203 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18416
[startup+0.300288 s]
/proc/loadavg: 4.60 2.99 2.45 4/177 3984
/proc/meminfo: memFree=24564064/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=22764 CPUtime=0.28 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 4292 0 0 0 28 0 0 0 20 0 1 0 23838098 23310336 4041 33554432000 4194304 5796924 140734362872496 140734841482632 4405344 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 5691 4041 124 392 0 5290 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 22764
[startup+0.700221 s]
/proc/loadavg: 4.60 2.99 2.45 4/177 3984
/proc/meminfo: memFree=24564064/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=33400 CPUtime=0.69 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 6987 0 0 0 68 1 0 0 20 0 1 0 23838098 34201600 6737 33554432000 4194304 5796924 140734362872496 140734841482632 5095032 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 8383 6745 128 392 0 7982 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33400
[startup+1.50023 s]
/proc/loadavg: 4.60 2.99 2.45 4/178 3985
/proc/meminfo: memFree=24527460/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=56368 CPUtime=1.48 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 14485 0 0 0 146 2 0 0 20 0 1 0 23838098 57720832 11929 33554432000 4194304 5796924 140734362872496 140734362869992 4404469 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 14092 11929 128 392 0 13691 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 56368
[startup+3.10022 s]
/proc/loadavg: 4.47 2.99 2.46 4/178 3985
/proc/meminfo: memFree=24496396/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=77080 CPUtime=3.09 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 19992 0 0 0 306 3 0 0 20 0 1 0 23838098 78929920 16682 33554432000 4194304 5796924 140734362872496 140734362870360 4810736 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 19270 16682 130 392 0 18869 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77080
[startup+6.30026 s]
/proc/loadavg: 4.47 2.99 2.46 3/178 3985
/proc/meminfo: memFree=24461696/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=143100 CPUtime=6.29 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 36748 0 0 0 622 7 0 0 20 0 1 0 23838098 146534400 33107 33554432000 4194304 5796924 140734362872496 140734362432728 4863673 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 35775 33107 143 392 0 35374 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 143100
[startup+12.7003 s]
/proc/loadavg: 4.09 2.95 2.45 3/178 3985
/proc/meminfo: memFree=24411224/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=177972 CPUtime=12.68 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 42796 0 0 0 1260 8 0 0 20 0 1 0 23838098 182243328 41562 33554432000 4194304 5796924 140734362872496 140734362869480 4425800 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 44493 41562 150 392 0 44092 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 177972
[startup+25.5003 s]
/proc/loadavg: 3.85 2.94 2.45 3/178 3985
/proc/meminfo: memFree=24352784/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=222848 CPUtime=25.49 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 53061 0 0 0 2538 11 0 0 20 0 1 0 23838098 228196352 52983 33554432000 4194304 5796924 140734362872496 140734362868712 5087700 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 55712 52983 190 392 0 55311 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 222848
[startup+51.1003 s]
/proc/loadavg: 3.30 2.88 2.45 3/178 3985
/proc/meminfo: memFree=24639528/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=259316 CPUtime=51.08 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 54330 0 0 0 5096 12 0 0 20 0 1 0 23838098 265539584 62265 33554432000 4194304 5796924 140734362872496 140734362869480 5087772 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 64829 62265 191 392 0 64428 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 259316
[startup+102.3 s]
/proc/loadavg: 2.66 2.77 2.43 4/177 3986
/proc/meminfo: memFree=24513040/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=374780 CPUtime=102.28 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 65688 0 0 0 10212 16 0 0 20 0 1 0 23838098 383774720 88628 33554432000 4194304 5796924 140734362872496 140734362868712 5077954 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 93695 88628 191 392 0 93294 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 374780
[startup+162.3 s]
/proc/loadavg: 2.32 2.66 2.41 3/177 3988
/proc/meminfo: memFree=24303064/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=558660 CPUtime=162.26 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 83622 0 0 0 16204 22 0 0 20 0 1 0 23838098 572067840 135549 33554432000 4194304 5796924 140734362872496 140734362868712 5087752 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 139665 135549 191 392 0 139264 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 558660
[startup+222.307 s]
/proc/loadavg: 2.15 2.54 2.39 3/177 3989
/proc/meminfo: memFree=24009860/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=840040 CPUtime=222.26 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 142804 0 0 0 22194 32 0 0 20 0 1 0 23838098 860200960 201374 33554432000 4194304 5796924 140734362872496 140734362868712 5077911 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 210010 201374 191 392 0 209609 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 840040
[startup+282.3 s]
/proc/loadavg: 2.23 2.49 2.38 3/177 3990
/proc/meminfo: memFree=18581988/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7225472 CPUtime=282.25 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 482860 0 0 0 28042 183 0 0 20 0 1 0 23838098 7398883328 1554021 33554432000 4194304 5796924 140734362872496 140734362869464 4639794 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1806368 1554021 201 392 0 1805967 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 7225472
[startup+342.3 s]
/proc/loadavg: 2.18 2.42 2.36 3/178 3994
/proc/meminfo: memFree=18526856/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7398508 CPUtime=342.23 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 541916 0 0 0 34011 212 0 0 20 0 1 0 23838098 7576072192 1556316 33554432000 4194304 5796924 140734362872496 140734362870024 4569038 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1849627 1556316 218 392 0 1849226 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 7398508
[startup+402.3 s]
/proc/loadavg: 2.24 2.40 2.35 3/177 3995
/proc/meminfo: memFree=18481096/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7422076 CPUtime=402.23 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 542548 0 0 0 40009 214 0 0 20 0 1 0 23838098 7600205824 1561953 33554432000 4194304 5796924 140734362872496 140734362870024 4606507 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1855519 1561953 219 392 0 1855118 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 7422076
[startup+462.3 s]
/proc/loadavg: 2.22 2.36 2.34 4/177 3997
/proc/meminfo: memFree=18442412/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7422076 CPUtime=462.22 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 542769 0 0 0 46008 214 0 0 20 0 1 0 23838098 7600205824 1564519 33554432000 4194304 5796924 140734362872496 140734362870024 4606507 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1855519 1564519 219 392 0 1855118 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 7422076
[startup+522.3 s]
/proc/loadavg: 2.15 2.31 2.33 3/177 3998
/proc/meminfo: memFree=18413540/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7422076 CPUtime=522.21 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 542983 0 0 0 52005 216 0 0 20 0 1 0 23838098 7600205824 1566056 33554432000 4194304 5796924 140734362872496 140734362870024 4606555 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1855519 1566056 219 392 0 1855118 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 7422076
[startup+582.3 s]
/proc/loadavg: 2.09 2.26 2.31 3/177 3999
/proc/meminfo: memFree=18369068/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7441216 CPUtime=582.2 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 543501 0 0 0 58004 216 0 0 20 0 1 0 23838098 7619805184 1569640 33554432000 4194304 5796924 140734362872496 140734362869544 4606480 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1860304 1569640 219 392 0 1859903 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 7441216
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.25 2.26 2.28 3/178 4054
/proc/meminfo: memFree=23408156/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7461876 CPUtime=942.13 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 545133 0 0 0 93990 223 0 0 20 0 1 0 23838098 7640961024 1581432 33554432000 4194304 5796924 140734362872496 140734362870024 4606555 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1865469 1581432 219 392 0 1865068 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 7461876
[startup+1002.3 s]
/proc/loadavg: 2.27 2.27 2.27 3/178 4078
/proc/meminfo: memFree=23344440/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7461876 CPUtime=1002.12 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 545566 0 0 0 99987 225 0 0 20 0 1 0 23838098 7640961024 1581944 33554432000 4194304 5796924 140734362872496 140734362870024 4606433 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1865469 1581944 219 392 0 1865068 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 7461876
[startup+1062.3 s]
/proc/loadavg: 2.17 2.23 2.26 3/177 4080
/proc/meminfo: memFree=23320320/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7461876 CPUtime=1062.1 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 545801 0 0 0 105984 226 0 0 20 0 1 0 23838098 7640961024 1583483 33554432000 4194304 5796924 140734362872496 140734362870024 4606433 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1865469 1583483 219 392 0 1865068 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 7461876
[startup+1122.3 s]
/proc/loadavg: 2.25 2.24 2.26 3/177 4081
/proc/meminfo: memFree=23213552/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7461876 CPUtime=1122.08 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 546256 0 0 0 111981 227 0 0 20 0 1 0 23838098 7640961024 1585254 33554432000 4194304 5796924 140734362872496 140734362870024 4606503 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1865469 1585254 219 392 0 1865068 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 7461876
[startup+1182.3 s]
/proc/loadavg: 2.33 2.26 2.27 4/177 4082
/proc/meminfo: memFree=23194216/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7461876 CPUtime=1182.08 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 546690 0 0 0 117980 228 0 0 20 0 1 0 23838098 7640961024 1585986 33554432000 4194304 5796924 140734362872496 140734362870024 4606433 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1865469 1585986 219 392 0 1865068 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 7461876
[startup+1242.3 s]
/proc/loadavg: 2.25 2.24 2.26 3/177 4083
/proc/meminfo: memFree=19657152/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1242.06 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 546755 0 0 0 123978 228 0 0 20 0 1 0 23838098 7660273664 1589115 33554432000 4194304 5796924 140734362872496 140734362869544 4606483 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1589115 219 392 0 1869783 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 7480736
[startup+1302.3 s]
/proc/loadavg: 2.18 2.23 2.26 3/177 4084
/proc/meminfo: memFree=19621532/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1302.05 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 546765 0 0 0 129977 228 0 0 20 0 1 0 23838098 7660273664 1590652 33554432000 4194304 5796924 140734362872496 140734362869544 4568928 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1590652 219 392 0 1869783 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 7480736
[startup+1362.3 s]
/proc/loadavg: 2.18 2.21 2.25 3/176 4085
/proc/meminfo: memFree=19576428/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1362.04 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 546771 0 0 0 135976 228 0 0 20 0 1 0 23838098 7660273664 1592188 33554432000 4194304 5796924 140734362872496 140734362869544 4606507 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1592188 219 392 0 1869783 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 7480736
[startup+1422.3 s]
/proc/loadavg: 2.24 2.23 2.25 3/177 4087
/proc/meminfo: memFree=19545608/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1422.04 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 546780 0 0 0 141976 228 0 0 20 0 1 0 23838098 7660273664 1593212 33554432000 4194304 5796924 140734362872496 140734362869544 4606507 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1593212 219 392 0 1869783 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 7480736
[startup+1482.3 s]
/proc/loadavg: 2.22 2.22 2.25 3/177 4088
/proc/meminfo: memFree=19519392/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1482.02 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 546783 0 0 0 147974 228 0 0 20 0 1 0 23838098 7660273664 1594236 33554432000 4194304 5796924 140734362872496 140734362869544 4606531 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1594236 219 392 0 1869783 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 7480736
[startup+1542.31 s]
/proc/loadavg: 2.33 2.26 2.26 3/178 4092
/proc/meminfo: memFree=19500372/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1542.01 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 546810 0 0 0 153972 229 0 0 20 0 1 0 23838098 7660273664 1595261 33554432000 4194304 5796924 140734362872496 140734362869544 4606708 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1595261 219 392 0 1869783 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 7480736
[startup+1602.3 s]
/proc/loadavg: 2.29 2.26 2.26 3/177 4093
/proc/meminfo: memFree=19465656/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1601.99 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 547034 0 0 0 159969 230 0 0 20 0 1 0 23838098 7660273664 1597309 33554432000 4194304 5796924 140734362872496 140734362870024 4594171 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1597309 219 392 0 1869783 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 7480736
[startup+1662.3 s]
/proc/loadavg: 2.19 2.24 2.25 3/175 4094
/proc/meminfo: memFree=19441032/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1661.97 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 547361 0 0 0 165966 231 0 0 20 0 1 0 23838098 7660273664 1598333 33554432000 4194304 5796924 140734362872496 140734362870024 4606555 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1598333 219 392 0 1869783 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 7480736
[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.25 4/177 4097
/proc/meminfo: memFree=19417428/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1721.96 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 547696 0 0 0 171963 233 0 0 20 0 1 0 23838098 7660273664 1598940 33554432000 4194304 5796924 140734362872496 140734362870024 4606433 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1598940 219 392 0 1869783 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 7480736
[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.25 3/177 4098
/proc/meminfo: memFree=19401056/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1781.94 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 547926 0 0 0 177960 234 0 0 20 0 1 0 23838098 7660273664 1598940 33554432000 4194304 5796924 140734362872496 140734362870024 4606507 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1598940 219 392 0 1869783 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 7480736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.28 2.24 2.25 3/177 4098
/proc/meminfo: memFree=19562828/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=7480736 CPUtime=1800.03 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202496 548044 0 0 0 179769 234 0 0 20 0 1 0 23838098 7660273664 1598940 33554432000 4194304 5796924 140734362872496 140734362870024 4606555 0 0 4096 17954 0 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 1870184 1598940 219 392 0 1869783 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 7480736
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 3984 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.28 2.24 2.25 3/177 4098
/proc/meminfo: memFree=19562828/32872528 swapFree=1497824/1644992
[pid=3984] ppid=3981 vsize=0 CPUtime=1800.13 cores=0,2,4,6
/proc/3984/stat : 3984 (naps-1.02) R 3981 3984 950 0 -1 4202500 548055 0 0 0 179769 244 0 0 20 0 1 0 23838098 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3984/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.2
CPU user time (s): 1797.7
CPU system time (s): 2.50462
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 8679804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.7
system time used= 2.50462
maximum resident set size= 7019024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548055
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= 193
involuntary context switches= 2365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5923 second user time and 6.86895 second system time
The end