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-3746605-1339103723/watcher-3746605-1339103723 -o /tmp/evaluation-result-3746605-1339103723/solver-3746605-1339103723 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746605-1339103723.opb 329503325 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: 1.94 1.99 1.96 3/179 10216
/proc/meminfo: memFree=30891520/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[startup+0.099732 s]
/proc/loadavg: 1.94 1.99 1.96 3/179 10216
/proc/meminfo: memFree=30891520/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.238825 s]
/proc/loadavg: 1.94 1.99 1.96 3/179 10216
/proc/meminfo: memFree=30891520/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300196 s]
/proc/loadavg: 1.94 1.99 1.96 3/179 10216
/proc/meminfo: memFree=30891520/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70018 s]
/proc/loadavg: 1.94 1.99 1.96 3/179 10216
/proc/meminfo: memFree=30891520/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/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: 1.94 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30880036/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=7828 CPUtime=1.3 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 2012 0 0 0 130 0 0 0 20 0 1 0 376496420 8015872 1458 33554432000 4194304 5654031 140734229557536 140734229545352 4232939 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 1957 1458 139 357 0 1597 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 20368
[startup+3.10025 s]
/proc/loadavg: 1.94 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30874564/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=9476 CPUtime=2.9 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 2477 0 0 0 290 0 0 0 20 0 1 0 376496420 9703424 1890 33554432000 4194304 5654031 140734229557536 140734229545352 4216312 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 2369 1890 139 357 0 2009 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 22016
[startup+6.30025 s]
/proc/loadavg: 1.94 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30864144/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=13844 CPUtime=6.1 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 3221 0 0 0 610 0 0 0 20 0 1 0 376496420 14176256 2583 33554432000 4194304 5654031 140734229557536 140734229545352 4216330 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 3461 2583 139 357 0 3101 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 26384
[startup+12.7003 s]
/proc/loadavg: 1.95 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30858428/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=15516 CPUtime=12.49 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 3993 0 0 0 1249 0 0 0 20 0 1 0 376496420 15888384 3299 33554432000 4194304 5654031 140734229557536 140734229545352 4217523 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 3879 3299 139 357 0 3519 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 28056
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 1.95 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30858428/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=15516 CPUtime=12.59 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 3993 0 0 0 1259 0 0 0 20 0 1 0 376496420 15888384 3299 33554432000 4194304 5654031 140734229557536 140734229545352 4232935 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 3879 3299 139 357 0 3519 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 28056
[startup+19.2003 s]
/proc/loadavg: 1.95 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30846568/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=18644 CPUtime=18.99 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 4648 0 0 0 1899 0 0 0 20 0 1 0 376496420 19091456 3501 33554432000 4194304 5654031 140734229557536 140734229545352 4215964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 4661 3501 139 357 0 4301 0
Current children cumulated CPU time (s) 19.11
Current children cumulated vsize (KiB) 31184
[startup+22.4003 s]
/proc/loadavg: 1.95 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30841544/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=21584 CPUtime=22.19 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 5394 0 0 0 2219 0 0 0 20 0 1 0 376496420 22102016 4758 33554432000 4194304 5654031 140734229557536 140734229545352 4232916 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 5396 4758 139 357 0 5036 0
Current children cumulated CPU time (s) 22.31
Current children cumulated vsize (KiB) 34124
[startup+24.0003 s]
/proc/loadavg: 1.95 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30841440/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=21584 CPUtime=23.79 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 5394 0 0 0 2379 0 0 0 20 0 1 0 376496420 22102016 4758 33554432000 4194304 5654031 140734229557536 140734229545352 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 5396 4758 139 357 0 5036 0
Current children cumulated CPU time (s) 23.91
Current children cumulated vsize (KiB) 34124
[startup+24.4003 s]
/proc/loadavg: 1.96 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30841696/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=21584 CPUtime=24.19 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 5394 0 0 0 2419 0 0 0 20 0 1 0 376496420 22102016 4758 33554432000 4194304 5654031 140734229557536 140734229545352 4215913 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 5396 4758 139 357 0 5036 0
Current children cumulated CPU time (s) 24.31
Current children cumulated vsize (KiB) 34124
[startup+24.6003 s]
/proc/loadavg: 1.96 1.99 1.96 3/182 10222
/proc/meminfo: memFree=30841696/32873648 swapFree=7376/7376
[pid=10216] ppid=10214 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10216/stat : 10216 (npSolver-pbo-It) S 10214 10216 9343 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 376496400 9367552 275 33554432000 4194304 5064252 140734321108496 140734321107408 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10216/statm: 2287 275 233 213 0 72 0
[pid=10217] ppid=10216 vsize=3392 CPUtime=0.12 cores=1,3,5,7
/proc/10217/stat : 10217 (npSolver-pbo) S 10216 10216 9343 0 -1 4202496 2104 3453 0 0 1 1 8 2 20 0 1 0 376496400 3473408 470 33554432000 4194304 6004724 140734834360624 140734834346904 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/10217/statm: 848 470 167 442 0 402 0
[pid=10222] ppid=10217 vsize=21584 CPUtime=24.39 cores=1,3,5,7
/proc/10222/stat : 10222 (glucosInc) R 10217 10216 9343 0 -1 4202496 5394 0 0 0 2439 0 0 0 20 0 1 0 376496420 22102016 4758 33554432000 4194304 5654031 140734229557536 140734229545352 4232803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10222/statm: 5396 4758 139 357 0 5036 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 34124
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10216 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=101984
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=34994
# CPU time returned by wait4() is 0.136978
# while last known CPU time is 24.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 24.6409
CPU time (s): 24.51
CPU user time (s): 24.48
CPU system time (s): 0.03
CPU usage (%): 99.4688
Max. virtual memory (cumulated for all children) (KiB): 35132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.101984
system time used= 0.034994
maximum resident set size= 30252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 9
runsolver used 0.042993 second user time and 0.123981 second system time
The end