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-3698369-1338085050/watcher-3698369-1338085050 -o /tmp/evaluation-result-3698369-1338085050/solver-3698369-1338085050 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698369-1338085050.opb 1332317215 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.32 2.27 2.17 2/179 8181
/proc/meminfo: memFree=30773476/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
[startup+0.0389059 s]
/proc/loadavg: 2.32 2.27 2.17 2/179 8181
/proc/meminfo: memFree=30773476/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100216 s]
/proc/loadavg: 2.32 2.27 2.17 2/179 8181
/proc/meminfo: memFree=30773476/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.32 2.27 2.17 2/179 8181
/proc/meminfo: memFree=30773476/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700293 s]
/proc/loadavg: 2.32 2.27 2.17 2/179 8181
/proc/meminfo: memFree=30773476/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 2.32 2.27 2.17 3/183 8185
/proc/meminfo: memFree=30530916/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
[pid=8182] ppid=8181 vsize=57352 CPUtime=0.53 cores=1,3,5,7
/proc/8182/stat : 8182 (npSolver-pbo) S 8181 8181 2929 0 -1 4202496 9288 0 0 0 49 4 0 0 20 0 1 0 274633603 58728448 10514 33554432000 4194304 5992684 140733548684784 140733548679232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8182/statm: 14338 10514 165 440 0 13894 0
[pid=8184] ppid=8182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8184/stat : 8184 (cp2_pre.sh) S 8182 8181 2929 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274633657 9367552 276 33554432000 4194304 5064252 140737410095904 140737410094608 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8184/statm: 2287 276 234 213 0 72 0
[pid=8185] ppid=8184 vsize=254272 CPUtime=0.94 cores=1,3,5,7
/proc/8185/stat : 8185 (coprocessor) R 8184 8181 2929 0 -1 4202496 35227 0 0 0 88 6 0 0 20 0 1 0 274633657 260374528 56712 33554432000 4194304 6586260 140734108759520 140734108756280 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/8185/statm: 63568 56713 166 584 0 62980 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 329920
[startup+3.10045 s]
/proc/loadavg: 2.32 2.27 2.17 3/183 8185
/proc/meminfo: memFree=30442412/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
[pid=8182] ppid=8181 vsize=57352 CPUtime=0.53 cores=1,3,5,7
/proc/8182/stat : 8182 (npSolver-pbo) S 8181 8181 2929 0 -1 4202496 9288 0 0 0 49 4 0 0 20 0 1 0 274633603 58728448 10514 33554432000 4194304 5992684 140733548684784 140733548679232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8182/statm: 14338 10514 165 440 0 13894 0
[pid=8184] ppid=8182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8184/stat : 8184 (cp2_pre.sh) S 8182 8181 2929 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274633657 9367552 276 33554432000 4194304 5064252 140737410095904 140737410094608 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8184/statm: 2287 276 234 213 0 72 0
[pid=8185] ppid=8184 vsize=306932 CPUtime=2.55 cores=1,3,5,7
/proc/8185/stat : 8185 (coprocessor) R 8184 8181 2929 0 -1 4202496 44051 0 0 0 246 9 0 0 20 0 1 0 274633657 314298368 75756 33554432000 4194304 6586260 140734108759520 140734108755336 5599454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/8185/statm: 76733 75756 192 584 0 76145 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 382580
[startup+6.3004 s]
/proc/loadavg: 2.29 2.26 2.17 3/183 8185
/proc/meminfo: memFree=30343140/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
[pid=8182] ppid=8181 vsize=57352 CPUtime=0.53 cores=1,3,5,7
/proc/8182/stat : 8182 (npSolver-pbo) S 8181 8181 2929 0 -1 4202496 9288 0 0 0 49 4 0 0 20 0 1 0 274633603 58728448 10514 33554432000 4194304 5992684 140733548684784 140733548679232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/8182/statm: 14338 10514 165 440 0 13894 0
[pid=8184] ppid=8182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8184/stat : 8184 (cp2_pre.sh) S 8182 8181 2929 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274633657 9367552 276 33554432000 4194304 5064252 140737410095904 140737410094608 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8184/statm: 2287 276 234 213 0 72 0
[pid=8185] ppid=8184 vsize=375640 CPUtime=5.64 cores=1,3,5,7
/proc/8185/stat : 8185 (coprocessor) R 8184 8181 2929 0 -1 4202496 47730 0 0 0 435 129 0 0 20 0 1 0 274633657 384655360 90519 33554432000 4194304 6586260 140734108759520 140734108755144 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 11 0 0
/proc/8185/statm: 93910 90519 204 584 0 93322 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 451288
Solver just ended. Dumping a history of the last processes samples
[startup+7.10042 s]
/proc/loadavg: 2.29 2.26 2.17 3/182 8187
/proc/meminfo: memFree=30658592/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
[pid=8182] ppid=8181 vsize=69524 CPUtime=6.45 cores=1,3,5,7
/proc/8182/stat : 8182 (npSolver-pbo) S 8181 8181 2929 0 -1 4204032 11889 48632 0 0 61 7 446 131 20 0 1 0 274633603 71192576 13558 33554432000 4194304 5992684 140733548684784 140733548679320 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8182/statm: 17381 13558 184 440 0 16937 0
[pid=8187] ppid=8182 vsize=109544 CPUtime=0.38 cores=1,3,5,7
/proc/8187/stat : 8187 (glucosInc) S 8182 8181 2929 0 -1 4202496 18582 0 0 0 35 3 0 0 20 0 1 0 274634247 112173056 21073 33554432000 4194304 5654031 140735615010880 140735615009192 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8187/statm: 27386 21073 146 357 0 27026 0
Current children cumulated CPU time (s) 6.83
Current children cumulated vsize (KiB) 188216
[startup+7.50036 s]
/proc/loadavg: 2.29 2.26 2.17 3/182 8187
/proc/meminfo: memFree=30658592/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
[pid=8182] ppid=8181 vsize=69524 CPUtime=6.46 cores=1,3,5,7
/proc/8182/stat : 8182 (npSolver-pbo) S 8181 8181 2929 0 -1 4204032 11890 48632 0 0 61 8 446 131 20 0 1 0 274633603 71192576 13559 33554432000 4194304 5992684 140733548684784 140733548679320 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8182/statm: 17381 13559 185 440 0 16937 0
[pid=8187] ppid=8182 vsize=109544 CPUtime=0.38 cores=1,3,5,7
/proc/8187/stat : 8187 (glucosInc) S 8182 8181 2929 0 -1 4202496 18582 0 0 0 35 3 0 0 20 0 1 0 274634247 112173056 21073 33554432000 4194304 5654031 140735615010880 140735615009192 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8187/statm: 27386 21073 146 357 0 27026 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 188216
[startup+7.90034 s]
/proc/loadavg: 2.29 2.26 2.17 2/183 8188
/proc/meminfo: memFree=30504196/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
[pid=8182] ppid=8181 vsize=69524 CPUtime=6.46 cores=1,3,5,7
/proc/8182/stat : 8182 (npSolver-pbo) S 8181 8181 2929 0 -1 4204032 11890 48632 0 0 61 8 446 131 20 0 1 0 274633603 71192576 13559 33554432000 4194304 5992684 140733548684784 140733548679320 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8182/statm: 17381 13559 185 440 0 16937 0
[pid=8187] ppid=8182 vsize=109544 CPUtime=0.38 cores=1,3,5,7
/proc/8187/stat : 8187 (glucosInc) S 8182 8181 2929 0 -1 4202496 18582 0 0 0 35 3 0 0 20 0 1 0 274634247 112173056 21073 33554432000 4194304 5654031 140735615010880 140735615009192 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8187/statm: 27386 21073 146 357 0 27026 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 188216
[startup+8.00034 s]
/proc/loadavg: 2.29 2.26 2.17 2/183 8188
/proc/meminfo: memFree=30504196/32873844 swapFree=7108/7108
[pid=8181] ppid=8179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8181/stat : 8181 (npSolver-pbo-It) S 8179 8181 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274633603 9367552 275 33554432000 4194304 5064252 140734233703056 140734233701968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8181/statm: 2287 275 233 213 0 72 0
[pid=8182] ppid=8181 vsize=69524 CPUtime=6.46 cores=1,3,5,7
/proc/8182/stat : 8182 (npSolver-pbo) S 8181 8181 2929 0 -1 4204032 11890 48632 0 0 61 8 446 131 20 0 1 0 274633603 71192576 13559 33554432000 4194304 5992684 140733548684784 140733548679320 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8182/statm: 17381 13559 185 440 0 16937 0
[pid=8187] ppid=8182 vsize=109544 CPUtime=0.38 cores=1,3,5,7
/proc/8187/stat : 8187 (glucosInc) S 8182 8181 2929 0 -1 4202496 18582 0 0 0 35 3 0 0 20 0 1 0 274634247 112173056 21073 33554432000 4194304 5654031 140735615010880 140735615009192 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/8187/statm: 27386 21073 146 357 0 27026 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 188216
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8181 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=78227
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=411785
# CPU time returned by wait4() is 6.49001
# while last known CPU time is 6.84
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 8.03313
CPU time (s): 6.84
CPU user time (s): 5.42
CPU system time (s): 1.42
CPU usage (%): 85.1474
Max. virtual memory (cumulated for all children) (KiB): 451288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07823
system time used= 1.41179
maximum resident set size= 363948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 75920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17783
involuntary context switches= 13
runsolver used 0.013997 second user time and 0.044993 second system time
The end