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-3694789-1338056080/watcher-3694789-1338056080 -o /tmp/evaluation-result-3694789-1338056080/solver-3694789-1338056080 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694789-1338056080.opb 164792077 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: 2.00 2.00 2.00 3/179 2047
/proc/meminfo: memFree=28628636/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[startup+0.00863196 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2047
/proc/meminfo: memFree=28628636/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100199 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2047
/proc/meminfo: memFree=28628636/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2047
/proc/meminfo: memFree=28628636/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 2047
/proc/meminfo: memFree=28628636/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/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: 2.00 2.00 2.00 3/183 2054
/proc/meminfo: memFree=28619032/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=3372 CPUtime=0.01 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 1068 1385 0 0 1 0 0 0 20 0 1 0 271733986 3452928 513 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 843 513 179 410 0 425 0
[pid=2053] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2053/stat : 2053 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271733989 9367552 266 33554432000 4194304 5064252 140735005811488 140735005810400 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2053/statm: 2287 266 226 213 0 72 0
[pid=2054] ppid=2053 vsize=7620 CPUtime=1.45 cores=1,3,5,7
/proc/2054/stat : 2054 (glucose_static) R 2053 2047 1501 0 -1 4202496 4068 0 0 0 145 0 0 0 20 0 1 0 271733990 7802880 1588 33554432000 4194304 4896791 140733996963952 140733996961528 4203877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2054/statm: 1905 1588 78 172 0 1731 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29288
[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2057
/proc/meminfo: memFree=28617544/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=4392 CPUtime=2.42 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 2242 10794 0 0 4 1 236 1 20 0 1 0 271733986 4497408 736 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 1098 736 179 410 0 680 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 13540
heavy processes:
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2063
/proc/meminfo: memFree=28612736/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=4392 CPUtime=4.92 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 2830 17139 0 0 6 1 483 2 20 0 1 0 271733986 4497408 736 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 1098 736 179 410 0 680 0
[pid=2062] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2062/stat : 2062 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271734479 9367552 267 33554432000 4194304 5064252 140735591745568 140735591744480 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2062/statm: 2287 267 226 213 0 72 0
[pid=2063] ppid=2062 vsize=7812 CPUtime=1.35 cores=1,3,5,7
/proc/2063/stat : 2063 (glucose_static) R 2062 2047 1501 0 -1 4202496 3919 0 0 0 135 0 0 0 20 0 1 0 271734479 7999488 1697 33554432000 4194304 4896791 140736855783776 140736855781176 4225120 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2063/statm: 1953 1697 78 172 0 1779 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 30500
[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 2075
/proc/meminfo: memFree=28614316/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=4392 CPUtime=12.34 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 4592 36566 0 0 10 2 1216 6 20 0 1 0 271733986 4497408 736 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 1098 736 179 410 0 680 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 13540
[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 2099
/proc/meminfo: memFree=28614128/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=4392 CPUtime=24.37 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 6934 63175 0 0 16 2 2407 12 20 0 1 0 271733986 4497408 736 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 1098 736 179 410 0 680 0
[pid=2098] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2098/stat : 2098 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271736427 9367552 267 33554432000 4194304 5064252 140736574462144 140736574461056 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2098/statm: 2287 267 226 213 0 72 0
[pid=2099] ppid=2098 vsize=7404 CPUtime=1.07 cores=1,3,5,7
/proc/2099/stat : 2099 (glucose_static) R 2098 2047 1501 0 -1 4202496 3128 0 0 0 107 0 0 0 20 0 1 0 271736428 7581696 1597 33554432000 4194304 4896791 140736782776304 140736782773624 4203098 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2099/statm: 1851 1597 78 172 0 1677 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 30092
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 2159
/proc/meminfo: memFree=28619892/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=4392 CPUtime=49 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 12793 121943 0 0 31 4 4840 25 20 0 1 0 271733986 4497408 736 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 1098 736 179 410 0 680 0
[pid=2155] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2155/stat : 2155 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 271738891 9367552 266 33554432000 4194304 5064252 140733833571808 140733833570720 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2155/statm: 2287 266 226 213 0 72 0
[pid=2156] ppid=2155 vsize=8052 CPUtime=2.04 cores=1,3,5,7
/proc/2156/stat : 2156 (glucose_static) R 2155 2047 1501 0 -1 4202496 4440 0 0 0 204 0 0 0 20 0 1 0 271738891 8245248 1764 33554432000 4194304 4896791 140733393017728 140733393014936 4230413 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2156/statm: 2013 1764 78 172 0 1839 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 30740
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 2216
/proc/meminfo: memFree=28618164/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=4380 CPUtime=97.38 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 18471 202847 0 0 45 6 9644 43 20 0 1 0 271733986 4485120 716 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 1095 716 179 410 0 677 0
[pid=2212] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2212/stat : 2212 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271743736 9367552 266 33554432000 4194304 5064252 140735192527536 140735192526448 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2212/statm: 2287 266 226 213 0 72 0
[pid=2213] ppid=2212 vsize=10864 CPUtime=4.79 cores=1,3,5,7
/proc/2213/stat : 2213 (glucose_static) R 2212 2047 1501 0 -1 4202496 7032 0 0 0 478 1 0 0 20 0 1 0 271743736 11124736 2173 33554432000 4194304 4896791 140736885361680 140736885359256 4203877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2213/statm: 2716 2173 78 172 0 2542 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 33540
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 2261
/proc/meminfo: memFree=28602380/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=4380 CPUtime=145.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 22433 267974 0 0 54 8 14469 57 20 0 1 0 271733986 4485120 716 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 1095 716 179 410 0 677 0
[pid=2257] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2257/stat : 2257 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271748588 9367552 266 33554432000 4194304 5064252 140736327484128 140736327483040 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2257/statm: 2287 266 226 213 0 72 0
[pid=2258] ppid=2257 vsize=20028 CPUtime=16.26 cores=1,3,5,7
/proc/2258/stat : 2258 (glucose_static) R 2257 2047 1501 0 -1 4202496 12887 0 0 0 1623 3 0 0 20 0 1 0 271748588 20508672 4326 33554432000 4194304 4896791 140733853008080 140733853005480 4205040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2258/statm: 5007 4326 78 172 0 4833 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 42704
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 2279
/proc/meminfo: memFree=28595516/32873648 swapFree=7372/7372
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 2378
/proc/meminfo: memFree=28443024/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=109860 CPUtime=1082.99 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 37187 0 0 0 108280 19 0 0 20 0 1 0 271767897 112496640 25368 33554432000 4194304 4896791 140733479801344 140733479798776 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 27465 25368 76 172 0 27291 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 148084
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 2378
/proc/meminfo: memFree=28439900/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=110384 CPUtime=1142.98 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 37968 0 0 0 114277 21 0 0 20 0 1 0 271767897 113033216 24799 33554432000 4194304 4896791 140733479801344 140733479798920 4223805 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 27596 24799 76 172 0 27422 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 148608
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/184 2385
/proc/meminfo: memFree=28482972/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=122252 CPUtime=1202.97 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 38447 0 0 0 120276 21 0 0 20 0 1 0 271767897 125186048 26278 33554432000 4194304 4896791 140733479801344 140733479798600 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 30563 26278 76 172 0 30389 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 160476
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 2385
/proc/meminfo: memFree=28477416/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=110908 CPUtime=1262.95 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 38910 0 0 0 126274 21 0 0 20 0 1 0 271767897 113569792 25402 33554432000 4194304 4896791 140733479801344 140733479798600 4223833 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 27727 25402 76 172 0 27553 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 149132
[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 2385
/proc/meminfo: memFree=28477048/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=111264 CPUtime=1322.94 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 39829 0 0 0 132272 22 0 0 20 0 1 0 271767897 113934336 24965 33554432000 4194304 4896791 140733479801344 140733479798920 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 27816 24965 76 172 0 27642 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 149488
[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 2385
/proc/meminfo: memFree=28460916/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=123560 CPUtime=1382.93 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 40425 0 0 0 138270 23 0 0 20 0 1 0 271767897 126525440 26571 33554432000 4194304 4896791 140733479801344 140733479798776 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 30890 26571 76 172 0 30716 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 161784
[startup+1782.3 s]
/proc/loadavg: 2.16 2.07 2.01 3/183 2385
/proc/meminfo: memFree=28471840/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=112100 CPUtime=1442.92 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 40859 0 0 0 144269 23 0 0 20 0 1 0 271767897 114790400 25653 33554432000 4194304 4896791 140733479801344 140733479798920 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 28025 25653 76 172 0 27851 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 150324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.17 2.08 2.01 3/183 2463
/proc/meminfo: memFree=28502620/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=123776 CPUtime=1461.13 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 41170 0 0 0 146089 24 0 0 20 0 1 0 271767897 126746624 25955 33554432000 4194304 4896791 140733479801344 140733479798872 4225417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 30944 25955 76 172 0 30770 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 162000
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.17 2.08 2.01 3/183 2463
/proc/meminfo: memFree=28502620/32873648 swapFree=7372/7372
[pid=2047] ppid=2045 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2047/stat : 2047 (runPb2satCp2.sh) S 2045 2047 1501 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271733986 9367552 275 33554432000 4194304 5064252 140737378616336 140737378615248 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2047/statm: 2287 275 233 213 0 72 0
[pid=2048] ppid=2047 vsize=19928 CPUtime=338.88 cores=1,3,5,7
/proc/2048/stat : 2048 (pb2sat) S 2047 2047 1501 0 -1 4202496 29613 410819 0 0 78 11 33709 90 20 0 1 0 271733986 20406272 3438 33554432000 4194304 5873084 140736965637008 140736965630824 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2048/statm: 4982 3438 180 410 0 4564 0
[pid=2327] ppid=2048 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2327/stat : 2327 (satsolver.sh) S 2048 2047 1501 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271767896 9367552 267 33554432000 4194304 5064252 140736197976544 140736197975456 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2327/statm: 2287 267 226 213 0 72 0
[pid=2328] ppid=2327 vsize=123776 CPUtime=1461.13 cores=1,3,5,7
/proc/2328/stat : 2328 (glucose_static) R 2327 2047 1501 0 -1 4202496 41170 0 0 0 146089 24 0 0 20 0 1 0 271767897 126746624 25955 33554432000 4194304 4896791 140733479801344 140733479798872 4225417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2328/statm: 30944 25955 76 172 0 30770 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 162000
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1798.77
CPU system time (s): 1.27081
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 178960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.27081
maximum resident set size= 124124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 482591
page faults= 0
swaps= 0
block input operations= 0
block output operations= 98168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 443
involuntary context switches= 2075
runsolver used 3.12153 second user time and 8.09977 second system time
The end