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-3694373-1338092185/watcher-3694373-1338092185 -o /tmp/evaluation-result-3694373-1338092185/solver-3694373-1338092185 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694373-1338092185.opb 2070795116 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.00 2.00 1.93 3/179 10153
/proc/meminfo: memFree=29811652/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[startup+0.0494589 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 10153
/proc/meminfo: memFree=29811652/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 10153
/proc/meminfo: memFree=29811652/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300161 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 10153
/proc/meminfo: memFree=29811652/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 10153
/proc/meminfo: memFree=29811652/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10158
/proc/meminfo: memFree=29778852/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=140928 CPUtime=1.48 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) R 10153 10153 9063 0 -1 4202496 12616 10049 0 0 79 54 12 3 20 0 1 0 275345894 144310272 26245 33554432000 4194304 5873084 140736925250944 140736925246280 4996870 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 35232 26245 180 410 0 34814 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 150076
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 10158
/proc/meminfo: memFree=29679204/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=442200 CPUtime=3.08 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) R 10153 10153 9063 0 -1 4202496 14418 10049 0 0 225 68 12 3 20 0 1 0 275345894 452812800 79034 33554432000 4194304 5873084 140736925250944 140736925245336 5129975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 110550 79034 180 410 0 110132 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 451348
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 10160
/proc/meminfo: memFree=29168748/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=437340 CPUtime=3.07 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 67686 0 0 0 287 20 0 0 20 0 1 0 275346215 447836160 92923 33554432000 4194304 4896791 140736918300544 140736918297752 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 109335 92923 77 172 0 109161 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 760404
[startup+12.7005 s]
/proc/loadavg: 2.15 2.03 1.94 3/183 10160
/proc/meminfo: memFree=29152420/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=437880 CPUtime=9.47 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 67805 0 0 0 925 22 0 0 20 0 1 0 275346215 448389120 93042 33554432000 4194304 4896791 140736918300544 140736918297672 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 109470 93042 77 172 0 109296 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 760944
[startup+25.5004 s]
/proc/loadavg: 2.12 2.03 1.94 3/183 10160
/proc/meminfo: memFree=29142580/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=437880 CPUtime=22.27 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 67810 0 0 0 2205 22 0 0 20 0 1 0 275346215 448389120 93047 33554432000 4194304 4896791 140736918300544 140736918297672 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 109470 93047 77 172 0 109296 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 760944
[startup+51.1068 s]
/proc/loadavg: 2.08 2.03 1.94 3/183 10160
/proc/meminfo: memFree=29109136/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=437880 CPUtime=47.87 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 67812 0 0 0 4765 22 0 0 20 0 1 0 275346215 448389120 93049 33554432000 4194304 4896791 140736918300544 140736918297672 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 109470 93049 77 172 0 109296 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 760944
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/183 10160
/proc/meminfo: memFree=29080800/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=443968 CPUtime=99.06 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 70132 0 0 0 9883 23 0 0 20 0 1 0 275346215 454623232 95600 33554432000 4194304 4896791 140736918300544 140736918297752 4224921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 110992 95600 78 172 0 110818 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 767032
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/183 10161
/proc/meminfo: memFree=29093728/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=450192 CPUtime=159.05 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 73281 0 0 0 15881 24 0 0 20 0 1 0 275346215 460996608 98675 33554432000 4194304 4896791 140736918300544 140736918298056 4224921 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 112548 98675 78 172 0 112374 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 773256
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/184 10164
/proc/meminfo: memFree=29107056/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.04 2.22 2.17 3/184 10311
/proc/meminfo: memFree=29007408/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=486524 CPUtime=1418.84 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 90267 0 0 0 141841 43 0 0 20 0 1 0 275346215 498200576 107121 33554432000 4194304 4896791 140736918300544 140736918298120 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 121631 107121 78 172 0 121457 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 809588
[startup+1482.3 s]
/proc/loadavg: 2.01 2.18 2.16 3/183 10311
/proc/meminfo: memFree=28988764/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=487220 CPUtime=1478.82 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 90422 0 0 0 147839 43 0 0 20 0 1 0 275346215 498913280 108809 33554432000 4194304 4896791 140736918300544 140736918297688 4204099 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 121805 108809 78 172 0 121631 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 810284
[startup+1542.3 s]
/proc/loadavg: 2.00 2.14 2.15 3/183 10311
/proc/meminfo: memFree=28990592/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=487588 CPUtime=1538.81 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 90518 0 0 0 153838 43 0 0 20 0 1 0 275346215 499290112 109927 33554432000 4194304 4896791 140736918300544 140736918297688 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 121897 109927 78 172 0 121723 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 810652
[startup+1602.3 s]
/proc/loadavg: 2.00 2.12 2.13 3/183 10311
/proc/meminfo: memFree=28973084/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=488256 CPUtime=1598.81 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 90685 0 0 0 159837 44 0 0 20 0 1 0 275346215 499974144 111116 33554432000 4194304 4896791 140736918300544 140736918297688 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 122064 111116 78 172 0 121890 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 811320
[startup+1662.3 s]
/proc/loadavg: 2.00 2.09 2.12 3/182 10311
/proc/meminfo: memFree=28976716/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=489912 CPUtime=1658.8 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 91859 0 0 0 165836 44 0 0 20 0 1 0 275346215 501669888 114033 33554432000 4194304 4896791 140736918300544 140736918297752 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 122478 114033 78 172 0 122304 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 812976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.07 2.11 3/183 10312
/proc/meminfo: memFree=28956424/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=490384 CPUtime=1718.79 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 91990 0 0 0 171835 44 0 0 20 0 1 0 275346215 502153216 115697 33554432000 4194304 4896791 140736918300544 140736918297752 4203806 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 122596 115697 78 172 0 122422 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 813448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.10 3/183 10312
/proc/meminfo: memFree=28965560/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=491020 CPUtime=1778.78 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 92617 0 0 0 177832 46 0 0 20 0 1 0 275346215 502804480 109494 33554432000 4194304 4896791 140736918300544 140736918298072 4203775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 122755 109494 78 172 0 122581 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 814084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.05 2.10 3/183 10315
/proc/meminfo: memFree=28991740/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=491288 CPUtime=1796.89 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 92677 0 0 0 179643 46 0 0 20 0 1 0 275346215 503078912 110576 33554432000 4194304 4896791 140736918300544 140736918297768 4223797 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 122822 110576 78 172 0 122648 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 814352
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.05 2.10 3/183 10315
/proc/meminfo: memFree=28991740/32873648 swapFree=7116/7116
[pid=10153] ppid=10151 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10153/stat : 10153 (runPb2satCp2.sh) S 10151 10153 9063 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 275345894 9367552 274 33554432000 4194304 5064252 140734224845792 140734224844704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10153/statm: 2287 274 233 213 0 72 0
[pid=10154] ppid=10153 vsize=304768 CPUtime=3.19 cores=0,2,4,6
/proc/10154/stat : 10154 (pb2sat) S 10153 10153 9063 0 -1 4202496 14419 10049 0 0 225 79 12 3 20 0 1 0 275345894 312082432 44677 33554432000 4194304 5873084 140736925250944 140736925244760 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10154/statm: 76192 44677 180 410 0 75774 0
[pid=10159] ppid=10154 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10159/stat : 10159 (satsolver.sh) S 10154 10153 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275346215 9367552 267 33554432000 4194304 5064252 140735228602656 140735228601568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10159/statm: 2287 267 226 213 0 72 0
[pid=10160] ppid=10159 vsize=491288 CPUtime=1796.89 cores=0,2,4,6
/proc/10160/stat : 10160 (glucose_static) R 10159 10153 9063 0 -1 4202496 92677 0 0 0 179643 46 0 0 20 0 1 0 275346215 503078912 110576 33554432000 4194304 4896791 140736918300544 140736918297768 4223797 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10160/statm: 122822 110576 78 172 0 122648 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 814352
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.12
CPU user time (s): 1798.81
CPU system time (s): 1.3058
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 1015016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.3058
maximum resident set size= 564788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118132
page faults= 0
swaps= 0
block input operations= 0
block output operations= 315088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 1963
runsolver used 3.24951 second user time and 7.78582 second system time
The end