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-3695337-1338087182/watcher-3695337-1338087182 -o /tmp/evaluation-result-3695337-1338087182/solver-3695337-1338087182 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695337-1338087182.opb 1745860125 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: 1.04 1.64 1.86 4/173 10969
/proc/meminfo: memFree=29238748/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[startup+0.103985 s]
/proc/loadavg: 1.04 1.64 1.86 4/173 10969
/proc/meminfo: memFree=29238748/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200159 s]
/proc/loadavg: 1.04 1.64 1.86 4/173 10969
/proc/meminfo: memFree=29238748/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300135 s]
/proc/loadavg: 1.04 1.64 1.86 4/173 10969
/proc/meminfo: memFree=29238748/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700108 s]
/proc/loadavg: 1.04 1.64 1.86 4/173 10969
/proc/meminfo: memFree=29238748/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/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: 1.04 1.64 1.86 4/181 10989
/proc/meminfo: memFree=29186784/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=0.81 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 1350 7591 0 0 2 5 73 1 20 0 1 0 274843652 3723264 578 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 578 175 410 0 491 0
[pid=10985] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10985/stat : 10985 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 274843735 9367552 266 33554432000 4194304 5064252 140735978437488 140735978436400 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10985/statm: 2287 266 226 213 0 72 0
[pid=10986] ppid=10985 vsize=7848 CPUtime=0.66 cores=0,2,4,6
/proc/10986/stat : 10986 (glucose_static) R 10985 10969 10926 0 -1 4202496 1805 0 0 0 66 0 0 0 20 0 1 0 274843735 8036352 1544 33554432000 4194304 4896791 140737195903376 140737195900952 4203799 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10986/statm: 1962 1544 78 172 0 1788 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29780
[startup+3.1002 s]
/proc/loadavg: 1.04 1.64 1.86 4/181 10992
/proc/meminfo: memFree=29185724/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=1.68 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 1578 10878 0 0 2 5 159 2 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=10991] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10991/stat : 10991 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 274843823 9367552 266 33554432000 4194304 5064252 140733819727088 140733819726000 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10991/statm: 2287 266 226 213 0 72 0
[pid=10992] ppid=10991 vsize=8020 CPUtime=1.37 cores=0,2,4,6
/proc/10992/stat : 10992 (glucose_static) R 10991 10969 10926 0 -1 4202496 2364 0 0 0 137 0 0 0 20 0 1 0 274843823 8212480 1641 33554432000 4194304 4896791 140736206110496 140736206106232 4230803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10992/statm: 2005 1641 78 172 0 1831 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 29952
[startup+6.30034 s]
/proc/loadavg: 1.20 1.66 1.87 4/181 10995
/proc/meminfo: memFree=29180308/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=1.68 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 1578 10878 0 0 2 5 159 2 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=10991] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10991/stat : 10991 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 274843823 9367552 266 33554432000 4194304 5064252 140733819727088 140733819726000 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10991/statm: 2287 266 226 213 0 72 0
[pid=10992] ppid=10991 vsize=9920 CPUtime=4.57 cores=0,2,4,6
/proc/10992/stat : 10992 (glucose_static) R 10991 10969 10926 0 -1 4202496 5343 0 0 0 456 1 0 0 20 0 1 0 274843823 10158080 1980 33554432000 4194304 4896791 140736206110496 140736206108024 4223805 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10992/statm: 2480 1980 78 172 0 2306 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 31852
[startup+12.7002 s]
/proc/loadavg: 1.26 1.66 1.87 4/181 11001
/proc/meminfo: memFree=29183848/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=11.04 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 1808 21073 0 0 3 5 1091 5 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11000] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11000/stat : 11000 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274844758 9367552 267 33554432000 4194304 5064252 140733689697728 140733689696640 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11000/statm: 2287 267 226 213 0 72 0
[pid=11001] ppid=11000 vsize=9020 CPUtime=1.62 cores=0,2,4,6
/proc/11001/stat : 11001 (glucose_static) R 11000 10969 10926 0 -1 4202496 2623 0 0 0 162 0 0 0 20 0 1 0 274844759 9236480 1724 33554432000 4194304 4896791 140735209949424 140735209946952 4225507 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11001/statm: 2255 1724 78 172 0 2081 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 30952
[startup+25.5003 s]
/proc/loadavg: 1.42 1.68 1.87 4/181 11001
/proc/meminfo: memFree=29169724/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=11.04 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 1808 21073 0 0 3 5 1091 5 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11000] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11000/stat : 11000 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274844758 9367552 267 33554432000 4194304 5064252 140733689697728 140733689696640 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11000/statm: 2287 267 226 213 0 72 0
[pid=11001] ppid=11000 vsize=20220 CPUtime=14.42 cores=0,2,4,6
/proc/11001/stat : 11001 (glucose_static) R 11000 10969 10926 0 -1 4202496 12536 0 0 0 1439 3 0 0 20 0 1 0 274844759 20705280 4221 33554432000 4194304 4896791 140735209949424 140735209944504 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11001/statm: 5055 4221 78 172 0 4881 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 42152
[startup+51.1003 s]
/proc/loadavg: 1.62 1.70 1.87 4/181 11004
/proc/meminfo: memFree=29155776/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=11.04 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 1808 21073 0 0 3 5 1091 5 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11000] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11000/stat : 11000 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274844758 9367552 267 33554432000 4194304 5064252 140733689697728 140733689696640 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11000/statm: 2287 267 226 213 0 72 0
[pid=11001] ppid=11000 vsize=17888 CPUtime=40 cores=0,2,4,6
/proc/11001/stat : 11001 (glucose_static) R 11000 10969 10926 0 -1 4202496 23807 0 0 0 3994 6 0 0 20 0 1 0 274844759 18317312 3646 33554432000 4194304 4896791 140735209949424 140735209946632 4224943 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11001/statm: 4472 3646 78 172 0 4298 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 39820
[startup+102.3 s]
/proc/loadavg: 1.83 1.75 1.88 4/181 11007
/proc/meminfo: memFree=29165384/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=99.32 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2036 57887 0 0 3 5 9906 18 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11006] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11006/stat : 11006 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274853590 9367552 267 33554432000 4194304 5064252 140733456152608 140733456151520 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11006/statm: 2287 267 226 213 0 72 0
[pid=11007] ppid=11006 vsize=11240 CPUtime=2.91 cores=0,2,4,6
/proc/11007/stat : 11007 (glucose_static) R 11006 10969 10926 0 -1 4202496 3466 0 0 0 291 0 0 0 20 0 1 0 274853590 11509760 2128 33554432000 4194304 4896791 140735606689984 140735606687512 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11007/statm: 2810 2128 78 172 0 2636 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 33172
[startup+162.3 s]
/proc/loadavg: 1.94 1.79 1.89 4/181 11010
/proc/meminfo: memFree=29155492/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=99.32 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2036 57887 0 0 3 5 9906 18 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11006] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/181 11058
/proc/meminfo: memFree=29033868/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=121436 CPUtime=891.2 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 117893 0 0 0 89058 62 0 0 20 0 1 0 274890742 124350464 22642 33554432000 4194304 4896791 140736700610256 140736700607784 4225439 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 30359 22642 78 172 0 30185 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 143368
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/181 11058
/proc/meminfo: memFree=29054560/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=73404 CPUtime=951.19 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 120941 0 0 0 95055 64 0 0 20 0 1 0 274890742 75165696 16392 33554432000 4194304 4896791 140736700610256 140736700607784 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 18351 16392 78 172 0 18177 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 95336
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/181 11058
/proc/meminfo: memFree=29040900/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=96580 CPUtime=1011.18 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 124556 0 0 0 101050 68 0 0 20 0 1 0 274890742 98897920 19050 33554432000 4194304 4896791 140736700610256 140736700607784 4225157 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 24145 19050 78 172 0 23971 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 118512
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.96 4/181 11062
/proc/meminfo: memFree=29078900/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=128992 CPUtime=1071.17 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 127346 0 0 0 107046 71 0 0 20 0 1 0 274890742 132087808 24507 33554432000 4194304 4896791 140736700610256 140736700607784 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 32248 24507 78 172 0 32074 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 150924
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/181 11062
/proc/meminfo: memFree=29042640/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=129972 CPUtime=1131.14 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 130049 0 0 0 113041 73 0 0 20 0 1 0 274890742 133091328 31558 33554432000 4194304 4896791 140736700610256 140736700607464 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 32493 31558 78 172 0 32319 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 151904
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 4/182 11065
/proc/meminfo: memFree=29071208/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=99784 CPUtime=1191.13 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 133892 0 0 0 119036 77 0 0 20 0 1 0 274890742 102178816 22043 33554432000 4194304 4896791 140736700610256 140736700605992 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 24946 22043 78 172 0 24772 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 121716
[startup+1722.3 s]
/proc/loadavg: 2.11 2.03 1.97 4/181 11065
/proc/meminfo: memFree=29038052/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=131868 CPUtime=1251.11 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 136654 0 0 0 125032 79 0 0 20 0 1 0 274890742 135032832 28914 33554432000 4194304 4896791 140736700610256 140736700607464 4224960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 32967 28914 78 172 0 32793 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 153800
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.97 4/181 11065
/proc/meminfo: memFree=29074276/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=83300 CPUtime=1311.11 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 140129 0 0 0 131027 84 0 0 20 0 1 0 274890742 85299200 18053 33554432000 4194304 4896791 140736700610256 140736700607784 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 20825 18053 78 172 0 20651 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 105232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.03 2.02 1.97 4/180 11065
/proc/meminfo: memFree=29053860/32873624 swapFree=7104/7104
[pid=10969] ppid=10967 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10969/stat : 10969 (runPb2satCp2.sh) S 10967 10969 10926 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274843652 9367552 275 33554432000 4194304 5064252 140735935738896 140735935737808 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10969/statm: 2287 275 233 213 0 72 0
[pid=10971] ppid=10969 vsize=3636 CPUtime=470.74 cores=0,2,4,6
/proc/10971/stat : 10971 (pb2sat) S 10969 10969 10926 0 -1 4202496 2493 162870 0 0 4 5 47008 57 20 0 1 0 274843652 3723264 579 33554432000 4194304 5873084 140734098594704 140734098588520 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10971/statm: 909 579 175 410 0 491 0
[pid=11025] ppid=10971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11025/stat : 11025 (satsolver.sh) S 10971 10969 10926 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274890742 9367552 267 33554432000 4194304 5064252 140737043442256 140737043441168 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/11025/statm: 2287 267 226 213 0 72 0
[pid=11026] ppid=11025 vsize=102588 CPUtime=1329.31 cores=0,2,4,6
/proc/11026/stat : 11026 (glucose_static) R 11025 10969 10926 0 -1 4202496 140737 0 0 0 132847 84 0 0 20 0 1 0 274890742 105050112 24787 33554432000 4194304 4896791 140736700610256 140736700605992 4224992 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11026/statm: 25647 24787 78 172 0 25473 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 124520
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.51
CPU time (s): 1800.08
CPU user time (s): 1798.6
CPU system time (s): 1.48077
CPU usage (%): 99.9762
Max. virtual memory (cumulated for all children) (KiB): 231364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.6
system time used= 1.48077
maximum resident set size= 169812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 307088
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 264
involuntary context switches= 2235
runsolver used 5.8991 second user time and 15.5296 second system time
The end