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-3703236-1338096659/watcher-3703236-1338096659 -o /tmp/evaluation-result-3703236-1338096659/solver-3703236-1338096659 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703236-1338096659.opb 1505014187 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: 4.97 3.67 2.68 5/180 13771
/proc/meminfo: memFree=18701120/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[startup+0.0997629 s]
/proc/loadavg: 4.97 3.67 2.68 5/180 13771
/proc/meminfo: memFree=18701120/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100183 s]
/proc/loadavg: 4.97 3.67 2.68 5/180 13771
/proc/meminfo: memFree=18701120/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300286 s]
/proc/loadavg: 4.97 3.67 2.68 5/180 13771
/proc/meminfo: memFree=18701120/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70029 s]
/proc/loadavg: 4.97 3.67 2.68 5/180 13771
/proc/meminfo: memFree=18701120/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 4.97 3.67 2.68 4/182 13773
/proc/meminfo: memFree=24020580/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=108468 CPUtime=1.49 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) R 13771 13771 28501 0 -1 4202496 21447 0 0 0 145 4 0 0 20 0 1 0 275732871 111071232 23976 33554432000 4194304 5992684 140734482584448 140734482579864 4229041 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 27117 23976 165 440 0 26673 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 117616
[startup+3.10034 s]
/proc/loadavg: 4.97 3.67 2.68 4/182 13773
/proc/meminfo: memFree=30731272/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=217004 CPUtime=3.09 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) R 13771 13771 28501 0 -1 4202496 40918 0 0 0 301 8 0 0 20 0 1 0 275732871 222212096 46497 33554432000 4194304 5992684 140734482584448 140734482579848 4948331 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 54251 46497 165 440 0 53807 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 226152
[startup+6.30037 s]
/proc/loadavg: 4.73 3.64 2.68 3/183 13775
/proc/meminfo: memFree=30389760/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=255028 CPUtime=3.99 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) S 13771 13771 28501 0 -1 4202496 50710 0 0 0 383 16 0 0 20 0 1 0 275732871 261148672 58080 33554432000 4194304 5992684 140734482584448 140734482578896 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 63757 58080 173 440 0 63313 0
[pid=13774] ppid=13772 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13774/stat : 13774 (cp2_pre.sh) S 13772 13771 28501 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 275733272 9367552 277 33554432000 4194304 5064252 140736477693536 140736477692240 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13774/statm: 2287 277 234 213 0 72 0
[pid=13775] ppid=13774 vsize=245276 CPUtime=2.27 cores=0,2,4,6
/proc/13775/stat : 13775 (coprocessor) R 13774 13771 28501 0 -1 4202496 38525 0 0 0 220 7 0 0 20 0 1 0 275733272 251162624 59108 33554432000 4194304 6586260 140737443540112 140737443535928 4768675 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/13775/statm: 61319 59108 175 584 0 60731 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 518600
[startup+12.7003 s]
/proc/loadavg: 4.51 3.61 2.67 3/182 13777
/proc/meminfo: memFree=30511928/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=255028 CPUtime=8.65 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) S 13771 13771 28501 0 -1 4202496 50725 46372 0 0 383 16 433 33 20 0 1 0 275732871 261148672 58082 33554432000 4194304 5992684 140734482584448 140734482570712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 63757 58082 175 440 0 63313 0
[pid=13777] ppid=13772 vsize=126728 CPUtime=4 cores=0,2,4,6
/proc/13777/stat : 13777 (glucosInc) R 13772 13771 28501 0 -1 4202496 21993 0 0 0 395 5 0 0 20 0 1 0 275733740 129769472 25188 33554432000 4194304 5654031 140736417743408 140736417731224 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13777/statm: 31682 25188 140 357 0 31322 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 390904
[startup+25.5003 s]
/proc/loadavg: 3.96 3.53 2.66 3/182 13777
/proc/meminfo: memFree=30508652/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=255028 CPUtime=8.65 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) S 13771 13771 28501 0 -1 4202496 50725 46372 0 0 383 16 433 33 20 0 1 0 275732871 261148672 58082 33554432000 4194304 5992684 140734482584448 140734482570712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 63757 58082 175 440 0 63313 0
[pid=13777] ppid=13772 vsize=127948 CPUtime=16.79 cores=0,2,4,6
/proc/13777/stat : 13777 (glucosInc) R 13772 13771 28501 0 -1 4202496 22261 0 0 0 1674 5 0 0 20 0 1 0 275733740 131018752 26478 33554432000 4194304 5654031 140736417743408 140736417731224 4232939 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13777/statm: 31987 26478 141 357 0 31627 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 392124
Solver just ended. Dumping a history of the last processes samples
[startup+27.1003 s]
/proc/loadavg: 3.96 3.53 2.66 3/182 13777
/proc/meminfo: memFree=30506728/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=255028 CPUtime=8.65 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) S 13771 13771 28501 0 -1 4202496 50725 46372 0 0 383 16 433 33 20 0 1 0 275732871 261148672 58082 33554432000 4194304 5992684 140734482584448 140734482570712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 63757 58082 175 440 0 63313 0
[pid=13777] ppid=13772 vsize=127948 CPUtime=18.39 cores=0,2,4,6
/proc/13777/stat : 13777 (glucosInc) R 13772 13771 28501 0 -1 4202496 22262 0 0 0 1834 5 0 0 20 0 1 0 275733740 131018752 26990 33554432000 4194304 5654031 140736417743408 140736417731224 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13777/statm: 31987 26990 141 357 0 31627 0
Current children cumulated CPU time (s) 27.04
Current children cumulated vsize (KiB) 392124
[startup+27.9003 s]
/proc/loadavg: 3.96 3.53 2.66 3/182 13777
/proc/meminfo: memFree=30464156/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=255028 CPUtime=8.65 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) S 13771 13771 28501 0 -1 4202496 50725 46372 0 0 383 16 433 33 20 0 1 0 275732871 261148672 58082 33554432000 4194304 5992684 140734482584448 140734482570712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 63757 58082 175 440 0 63313 0
[pid=13777] ppid=13772 vsize=127948 CPUtime=19.19 cores=0,2,4,6
/proc/13777/stat : 13777 (glucosInc) R 13772 13771 28501 0 -1 4202496 22289 0 0 0 1914 5 0 0 20 0 1 0 275733740 131018752 27017 33554432000 4194304 5654031 140736417743408 140736417731224 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13777/statm: 31987 27017 141 357 0 31627 0
Current children cumulated CPU time (s) 27.84
Current children cumulated vsize (KiB) 392124
[startup+28.7003 s]
/proc/loadavg: 3.80 3.51 2.66 3/182 13777
/proc/meminfo: memFree=30531724/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=255028 CPUtime=8.65 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) S 13771 13771 28501 0 -1 4202496 50725 46372 0 0 383 16 433 33 20 0 1 0 275732871 261148672 58082 33554432000 4194304 5992684 140734482584448 140734482570712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 63757 58082 175 440 0 63313 0
[pid=13777] ppid=13772 vsize=127948 CPUtime=19.99 cores=0,2,4,6
/proc/13777/stat : 13777 (glucosInc) R 13772 13771 28501 0 -1 4202496 22289 0 0 0 1994 5 0 0 20 0 1 0 275733740 131018752 27017 33554432000 4194304 5654031 140736417743408 140736417731224 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13777/statm: 31987 27017 141 357 0 31627 0
Current children cumulated CPU time (s) 28.64
Current children cumulated vsize (KiB) 392124
[startup+29.1003 s]
/proc/loadavg: 3.80 3.51 2.66 3/182 13777
/proc/meminfo: memFree=30531724/32873844 swapFree=6872/6872
[pid=13771] ppid=13769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13771/stat : 13771 (npSolver-pbo-It) S 13769 13771 28501 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275732871 9367552 274 33554432000 4194304 5064252 140737358388304 140737358387216 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13771/statm: 2287 274 233 213 0 72 0
[pid=13772] ppid=13771 vsize=255028 CPUtime=8.65 cores=0,2,4,6
/proc/13772/stat : 13772 (npSolver-pbo) S 13771 13771 28501 0 -1 4202496 50725 46372 0 0 383 16 433 33 20 0 1 0 275732871 261148672 58082 33554432000 4194304 5992684 140734482584448 140734482570712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13772/statm: 63757 58082 175 440 0 63313 0
[pid=13777] ppid=13772 vsize=127948 CPUtime=20.39 cores=0,2,4,6
/proc/13777/stat : 13777 (glucosInc) R 13772 13771 28501 0 -1 4202496 22309 0 0 0 2034 5 0 0 20 0 1 0 275733740 131018752 27037 33554432000 4194304 5654031 140736417743408 140736417731224 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13777/statm: 31987 27037 141 357 0 31627 0
Current children cumulated CPU time (s) 29.04
Current children cumulated vsize (KiB) 392124
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13771 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=176756
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=533918
# CPU time returned by wait4() is 8.71067
# while last known CPU time is 29.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 29.1679
CPU time (s): 29.04
CPU user time (s): 28.5
CPU system time (s): 0.54
CPU usage (%): 99.5617
Max. virtual memory (cumulated for all children) (KiB): 563000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.17676
system time used= 0.533918
maximum resident set size= 288724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 132024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 30
runsolver used 0.050992 second user time and 0.186971 second system time
The end