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-4105855-1467031111/watcher-4105855-1467031111 -o /tmp/evaluation-result-4105855-1467031111/solver-4105855-1467031111 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467020148-28664 --watchdog 1960 -S 80 naps-1.02 HOME/instance-4105855-1467031111.opb
pid=29674
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 Stack size limit: 81920 KiB
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: 81920 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 29677
/proc/meminfo: memFree=26979492/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6552 CPUtime=0 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 36151920 6709248 191 33554432000 4194304 5796924 140733758454464 140736811152040 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1638 191 128 392 0 1237 0
[startup+0.10016 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 29677
/proc/meminfo: memFree=26979492/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=7912 CPUtime=0.09 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 730 0 0 0 9 0 0 0 20 0 1 0 36151920 8101888 583 33554432000 4194304 5796924 140733758454464 140736811152040 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1978 583 128 392 0 1577 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7912
[startup+0.200285 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 29677
/proc/meminfo: memFree=26979492/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=9476 CPUtime=0.19 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1110 0 0 0 19 0 0 0 20 0 1 0 36151920 9703424 938 33554432000 4194304 5796924 140733758454464 140736811152040 5100093 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 2369 939 128 392 0 1968 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 9476
[startup+0.300268 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 29677
/proc/meminfo: memFree=26979492/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=10896 CPUtime=0.29 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1506 0 0 0 29 0 0 0 20 0 1 0 36151920 11157504 1309 33554432000 4194304 5796924 140733758454464 140736811152040 4623680 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 2724 1309 128 392 0 2323 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10896
[startup+0.700186 s]
/proc/loadavg: 1.94 2.00 1.99 3/176 29677
/proc/meminfo: memFree=26979492/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=16272 CPUtime=0.68 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 2869 0 0 0 68 0 0 0 20 0 1 0 36151920 16662528 3029 33554432000 4194304 5796924 140733758454464 140733758453624 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 4068 3029 128 392 0 3667 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 16272
[startup+1.50018 s]
/proc/loadavg: 1.94 2.00 1.99 4/177 29678
/proc/meminfo: memFree=26962268/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=28616 CPUtime=1.49 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 6064 0 0 0 148 1 0 0 20 0 1 0 36151920 29302784 5663 33554432000 4194304 5796924 140733758454464 140733758453736 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 7154 5663 128 392 0 6753 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28616
[startup+3.10024 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 29678
/proc/meminfo: memFree=26947024/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=46932 CPUtime=3.09 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 10385 0 0 0 307 2 0 0 20 0 1 0 36151920 48058368 9635 33554432000 4194304 5796924 140733758454464 140733758453624 5183584 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 11733 9635 128 392 0 11332 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46932
[startup+6.30031 s]
/proc/loadavg: 1.94 2.00 1.99 3/177 29678
/proc/meminfo: memFree=26902956/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=84252 CPUtime=6.29 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 20945 0 0 0 625 4 0 0 20 0 1 0 36151920 86274048 18972 33554432000 4194304 5796924 140733758454464 140733758454120 5092416 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 21063 18972 132 392 0 20662 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84252
[startup+12.7002 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 29678
/proc/meminfo: memFree=26580948/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=438168 CPUtime=12.69 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 108679 0 0 0 1253 16 0 0 20 0 1 0 36151920 448684032 107069 33554432000 4194304 5796924 140733758454464 140733691175224 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 109542 107069 140 392 0 109141 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 438168
[startup+25.5004 s]
/proc/loadavg: 1.96 2.00 1.99 3/177 29678
/proc/meminfo: memFree=25926348/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=1071796 CPUtime=25.49 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 262067 0 0 0 2513 36 0 0 20 0 1 0 36151920 1097519104 265190 33554432000 4194304 5796924 140733758454464 140733699525912 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 267949 265191 140 392 0 267548 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1071796
[startup+51.1004 s]
/proc/loadavg: 1.97 2.00 1.99 3/177 29678
/proc/meminfo: memFree=24723000/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=2287264 CPUtime=51.08 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 545982 0 0 0 5026 82 0 0 20 0 1 0 36151920 2342158336 568546 33554432000 4194304 5796924 140733758454464 140733710115752 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 571816 568546 140 392 0 571415 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2287264
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/178 29683
/proc/meminfo: memFree=22183628/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=4816692 CPUtime=102.28 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1146228 0 0 0 10062 166 0 0 20 0 1 0 36151920 4932292608 1196757 33554432000 4194304 5796924 140733758454464 140733726946568 5095032 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1204173 1196757 140 392 0 1203772 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4816692
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 29684
/proc/meminfo: memFree=20018500/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=162.27 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678195 0 0 0 15985 242 0 0 20 0 1 0 36151920 7156875264 1736389 33554432000 4194304 5796924 140733758454464 140733742142024 5077954 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736389 140 392 0 1746883 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 6989136
[startup+222.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29685
/proc/meminfo: memFree=20018628/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=222.27 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678199 0 0 0 21985 242 0 0 20 0 1 0 36151920 7156875264 1736393 33554432000 4194304 5796924 140733758454464 140733758451448 4865554 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736393 144 392 0 1746883 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 6989136
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29686
/proc/meminfo: memFree=20018396/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=282.25 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 27983 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 4865513 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 6989136
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29687
/proc/meminfo: memFree=20018288/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=342.24 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 33982 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 5100311 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 6989136
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29689
/proc/meminfo: memFree=20018304/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=402.23 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 39981 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 4810080 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 6989136
[startup+462.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 29690
/proc/meminfo: memFree=20018204/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=462.22 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 45980 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 4809946 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 6989136
[startup+522.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 29691
/proc/meminfo: memFree=20017976/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=522.21 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 51979 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 5087532 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 6989136
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 29692
/proc/meminfo: memFree=20018000/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=582.2 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 57978 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 5077846 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 6989136
################
# More data... #
################
[startup+1002.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/176 29703
/proc/meminfo: memFree=20015396/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1002.14 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 99972 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 5092425 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 6989136
[startup+1062.3 s]
/proc/loadavg: 2.17 2.05 2.01 3/177 29705
/proc/meminfo: memFree=20015408/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1062.13 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 105971 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 5096544 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 6989136
[startup+1122.3 s]
/proc/loadavg: 2.06 2.04 2.00 4/177 29706
/proc/meminfo: memFree=20015052/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1122.12 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678200 0 0 0 111970 242 0 0 20 0 1 0 36151920 7156875264 1736394 33554432000 4194304 5796924 140733758454464 140733758451448 4865516 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736394 145 392 0 1746883 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 6989136
[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 29752
/proc/meminfo: memFree=22750708/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1182.11 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678204 0 0 0 117969 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 5094444 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 6989136
[startup+1242.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 29753
/proc/meminfo: memFree=21504860/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1242.1 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678206 0 0 0 123968 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 6989136
[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/178 29757
/proc/meminfo: memFree=21300872/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1302.09 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678219 0 0 0 129967 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 5077866 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 6989136
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/178 29782
/proc/meminfo: memFree=21145624/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1362.07 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678230 0 0 0 135965 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 5092550 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 6989136
[startup+1422.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 29783
/proc/meminfo: memFree=20822328/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1422.06 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678242 0 0 0 141964 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 5100746 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 6989136
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 29784
/proc/meminfo: memFree=19036704/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1482.04 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678250 0 0 0 147962 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 5092425 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 6989136
[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 29785
/proc/meminfo: memFree=11614704/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1542.03 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678257 0 0 0 153961 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 4806956 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 6989136
[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 29786
/proc/meminfo: memFree=11851524/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1602.01 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678265 0 0 0 159959 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 5077954 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 6989136
[startup+1662.3 s]
/proc/loadavg: 2.16 2.05 2.01 3/177 29788
/proc/meminfo: memFree=11837216/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1662 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678275 0 0 0 165958 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 4865586 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 6989136
[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/177 29789
/proc/meminfo: memFree=11836868/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1721.99 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678283 0 0 0 171957 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 4865437 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 6989136
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 29790
/proc/meminfo: memFree=11836152/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1781.97 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678294 0 0 0 177955 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 5087499 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 6989136
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 29791
/proc/meminfo: memFree=11828004/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=6989136 CPUtime=1800.07 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202496 1678299 0 0 0 179765 242 0 0 20 0 1 0 36151920 7156875264 1736486 33554432000 4194304 5796924 140733758454464 140733758451448 4839608 0 0 4096 17954 0 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 1747284 1736486 145 392 0 1746883 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6989136
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 29677 sig 9
??? kill -29677 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 29791
/proc/meminfo: memFree=11828004/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202500 1678312 0 0 0 179765 262 0 0 20 0 1 0 36151920 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
[startup+1800.7 s]
/proc/loadavg: 2.10 2.06 2.01 4/177 29791
/proc/meminfo: memFree=18627072/32872528 swapFree=190200/190200
[pid=29677] ppid=29674 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/29677/stat : 29677 (naps-1.02) R 29674 29677 28647 0 -1 4202500 1678312 0 0 0 179765 273 0 0 20 0 1 0 36151920 0 0 33554432000 0 0 0 0 0 0 16384 4096 17954 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29677/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.39
CPU user time (s): 1797.65
CPU system time (s): 2.73158
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 6989136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 2.73158
maximum resident set size= 6945996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1678312
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= 102
involuntary context switches= 1837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.01878 second user time and 12.5411 second system time
The end