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-3746285-1339098180/watcher-3746285-1339098180 -o /tmp/evaluation-result-3746285-1339098180/solver-3746285-1339098180 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746285-1339098180.opb 260884542 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: 0.00 0.00 0.00 3/178 30790
/proc/meminfo: memFree=26221432/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[startup+0.0926719 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 30790
/proc/meminfo: memFree=26221432/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100241 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 30790
/proc/meminfo: memFree=26221432/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300175 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 30790
/proc/meminfo: memFree=26221432/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700175 s]
/proc/loadavg: 0.00 0.00 0.00 3/178 30790
/proc/meminfo: memFree=26221432/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 0.00 0.00 0.00 3/181 30796
/proc/meminfo: memFree=26211408/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[pid=30791] ppid=30790 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/30791/stat : 30791 (npSolver-pbo) S 30790 30790 30741 0 -1 4202496 1654 1818 0 0 1 0 6 0 20 0 1 0 375942465 3190784 446 33554432000 4194304 6004724 140733927074064 140733927060344 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 779 446 152 442 0 333 0
[pid=30796] ppid=30791 vsize=9404 CPUtime=1.4 cores=1,3,5,7
/proc/30796/stat : 30796 (glucosInc) R 30791 30790 30741 0 -1 4202496 2480 0 0 0 140 0 0 0 20 0 1 0 375942474 9629696 1790 33554432000 4194304 5654031 140735933616992 140735933614872 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30796/statm: 2351 1790 132 357 0 1991 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 21668
[startup+3.10031 s]
/proc/loadavg: 0.16 0.03 0.01 3/181 30796
/proc/meminfo: memFree=26209176/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[pid=30791] ppid=30790 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/30791/stat : 30791 (npSolver-pbo) S 30790 30790 30741 0 -1 4202496 1654 1818 0 0 1 0 6 0 20 0 1 0 375942465 3190784 446 33554432000 4194304 6004724 140733927074064 140733927060344 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 779 446 152 442 0 333 0
[pid=30796] ppid=30791 vsize=12316 CPUtime=3 cores=1,3,5,7
/proc/30796/stat : 30796 (glucosInc) R 30791 30790 30741 0 -1 4202496 2939 0 0 0 300 0 0 0 20 0 1 0 375942474 12611584 2227 33554432000 4194304 5654031 140735933616992 140735933614872 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30796/statm: 3079 2227 132 357 0 2719 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 24580
[startup+6.3003 s]
/proc/loadavg: 0.16 0.03 0.01 2/174 30820
/proc/meminfo: memFree=26225096/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[pid=30791] ppid=30790 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/30791/stat : 30791 (npSolver-pbo) S 30790 30790 30741 0 -1 4202496 1654 1818 0 0 1 0 6 0 20 0 1 0 375942465 3190784 446 33554432000 4194304 6004724 140733927074064 140733927060344 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 779 446 152 442 0 333 0
[pid=30796] ppid=30791 vsize=13964 CPUtime=6.2 cores=1,3,5,7
/proc/30796/stat : 30796 (glucosInc) R 30791 30790 30741 0 -1 4202496 3608 0 0 0 620 0 0 0 20 0 1 0 375942474 14299136 2871 33554432000 4194304 5654031 140735933616992 140735933614792 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30796/statm: 3491 2871 132 357 0 3131 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 26228
Solver just ended. Dumping a history of the last processes samples
[startup+6.40037 s]
/proc/loadavg: 0.16 0.03 0.01 2/174 30820
/proc/meminfo: memFree=26225096/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[pid=30791] ppid=30790 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/30791/stat : 30791 (npSolver-pbo) S 30790 30790 30741 0 -1 4202496 1654 1818 0 0 1 0 6 0 20 0 1 0 375942465 3190784 446 33554432000 4194304 6004724 140733927074064 140733927060344 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 779 446 152 442 0 333 0
[pid=30796] ppid=30791 vsize=13964 CPUtime=6.3 cores=1,3,5,7
/proc/30796/stat : 30796 (glucosInc) R 30791 30790 30741 0 -1 4202496 3608 0 0 0 630 0 0 0 20 0 1 0 375942474 14299136 2871 33554432000 4194304 5654031 140735933616992 140735933614792 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30796/statm: 3491 2871 132 357 0 3131 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 26228
[startup+8.00042 s]
/proc/loadavg: 0.31 0.07 0.02 3/176 30824
/proc/meminfo: memFree=26155328/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[pid=30791] ppid=30790 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/30791/stat : 30791 (npSolver-pbo) S 30790 30790 30741 0 -1 4202496 1654 1818 0 0 1 0 6 0 20 0 1 0 375942465 3190784 446 33554432000 4194304 6004724 140733927074064 140733927060344 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 779 446 152 442 0 333 0
[pid=30796] ppid=30791 vsize=13964 CPUtime=7.89 cores=1,3,5,7
/proc/30796/stat : 30796 (glucosInc) R 30791 30790 30741 0 -1 4202496 3865 0 0 0 789 0 0 0 20 0 1 0 375942474 14299136 2978 33554432000 4194304 5654031 140735933616992 140735933615016 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30796/statm: 3491 2978 132 357 0 3131 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 26228
[startup+9.6003 s]
/proc/loadavg: 0.31 0.07 0.02 3/180 30835
/proc/meminfo: memFree=26105132/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[pid=30791] ppid=30790 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/30791/stat : 30791 (npSolver-pbo) S 30790 30790 30741 0 -1 4202496 1654 1818 0 0 1 0 6 0 20 0 1 0 375942465 3190784 446 33554432000 4194304 6004724 140733927074064 140733927060344 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 779 446 152 442 0 333 0
[pid=30796] ppid=30791 vsize=19388 CPUtime=9.49 cores=1,3,5,7
/proc/30796/stat : 30796 (glucosInc) R 30791 30790 30741 0 -1 4202496 3868 0 0 0 949 0 0 0 20 0 1 0 375942474 19853312 4003 33554432000 4194304 5654031 140735933616992 140735933614872 4233173 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30796/statm: 4847 4003 132 357 0 4487 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 31652
[startup+10.4003 s]
/proc/loadavg: 0.31 0.07 0.02 3/180 30835
/proc/meminfo: memFree=25988572/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[pid=30791] ppid=30790 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/30791/stat : 30791 (npSolver-pbo) S 30790 30790 30741 0 -1 4202496 1654 1818 0 0 1 0 6 0 20 0 1 0 375942465 3190784 446 33554432000 4194304 6004724 140733927074064 140733927060344 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 779 446 152 442 0 333 0
[pid=30796] ppid=30791 vsize=19388 CPUtime=10.29 cores=1,3,5,7
/proc/30796/stat : 30796 (glucosInc) R 30791 30790 30741 0 -1 4202496 3921 0 0 0 1029 0 0 0 20 0 1 0 375942474 19853312 4051 33554432000 4194304 5654031 140735933616992 140735933614872 4217628 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30796/statm: 4847 4051 132 357 0 4487 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 31652
[startup+10.6003 s]
/proc/loadavg: 0.31 0.07 0.02 3/180 30835
/proc/meminfo: memFree=25988572/32873844 swapFree=6904/6904
[pid=30790] ppid=30788 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30790/stat : 30790 (npSolver-pbo-It) S 30788 30790 30741 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375942465 9367552 275 33554432000 4194304 5064252 140735414470672 140735414469584 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30790/statm: 2287 275 233 213 0 72 0
[pid=30791] ppid=30790 vsize=3116 CPUtime=0.07 cores=1,3,5,7
/proc/30791/stat : 30791 (npSolver-pbo) S 30790 30790 30741 0 -1 4202496 1654 1818 0 0 1 0 6 0 20 0 1 0 375942465 3190784 446 33554432000 4194304 6004724 140733927074064 140733927060344 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/30791/statm: 779 446 152 442 0 333 0
[pid=30796] ppid=30791 vsize=19392 CPUtime=10.49 cores=1,3,5,7
/proc/30796/stat : 30796 (glucosInc) R 30791 30790 30741 0 -1 4202496 4001 0 0 0 1049 0 0 0 20 0 1 0 375942474 19857408 4128 33554432000 4194304 5654031 140735933616992 140735933614872 4976752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30796/statm: 4848 4128 139 357 0 4488 0
Current children cumulated CPU time (s) 10.56
Current children cumulated vsize (KiB) 31656
Child status: 0
Real time (s): 10.6061
CPU time (s): 10.5994
CPU user time (s): 10.5804
CPU system time (s): 0.018997
CPU usage (%): 99.9365
Max. virtual memory (cumulated for all children) (KiB): 33304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5804
system time used= 0.018997
maximum resident set size= 30252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 19
runsolver used 0.019996 second user time and 0.047992 second system time
The end