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-4086333-1465245738/watcher-4086333-1465245738 -o /tmp/evaluation-result-4086333-1465245738/solver-4086333-1465245738 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465242130-5024 --watchdog 1960 open-wbo HOME/instance-4086333-1465245738.opb
pid=5622
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.14 2.23 2.19 3/176 5625
/proc/meminfo: memFree=30441104/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=2692 CPUtime=0 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 416 0 0 0 0 0 0 0 20 0 1 0 106507394 2756608 292 33554432000 4194304 6059633 140733234968512 140737377932840 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 673 293 222 456 0 120 0
[startup+0.100141 s]
/proc/loadavg: 2.14 2.23 2.19 3/176 5625
/proc/meminfo: memFree=30441104/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=9600 CPUtime=0.09 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 1293 0 0 0 9 0 0 0 20 0 1 0 106507394 9830400 1067 33554432000 4194304 6059633 140733234968512 140737377932840 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 2400 1067 180 456 0 1936 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9600
[startup+0.200299 s]
/proc/loadavg: 2.14 2.23 2.19 3/176 5625
/proc/meminfo: memFree=30441104/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=6400 CPUtime=0.19 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 1554 0 0 0 19 0 0 0 20 0 1 0 106507394 6553600 1176 33554432000 4194304 6059633 140733234968512 140737377932840 4280227 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 1600 1176 184 456 0 1136 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6400
[startup+0.300292 s]
/proc/loadavg: 2.14 2.23 2.19 3/176 5625
/proc/meminfo: memFree=30441104/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=7540 CPUtime=0.29 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 1680 0 0 0 29 0 0 0 20 0 1 0 106507394 7720960 1297 33554432000 4194304 6059633 140733234968512 140737377932840 4277910 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 1885 1297 184 456 0 1421 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7540
[startup+0.700284 s]
/proc/loadavg: 2.14 2.23 2.19 3/176 5625
/proc/meminfo: memFree=30441104/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=9744 CPUtime=0.69 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 2613 0 0 0 69 0 0 0 20 0 1 0 106507394 9977856 1920 33554432000 4194304 6059633 140733234968512 140737377932840 4278476 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 2436 1920 184 456 0 1972 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9744
[startup+1.50028 s]
/proc/loadavg: 2.14 2.23 2.19 3/177 5626
/proc/meminfo: memFree=30431424/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=10772 CPUtime=1.49 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 2955 0 0 0 149 0 0 0 20 0 1 0 106507394 11030528 2238 33554432000 4194304 6059633 140733234968512 140733234967032 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 2693 2238 184 456 0 2229 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10772
[startup+3.10029 s]
/proc/loadavg: 2.14 2.23 2.19 4/177 5626
/proc/meminfo: memFree=30428076/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=18464 CPUtime=3.08 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 3752 0 0 0 308 0 0 0 20 0 1 0 106507394 18907136 3501 33554432000 4194304 6059633 140733234968512 140733234967608 4254597 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 4616 3501 184 456 0 4152 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18464
[startup+6.3003 s]
/proc/loadavg: 2.13 2.23 2.19 3/177 5626
/proc/meminfo: memFree=30419712/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=21704 CPUtime=6.29 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 5116 0 0 0 628 1 0 0 20 0 1 0 106507394 22224896 4274 33554432000 4194304 6059633 140733234968512 140733234967336 4255169 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 5426 4274 184 456 0 4962 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21704
[startup+12.7003 s]
/proc/loadavg: 2.20 2.24 2.20 3/177 5626
/proc/meminfo: memFree=30406644/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=24448 CPUtime=12.69 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 6045 0 0 0 1268 1 0 0 20 0 1 0 106507394 25034752 5679 33554432000 4194304 6059633 140733234968512 140733234967608 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 6112 5679 185 456 0 5648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24448
[startup+25.5003 s]
/proc/loadavg: 2.15 2.23 2.19 3/177 5626
/proc/meminfo: memFree=30402584/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=26444 CPUtime=25.48 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 6554 0 0 0 2547 1 0 0 20 0 1 0 106507394 27078656 6178 33554432000 4194304 6059633 140733234968512 140733234967032 4278035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 6611 6178 185 456 0 6147 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26444
[startup+51.1004 s]
/proc/loadavg: 2.23 2.24 2.19 3/177 5626
/proc/meminfo: memFree=30374228/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=52544 CPUtime=51.07 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 7481 0 0 0 5106 1 0 0 20 0 1 0 106507394 53805056 9924 33554432000 4194304 6059633 140733234968512 140733234967000 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 13136 9924 185 456 0 12672 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 52544
[startup+102.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 5627
/proc/meminfo: memFree=30351808/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=52544 CPUtime=102.27 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 7492 0 0 0 10226 1 0 0 20 0 1 0 106507394 53805056 9935 33554432000 4194304 6059633 140733234968512 140733234967608 4255053 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 13136 9935 185 456 0 12672 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52544
[startup+162.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/177 5628
/proc/meminfo: memFree=30318360/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=64092 CPUtime=162.26 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 8037 0 0 0 16224 2 0 0 20 0 1 0 106507394 65630208 15577 33554432000 4194304 6059633 140733234968512 140733234967032 4278024 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 16023 15577 185 456 0 15559 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 64092
[startup+222.307 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 5629
/proc/meminfo: memFree=30310728/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=64092 CPUtime=222.26 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 8037 0 0 0 22224 2 0 0 20 0 1 0 106507394 65630208 15577 33554432000 4194304 6059633 140733234968512 140733234967032 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 16023 15577 185 456 0 15559 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 64092
[startup+282.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/177 5631
/proc/meminfo: memFree=30309456/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=64092 CPUtime=282.25 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 8037 0 0 0 28223 2 0 0 20 0 1 0 106507394 65630208 15577 33554432000 4194304 6059633 140733234968512 140733234967032 4278369 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 16023 15577 185 456 0 15559 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 64092
[startup+342.3 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 5632
/proc/meminfo: memFree=30274356/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=66356 CPUtime=342.23 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 8438 0 0 0 34221 2 0 0 20 0 1 0 106507394 67948544 16004 33554432000 4194304 6059633 140733234968512 140733234967032 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 16589 16004 185 456 0 16125 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 66356
[startup+402.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 5633
/proc/meminfo: memFree=30306672/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=66356 CPUtime=402.22 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 9094 0 0 0 40219 3 0 0 20 0 1 0 106507394 67948544 16186 33554432000 4194304 6059633 140733234968512 140733234967336 4262704 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 16589 16186 185 456 0 16125 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 66356
[startup+462.3 s]
/proc/loadavg: 2.33 2.26 2.19 4/177 5634
/proc/meminfo: memFree=30286196/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=96708 CPUtime=462.21 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 9658 0 0 0 46217 4 0 0 20 0 1 0 106507394 99028992 21391 33554432000 4194304 6059633 140733234968512 140733234967048 4278035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 24177 21391 185 456 0 23713 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 96708
[startup+522.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/178 5638
/proc/meminfo: memFree=30263696/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=66356 CPUtime=522.2 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 10897 0 0 0 52214 6 0 0 20 0 1 0 106507394 67948544 16186 33554432000 4194304 6059633 140733234968512 140733234967336 4278024 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 16589 16186 185 456 0 16125 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 66356
[startup+582.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/177 5640
/proc/meminfo: memFree=30234692/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=115676 CPUtime=582.19 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 12229 0 0 0 58211 8 0 0 20 0 1 0 106507394 118452224 24505 33554432000 4194304 6059633 140733234968512 140733234967304 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 28919 24505 185 456 0 28455 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 115676
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 2.26 2.24 2.18 3/177 5646
/proc/meminfo: memFree=30265464/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=115676 CPUtime=882.15 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 16929 0 0 0 88197 18 0 0 20 0 1 0 106507394 118452224 26553 33554432000 4194304 6059633 140733234968512 140733234967304 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 28919 26553 185 456 0 28455 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 115676
[startup+942.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 5647
/proc/meminfo: memFree=30306452/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=66356 CPUtime=942.13 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 17594 0 0 0 94193 20 0 0 20 0 1 0 106507394 67948544 16186 33554432000 4194304 6059633 140733234968512 140733234967336 4278457 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 16589 16186 185 456 0 16125 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 66356
[startup+1002.3 s]
/proc/loadavg: 2.26 2.24 2.18 4/177 5648
/proc/meminfo: memFree=30248712/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=96708 CPUtime=1002.13 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 18366 0 0 0 100191 22 0 0 20 0 1 0 106507394 99028992 21903 33554432000 4194304 6059633 140733234968512 140733234967048 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 24177 21903 185 456 0 23713 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 96708
[startup+1062.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 5649
/proc/meminfo: memFree=30242312/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=96708 CPUtime=1062.11 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 19035 0 0 0 106188 23 0 0 20 0 1 0 106507394 99028992 22415 33554432000 4194304 6059633 140733234968512 140733234967048 4277774 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 24177 22415 185 456 0 23713 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 96708
[startup+1122.3 s]
/proc/loadavg: 2.26 2.24 2.18 3/178 5653
/proc/meminfo: memFree=30238252/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=96708 CPUtime=1122.11 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 19704 0 0 0 112186 25 0 0 20 0 1 0 106507394 99028992 22415 33554432000 4194304 6059633 140733234968512 140733234967048 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 24177 22415 185 456 0 23713 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 96708
[startup+1182.3 s]
/proc/loadavg: 2.17 2.22 2.18 4/178 5678
/proc/meminfo: memFree=30235960/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=96708 CPUtime=1182.1 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 20377 0 0 0 118184 26 0 0 20 0 1 0 106507394 99028992 22927 33554432000 4194304 6059633 140733234968512 140733234967048 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 24177 22927 185 456 0 23713 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 96708
[startup+1242.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 5679
/proc/meminfo: memFree=30240040/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=96708 CPUtime=1242.09 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 21298 0 0 0 124181 28 0 0 20 0 1 0 106507394 99028992 22927 33554432000 4194304 6059633 140733234968512 140733234967048 4277697 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 24177 22927 185 456 0 23713 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 96708
[startup+1302.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 5680
/proc/meminfo: memFree=30244236/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=96708 CPUtime=1302.08 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 22454 0 0 0 130178 30 0 0 20 0 1 0 106507394 99028992 22415 33554432000 4194304 6059633 140733234968512 140733234967048 4246395 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 24177 22415 185 456 0 23713 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 96708
[startup+1362.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/177 5681
/proc/meminfo: memFree=30220864/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=146496 CPUtime=1362.07 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 23612 0 0 0 136176 31 0 0 20 0 1 0 106507394 150011904 29180 33554432000 4194304 6059633 140733234968512 140733234967304 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 36624 29180 185 456 0 36160 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 146496
[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 5682
/proc/meminfo: memFree=30258364/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=115676 CPUtime=1422.06 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 24299 0 0 0 142174 32 0 0 20 0 1 0 106507394 118452224 28089 33554432000 4194304 6059633 140733234968512 140733234967304 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 28919 28089 185 456 0 28455 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 115676
[startup+1482.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/177 5684
/proc/meminfo: memFree=30200284/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=115676 CPUtime=1482.04 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 25554 0 0 0 148170 34 0 0 20 0 1 0 106507394 118452224 27065 33554432000 4194304 6059633 140733234968512 140733234967304 4278432 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 28919 27065 185 456 0 28455 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 115676
[startup+1542.31 s]
/proc/loadavg: 2.11 2.20 2.17 3/177 5685
/proc/meminfo: memFree=30210500/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=115676 CPUtime=1542.04 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 26809 0 0 0 154168 36 0 0 20 0 1 0 106507394 118452224 25017 33554432000 4194304 6059633 140733234968512 140733234967304 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 28919 25017 185 456 0 28455 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 115676
[startup+1602.3 s]
/proc/loadavg: 2.29 2.24 2.19 4/177 5686
/proc/meminfo: memFree=30233496/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=96708 CPUtime=1602.02 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 27504 0 0 0 160164 38 0 0 20 0 1 0 106507394 99028992 22415 33554432000 4194304 6059633 140733234968512 140733234967048 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 24177 22415 185 456 0 23713 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 96708
[startup+1662.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 5687
/proc/meminfo: memFree=30212468/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=146496 CPUtime=1662.01 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 28669 0 0 0 166162 39 0 0 20 0 1 0 106507394 150011904 29692 33554432000 4194304 6059633 140733234968512 140733234967304 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 36624 29692 185 456 0 36160 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 146496
[startup+1722.3 s]
/proc/loadavg: 2.20 2.22 2.18 3/178 5691
/proc/meminfo: memFree=30260400/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=115676 CPUtime=1722 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 29341 0 0 0 172159 41 0 0 20 0 1 0 106507394 118452224 27577 33554432000 4194304 6059633 140733234968512 140733234967304 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 28919 27577 185 456 0 28455 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 115676
[startup+1782.3 s]
/proc/loadavg: 2.14 2.19 2.17 3/177 5693
/proc/meminfo: memFree=30210408/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=115676 CPUtime=1782 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 30598 0 0 0 178156 44 0 0 20 0 1 0 106507394 118452224 24505 33554432000 4194304 6059633 140733234968512 140733234967304 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 28919 24505 185 456 0 28455 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 115676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.10 2.18 2.17 3/177 5739
/proc/meminfo: memFree=30337548/32872528 swapFree=14448/1543360
[pid=5625] ppid=5622 vsize=115676 CPUtime=1800.09 cores=1,3,5,7
/proc/5625/stat : 5625 (open-wbo) R 5622 5625 5007 0 -1 4202496 30603 0 0 0 179965 44 0 0 20 0 1 0 106507394 118452224 27065 33554432000 4194304 6059633 140733234968512 140733234967304 4277896 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/5625/statm: 28919 27065 185 456 0 28455 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 115676
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 5625 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.11
CPU user time (s): 1799.66
CPU system time (s): 0.448931
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 146496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.66
system time used= 0.448931
maximum resident set size= 122864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30606
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= 27
involuntary context switches= 1863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.98824 second user time and 7.30389 second system time
The end