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-4095990-1466099977/watcher-4095990-1466099977 -o /tmp/evaluation-result-4095990-1466099977/solver-4095990-1466099977 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466098176-18103 --watchdog 1960 open-wbo-lsu HOME/instance-4095990-1466099977.opb
pid=18267
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.05 2.02 2.00 2/178 18270
/proc/meminfo: memFree=31980744/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=7320 CPUtime=0 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 12043585 7495680 413 33554432000 4194304 6058637 140736855858960 140734670674104 4246230 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 1830 413 163 456 0 1366 0
[startup+0.100145 s]
/proc/loadavg: 2.05 2.02 2.00 2/178 18270
/proc/meminfo: memFree=31980744/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=3484 CPUtime=0.09 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 679 0 0 0 9 0 0 0 20 0 1 0 12043585 3567616 493 33554432000 4194304 6058637 140736855858960 140734670674104 5042435 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 871 493 177 456 0 407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3484
[startup+0.200274 s]
/proc/loadavg: 2.05 2.02 2.00 2/178 18270
/proc/meminfo: memFree=31980744/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=3988 CPUtime=0.19 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 817 0 0 0 19 0 0 0 20 0 1 0 12043585 4083712 626 33554432000 4194304 6058637 140736855858960 140734670674104 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 997 626 177 456 0 533 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3988
[startup+0.300261 s]
/proc/loadavg: 2.05 2.02 2.00 2/178 18270
/proc/meminfo: memFree=31980744/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=4452 CPUtime=0.29 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 1006 0 0 0 29 0 0 0 20 0 1 0 12043585 4558848 648 33554432000 4194304 6058637 140736855858960 140734670674104 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 1113 648 177 456 0 649 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4452
[startup+0.70023 s]
/proc/loadavg: 2.05 2.02 2.00 2/178 18270
/proc/meminfo: memFree=31980744/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=5776 CPUtime=0.69 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 1445 0 0 0 69 0 0 0 20 0 1 0 12043585 5914624 1076 33554432000 4194304 6058637 140736855858960 140734670674104 4277394 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 1444 1076 177 456 0 980 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5776
[startup+1.50023 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 18271
/proc/meminfo: memFree=31969420/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=8644 CPUtime=1.49 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 1992 0 0 0 149 0 0 0 20 0 1 0 12043585 8851456 1614 33554432000 4194304 6058637 140736855858960 140736855857720 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 2161 1614 177 456 0 1697 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8644
[startup+3.10024 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 18271
/proc/meminfo: memFree=31965948/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=11968 CPUtime=3.09 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 3058 0 0 0 309 0 0 0 20 0 1 0 12043585 12255232 2617 33554432000 4194304 6058637 140736855858960 140736855857720 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 2992 2617 177 456 0 2528 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11968
[startup+6.30023 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 18271
/proc/meminfo: memFree=31958148/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=16024 CPUtime=6.29 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 3558 0 0 0 629 0 0 0 20 0 1 0 12043585 16408576 3616 33554432000 4194304 6058637 140736855858960 140736855857688 4280035 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 4006 3616 177 456 0 3542 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16024
[startup+12.7002 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 18271
/proc/meminfo: memFree=31944756/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=18744 CPUtime=12.69 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 4288 0 0 0 1269 0 0 0 20 0 1 0 12043585 19193856 4308 33554432000 4194304 6058637 140736855858960 140736855857720 4278160 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 4686 4308 177 456 0 4222 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18744
[startup+25.5003 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 18274
/proc/meminfo: memFree=31931024/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=35496 CPUtime=25.49 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 5836 0 0 0 2548 1 0 0 20 0 1 0 12043585 36347904 6386 33554432000 4194304 6058637 140736855858960 140736855857688 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 8874 6386 177 456 0 8410 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35496
[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 18274
/proc/meminfo: memFree=31916140/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=35496 CPUtime=51.08 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 6461 0 0 0 5107 1 0 0 20 0 1 0 12043585 36347904 8505 33554432000 4194304 6058637 140736855858960 140736855857688 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 8874 8505 177 456 0 8410 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35496
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 18299
/proc/meminfo: memFree=31886500/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=58596 CPUtime=102.27 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 7079 0 0 0 10226 1 0 0 20 0 1 0 12043585 60002304 10984 33554432000 4194304 6058637 140736855858960 140736855857688 4277329 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 14649 10984 177 456 0 14185 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 58596
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18300
/proc/meminfo: memFree=31877036/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=58596 CPUtime=162.26 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 7307 0 0 0 16224 2 0 0 20 0 1 0 12043585 60002304 11716 33554432000 4194304 6058637 140736855858960 140736855857688 4278287 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 14649 11716 177 456 0 14185 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 58596
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18301
/proc/meminfo: memFree=31848376/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=77448 CPUtime=222.26 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 7973 0 0 0 22224 2 0 0 20 0 1 0 12043585 79306752 16898 33554432000 4194304 6058637 140736855858960 140736855857688 4301384 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 19362 16898 177 456 0 18898 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 77448
[startup+282.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 18302
/proc/meminfo: memFree=31842100/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=282.24 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 8028 0 0 0 28222 2 0 0 20 0 1 0 12043585 107241472 18482 33554432000 4194304 6058637 140736855858960 140736855857688 4277672 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 18482 177 456 0 25718 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 104728
[startup+342.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/179 18303
/proc/meminfo: memFree=31834096/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=342.23 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 8454 0 0 0 34221 2 0 0 20 0 1 0 12043585 107241472 19396 33554432000 4194304 6058637 140736855858960 140736855857688 4255480 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 19396 177 456 0 25718 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 104728
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 18305
/proc/meminfo: memFree=31812616/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=402.23 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 8455 0 0 0 40220 3 0 0 20 0 1 0 12043585 107241472 19908 33554432000 4194304 6058637 140736855858960 140736855857688 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 19908 177 456 0 25718 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 104728
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 18306
/proc/meminfo: memFree=31812424/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=462.22 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 8455 0 0 0 46219 3 0 0 20 0 1 0 12043585 107241472 19908 33554432000 4194304 6058637 140736855858960 140736855857688 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 19908 177 456 0 25718 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 104728
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18307
/proc/meminfo: memFree=31810068/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=522.21 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 8456 0 0 0 52218 3 0 0 20 0 1 0 12043585 107241472 20420 33554432000 4194304 6058637 140736855858960 140736855857688 4277733 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 20420 177 456 0 25718 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 104728
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18308
/proc/meminfo: memFree=31808020/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=582.2 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 8457 0 0 0 58217 3 0 0 20 0 1 0 12043585 107241472 20932 33554432000 4194304 6058637 140736855858960 140736855857688 4260972 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 20932 177 456 0 25718 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 104728
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 18318
/proc/meminfo: memFree=31772088/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=154048 CPUtime=942.14 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 10654 0 0 0 94206 8 0 0 20 0 1 0 12043585 157745152 29803 33554432000 4194304 6058637 140736855858960 140736855857736 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 38512 29803 177 456 0 38048 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 154048
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18319
/proc/meminfo: memFree=31773892/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=154048 CPUtime=1002.13 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 11021 0 0 0 100204 9 0 0 20 0 1 0 12043585 157745152 29291 33554432000 4194304 6058637 140736855858960 140736855857736 4277682 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 38512 29291 177 456 0 38048 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 154048
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18321
/proc/meminfo: memFree=31756460/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1062.12 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 11209 0 0 0 106202 10 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4277655 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 104728
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18322
/proc/meminfo: memFree=31791780/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1122.11 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 11579 0 0 0 112200 11 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 104728
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18323
/proc/meminfo: memFree=31714700/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1182.11 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 11950 0 0 0 118198 13 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855857736 4278328 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 104728
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18327
/proc/meminfo: memFree=31758296/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=154048 CPUtime=1242.1 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 12319 0 0 0 124196 14 0 0 20 0 1 0 12043585 157745152 29803 33554432000 4194304 6058637 140736855858960 140736855857736 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 38512 29803 177 456 0 38048 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 154048
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18328
/proc/meminfo: memFree=31755632/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1302.08 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 12508 0 0 0 130194 14 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4277663 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 104728
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18330
/proc/meminfo: memFree=31712872/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=154048 CPUtime=1362.08 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 12879 0 0 0 136192 16 0 0 20 0 1 0 12043585 157745152 30315 33554432000 4194304 6058637 140736855858960 140736855857736 4277471 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 38512 30315 177 456 0 38048 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 154048
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18331
/proc/meminfo: memFree=31791308/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1422.07 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 13069 0 0 0 142191 16 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4277357 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 104728
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18332
/proc/meminfo: memFree=31716712/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=154048 CPUtime=1482.05 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 13440 0 0 0 148188 17 0 0 20 0 1 0 12043585 157745152 30315 33554432000 4194304 6058637 140736855858960 140736855857736 4277640 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 38512 30315 177 456 0 38048 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 154048
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18333
/proc/meminfo: memFree=31791556/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1542.05 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 13631 0 0 0 154187 18 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4277655 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 104728
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18334
/proc/meminfo: memFree=31757924/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1602.04 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 13819 0 0 0 160185 19 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4277682 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 104728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18336
/proc/meminfo: memFree=31708520/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=154048 CPUtime=1662.03 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 14194 0 0 0 166183 20 0 0 20 0 1 0 12043585 157745152 31851 33554432000 4194304 6058637 140736855858960 140736855857736 4277655 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 38512 31851 177 456 0 38048 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 154048
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18337
/proc/meminfo: memFree=31742840/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1722.02 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 14384 0 0 0 172181 21 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4277708 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 104728
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18338
/proc/meminfo: memFree=31753728/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=154048 CPUtime=1782.01 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 14758 0 0 0 178179 22 0 0 20 0 1 0 12043585 157745152 30827 33554432000 4194304 6058637 140736855858960 140736855857736 4277655 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 38512 30827 177 456 0 38048 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 154048
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18338
/proc/meminfo: memFree=31751680/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1800.01 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 14762 0 0 0 179979 22 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 104728
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 18270 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18338
/proc/meminfo: memFree=31751680/32872528 swapFree=7268/7268
[pid=18270] ppid=18267 vsize=104728 CPUtime=1800.01 cores=0,2,4,6
/proc/18270/stat : 18270 (open-wbo-lsu) R 18267 18270 18087 0 -1 4202496 14762 0 0 0 179979 22 0 0 20 0 1 0 12043585 107241472 21444 33554432000 4194304 6058637 140736855858960 140736855858024 4278181 0 0 4096 8404992 0 0 0 17 2 0 0 0 0 0
/proc/18270/statm: 26182 21444 177 456 0 25718 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 104728
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.79
CPU system time (s): 0.227965
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 154048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.227965
maximum resident set size= 131500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14765
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= 13
involuntary context switches= 1853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70328 second user time and 6.75997 second system time
The end