runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3699669-1338062323/watcher-3699669-1338062323 -o /tmp/evaluation-result-3699669-1338062323/solver-3699669-1338062323 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699669-1338062323.opb 681821480 HOME HOME
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 3/178 3411
/proc/meminfo: memFree=28340940/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[startup+0.007626 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3411
/proc/meminfo: memFree=28340940/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100285 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3411
/proc/meminfo: memFree=28340940/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300133 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3411
/proc/meminfo: memFree=28340940/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3411
/proc/meminfo: memFree=28340940/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3420
/proc/meminfo: memFree=28300860/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=6376 CPUtime=0.77 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 3448 5748 0 0 41 14 20 2 20 0 1 0 272359308 6529024 1089 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1594 1089 179 440 0 1150 0
[pid=3420] ppid=3412 vsize=37692 CPUtime=0.69 cores=0,2,4,6
/proc/3420/stat : 3420 (glucosInc) R 3412 3411 2277 0 -1 4202496 7036 0 0 0 69 0 0 0 20 0 1 0 272359387 38596608 7856 33554432000 4194304 5654031 140733311713216 140733311710984 4236082 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3420/statm: 9423 7856 131 357 0 9063 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 53216
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3420
/proc/meminfo: memFree=28300612/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=6376 CPUtime=0.77 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 3448 5748 0 0 41 14 20 2 20 0 1 0 272359308 6529024 1089 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1594 1089 179 440 0 1150 0
[pid=3420] ppid=3412 vsize=37692 CPUtime=2.29 cores=0,2,4,6
/proc/3420/stat : 3420 (glucosInc) R 3412 3411 2277 0 -1 4202496 7144 0 0 0 229 0 0 0 20 0 1 0 272359387 38596608 7962 33554432000 4194304 5654031 140733311713216 140733311701032 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3420/statm: 9423 7962 140 357 0 9063 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 53216
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3422
/proc/meminfo: memFree=28298264/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4300 CPUtime=4.43 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 5520 13498 0 0 47 15 378 3 20 0 1 0 272359308 4403200 603 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1075 603 180 440 0 631 0
[pid=3422] ppid=3412 vsize=38760 CPUtime=1.83 cores=0,2,4,6
/proc/3422/stat : 3422 (glucosInc) R 3412 3411 2277 0 -1 4202496 8457 0 0 0 182 1 0 0 20 0 1 0 272359753 39690240 8353 33554432000 4194304 5654031 140736812992816 140736812990584 4804056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3422/statm: 9690 8353 131 357 0 9330 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 52208
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3424
/proc/meminfo: memFree=28297908/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4300 CPUtime=11.22 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 7591 22756 0 0 52 15 1049 6 20 0 1 0 272359308 4403200 603 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1075 603 180 440 0 631 0
[pid=3424] ppid=3412 vsize=39032 CPUtime=1.43 cores=0,2,4,6
/proc/3424/stat : 3424 (glucosInc) R 3412 3411 2277 0 -1 4202496 8311 0 0 0 143 0 0 0 20 0 1 0 272360433 39968768 8334 33554432000 4194304 5654031 140737421264976 140737421262744 4232528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3424/statm: 9758 8334 131 357 0 9398 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 52480
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3426
/proc/meminfo: memFree=28266756/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4300 CPUtime=21.35 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 9662 32172 0 0 57 16 2055 7 20 0 1 0 272359308 4403200 603 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1075 603 180 440 0 631 0
[pid=3426] ppid=3412 vsize=39024 CPUtime=4.08 cores=0,2,4,6
/proc/3426/stat : 3426 (glucosInc) R 3412 3411 2277 0 -1 4202496 8488 0 0 0 407 1 0 0 20 0 1 0 272361448 39960576 8450 33554432000 4194304 5654031 140736023738448 140736023726264 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3426/statm: 9756 8450 137 357 0 9396 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 52472
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3430
/proc/meminfo: memFree=28297800/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=5788 CPUtime=47.43 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 14180 51631 0 0 79 17 4635 12 20 0 1 0 272359308 5926912 975 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1447 975 180 440 0 1003 0
[pid=3430] ppid=3412 vsize=39052 CPUtime=3.59 cores=0,2,4,6
/proc/3430/stat : 3430 (glucosInc) R 3412 3411 2277 0 -1 4202496 7645 0 0 0 358 1 0 0 20 0 1 0 272364057 39989248 8427 33554432000 4194304 5654031 140735930312560 140735930300376 4214563 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3430/statm: 9763 8427 140 357 0 9403 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 53988
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3435
/proc/meminfo: memFree=28269688/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=66300 CPUtime=31.1 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 12132 0 0 0 3108 2 0 0 20 0 1 0 272366427 67891200 15783 33554432000 4194304 5654031 140735372486496 140735372474312 4233181 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 16575 15783 142 357 0 16215 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 80372
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3458
/proc/meminfo: memFree=28252224/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=89576 CPUtime=91.07 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 14091 0 0 0 9104 3 0 0 20 0 1 0 272366427 91725824 20142 33554432000 4194304 5654031 140735372486496 140735372474312 4232678 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 22394 20142 142 357 0 22034 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 103648
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3458
/proc/meminfo: memFree=28229332/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=101488 CPUtime=151.06 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 16476 0 0 0 15101 5 0 0 20 0 1 0 272366427 103923712 24210 33554432000 4194304 5654031 140735372486496 140735372474312 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 25372 24210 142 357 0 25012 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 115560
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28182900/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=145220 CPUtime=1170.89 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 37315 0 0 0 117052 37 0 0 20 0 1 0 272366427 148705280 35541 33554432000 4194304 5654031 140735372486496 140735372484520 4233440 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 36305 35541 142 357 0 35945 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 159292
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3531
/proc/meminfo: memFree=28138660/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=194540 CPUtime=1230.89 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 38675 0 0 0 123049 40 0 0 20 0 1 0 272366427 199208960 46656 33554432000 4194304 5654031 140735372486496 140735372484424 4215168 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 48635 46656 142 357 0 48275 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 208612
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3531
/proc/meminfo: memFree=28136016/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=225360 CPUtime=1290.88 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 40044 0 0 0 129046 42 0 0 20 0 1 0 272366427 230768640 48065 33554432000 4194304 5654031 140735372486496 140735372484584 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 56340 48065 142 357 0 55980 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 239432
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3531
/proc/meminfo: memFree=28089116/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=225360 CPUtime=1350.88 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 41229 0 0 0 135044 44 0 0 20 0 1 0 272366427 230768640 48771 33554432000 4194304 5654031 140735372486496 140735372484584 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 56340 48771 142 357 0 55980 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 239432
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3532
/proc/meminfo: memFree=28139724/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=145220 CPUtime=1410.86 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 42213 0 0 0 141040 46 0 0 20 0 1 0 272366427 148705280 35541 33554432000 4194304 5654031 140735372486496 140735372484520 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 36305 35541 142 357 0 35945 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 159292
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3532
/proc/meminfo: memFree=28143464/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=194540 CPUtime=1470.85 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 43578 0 0 0 147036 49 0 0 20 0 1 0 272366427 199208960 46144 33554432000 4194304 5654031 140735372486496 140735372484424 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 48635 46144 142 357 0 48275 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 208612
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3532
/proc/meminfo: memFree=28087380/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=225360 CPUtime=1530.84 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 45153 0 0 0 153033 51 0 0 20 0 1 0 272366427 230768640 51331 33554432000 4194304 5654031 140735372486496 140735372474312 4232817 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 56340 51331 142 357 0 55980 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 239432
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3532
/proc/meminfo: memFree=28185464/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=145220 CPUtime=1590.84 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 46137 0 0 0 159030 54 0 0 20 0 1 0 272366427 148705280 35541 33554432000 4194304 5654031 140735372486496 140735372484520 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 36305 35541 142 357 0 35945 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 159292
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3532
/proc/meminfo: memFree=28149672/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=145220 CPUtime=1650.8 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 47135 0 0 0 165025 55 0 0 20 0 1 0 272366427 148705280 35541 33554432000 4194304 5654031 140735372486496 140735372484520 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 36305 35541 142 357 0 35945 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 159292
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3533
/proc/meminfo: memFree=28071852/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=225360 CPUtime=1710.8 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 48115 0 0 0 171023 57 0 0 20 0 1 0 272366427 230768640 51843 33554432000 4194304 5654031 140735372486496 140735372484584 4232767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 56340 51843 142 357 0 55980 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 239432
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3533
/proc/meminfo: memFree=28120520/32873844 swapFree=7100/7100
[pid=3411] ppid=3409 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3411/stat : 3411 (npSolver-pbo-I.) S 3409 3411 2277 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272359308 9367552 274 33554432000 4194304 5064252 140737059844304 140737059843216 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3411/statm: 2287 274 233 213 0 72 0
[pid=3412] ppid=3411 vsize=4924 CPUtime=71.11 cores=0,2,4,6
/proc/3412/stat : 3412 (npSolver-pbo) S 3411 3411 2277 0 -1 4202496 16472 62555 0 0 84 18 6994 15 20 0 1 0 272359308 5042176 759 33554432000 4194304 5992684 140735944894896 140735944879800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3412/statm: 1231 759 180 440 0 787 0
[pid=3432] ppid=3412 vsize=194540 CPUtime=1728.9 cores=0,2,4,6
/proc/3432/stat : 3432 (glucosInc) R 3412 3411 2277 0 -1 4202496 48495 0 0 0 172833 57 0 0 20 0 1 0 272366427 199208960 44608 33554432000 4194304 5654031 140735372486496 140735372474312 4232715 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3432/statm: 48635 44608 142 357 0 48275 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 208612
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.12
CPU system time (s): 0.928858
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 239432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.928858
maximum resident set size= 213516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 70936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313
involuntary context switches= 2027
runsolver used 2.90256 second user time and 8.91664 second system time
The end