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-3746248-1339098190/watcher-3746248-1339098190 -o /tmp/evaluation-result-3746248-1339098190/solver-3746248-1339098190 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746248-1339098190.opb 1791258706 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: 0.07 0.02 0.00 2/171 32669
/proc/meminfo: memFree=31976848/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0

[startup+0.080696 s]
/proc/loadavg: 0.07 0.02 0.00 2/171 32669
/proc/meminfo: memFree=31976848/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100285 s]
/proc/loadavg: 0.07 0.02 0.00 2/171 32669
/proc/meminfo: memFree=31976848/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300243 s]
/proc/loadavg: 0.07 0.02 0.00 2/171 32669
/proc/meminfo: memFree=31976848/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700266 s]
/proc/loadavg: 0.07 0.02 0.00 2/171 32669
/proc/meminfo: memFree=31976848/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 0.07 0.02 0.00 2/174 32675
/proc/meminfo: memFree=31964996/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=15852 CPUtime=1.39 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 3378 0 0 0 139 0 0 0 20 0 1 0 375944705 16232448 3318 33554432000 4194304 5654031 140733921408112 140733921406200 4234964 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 3963 3318 141 357 0 3603 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29468

[startup+3.10036 s]
/proc/loadavg: 0.07 0.02 0.00 2/174 32675
/proc/meminfo: memFree=31965304/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=41840 CPUtime=3 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 5252 0 0 0 299 1 0 0 20 0 1 0 375944705 42844160 6657 33554432000 4194304 5654031 140733921408112 140733921405992 4232763 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 10460 6657 141 357 0 10100 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 55456

[startup+6.30035 s]
/proc/loadavg: 0.14 0.03 0.01 2/174 32675
/proc/meminfo: memFree=31945092/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=41840 CPUtime=6.2 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 5516 0 0 0 618 2 0 0 20 0 1 0 375944705 42844160 7170 33554432000 4194304 5654031 140733921408112 140733921406136 4214996 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 10460 7170 141 357 0 10100 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 55456

[startup+12.7004 s]
/proc/loadavg: 0.21 0.05 0.01 2/174 32718
/proc/meminfo: memFree=31899100/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=110048 CPUtime=12.6 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 6634 0 0 0 1257 3 0 0 20 0 1 0 375944705 112689152 19130 33554432000 4194304 5654031 140733921408112 140733921406040 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 27512 19130 141 357 0 27152 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 123664

[startup+25.5004 s]
/proc/loadavg: 0.61 0.14 0.04 3/181 32744
/proc/meminfo: memFree=31859380/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=110048 CPUtime=25.39 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 7961 0 0 0 2535 4 0 0 20 0 1 0 375944705 112689152 18618 33554432000 4194304 5654031 140733921408112 140733921406136 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 27512 18618 141 357 0 27152 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 123664

Solver just ended. Dumping a history of the last processes samples

[startup+28.7004 s]
/proc/loadavg: 0.61 0.14 0.04 3/181 32744
/proc/meminfo: memFree=31840080/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=110048 CPUtime=28.59 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 7967 0 0 0 2854 5 0 0 20 0 1 0 375944705 112689152 21182 33554432000 4194304 5654031 140733921408112 140733921406040 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 27512 21182 141 357 0 27152 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 123664

[startup+31.9065 s]
/proc/loadavg: 0.72 0.17 0.06 3/181 32744
/proc/meminfo: memFree=31827368/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=140868 CPUtime=31.8 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 8483 0 0 0 3175 5 0 0 20 0 1 0 375944705 144248832 23742 33554432000 4194304 5654031 140733921408112 140733921406200 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 35217 23742 141 357 0 34857 0
Current children cumulated CPU time (s) 31.87
Current children cumulated vsize (KiB) 154484

[startup+33.5004 s]
/proc/loadavg: 0.72 0.17 0.06 3/181 32744
/proc/meminfo: memFree=31821660/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=140868 CPUtime=33.39 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 8486 0 0 0 3334 5 0 0 20 0 1 0 375944705 144248832 25278 33554432000 4194304 5654031 140733921408112 140733921406200 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 35217 25278 141 357 0 34857 0
Current children cumulated CPU time (s) 33.46
Current children cumulated vsize (KiB) 154484

[startup+34.3004 s]
/proc/loadavg: 0.72 0.17 0.06 3/181 32744
/proc/meminfo: memFree=31819488/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=140868 CPUtime=34.19 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 8487 0 0 0 3414 5 0 0 20 0 1 0 375944705 144248832 25790 33554432000 4194304 5654031 140733921408112 140733921406200 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 35217 25790 141 357 0 34857 0
Current children cumulated CPU time (s) 34.26
Current children cumulated vsize (KiB) 154484

[startup+34.7004 s]
/proc/loadavg: 0.72 0.17 0.06 3/181 32744
/proc/meminfo: memFree=31819488/32873844 swapFree=7632/7632
[pid=32669] ppid=32667 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32669/stat : 32669 (npSolver-pbo-It) S 32667 32669 32553 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 375944695 9367552 275 33554432000 4194304 5064252 140735924569664 140735924568576 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32669/statm: 2287 275 233 213 0 72 0
[pid=32670] ppid=32669 vsize=4468 CPUtime=0.07 cores=0,2,4,6
/proc/32670/stat : 32670 (npSolver-pbo) S 32669 32669 32553 0 -1 4202496 2446 2572 0 0 3 0 4 0 20 0 1 0 375944696 4575232 792 33554432000 4194304 6004724 140734468951648 140734468937928 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32670/statm: 1117 792 152 442 0 671 0
[pid=32675] ppid=32670 vsize=60728 CPUtime=34.59 cores=0,2,4,6
/proc/32675/stat : 32675 (glucosInc) R 32670 32669 32553 0 -1 4202496 8487 0 0 0 3454 5 0 0 20 0 1 0 375944705 62185472 10045 33554432000 4194304 5654031 140733921408112 140733921406200 4233168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32675/statm: 15182 10045 141 357 0 14822 0
Current children cumulated CPU time (s) 34.66
Current children cumulated vsize (KiB) 74344

Child status: 0
Real time (s): 34.7946
CPU time (s): 34.7877
CPU user time (s): 34.7117
CPU system time (s): 0.075988
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 154484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.7117
system time used= 0.075988
maximum resident set size= 103160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 71

runsolver used 0.076988 second user time and 0.176973 second system time

The end