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-3694010-1338048690/watcher-3694010-1338048690 -o /tmp/evaluation-result-3694010-1338048690/solver-3694010-1338048690 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694010-1338048690.opb 2131194280 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: 2.73 2.47 2.18 3/178 27290
/proc/meminfo: memFree=27774012/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[startup+0.050081 s]
/proc/loadavg: 2.73 2.47 2.18 3/178 27290
/proc/meminfo: memFree=27774012/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 2.73 2.47 2.18 3/178 27290
/proc/meminfo: memFree=27774012/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 2.73 2.47 2.18 3/178 27290
/proc/meminfo: memFree=27774012/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 2.73 2.47 2.18 3/178 27290
/proc/meminfo: memFree=27774012/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.73 2.47 2.18 3/180 27292
/proc/meminfo: memFree=27752936/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=18396 CPUtime=1.49 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) R 27290 27290 17459 0 -1 4202496 2409 0 0 0 149 0 0 0 20 0 1 0 270993829 18837504 3412 33554432000 4194304 5873084 140734687376944 140734687373704 4745449 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 4599 3412 144 410 0 4181 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27544
[startup+3.10027 s]
/proc/loadavg: 2.73 2.47 2.18 3/180 27292
/proc/meminfo: memFree=27729416/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=34780 CPUtime=3.09 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) R 27290 27290 17459 0 -1 4202496 2935 0 0 0 308 1 0 0 20 0 1 0 270993829 35614720 6996 33554432000 4194304 5873084 140734687376944 140734687373256 4664978 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 8695 6996 144 410 0 8277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43928
[startup+6.30027 s]
/proc/loadavg: 2.67 2.46 2.18 3/180 27292
/proc/meminfo: memFree=27655688/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=67548 CPUtime=6.28 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) R 27290 27290 17459 0 -1 4202496 3477 0 0 0 627 1 0 0 20 0 1 0 270993829 69169152 14676 33554432000 4194304 5873084 140734687376944 140734687374312 4745746 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 16887 14676 144 410 0 16469 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76696
[startup+12.7003 s]
/proc/loadavg: 2.62 2.45 2.18 3/180 27292
/proc/meminfo: memFree=27507824/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=133084 CPUtime=12.68 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) R 27290 27290 17459 0 -1 4202496 4051 0 0 0 1265 3 0 0 20 0 1 0 270993829 136278016 30548 33554432000 4194304 5873084 140734687376944 140734687374312 4394284 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 33271 30548 144 410 0 32853 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 142232
[startup+25.5003 s]
/proc/loadavg: 2.71 2.48 2.19 3/176 27402
/proc/meminfo: memFree=27640692/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=264156 CPUtime=25.49 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) R 27290 27290 17459 0 -1 4202496 4692 0 0 0 2541 8 0 0 20 0 1 0 270993829 270495744 64340 33554432000 4194304 5873084 140734687376944 140734687374312 4746454 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 66039 64340 144 410 0 65621 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 273304
[startup+51.1003 s]
/proc/loadavg: 2.41 2.43 2.18 3/180 27613
/proc/meminfo: memFree=27148612/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=1050588 CPUtime=51.08 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) R 27290 27290 17459 0 -1 4202496 6236 0 0 0 5085 23 0 0 20 0 1 0 270993829 1075802112 134996 33554432000 4194304 5873084 140734687376944 140734687373848 4746372 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 262647 134996 144 410 0 262229 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1059736
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.69 2.49 2.20 1/182 27655
/proc/meminfo: memFree=26112968/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=1051924 CPUtime=54.46 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) S 27290 27290 17459 0 -1 4204032 6511 0 0 0 5323 123 0 0 20 0 1 0 270993829 1077170176 141914 33554432000 4194304 5873084 140734687376944 140734687374536 4264880 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 262981 141914 151 410 0 262563 0
Current children cumulated CPU time (s) 54.46
Current children cumulated vsize (KiB) 1061072
[startup+67.1066 s]
/proc/loadavg: 2.69 2.49 2.20 1/182 27655
/proc/meminfo: memFree=26112628/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=1051924 CPUtime=54.46 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) S 27290 27290 17459 0 -1 4204032 6511 0 0 0 5323 123 0 0 20 0 1 0 270993829 1077170176 141914 33554432000 4194304 5873084 140734687376944 140734687374536 4264880 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 262981 141914 151 410 0 262563 0
Current children cumulated CPU time (s) 54.46
Current children cumulated vsize (KiB) 1061072
[startup+70.3003 s]
/proc/loadavg: 2.80 2.51 2.21 1/182 27655
/proc/meminfo: memFree=26112636/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=1051924 CPUtime=54.46 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) S 27290 27290 17459 0 -1 4204032 6511 0 0 0 5323 123 0 0 20 0 1 0 270993829 1077170176 141914 33554432000 4194304 5873084 140734687376944 140734687374536 4264880 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 262981 141914 151 410 0 262563 0
Current children cumulated CPU time (s) 54.46
Current children cumulated vsize (KiB) 1061072
[startup+71.1003 s]
/proc/loadavg: 2.80 2.51 2.21 1/182 27655
/proc/meminfo: memFree=26112636/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=1051924 CPUtime=54.46 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) S 27290 27290 17459 0 -1 4204032 6511 0 0 0 5323 123 0 0 20 0 1 0 270993829 1077170176 141914 33554432000 4194304 5873084 140734687376944 140734687374536 4264880 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 262981 141914 151 410 0 262563 0
Current children cumulated CPU time (s) 54.46
Current children cumulated vsize (KiB) 1061072
[startup+71.5068 s]
/proc/loadavg: 2.80 2.51 2.21 1/182 27655
/proc/meminfo: memFree=26114752/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=1051924 CPUtime=54.46 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) S 27290 27290 17459 0 -1 4204032 6511 0 0 0 5323 123 0 0 20 0 1 0 270993829 1077170176 141914 33554432000 4194304 5873084 140734687376944 140734687374536 4264880 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 262981 141914 151 410 0 262563 0
Current children cumulated CPU time (s) 54.46
Current children cumulated vsize (KiB) 1061072
[startup+71.9003 s]
/proc/loadavg: 2.80 2.51 2.21 1/182 27655
/proc/meminfo: memFree=26114752/32873844 swapFree=6592/6592
[pid=27290] ppid=27288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27290/stat : 27290 (runPb2satCp2.sh) S 27288 27290 17459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 270993829 9367552 275 33554432000 4194304 5064252 140734368913872 140734368912784 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27290/statm: 2287 275 233 213 0 72 0
[pid=27291] ppid=27290 vsize=1051924 CPUtime=54.46 cores=0,2,4,6
/proc/27291/stat : 27291 (pb2sat) S 27290 27290 17459 0 -1 4204032 6511 0 0 0 5323 123 0 0 20 0 1 0 270993829 1077170176 141914 33554432000 4194304 5873084 140734687376944 140734687374536 4264880 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27291/statm: 262981 141914 151 410 0 262563 0
Current children cumulated CPU time (s) 54.46
Current children cumulated vsize (KiB) 1061072
Child status: 0
Real time (s): 71.9443
CPU time (s): 54.4787
CPU user time (s): 53.2369
CPU system time (s): 1.24181
CPU usage (%): 75.7235
Max. virtual memory (cumulated for all children) (KiB): 1584024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.2369
system time used= 1.24181
maximum resident set size= 1049936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200914
involuntary context switches= 70
runsolver used 0.123981 second user time and 0.314952 second system time
The end