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-3703156-1338094075/watcher-3703156-1338094075 -o /tmp/evaluation-result-3703156-1338094075/solver-3703156-1338094075 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703156-1338094075.opb 685846741 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: 3.52 2.84 2.43 3/180 32302
/proc/meminfo: memFree=31438264/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
[startup+0.029486 s]
/proc/loadavg: 3.52 2.84 2.43 3/180 32302
/proc/meminfo: memFree=31438264/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 3.52 2.84 2.43 3/180 32302
/proc/meminfo: memFree=31438264/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300235 s]
/proc/loadavg: 3.52 2.84 2.43 3/180 32302
/proc/meminfo: memFree=31438264/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 3.52 2.84 2.43 3/180 32302
/proc/meminfo: memFree=31438264/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 3.52 2.84 2.43 3/182 32304
/proc/meminfo: memFree=31374452/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
[pid=32303] ppid=32302 vsize=71884 CPUtime=1.49 cores=1,3,5,7
/proc/32303/stat : 32303 (npSolver-pbo) R 32302 32302 23606 0 -1 4202496 4846 0 0 0 146 3 0 0 20 0 1 0 275532818 73609216 12978 33554432000 4194304 5992684 140737304804032 140737304782344 4957503 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32303/statm: 17971 12978 158 440 0 17527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 81032
[startup+3.1004 s]
/proc/loadavg: 3.52 2.84 2.43 3/184 32306
/proc/meminfo: memFree=31221440/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
[pid=32303] ppid=32302 vsize=75480 CPUtime=1.63 cores=1,3,5,7
/proc/32303/stat : 32303 (npSolver-pbo) S 32302 32302 23606 0 -1 4202496 6544 0 0 0 152 11 0 0 20 0 1 0 275532818 77291520 14390 33554432000 4194304 5992684 140737304804032 140737304798480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32303/statm: 18870 14390 165 440 0 18426 0
[pid=32305] ppid=32303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32305/stat : 32305 (cp2_pre.sh) S 32303 32302 23606 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 275532982 9367552 277 33554432000 4194304 5064252 140736334874560 140736334873264 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32305/statm: 2287 277 234 213 0 72 0
[pid=32306] ppid=32305 vsize=169112 CPUtime=1.44 cores=1,3,5,7
/proc/32306/stat : 32306 (coprocessor) R 32305 32302 23606 0 -1 4202496 33649 0 0 0 136 8 0 0 20 0 1 0 275532982 173170688 39745 33554432000 4194304 6586260 140736172575024 140736172571288 4496269 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/32306/statm: 42278 39745 170 584 0 41690 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 262888
[startup+6.30039 s]
/proc/loadavg: 3.39 2.83 2.43 3/184 32306
/proc/meminfo: memFree=30951764/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
[pid=32303] ppid=32302 vsize=75480 CPUtime=1.63 cores=1,3,5,7
/proc/32303/stat : 32303 (npSolver-pbo) S 32302 32302 23606 0 -1 4202496 6544 0 0 0 152 11 0 0 20 0 1 0 275532818 77291520 14390 33554432000 4194304 5992684 140737304804032 140737304798480 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32303/statm: 18870 14390 165 440 0 18426 0
[pid=32305] ppid=32303 vsize=9148 CPUtime=4.42 cores=1,3,5,7
/proc/32305/stat : 32305 (cp2_pre.sh) S 32303 32302 23606 0 -1 4202496 633 38926 0 0 0 0 379 63 20 0 1 0 275532982 9367552 281 33554432000 4194304 5064252 140736334874560 140736334873264 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32305/statm: 2287 281 238 213 0 72 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 93776
Solver just ended. Dumping a history of the last processes samples
[startup+7.90029 s]
/proc/loadavg: 3.39 2.83 2.43 2/185 32311
/proc/meminfo: memFree=30644620/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
[pid=32303] ppid=32302 vsize=79516 CPUtime=6.23 cores=1,3,5,7
/proc/32303/stat : 32303 (npSolver-pbo) S 32302 32302 23606 0 -1 4204032 7491 39828 0 0 161 19 379 64 20 0 1 0 275532818 81424384 15282 33554432000 4194304 5992684 140737304804032 140737304798568 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32303/statm: 19879 15282 185 440 0 19435 0
[pid=32308] ppid=32303 vsize=76680 CPUtime=0.42 cores=1,3,5,7
/proc/32308/stat : 32308 (glucosInc) S 32303 32302 23606 0 -1 4202496 13077 0 0 0 39 3 0 0 20 0 1 0 275533448 78520320 16640 33554432000 4194304 5654031 140733844941952 140733844940264 4976656 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32308/statm: 19170 16640 146 357 0 18810 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 165344
[startup+8.30029 s]
/proc/loadavg: 3.39 2.83 2.43 2/185 32311
/proc/meminfo: memFree=30644620/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
[pid=32303] ppid=32302 vsize=79516 CPUtime=6.23 cores=1,3,5,7
/proc/32303/stat : 32303 (npSolver-pbo) S 32302 32302 23606 0 -1 4204032 7491 39828 0 0 161 19 379 64 20 0 1 0 275532818 81424384 15282 33554432000 4194304 5992684 140737304804032 140737304798568 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32303/statm: 19879 15282 185 440 0 19435 0
[pid=32308] ppid=32303 vsize=76680 CPUtime=0.42 cores=1,3,5,7
/proc/32308/stat : 32308 (glucosInc) S 32303 32302 23606 0 -1 4202496 13077 0 0 0 39 3 0 0 20 0 1 0 275533448 78520320 16640 33554432000 4194304 5654031 140733844941952 140733844940264 4976656 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32308/statm: 19170 16640 146 357 0 18810 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 165344
[startup+8.50029 s]
/proc/loadavg: 3.39 2.83 2.43 2/185 32311
/proc/meminfo: memFree=30644620/32873844 swapFree=7112/7112
[pid=32302] ppid=32300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32302/stat : 32302 (npSolver-pbo-It) S 32300 32302 23606 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275532818 9367552 274 33554432000 4194304 5064252 140735783382640 140735783381552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32302/statm: 2287 274 233 213 0 72 0
[pid=32303] ppid=32302 vsize=79516 CPUtime=6.23 cores=1,3,5,7
/proc/32303/stat : 32303 (npSolver-pbo) S 32302 32302 23606 0 -1 4204032 7491 39828 0 0 161 19 379 64 20 0 1 0 275532818 81424384 15282 33554432000 4194304 5992684 140737304804032 140737304798568 5240597 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/32303/statm: 19879 15282 185 440 0 19435 0
[pid=32308] ppid=32303 vsize=76680 CPUtime=0.42 cores=1,3,5,7
/proc/32308/stat : 32308 (glucosInc) S 32303 32302 23606 0 -1 4202496 13077 0 0 0 39 3 0 0 20 0 1 0 275533448 78520320 16640 33554432000 4194304 5654031 140733844941952 140733844940264 4976656 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32308/statm: 19170 16640 146 357 0 18810 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 165344
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32302 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=410177
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=845871
# CPU time returned by wait4() is 6.25605
# while last known CPU time is 6.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 8.56816
CPU time (s): 6.65
CPU user time (s): 5.79
CPU system time (s): 0.86
CPU usage (%): 77.6129
Max. virtual memory (cumulated for all children) (KiB): 308840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.41018
system time used= 0.845871
maximum resident set size= 211656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47692
page faults= 0
swaps= 0
block input operations= 0
block output operations= 174528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17316
involuntary context switches= 16
runsolver used 0.022996 second user time and 0.070989 second system time
The end