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-4083190-1465265328/watcher-4083190-1465265328 -o /tmp/evaluation-result-4083190-1465265328/solver-4083190-1465265328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1465254880-10346 --watchdog 1960 naps-1.02 HOME/instance-4083190-1465265328.opb
pid=11556
running on 4 cores: 1,3,5,7
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.26 2.20 2.18 3/176 11559
/proc/meminfo: memFree=30041808/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=6960 CPUtime=0 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 436 0 0 0 0 0 0 0 20 0 1 0 108465769 7127040 311 33554432000 4194304 5796924 140736837341728 140735674996328 5092643 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 1740 311 128 392 0 1339 0
[startup+0.10016 s]
/proc/loadavg: 2.26 2.20 2.18 3/176 11559
/proc/meminfo: memFree=30041808/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=8496 CPUtime=0.09 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 841 0 0 0 9 0 0 0 20 0 1 0 108465769 8699904 706 33554432000 4194304 5796924 140736837341728 140735674996328 4564240 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 2124 706 128 392 0 1723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8496
[startup+0.200284 s]
/proc/loadavg: 2.26 2.20 2.18 3/176 11559
/proc/meminfo: memFree=30041808/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=9176 CPUtime=0.19 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 1061 0 0 0 19 0 0 0 20 0 1 0 108465769 9396224 904 33554432000 4194304 5796924 140736837341728 140735674996328 4623680 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 2294 904 128 392 0 1893 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9176
[startup+0.30024 s]
/proc/loadavg: 2.26 2.20 2.18 3/176 11559
/proc/meminfo: memFree=30041808/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=9564 CPUtime=0.29 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 1263 0 0 0 29 0 0 0 20 0 1 0 108465769 9793536 1083 33554432000 4194304 5796924 140736837341728 140735674996328 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 2391 1083 128 392 0 1990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9564
[startup+0.700232 s]
/proc/loadavg: 2.26 2.20 2.18 3/176 11559
/proc/meminfo: memFree=30041808/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=12208 CPUtime=0.69 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 2180 0 0 0 69 0 0 0 20 0 1 0 108465769 12500992 1782 33554432000 4194304 5796924 140736837341728 140735674996328 4425326 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 3052 1782 139 392 0 2651 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12208
[startup+1.5003 s]
/proc/loadavg: 2.26 2.20 2.18 3/177 11560
/proc/meminfo: memFree=30019120/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=121696 CPUtime=1.49 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 26653 0 0 0 145 4 0 0 20 0 1 0 108465769 124616704 28387 33554432000 4194304 5796924 140736837341728 140736837338776 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 30424 28389 177 392 0 30023 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 121696
[startup+3.10032 s]
/proc/loadavg: 2.26 2.20 2.18 3/177 11560
/proc/meminfo: memFree=29817196/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=272840 CPUtime=3.09 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 49874 0 0 0 301 8 0 0 20 0 1 0 108465769 279388160 60406 33554432000 4194304 5796924 140736837341728 140736837338696 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 68210 60406 177 392 0 67809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 272840
[startup+6.30033 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 11560
/proc/meminfo: memFree=29797436/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=262796 CPUtime=6.29 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 50585 0 0 0 620 9 0 0 20 0 1 0 108465769 269103104 59998 33554432000 4194304 5796924 140736837341728 140736837338776 4592071 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 65699 59998 179 392 0 65298 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 262796
[startup+12.7003 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 11560
/proc/meminfo: memFree=29788888/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=263448 CPUtime=12.69 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 50658 0 0 0 1260 9 0 0 20 0 1 0 108465769 269770752 60582 33554432000 4194304 5796924 140736837341728 140736837338776 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 65862 60582 179 392 0 65461 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 263448
[startup+25.5004 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 11560
/proc/meminfo: memFree=29749436/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=293160 CPUtime=25.49 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 51445 0 0 0 2539 10 0 0 20 0 1 0 108465769 300195840 67497 33554432000 4194304 5796924 140736837341728 140736837338968 4608498 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 73290 67497 179 392 0 72889 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 293160
[startup+51.1004 s]
/proc/loadavg: 2.21 2.20 2.18 4/177 11560
/proc/meminfo: memFree=29704512/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=311836 CPUtime=51.08 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 51514 0 0 0 5098 10 0 0 20 0 1 0 108465769 319320064 73187 33554432000 4194304 5796924 140736837341728 140736837338792 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 77959 73187 179 392 0 77558 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 311836
[startup+102.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/178 11564
/proc/meminfo: memFree=29738652/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=311836 CPUtime=102.28 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 51673 0 0 0 10217 11 0 0 20 0 1 0 108465769 319320064 73187 33554432000 4194304 5796924 140736837341728 140736837339192 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 77959 73187 179 392 0 77558 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 311836
[startup+162.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 11565
/proc/meminfo: memFree=29769336/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=311836 CPUtime=162.26 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 52385 0 0 0 16214 12 0 0 20 0 1 0 108465769 319320064 73187 33554432000 4194304 5796924 140736837341728 140736837339192 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 77959 73187 179 392 0 77558 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 311836
[startup+222.307 s]
/proc/loadavg: 2.18 2.17 2.17 3/177 11566
/proc/meminfo: memFree=29658932/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=391976 CPUtime=222.26 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 53129 0 0 0 22212 14 0 0 20 0 1 0 108465769 401383424 86193 33554432000 4194304 5796924 140736837341728 140736837339368 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 97994 86193 179 392 0 97593 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 391976
[startup+282.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 11568
/proc/meminfo: memFree=29718212/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=361156 CPUtime=282.25 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 53294 0 0 0 28210 15 0 0 20 0 1 0 108465769 369823744 84590 33554432000 4194304 5796924 140736837341728 140736837339016 4591861 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 90289 84590 179 392 0 89888 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 361156
[startup+342.3 s]
/proc/loadavg: 2.21 2.19 2.18 4/177 11569
/proc/meminfo: memFree=29697692/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=311836 CPUtime=342.23 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 53889 0 0 0 34207 16 0 0 20 0 1 0 108465769 319320064 73187 33554432000 4194304 5796924 140736837341728 140736837339192 4609100 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 77959 73187 179 392 0 77558 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 311836
[startup+402.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 11570
/proc/meminfo: memFree=29687516/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=391976 CPUtime=402.22 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 54634 0 0 0 40205 17 0 0 20 0 1 0 108465769 401383424 87217 33554432000 4194304 5796924 140736837341728 140736837339368 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 97994 87217 179 392 0 97593 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 391976
[startup+462.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 11571
/proc/meminfo: memFree=29676552/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=311836 CPUtime=462.22 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 54674 0 0 0 46204 18 0 0 20 0 1 0 108465769 319320064 73187 33554432000 4194304 5796924 140736837341728 140736837339192 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 77959 73187 179 392 0 77558 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 311836
[startup+522.3 s]
/proc/loadavg: 2.36 2.23 2.19 4/177 11663
/proc/meminfo: memFree=29457956/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=391976 CPUtime=522.2 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 55443 0 0 0 52200 20 0 0 20 0 1 0 108465769 401383424 87956 33554432000 4194304 5796924 140736837341728 140736837339368 4606704 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 97994 87956 179 392 0 97593 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 391976
[startup+582.3 s]
/proc/loadavg: 2.35 2.25 2.20 3/177 11665
/proc/meminfo: memFree=29234396/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=582.17 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 56297 0 0 0 58196 21 0 0 20 0 1 0 108465769 452673536 96692 33554432000 4194304 5796924 140736837341728 140736837339368 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 96692 179 392 0 110115 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 442064
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.15 2.19 2.18 4/177 11674
/proc/meminfo: memFree=28482920/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=882.13 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 59467 0 0 0 88185 28 0 0 20 0 1 0 108465769 452673536 96367 33554432000 4194304 5796924 140736837341728 140736837339368 4606708 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 96367 179 392 0 110115 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 442064
[startup+942.3 s]
/proc/loadavg: 2.15 2.18 2.18 4/177 11675
/proc/meminfo: memFree=29042272/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=942.11 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 59480 0 0 0 94183 28 0 0 20 0 1 0 108465769 452673536 103023 33554432000 4194304 5796924 140736837341728 140736837339368 4594698 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 103023 179 392 0 110115 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 442064
[startup+1002.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 11676
/proc/meminfo: memFree=28924592/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=391976 CPUtime=1002.11 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 60226 0 0 0 100181 30 0 0 20 0 1 0 108465769 401383424 88386 33554432000 4194304 5796924 140736837341728 140736837339368 4606531 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 97994 88386 179 392 0 97593 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 391976
[startup+1062.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 11677
/proc/meminfo: memFree=28729608/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1062.1 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 60883 0 0 0 106179 31 0 0 20 0 1 0 108465769 452673536 95172 33554432000 4194304 5796924 140736837341728 140736837339368 4611179 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 95172 179 392 0 110115 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 442064
[startup+1122.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 11678
/proc/meminfo: memFree=28534044/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1122.08 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 61070 0 0 0 112177 31 0 0 20 0 1 0 108465769 452673536 103023 33554432000 4194304 5796924 140736837341728 140736837339368 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 103023 179 392 0 110115 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 442064
[startup+1182.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/176 11679
/proc/meminfo: memFree=28446840/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=361156 CPUtime=1182.08 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 61236 0 0 0 118175 33 0 0 20 0 1 0 108465769 369823744 86271 33554432000 4194304 5796924 140736837341728 140736837339016 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 90289 86271 179 392 0 89888 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 361156
[startup+1242.3 s]
/proc/loadavg: 2.20 2.20 2.18 4/177 11681
/proc/meminfo: memFree=28267848/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=391976 CPUtime=1242.07 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 61832 0 0 0 124173 34 0 0 20 0 1 0 108465769 401383424 92994 33554432000 4194304 5796924 140736837341728 140736837339368 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 97994 92994 179 392 0 97593 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 391976
[startup+1302.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/178 11685
/proc/meminfo: memFree=28086140/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1302.06 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 62659 0 0 0 130171 35 0 0 20 0 1 0 108465769 452673536 100463 33554432000 4194304 5796924 140736837341728 140736837339368 4606507 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 100463 179 392 0 110115 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 442064
[startup+1362.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/177 11686
/proc/meminfo: memFree=27891344/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1362.05 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 62672 0 0 0 136169 36 0 0 20 0 1 0 108465769 452673536 107119 33554432000 4194304 5796924 140736837341728 140736837339368 4606555 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 107119 179 392 0 110115 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 442064
[startup+1422.3 s]
/proc/loadavg: 2.10 2.17 2.17 4/177 11687
/proc/meminfo: memFree=27835600/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=361156 CPUtime=1422.05 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 63427 0 0 0 142168 37 0 0 20 0 1 0 108465769 369823744 86862 33554432000 4194304 5796924 140736837341728 140736837339016 4569014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 90289 86862 179 392 0 89888 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 361156
[startup+1482.3 s]
/proc/loadavg: 2.17 2.18 2.18 3/177 11688
/proc/meminfo: memFree=27661524/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1482.04 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 64429 0 0 0 148164 40 0 0 20 0 1 0 108465769 452673536 95012 33554432000 4194304 5796924 140736837341728 140736837339368 4592014 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 95012 179 392 0 110115 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 442064
[startup+1542.31 s]
/proc/loadavg: 2.11 2.16 2.17 3/177 11690
/proc/meminfo: memFree=28859208/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1542.04 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 64776 0 0 0 154163 41 0 0 20 0 1 0 108465769 452673536 101999 33554432000 4194304 5796924 140736837341728 140736837339368 4608495 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 101999 179 392 0 110115 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 442064
[startup+1602.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/177 11691
/proc/meminfo: memFree=28678984/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1602.02 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 64786 0 0 0 160161 41 0 0 20 0 1 0 108465769 452673536 107119 33554432000 4194304 5796924 140736837341728 140736837339368 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 107119 179 392 0 110115 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 442064
[startup+1662.3 s]
/proc/loadavg: 2.20 2.17 2.17 3/177 11692
/proc/meminfo: memFree=28607228/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=361156 CPUtime=1662 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 65466 0 0 0 166158 42 0 0 20 0 1 0 108465769 369823744 84735 33554432000 4194304 5796924 140736837341728 140736837339016 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 90289 84735 179 392 0 89888 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 361156
[startup+1722.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/177 11693
/proc/meminfo: memFree=28424400/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=391976 CPUtime=1721.99 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 66067 0 0 0 172156 43 0 0 20 0 1 0 108465769 401383424 92482 33554432000 4194304 5796924 140736837341728 140736837339368 4592031 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 97994 92482 179 392 0 97593 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 391976
[startup+1782.3 s]
/proc/loadavg: 2.13 2.15 2.17 3/177 11694
/proc/meminfo: memFree=28238036/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1781.99 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 66892 0 0 0 178154 45 0 0 20 0 1 0 108465769 452673536 98927 33554432000 4194304 5796924 140736837341728 140736837339368 4606433 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 98927 179 392 0 110115 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 442064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.16 2.16 2.17 3/177 11695
/proc/meminfo: memFree=28192980/32872528 swapFree=14956/1314940
[pid=11559] ppid=11556 vsize=442064 CPUtime=1800.09 cores=1,3,5,7
/proc/11559/stat : 11559 (naps-1.02) R 11556 11559 10329 0 -1 4202496 66895 0 0 0 179964 45 0 0 20 0 1 0 108465769 452673536 100463 33554432000 4194304 5796924 140736837341728 140736837339368 4607232 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/11559/statm: 110516 100463 179 392 0 110115 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 442064
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 11559 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.65
CPU system time (s): 0.45693
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 523452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.45693
maximum resident set size= 444860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66907
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= 54
involuntary context switches= 1856
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52931 second user time and 6.92995 second system time
The end