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-3695134-1338090783/watcher-3695134-1338090783 -o /tmp/evaluation-result-3695134-1338090783/solver-3695134-1338090783 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695134-1338090783.opb 368073519 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 2.00 3/177 11277
/proc/meminfo: memFree=29117644/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runsolver) D 11275 11277 10926 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 275203809 12095488 50 33554432000 4194304 5436572 140737276996240 140737276992536 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/11277/statm: 2953 50 31 304 0 2645 0
[startup+0.0802861 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11277
/proc/meminfo: memFree=29117644/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100204 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11277
/proc/meminfo: memFree=29117644/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300166 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11277
/proc/meminfo: memFree=29117644/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700155 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11277
/proc/meminfo: memFree=29117644/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/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: 2.00 2.00 2.00 3/179 11321
/proc/meminfo: memFree=29021360/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=124096 CPUtime=0.96 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 22488 0 0 0 92 4 0 0 20 0 1 0 275203863 127074304 25367 33554432000 4194304 4896791 140734755007840 140734753956920 4225148 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 31024 25367 78 172 0 30850 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 202396
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11323
/proc/meminfo: memFree=28786756/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=124492 CPUtime=2.56 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 22608 0 0 0 252 4 0 0 20 0 1 0 275203863 127479808 25487 33554432000 4194304 4896791 140734755007840 140734755004984 4225008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 31123 25487 78 172 0 30949 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 202792
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11323
/proc/meminfo: memFree=28686484/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=124896 CPUtime=5.76 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 22708 0 0 0 571 5 0 0 20 0 1 0 275203863 127893504 26098 33554432000 4194304 4896791 140734755007840 140734755005048 4225530 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 31224 26098 78 172 0 31050 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 203196
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11323
/proc/meminfo: memFree=28665692/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=126352 CPUtime=12.16 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 23047 0 0 0 1211 5 0 0 20 0 1 0 275203863 129384448 27459 33554432000 4194304 4896791 140734755007840 140734755005048 4225517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 31588 27459 78 172 0 31414 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 204652
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11323
/proc/meminfo: memFree=28667536/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=126984 CPUtime=24.95 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 23301 0 0 0 2490 5 0 0 20 0 1 0 275203863 130031616 27015 33554432000 4194304 4896791 140734755007840 140734755005160 4225148 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 31746 27015 78 172 0 31572 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 205284
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11370
/proc/meminfo: memFree=29007716/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=129144 CPUtime=50.54 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 24021 0 0 0 5048 6 0 0 20 0 1 0 275203863 132243456 28135 33554432000 4194304 4896791 140734755007840 140734755005048 4223862 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 32286 28135 78 172 0 32112 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 207444
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11370
/proc/meminfo: memFree=28996200/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=131192 CPUtime=101.72 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 25727 0 0 0 10164 8 0 0 20 0 1 0 275203863 134340608 28106 33554432000 4194304 4896791 140734755007840 140734755005048 4205624 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 32798 28106 78 172 0 32624 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 209492
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11370
/proc/meminfo: memFree=28986392/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11403
/proc/meminfo: memFree=28895984/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=172840 CPUtime=1361.5 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 51724 0 0 0 136104 46 0 0 20 0 1 0 275203863 176988160 37106 33554432000 4194304 4896791 140734755007840 140734755005368 4224960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 43210 37106 78 172 0 43036 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 251140
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11403
/proc/meminfo: memFree=28892356/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=173156 CPUtime=1421.49 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 52583 0 0 0 142102 47 0 0 20 0 1 0 275203863 177311744 36684 33554432000 4194304 4896791 140734755007840 140734755003576 4225008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 43289 36684 78 172 0 43115 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 251456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11403
/proc/meminfo: memFree=28891080/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=173892 CPUtime=1481.47 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 53496 0 0 0 148098 49 0 0 20 0 1 0 275203863 178065408 36330 33554432000 4194304 4896791 140734755007840 140734755003576 4225148 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 43473 36330 78 172 0 43299 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 252192
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11403
/proc/meminfo: memFree=28887048/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=175084 CPUtime=1541.45 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 54550 0 0 0 154095 50 0 0 20 0 1 0 275203863 179286016 36654 33554432000 4194304 4896791 140734755007840 140734755005368 4225130 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 43771 36654 78 172 0 43597 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 253384
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11404
/proc/meminfo: memFree=28872888/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=176116 CPUtime=1601.45 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 54785 0 0 0 160094 51 0 0 20 0 1 0 275203863 180342784 40466 33554432000 4194304 4896791 140734755007840 140734755005096 4225008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 44029 40466 78 172 0 43855 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 254416
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 11407
/proc/meminfo: memFree=28875336/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=176116 CPUtime=1661.44 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 55552 0 0 0 166092 52 0 0 20 0 1 0 275203863 180342784 40467 33554432000 4194304 4896791 140734755007840 140734755003576 4225008 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 44029 40467 78 172 0 43855 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 254416
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11407
/proc/meminfo: memFree=28882836/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=176928 CPUtime=1721.42 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 57147 0 0 0 172088 54 0 0 20 0 1 0 275203863 181174272 40175 33554432000 4194304 4896791 140734755007840 140734755002920 4224999 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 44232 40175 78 172 0 44058 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 255228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11407
/proc/meminfo: memFree=28905272/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=177768 CPUtime=1781.42 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 58719 0 0 0 178085 57 0 0 20 0 1 0 275203863 182034432 37824 33554432000 4194304 4896791 140734755007840 140734755005368 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 44442 37824 78 172 0 44268 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 256068
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11407
/proc/meminfo: memFree=28890736/32873624 swapFree=7104/7104
[pid=11277] ppid=11275 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11277/stat : 11277 (runPb2satCp2.sh) S 11275 11277 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 275203809 9367552 275 33554432000 4194304 5064252 140736080102096 140736080101008 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11277/statm: 2287 275 233 213 0 72 0
[pid=11279] ppid=11277 vsize=60004 CPUtime=0.52 cores=0,2,4,6
/proc/11279/stat : 11279 (pb2sat) S 11277 11277 10926 0 -1 4202496 9940 0 0 0 47 5 0 0 20 0 1 0 275203810 61444096 12562 33554432000 4194304 5873084 140734837324272 140734837320696 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11279/statm: 15001 12562 162 410 0 14583 0
[pid=11314] ppid=11279 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11314/stat : 11314 (satsolver.sh) S 11279 11277 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275203863 9367552 266 33554432000 4194304 5064252 140735948046192 140735948045104 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11314/statm: 2287 266 226 213 0 72 0
[pid=11315] ppid=11314 vsize=177932 CPUtime=1799.52 cores=0,2,4,6
/proc/11315/stat : 11315 (glucose_static) R 11314 11277 10926 0 -1 4202496 58774 0 0 0 179895 57 0 0 20 0 1 0 275203863 182202368 38901 33554432000 4194304 4896791 140734755007840 140734755005048 4225540 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11315/statm: 44483 38901 78 172 0 44309 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 256232
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.43
CPU system time (s): 0.630904
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 317240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.630904
maximum resident set size= 201516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 44872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110
involuntary context switches= 2009
runsolver used 2.82557 second user time and 7.00893 second system time
The end