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-4086463-1465252192/watcher-4086463-1465252192 -o /tmp/evaluation-result-4086463-1465252192/solver-4086463-1465252192 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465223432-16631 --watchdog 1960 open-wbo HOME/instance-4086463-1465252192.opb
pid=22660
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.00 2.00 2.00 2/178 22663
/proc/meminfo: memFree=31902892/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=3848 CPUtime=0 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 687 0 0 0 0 0 0 0 20 0 1 0 107151214 3940352 563 33554432000 4194304 6059633 140734129114128 140735371744760 4210904 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 962 563 476 456 0 156 0
[startup+0.100161 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 22663
/proc/meminfo: memFree=31902892/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=5868 CPUtime=0.09 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 1165 0 0 0 9 0 0 0 20 0 1 0 107151214 6008832 1041 33554432000 4194304 6059633 140734129114128 140735371744760 5043379 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 1467 1041 476 456 0 661 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5868
[startup+0.20029 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 22663
/proc/meminfo: memFree=31902892/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=13392 CPUtime=0.19 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 2491 0 0 0 19 0 0 0 20 0 1 0 107151214 13713408 2499 33554432000 4194304 6059633 140734129114128 140735371744760 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 3348 2499 182 456 0 2884 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13392
[startup+0.300324 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 22663
/proc/meminfo: memFree=31902892/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=13780 CPUtime=0.29 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 2589 0 0 0 29 0 0 0 20 0 1 0 107151214 14110720 2597 33554432000 4194304 6059633 140734129114128 140735371744760 4277586 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 3445 2597 184 456 0 2981 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13780
[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 22663
/proc/meminfo: memFree=31902892/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=14268 CPUtime=0.69 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 2701 0 0 0 69 0 0 0 20 0 1 0 107151214 14610432 2709 33554432000 4194304 6059633 140734129114128 140734129113224 4277687 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 3567 2709 185 456 0 3103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14268
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22664
/proc/meminfo: memFree=31890548/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=13276 CPUtime=1.49 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 3483 0 0 0 149 0 0 0 20 0 1 0 107151214 13594624 2726 33554432000 4194304 6059633 140734129114128 140734129113224 4277852 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 3319 2726 186 456 0 2855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13276
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22664
/proc/meminfo: memFree=31889556/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=20860 CPUtime=3.09 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 5337 0 0 0 308 1 0 0 20 0 1 0 107151214 21360640 4243 33554432000 4194304 6059633 140734129114128 140734129112504 4278520 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 5215 4243 186 456 0 4751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20860
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22664
/proc/meminfo: memFree=31880780/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=20860 CPUtime=6.29 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 5787 0 0 0 628 1 0 0 20 0 1 0 107151214 21360640 4682 33554432000 4194304 6059633 140734129114128 140734129113224 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 5215 4682 186 456 0 4751 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20860
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22667
/proc/meminfo: memFree=31873008/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=25252 CPUtime=12.69 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 6415 0 0 0 1268 1 0 0 20 0 1 0 107151214 25858048 5793 33554432000 4194304 6059633 140734129114128 140734129113224 4277923 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 6313 5793 187 456 0 5849 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25252
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22667
/proc/meminfo: memFree=31862456/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=33472 CPUtime=25.48 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 7366 0 0 0 2547 1 0 0 20 0 1 0 107151214 34275328 7325 33554432000 4194304 6059633 140734129114128 140734129112616 4277579 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 8368 7325 187 456 0 7904 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33472
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22667
/proc/meminfo: memFree=31902240/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=40612 CPUtime=51.07 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 8199 0 0 0 5106 1 0 0 20 0 1 0 107151214 41586688 9615 33554432000 4194304 6059633 140734129114128 140734129113224 4277855 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 10153 9615 187 456 0 9689 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40612
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22668
/proc/meminfo: memFree=31895000/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=47796 CPUtime=102.28 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 8525 0 0 0 10226 2 0 0 20 0 1 0 107151214 48943104 11425 33554432000 4194304 6059633 140734129114128 140734129113224 4246291 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 11949 11425 187 456 0 11485 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 47796
[startup+162.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 22715
/proc/meminfo: memFree=31936884/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=60556 CPUtime=162.26 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 9603 0 0 0 16224 2 0 0 20 0 1 0 107151214 62009344 14505 33554432000 4194304 6059633 140734129114128 140734129112616 4277835 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 15139 14505 187 456 0 14675 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 60556
[startup+222.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 22716
/proc/meminfo: memFree=31912716/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=90908 CPUtime=222.26 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 10134 0 0 0 22224 2 0 0 20 0 1 0 107151214 93089792 16044 33554432000 4194304 6059633 140734129114128 140734129113224 4278360 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 22727 16044 187 456 0 22263 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 90908
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 22717
/proc/meminfo: memFree=31892104/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=90908 CPUtime=282.24 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 10138 0 0 0 28222 2 0 0 20 0 1 0 107151214 93089792 16558 33554432000 4194304 6059633 140734129114128 140734129113224 4262710 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 22727 16558 188 456 0 22263 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 90908
[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 22718
/proc/meminfo: memFree=31868652/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=90908 CPUtime=342.23 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 10197 0 0 0 34220 3 0 0 20 0 1 0 107151214 93089792 22238 33554432000 4194304 6059633 140734129114128 140734129113224 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 22727 22238 188 456 0 22263 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 90908
[startup+402.3 s]
/proc/loadavg: 2.06 2.00 2.00 3/179 22719
/proc/meminfo: memFree=31868092/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=90908 CPUtime=402.22 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 10377 0 0 0 40219 3 0 0 20 0 1 0 107151214 93089792 22241 33554432000 4194304 6059633 140734129114128 140734129113224 4277524 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 22727 22241 188 456 0 22263 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 90908
[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 22721
/proc/meminfo: memFree=31852084/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=90908 CPUtime=462.22 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 10911 0 0 0 46217 5 0 0 20 0 1 0 107151214 93089792 22241 33554432000 4194304 6059633 140734129114128 140734129112952 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 22727 22241 188 456 0 22263 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 90908
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22722
/proc/meminfo: memFree=31851708/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=90908 CPUtime=522.21 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 11268 0 0 0 52215 6 0 0 20 0 1 0 107151214 93089792 22241 33554432000 4194304 6059633 140734129114128 140734129113224 4277832 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 22727 22241 188 456 0 22263 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 90908
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22723
/proc/meminfo: memFree=31816328/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=140228 CPUtime=582.19 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 11805 0 0 0 58212 7 0 0 20 0 1 0 107151214 143593472 31107 33554432000 4194304 6059633 140734129114128 140734129112664 4277874 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 35057 31107 188 456 0 34593 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 140228
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22733
/proc/meminfo: memFree=31818572/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=90908 CPUtime=942.14 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 13817 0 0 0 94199 15 0 0 20 0 1 0 107151214 93089792 22244 33554432000 4194304 6059633 140734129114128 140734129113224 4277847 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 22727 22244 188 456 0 22263 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 90908
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22734
/proc/meminfo: memFree=31798836/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=155712 CPUtime=1002.13 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 14994 0 0 0 100197 16 0 0 20 0 1 0 107151214 159449088 35493 33554432000 4194304 6059633 140734129114128 140734129112664 4278360 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 38928 35493 188 456 0 38464 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 155712
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22736
/proc/meminfo: memFree=31749920/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=106392 CPUtime=1062.13 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 15183 0 0 0 106196 17 0 0 20 0 1 0 107151214 108945408 26115 33554432000 4194304 6059633 140734129114128 140734129112664 4246291 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 26598 26115 188 456 0 26134 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 106392
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22737
/proc/meminfo: memFree=31765680/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=155712 CPUtime=1122.12 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 15550 0 0 0 112194 18 0 0 20 0 1 0 107151214 159449088 34984 33554432000 4194304 6059633 140734129114128 140734129112664 4277855 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 38928 34984 188 456 0 38464 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 155712
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22738
/proc/meminfo: memFree=31749476/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=155712 CPUtime=1182.11 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 15738 0 0 0 118192 19 0 0 20 0 1 0 107151214 159449088 36520 33554432000 4194304 6059633 140734129114128 140734129112664 4262544 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 38928 36520 188 456 0 38464 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 155712
[startup+1242.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 22742
/proc/meminfo: memFree=31800584/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=106392 CPUtime=1242.09 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 16462 0 0 0 124189 20 0 0 20 0 1 0 107151214 108945408 26118 33554432000 4194304 6059633 140734129114128 140734129112952 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 26598 26118 188 456 0 26134 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 106392
[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22743
/proc/meminfo: memFree=31753332/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=155712 CPUtime=1302.08 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 17418 0 0 0 130186 22 0 0 20 0 1 0 107151214 159449088 35496 33554432000 4194304 6059633 140734129114128 140734129112664 4277855 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 38928 35496 188 456 0 38464 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 155712
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22745
/proc/meminfo: memFree=31796136/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=155712 CPUtime=1362.08 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 18200 0 0 0 136184 24 0 0 20 0 1 0 107151214 159449088 36008 33554432000 4194304 6059633 140734129114128 140734129112664 4277570 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 38928 36008 188 456 0 38464 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 155712
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22746
/proc/meminfo: memFree=31785488/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=186532 CPUtime=1422.08 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 19544 0 0 0 142182 26 0 0 20 0 1 0 107151214 191008768 38606 33554432000 4194304 6059633 140734129114128 140734129112920 4277687 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 46633 38606 188 456 0 46169 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 186532
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22747
/proc/meminfo: memFree=31740200/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=186532 CPUtime=1482.06 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 20360 0 0 0 148178 28 0 0 20 0 1 0 107151214 191008768 40175 33554432000 4194304 6059633 140734129114128 140734129113224 4277864 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 46633 40175 188 456 0 46169 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 186532
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22748
/proc/meminfo: memFree=31732728/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=186532 CPUtime=1542.04 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 21153 0 0 0 154175 29 0 0 20 0 1 0 107151214 191008768 40175 33554432000 4194304 6059633 140734129114128 140734129112920 4277990 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 46633 40175 188 456 0 46169 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 186532
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22749
/proc/meminfo: memFree=31775468/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=106392 CPUtime=1602.03 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 21932 0 0 0 160171 32 0 0 20 0 1 0 107151214 108945408 26122 33554432000 4194304 6059633 140734129114128 140734129112952 4278457 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 26598 26122 188 456 0 26134 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 106392
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22751
/proc/meminfo: memFree=31767132/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=155712 CPUtime=1662.02 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 22890 0 0 0 166168 34 0 0 20 0 1 0 107151214 159449088 34476 33554432000 4194304 6059633 140734129114128 140734129112664 4277900 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 38928 34476 188 456 0 38464 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 155712
[startup+1722.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22752
/proc/meminfo: memFree=31802344/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=106392 CPUtime=1722.01 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 23495 0 0 0 172166 35 0 0 20 0 1 0 107151214 108945408 26122 33554432000 4194304 6059633 140734129114128 140734129112952 4277945 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 26598 26122 188 456 0 26134 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 106392
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22753
/proc/meminfo: memFree=31797776/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=106392 CPUtime=1782.01 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 24275 0 0 0 178164 37 0 0 20 0 1 0 107151214 108945408 26122 33554432000 4194304 6059633 140734129114128 140734129112952 4278373 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 26598 26122 188 456 0 26134 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 106392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22754
/proc/meminfo: memFree=31746644/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=155712 CPUtime=1800 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 24456 0 0 0 179963 37 0 0 20 0 1 0 107151214 159449088 36012 33554432000 4194304 6059633 140734129114128 140734129112664 4278432 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 38928 36012 188 456 0 38464 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 155712
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 22663 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 22754
/proc/meminfo: memFree=31746644/32872528 swapFree=8144/8144
[pid=22663] ppid=22660 vsize=155712 CPUtime=1800 cores=0,2,4,6
/proc/22663/stat : 22663 (open-wbo) R 22660 22663 16615 0 -1 4202496 24456 0 0 0 179963 37 0 0 20 0 1 0 107151214 159449088 36012 33554432000 4194304 6059633 140734129114128 140734129112664 4278432 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/22663/statm: 38928 36012 188 456 0 38464 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 155712
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.64
CPU system time (s): 0.376942
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 186532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.376942
maximum resident set size= 166844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24459
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= 26
involuntary context switches= 1870
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44332 second user time and 7.01593 second system time
The end