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-3746378-1339098195/watcher-3746378-1339098195 -o /tmp/evaluation-result-3746378-1339098195/solver-3746378-1339098195 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746378-1339098195.opb 1791258706 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: 0.29 0.06 0.02 2/178 30199
/proc/meminfo: memFree=26552956/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[startup+0.0965971 s]
/proc/loadavg: 0.29 0.06 0.02 2/178 30199
/proc/meminfo: memFree=26552956/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100319 s]
/proc/loadavg: 0.29 0.06 0.02 2/178 30199
/proc/meminfo: memFree=26552956/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 0.29 0.06 0.02 2/178 30199
/proc/meminfo: memFree=26552956/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700275 s]
/proc/loadavg: 0.29 0.06 0.02 2/178 30199
/proc/meminfo: memFree=26552956/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 0.29 0.06 0.02 3/182 30203
/proc/meminfo: memFree=26416920/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=0.98 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21408 0 0 0 92 6 0 0 20 0 1 0 375943913 131555328 30529 33554432000 4194304 6004724 140736613791440 140736613785904 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30529 148 442 0 31672 0
[pid=30202] ppid=30200 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30202/stat : 30202 (cp2_pre.sh) S 30200 30199 30107 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 375944012 9367552 277 33554432000 4194304 5064252 140736890058320 140736890057024 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/30202/statm: 2287 277 234 213 0 72 0
[pid=30203] ppid=30202 vsize=158100 CPUtime=0.5 cores=0,2,4,6
/proc/30203/stat : 30203 (coprocessor) R 30202 30199 30107 0 -1 4202496 26025 0 0 0 46 4 0 0 20 0 1 0 375944012 161894400 35247 33554432000 4194304 6586260 140734619445536 140734619442296 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/30203/statm: 39525 35247 165 584 0 38937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 304868
[startup+3.10027 s]
/proc/loadavg: 0.29 0.06 0.02 3/182 30203
/proc/meminfo: memFree=26241820/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=3.05 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21426 34591 0 0 92 6 195 12 20 0 1 0 375943913 131555328 30535 33554432000 4194304 6004724 140736613791440 140736613777720 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30535 152 442 0 31672 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 137620
[startup+6.3003 s]
/proc/loadavg: 0.43 0.10 0.03 3/181 30205
/proc/meminfo: memFree=26334560/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=3.05 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21426 34591 0 0 92 6 195 12 20 0 1 0 375943913 131555328 30535 33554432000 4194304 6004724 140736613791440 140736613777720 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30535 152 442 0 31672 0
[pid=30205] ppid=30200 vsize=82480 CPUtime=3.22 cores=0,2,4,6
/proc/30205/stat : 30205 (glucosInc) R 30200 30199 30107 0 -1 4202496 17604 0 0 0 319 3 0 0 20 0 1 0 375944220 84459520 18888 33554432000 4194304 5654031 140736401467488 140736401465368 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30205/statm: 20620 18888 139 357 0 20260 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 220100
[startup+12.7003 s]
/proc/loadavg: 0.56 0.13 0.04 3/181 30205
/proc/meminfo: memFree=26322148/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=3.05 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21426 34591 0 0 92 6 195 12 20 0 1 0 375943913 131555328 30535 33554432000 4194304 6004724 140736613791440 140736613777720 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30535 152 442 0 31672 0
[pid=30205] ppid=30200 vsize=92196 CPUtime=9.62 cores=0,2,4,6
/proc/30205/stat : 30205 (glucosInc) R 30200 30199 30107 0 -1 4202496 18350 0 0 0 959 3 0 0 20 0 1 0 375944220 94408704 20140 33554432000 4194304 5654031 140736401467488 140736401465256 4232559 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30205/statm: 23049 20140 140 357 0 22689 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 229816
[startup+25.5003 s]
/proc/loadavg: 0.88 0.22 0.07 3/181 30205
/proc/meminfo: memFree=26315136/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=3.05 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21426 34591 0 0 92 6 195 12 20 0 1 0 375943913 131555328 30535 33554432000 4194304 6004724 140736613791440 140736613777720 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30535 152 442 0 31672 0
[pid=30205] ppid=30200 vsize=84408 CPUtime=22.42 cores=0,2,4,6
/proc/30205/stat : 30205 (glucosInc) R 30200 30199 30107 0 -1 4202496 20610 0 0 0 2237 5 0 0 20 0 1 0 375944220 86433792 19543 33554432000 4194304 5654031 140736401467488 140736401465288 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30205/statm: 21102 19543 141 357 0 20742 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 222028
[startup+51.1003 s]
/proc/loadavg: 1.26 0.36 0.12 3/181 30205
/proc/meminfo: memFree=26286332/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=3.05 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21426 34591 0 0 92 6 195 12 20 0 1 0 375943913 131555328 30535 33554432000 4194304 6004724 140736613791440 140736613777720 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30535 152 442 0 31672 0
[pid=30205] ppid=30200 vsize=114624 CPUtime=48.01 cores=0,2,4,6
/proc/30205/stat : 30205 (glucosInc) R 30200 30199 30107 0 -1 4202496 21164 0 0 0 4796 5 0 0 20 0 1 0 375944220 117374976 27178 33554432000 4194304 5654031 140736401467488 140736401455304 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30205/statm: 28656 27178 141 357 0 28296 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 252244
Solver just ended. Dumping a history of the last processes samples
[startup+52.7003 s]
/proc/loadavg: 1.32 0.39 0.13 3/181 30205
/proc/meminfo: memFree=26286456/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=3.05 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21426 34591 0 0 92 6 195 12 20 0 1 0 375943913 131555328 30535 33554432000 4194304 6004724 140736613791440 140736613777720 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30535 152 442 0 31672 0
[pid=30205] ppid=30200 vsize=114624 CPUtime=49.62 cores=0,2,4,6
/proc/30205/stat : 30205 (glucosInc) R 30200 30199 30107 0 -1 4202496 21164 0 0 0 4957 5 0 0 20 0 1 0 375944220 117374976 27178 33554432000 4194304 5654031 140736401467488 140736401455304 4208619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30205/statm: 28656 27178 141 357 0 28296 0
Current children cumulated CPU time (s) 52.67
Current children cumulated vsize (KiB) 252244
[startup+53.1003 s]
/proc/loadavg: 1.32 0.39 0.13 3/181 30205
/proc/meminfo: memFree=26286456/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=3.05 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21426 34591 0 0 92 6 195 12 20 0 1 0 375943913 131555328 30535 33554432000 4194304 6004724 140736613791440 140736613777720 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30535 152 442 0 31672 0
[pid=30205] ppid=30200 vsize=114624 CPUtime=50.01 cores=0,2,4,6
/proc/30205/stat : 30205 (glucosInc) R 30200 30199 30107 0 -1 4202496 21164 0 0 0 4996 5 0 0 20 0 1 0 375944220 117374976 27178 33554432000 4194304 5654031 140736401467488 140736401455304 4232830 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30205/statm: 28656 27178 141 357 0 28296 0
Current children cumulated CPU time (s) 53.06
Current children cumulated vsize (KiB) 252244
[startup+53.5003 s]
/proc/loadavg: 1.32 0.39 0.13 3/181 30205
/proc/meminfo: memFree=26286456/32873844 swapFree=7628/7628
[pid=30199] ppid=30197 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30199/stat : 30199 (npSolver-pbo-It) S 30197 30199 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375943913 9367552 274 33554432000 4194304 5064252 140736538665040 140736538663952 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30199/statm: 2287 274 233 213 0 72 0
[pid=30200] ppid=30199 vsize=128472 CPUtime=3.05 cores=0,2,4,6
/proc/30200/stat : 30200 (npSolver-pbo) S 30199 30199 30107 0 -1 4202496 21426 34591 0 0 92 6 195 12 20 0 1 0 375943913 131555328 30535 33554432000 4194304 6004724 140736613791440 140736613777720 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30200/statm: 32118 30535 152 442 0 31672 0
[pid=30205] ppid=30200 vsize=114624 CPUtime=50.41 cores=0,2,4,6
/proc/30205/stat : 30205 (glucosInc) R 30200 30199 30107 0 -1 4202496 21164 0 0 0 5036 5 0 0 20 0 1 0 375944220 117374976 27178 33554432000 4194304 5654031 140736401467488 140736401455304 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30205/statm: 28656 27178 141 357 0 28296 0
Current children cumulated CPU time (s) 53.46
Current children cumulated vsize (KiB) 252244
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30199 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=909557
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=192970
# CPU time returned by wait4() is 3.10253
# while last known CPU time is 53.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 53.5539
CPU time (s): 53.46
CPU user time (s): 53.23
CPU system time (s): 0.23
CPU usage (%): 99.8247
Max. virtual memory (cumulated for all children) (KiB): 345844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.90956
system time used= 0.19297
maximum resident set size= 202292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 13
runsolver used 0.098984 second user time and 0.199969 second system time
The end