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-3751867-1339119254/watcher-3751867-1339119254 -o /tmp/evaluation-result-3751867-1339119254/solver-3751867-1339119254 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751867-1339119254.opb 942561260 HOME HOME
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.01 2.01 2.00 4/178 23533
/proc/meminfo: memFree=31029708/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[startup+0.0068759 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 23533
/proc/meminfo: memFree=31029708/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100159 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 23533
/proc/meminfo: memFree=31029708/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300161 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 23533
/proc/meminfo: memFree=31029708/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700241 s]
/proc/loadavg: 2.01 2.01 2.00 4/178 23533
/proc/meminfo: memFree=31029708/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.01 2.01 2.00 4/181 23552
/proc/meminfo: memFree=31020568/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=0.72 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 4287 12292 0 0 8 1 60 3 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23552] ppid=23534 vsize=8308 CPUtime=0.74 cores=1,3,5,7
/proc/23552/stat : 23552 (glucosInc) R 23534 23533 19416 0 -1 4202496 1723 0 0 0 74 0 0 0 20 0 1 0 378051198 8507392 1542 33554432000 4194304 5654031 140734881032784 140734881030872 4232421 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23552/statm: 2077 1542 141 357 0 1717 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22108
[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 23552
/proc/meminfo: memFree=31019888/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=3 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 4728 15927 0 0 9 1 286 4 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 13800
[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 23556
/proc/meminfo: memFree=31071600/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=3.25 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 5169 17727 0 0 10 1 310 4 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23556] ppid=23534 vsize=12060 CPUtime=2.99 cores=1,3,5,7
/proc/23556/stat : 23556 (glucosInc) R 23534 23533 19416 0 -1 4202496 3098 0 0 0 299 0 0 0 20 0 1 0 378051453 12349440 2501 33554432000 4194304 5654031 140734371287488 140734371285368 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23556/statm: 3015 2501 141 357 0 2655 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 25860
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23560
/proc/meminfo: memFree=31038052/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=8.86 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6055 24268 0 0 13 1 866 6 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23560] ppid=23534 vsize=14756 CPUtime=3.78 cores=1,3,5,7
/proc/23560/stat : 23560 (glucosInc) R 23534 23533 19416 0 -1 4202496 3534 0 0 0 378 0 0 0 20 0 1 0 378052014 15110144 2963 33554432000 4194304 5654031 140736268236432 140736268224248 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23560/statm: 3689 2963 141 357 0 3329 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 28556
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23562
/proc/meminfo: memFree=31025900/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=23716 CPUtime=9.03 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 5126 0 0 0 902 1 0 0 20 0 1 0 378052768 24285184 5312 33554432000 4194304 5654031 140734873515712 140734873503528 4233173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23562/statm: 5929 5312 141 357 0 5569 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 37516
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 23562
/proc/meminfo: memFree=31015416/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=28124 CPUtime=34.61 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 6427 0 0 0 3460 1 0 0 20 0 1 0 378052768 28798976 6561 33554432000 4194304 5654031 140734873515712 140734873503528 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 7031 6561 141 357 0 6671 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 41924
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23562
/proc/meminfo: memFree=30980848/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=49644 CPUtime=85.81 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 8461 0 0 0 8578 3 0 0 20 0 1 0 378052768 50835456 11972 33554432000 4194304 5654031 140734873515712 140734873503528 4976752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 12411 11972 141 357 0 12051 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 63444
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23562
/proc/meminfo: memFree=30990968/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=81104 CPUtime=145.8 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 10590 0 0 0 14575 5 0 0 20 0 1 0 378052768 83050496 14021 33554432000 4194304 5654031 140734873515712 140734873503528 4232563 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 20276 14021 141 357 0 19916 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 94904
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23562
/proc/meminfo: memFree=30953360/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=81104 CPUtime=205.78 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 10768 0 0 0 20573 5 0 0 20 0 1 0 378052768 83050496 19818 33554432000 4194304 5654031 140734873515712 140734873503528 4233213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 20276 19818 141 357 0 19916 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 94904
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23563
/proc/meminfo: memFree=30936992/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=30874296/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=192704 CPUtime=1225.63 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 22017 0 0 0 122534 29 0 0 20 0 1 0 378052768 197328896 36397 33554432000 4194304 5654031 140734873515712 140734873513800 4214944 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 48176 36397 141 357 0 47816 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 206504
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23572
/proc/meminfo: memFree=30912120/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=112564 CPUtime=1285.62 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 22922 0 0 0 128531 31 0 0 20 0 1 0 378052768 115265536 23749 33554432000 4194304 5654031 140734873515712 140734873513800 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 28141 23749 141 357 0 27781 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 126364
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23572
/proc/meminfo: memFree=30815620/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=206020 CPUtime=1345.61 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 24453 0 0 0 134528 33 0 0 20 0 1 0 378052768 210964480 44172 33554432000 4194304 5654031 140734873515712 140734873513800 4215014 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 51505 44172 141 357 0 51145 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 219820
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 23616
/proc/meminfo: memFree=31005568/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=175200 CPUtime=1405.61 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 24976 0 0 0 140526 35 0 0 20 0 1 0 378052768 179404800 43285 33554432000 4194304 5654031 140734873515712 140734873513640 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 43800 43285 141 357 0 43440 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 189000
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 23627
/proc/meminfo: memFree=30909132/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=16.4 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6496 29322 0 0 14 1 1618 7 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23562] ppid=23534 vsize=206020 CPUtime=1465.59 cores=1,3,5,7
/proc/23562/stat : 23562 (glucosInc) R 23534 23533 19416 0 -1 4202496 26263 0 0 0 146522 37 0 0 20 0 1 0 378052768 210964480 44172 33554432000 4194304 5654031 140734873515712 140734873513800 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23562/statm: 51505 44172 141 357 0 51145 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 219820
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23629
/proc/meminfo: memFree=31036748/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=1519 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6938 57018 0 0 16 2 151835 47 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23629] ppid=23534 vsize=28072 CPUtime=22.99 cores=1,3,5,7
/proc/23629/stat : 23629 (glucosInc) R 23534 23533 19416 0 -1 4202496 5006 0 0 0 2298 1 0 0 20 0 1 0 378203053 28745728 6155 33554432000 4194304 5654031 140735291365824 140735291353640 4208584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23629/statm: 7018 6155 141 357 0 6658 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 41872
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23632
/proc/meminfo: memFree=30993288/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=1519 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6938 57018 0 0 16 2 151835 47 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23629] ppid=23534 vsize=61200 CPUtime=82.98 cores=1,3,5,7
/proc/23629/stat : 23629 (glucosInc) R 23534 23533 19416 0 -1 4202496 6864 0 0 0 8295 3 0 0 20 0 1 0 378203053 62668800 11880 33554432000 4194304 5654031 140735291365824 140735291353640 4233151 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23629/statm: 15300 11880 141 357 0 14940 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 75000
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23655
/proc/meminfo: memFree=30942692/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=1519 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6938 57018 0 0 16 2 151835 47 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23629] ppid=23534 vsize=80056 CPUtime=142.97 cores=1,3,5,7
/proc/23629/stat : 23629 (glucosInc) R 23534 23533 19416 0 -1 4202496 7086 0 0 0 14293 4 0 0 20 0 1 0 378203053 81977344 14441 33554432000 4194304 5654031 140735291365824 140735291353640 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23629/statm: 20014 14441 141 357 0 19654 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 93856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23655
/proc/meminfo: memFree=30934944/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=1519 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6938 57018 0 0 16 2 151835 47 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23629] ppid=23534 vsize=80056 CPUtime=202.96 cores=1,3,5,7
/proc/23629/stat : 23629 (glucosInc) R 23534 23533 19416 0 -1 4202496 7086 0 0 0 20292 4 0 0 20 0 1 0 378203053 81977344 14441 33554432000 4194304 5654031 140735291365824 140735291353640 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23629/statm: 20014 14441 141 357 0 19654 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 93856
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23656
/proc/meminfo: memFree=30908956/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=1519 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6938 57018 0 0 16 2 151835 47 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23629] ppid=23534 vsize=80056 CPUtime=262.94 cores=1,3,5,7
/proc/23629/stat : 23629 (glucosInc) R 23534 23533 19416 0 -1 4202496 7541 0 0 0 26290 4 0 0 20 0 1 0 378203053 81977344 19485 33554432000 4194304 5654031 140735291365824 140735291353640 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23629/statm: 20014 19485 141 357 0 19654 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 93856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 23656
/proc/meminfo: memFree=30911144/32873844 swapFree=7632/7632
[pid=23533] ppid=23531 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23533/stat : 23533 (npSolver-pbo-It) S 23531 23533 19416 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 378051123 9367552 275 33554432000 4194304 5064252 140736894396464 140736894395376 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23533/statm: 2287 275 233 213 0 72 0
[pid=23534] ppid=23533 vsize=4652 CPUtime=1519 cores=1,3,5,7
/proc/23534/stat : 23534 (npSolver-pbo) S 23533 23533 19416 0 -1 4202496 6938 57018 0 0 16 2 151835 47 20 0 1 0 378051123 4763648 845 33554432000 4194304 6004724 140735861194784 140735861180632 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/23534/statm: 1163 845 189 442 0 717 0
[pid=23629] ppid=23534 vsize=80056 CPUtime=281.05 cores=1,3,5,7
/proc/23629/stat : 23629 (glucosInc) R 23534 23533 19416 0 -1 4202496 7541 0 0 0 28101 4 0 0 20 0 1 0 378203053 81977344 19485 33554432000 4194304 5654031 140735291365824 140735291353640 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23629/statm: 20014 19485 141 357 0 19654 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 93856
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.08
CPU user time (s): 1799.53
CPU system time (s): 0.549916
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 219820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.549916
maximum resident set size= 182832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 387
involuntary context switches= 2129
runsolver used 2.73458 second user time and 7.50186 second system time
The end