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-3749922-1339158210/watcher-3749922-1339158210 -o /tmp/evaluation-result-3749922-1339158210/solver-3749922-1339158210 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749922-1339158210.opb 2078838922 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.05 3.70 2.74 2/178 2655
/proc/meminfo: memFree=30925264/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0

[startup+0.0382951 s]
/proc/loadavg: 4.05 3.70 2.74 2/178 2655
/proc/meminfo: memFree=30925264/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100173 s]
/proc/loadavg: 4.05 3.70 2.74 2/178 2655
/proc/meminfo: memFree=30925264/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300189 s]
/proc/loadavg: 4.05 3.70 2.74 2/178 2655
/proc/meminfo: memFree=30925264/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700269 s]
/proc/loadavg: 4.05 3.70 2.74 2/178 2655
/proc/meminfo: memFree=30925264/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 3.89 3.67 2.74 3/182 2669
/proc/meminfo: memFree=30727004/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20120 CPUtime=1.48 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) R 2655 2655 30446 0 -1 4202496 4434 18938 0 0 13 6 124 5 20 0 1 0 381948333 20602880 4243 33554432000 4194304 6004724 140735301331824 140735301324752 4968639 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5030 4243 176 442 0 4584 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29268

[startup+3.10039 s]
/proc/loadavg: 3.89 3.67 2.74 3/182 2676
/proc/meminfo: memFree=30467044/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=1.62 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 6402 18938 0 0 25 8 124 5 20 0 1 0 381948333 20844544 4649 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4649 176 442 0 4643 0
[pid=2675] ppid=2656 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2675/stat : 2675 (satsolver.sh) S 2656 2655 30446 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 381948496 9367552 266 33554432000 4194304 5064252 140734140873424 140734140872336 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2675/statm: 2287 266 226 213 0 72 0
[pid=2676] ppid=2675 vsize=33012 CPUtime=1.45 cores=0,2,4,6
/proc/2676/stat : 2676 (glucose) R 2675 2655 30446 0 -1 4202496 7282 0 0 0 144 1 0 0 20 0 1 0 381948497 33804288 7021 33554432000 4194304 5208918 140734105639280 140734105637112 4211066 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2676/statm: 8253 7021 104 248 0 8002 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 71664

[startup+6.30032 s]
/proc/loadavg: 3.74 3.64 2.74 3/182 2679
/proc/meminfo: memFree=30340156/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=5.62 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 8385 30552 0 0 35 9 506 12 20 0 1 0 381948333 20844544 4650 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4650 176 442 0 4643 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 29504

[startup+12.7003 s]
/proc/loadavg: 3.60 3.62 2.73 3/180 2716
/proc/meminfo: memFree=29838920/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=12.01 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 17620 79680 0 0 85 14 1078 24 20 0 1 0 381948333 20844544 4651 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4651 176 442 0 4643 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 29504

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

[startup+12.8004 s]
/proc/loadavg: 3.60 3.62 2.73 3/180 2716
/proc/meminfo: memFree=29838920/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=12.01 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 17620 79680 0 0 85 14 1078 24 20 0 1 0 381948333 20844544 4651 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4651 176 442 0 4643 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 29504

[startup+16.0004 s]
/proc/loadavg: 3.60 3.62 2.73 3/182 2732
/proc/meminfo: memFree=29574448/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=14.58 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 21314 99326 0 0 105 15 1309 29 20 0 1 0 381948333 20844544 4651 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4651 176 442 0 4643 0
[pid=2731] ppid=2656 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2731/stat : 2731 (satsolver.sh) S 2656 2655 30446 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 381949805 9367552 265 33554432000 4194304 5064252 140735280751488 140735280750400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2731/statm: 2287 265 226 213 0 72 0
[pid=2732] ppid=2731 vsize=27024 CPUtime=1.27 cores=0,2,4,6
/proc/2732/stat : 2732 (glucose) R 2731 2655 30446 0 -1 4202496 5870 0 0 0 126 1 0 0 20 0 1 0 381949805 27672576 6041 33554432000 4194304 5208918 140735501865584 140735501863416 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2732/statm: 6756 6041 105 248 0 6505 0
Current children cumulated CPU time (s) 15.85
Current children cumulated vsize (KiB) 65676

[startup+17.6003 s]
/proc/loadavg: 3.47 3.59 2.73 3/182 2739
/proc/meminfo: memFree=29398512/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=16.69 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 23161 108117 0 0 115 16 1506 32 20 0 1 0 381948333 20844544 4651 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4651 176 442 0 4643 0
[pid=2738] ppid=2656 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2738/stat : 2738 (satsolver.sh) S 2656 2655 30446 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 381950015 9367552 266 33554432000 4194304 5064252 140735366713568 140735366712480 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2738/statm: 2287 266 226 213 0 72 0
[pid=2739] ppid=2738 vsize=26796 CPUtime=0.77 cores=0,2,4,6
/proc/2739/stat : 2739 (glucose) R 2738 2655 30446 0 -1 4202496 5368 0 0 0 77 0 0 0 20 0 1 0 381950015 27439104 5922 33554432000 4194304 5208918 140733952199808 140733952197640 4229424 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2739/statm: 6699 5922 104 248 0 6448 0
Current children cumulated CPU time (s) 17.46
Current children cumulated vsize (KiB) 65448

[startup+18.4003 s]
/proc/loadavg: 3.47 3.59 2.73 3/182 2739
/proc/meminfo: memFree=29398512/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=17.9 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 25008 117365 0 0 125 17 1614 34 20 0 1 0 381948333 20844544 4651 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4651 176 442 0 4643 0
Current children cumulated CPU time (s) 17.9
Current children cumulated vsize (KiB) 29504

[startup+18.8068 s]
/proc/loadavg: 3.47 3.59 2.73 3/182 2746
/proc/meminfo: memFree=29310756/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=17.9 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 25008 117365 0 0 125 17 1614 34 20 0 1 0 381948333 20844544 4651 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4651 176 442 0 4643 0
[pid=2745] ppid=2656 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2745/stat : 2745 (satsolver.sh) S 2656 2655 30446 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 381950136 9367552 267 33554432000 4194304 5064252 140736167646624 140736167645536 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2745/statm: 2287 267 226 213 0 72 0
[pid=2746] ppid=2745 vsize=22612 CPUtime=0.77 cores=0,2,4,6
/proc/2746/stat : 2746 (glucose) R 2745 2655 30446 0 -1 4202496 6568 0 0 0 76 1 0 0 20 0 1 0 381950136 23154688 5145 33554432000 4194304 5208918 140735343164384 140735343162216 4211632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2746/statm: 5653 5145 104 248 0 5402 0
Current children cumulated CPU time (s) 18.67
Current children cumulated vsize (KiB) 61264

[startup+19.0004 s]
/proc/loadavg: 3.47 3.59 2.73 3/182 2746
/proc/meminfo: memFree=29310756/32873648 swapFree=7124/7124
[pid=2655] ppid=2653 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2655/stat : 2655 (npSolver-pbo.sh) S 2653 2655 30446 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381948333 9367552 275 33554432000 4194304 5064252 140733821257200 140733821256112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2655/statm: 2287 275 233 213 0 72 0
[pid=2656] ppid=2655 vsize=20356 CPUtime=17.9 cores=0,2,4,6
/proc/2656/stat : 2656 (npSolver-pbo) S 2655 2655 30446 0 -1 4202496 25008 117365 0 0 125 17 1614 34 20 0 1 0 381948333 20844544 4651 33554432000 4194304 6004724 140735301331824 140735301324176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2656/statm: 5089 4651 176 442 0 4643 0
[pid=2745] ppid=2656 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2745/stat : 2745 (satsolver.sh) S 2656 2655 30446 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 381950136 9367552 267 33554432000 4194304 5064252 140736167646624 140736167645536 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2745/statm: 2287 267 226 213 0 72 0
[pid=2746] ppid=2745 vsize=25292 CPUtime=0.96 cores=0,2,4,6
/proc/2746/stat : 2746 (glucose) R 2745 2655 30446 0 -1 4202496 6755 0 0 0 95 1 0 0 20 0 1 0 381950136 25899008 5822 33554432000 4194304 5208918 140735343164384 140735343162216 4219119 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2746/statm: 6323 5822 105 248 0 6072 0
Current children cumulated CPU time (s) 18.86
Current children cumulated vsize (KiB) 63944

Child status: 0
Real time (s): 19.0723
CPU time (s): 18.9641
CPU user time (s): 18.4122
CPU system time (s): 0.551916
CPU usage (%): 99.433
Max. virtual memory (cumulated for all children) (KiB): 76360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4122
system time used= 0.551916
maximum resident set size= 35968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 163888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 307
involuntary context switches= 170

runsolver used 0.040993 second user time and 0.077988 second system time

The end