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-3694869-1338061960/watcher-3694869-1338061960 -o /tmp/evaluation-result-3694869-1338061960/solver-3694869-1338061960 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694869-1338061960.opb 143584917 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 11301
/proc/meminfo: memFree=28845264/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[startup+0.105441 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11301
/proc/meminfo: memFree=28845264/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200275 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11301
/proc/meminfo: memFree=28845264/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300294 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11301
/proc/meminfo: memFree=28845264/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11301
/proc/meminfo: memFree=28845264/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11317
/proc/meminfo: memFree=28822344/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1.02 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 5634 16338 0 0 45 10 43 4 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11316] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11316/stat : 11316 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272320457 9367552 267 33554432000 4194304 5064252 140735402549408 140735402548320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11316/statm: 2287 267 226 213 0 72 0
[pid=11317] ppid=11316 vsize=18996 CPUtime=0.44 cores=1,3,5,7
/proc/11317/stat : 11317 (glucose_static) R 11316 11301 9863 0 -1 4202496 4112 0 0 0 44 0 0 0 20 0 1 0 272320457 19451904 3914 33554432000 4194304 4896791 140737470092320 140737470089720 4224706 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11317/statm: 4749 3914 76 172 0 4575 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 45168
[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11317
/proc/meminfo: memFree=28817808/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1.02 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 5634 16338 0 0 45 10 43 4 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11316] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11316/stat : 11316 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272320457 9367552 267 33554432000 4194304 5064252 140735402549408 140735402548320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11316/statm: 2287 267 226 213 0 72 0
[pid=11317] ppid=11316 vsize=19204 CPUtime=2.04 cores=1,3,5,7
/proc/11317/stat : 11317 (glucose_static) R 11316 11301 9863 0 -1 4202496 5602 0 0 0 203 1 0 0 20 0 1 0 272320457 19664896 3968 33554432000 4194304 4896791 140737470092320 140737470089832 4225124 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11317/statm: 4801 3968 78 172 0 4627 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 45376
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 11321
/proc/meminfo: memFree=28853184/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=5.47 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 8084 29820 0 0 62 10 467 8 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 17024
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11326
/proc/meminfo: memFree=28830976/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=8.45 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 9309 36900 0 0 71 10 754 10 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11325] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11325/stat : 11325 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272321201 9367552 267 33554432000 4194304 5064252 140734567328400 140734567327312 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11325/statm: 2287 267 226 213 0 72 0
[pid=11326] ppid=11325 vsize=19884 CPUtime=4.19 cores=1,3,5,7
/proc/11326/stat : 11326 (glucose_static) R 11325 11301 9863 0 -1 4202496 7280 0 0 0 418 1 0 0 20 0 1 0 272321201 20361216 4277 33554432000 4194304 4896791 140736976663296 140736976660696 4225796 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11326/statm: 4971 4277 78 172 0 4797 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 46056
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11335
/proc/meminfo: memFree=28819500/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=21.62 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 12837 62147 0 0 96 12 2036 18 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11334] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11334/stat : 11334 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272322517 9367552 267 33554432000 4194304 5064252 140734329893344 140734329892256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11334/statm: 2287 267 226 213 0 72 0
[pid=11335] ppid=11334 vsize=19884 CPUtime=3.83 cores=1,3,5,7
/proc/11335/stat : 11335 (glucose_static) R 11334 11301 9863 0 -1 4202496 6491 0 0 0 383 0 0 0 20 0 1 0 272322518 20361216 4186 33554432000 4194304 4896791 140737361110784 140737361108184 4230803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11335/statm: 4971 4186 78 172 0 4797 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 46056
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11344
/proc/meminfo: memFree=28815388/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=47.23 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 16364 96246 0 0 122 13 4561 27 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11343] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11343/stat : 11343 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272325078 9367552 267 33554432000 4194304 5064252 140733808364032 140733808362944 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11343/statm: 2287 267 226 213 0 72 0
[pid=11344] ppid=11343 vsize=18012 CPUtime=3.83 cores=1,3,5,7
/proc/11344/stat : 11344 (glucose_static) R 11343 11301 9863 0 -1 4202496 6540 0 0 0 382 1 0 0 20 0 1 0 272325078 18444288 4035 33554432000 4194304 4896791 140736300891936 140736300889336 4230803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11344/statm: 4503 4035 78 172 0 4329 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 44184
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11348
/proc/meminfo: memFree=28802776/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=81.98 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 17589 117576 0 0 130 13 8019 36 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11347] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11347/stat : 11347 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272328555 9367552 267 33554432000 4194304 5064252 140735038035408 140735038034320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11347/statm: 2287 267 226 213 0 72 0
[pid=11348] ppid=11347 vsize=29840 CPUtime=20.26 cores=1,3,5,7
/proc/11348/stat : 11348 (glucose_static) R 11347 11301 9863 0 -1 4202496 17841 0 0 0 2023 3 0 0 20 0 1 0 272328555 30556160 6986 33554432000 4194304 4896791 140735350008608 140735350005816 4224975 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 7460 6986 78 172 0 7286 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 56012
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11348
/proc/meminfo: memFree=28784032/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=81.98 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 17589 117576 0 0 130 13 8019 36 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11347] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11347/stat : 11347 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272328555 9367552 267 33554432000 4194304 5064252 140735038035408 140735038034320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11347/statm: 2287 267 226 213 0 72 0
[pid=11348] ppid=11347 vsize=44056 CPUtime=80.24 cores=1,3,5,7
/proc/11348/stat : 11348 (glucose_static) R 11347 11301 9863 0 -1 4202496 37165 0 0 0 8013 11 0 0 20 0 1 0 272328555 45113344 10177 33554432000 4194304 4896791 140735350008608 140735350005816 4225191 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11348/statm: 11014 10177 78 172 0 10840 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11467
/proc/meminfo: memFree=28689716/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=437.4 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 18814 192884 0 0 138 13 43518 71 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11418] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11418/stat : 11418 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272364107 9367552 267 33554432000 4194304 5064252 140735983875056 140735983873968 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11418/statm: 2287 267 226 213 0 72 0
[pid=11419] ppid=11418 vsize=104688 CPUtime=924.53 cores=1,3,5,7
/proc/11419/stat : 11419 (glucose_static) R 11418 11301 9863 0 -1 4202496 90625 0 0 0 92390 63 0 0 20 0 1 0 272364107 107200512 24327 33554432000 4194304 4896791 140733736631248 140733736628504 4225393 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11419/statm: 26172 24327 78 172 0 25998 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 130860
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 11470
/proc/meminfo: memFree=28764892/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1406.91 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 20039 286817 0 0 147 14 140392 138 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11469] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272461080 9367552 266 33554432000 4194304 5064252 140734476578784 140734476577696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11469/statm: 2287 266 226 213 0 72 0
[pid=11470] ppid=11469 vsize=25004 CPUtime=15.01 cores=1,3,5,7
/proc/11470/stat : 11470 (glucose_static) R 11469 11301 9863 0 -1 4202496 13782 0 0 0 1497 4 0 0 20 0 1 0 272461080 25604096 5679 33554432000 4194304 4896791 140737211931744 140737211928952 4224971 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11470/statm: 6251 5679 78 172 0 6077 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 51176
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11470
/proc/meminfo: memFree=28765496/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1406.91 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 20039 286817 0 0 147 14 140392 138 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11469] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272461080 9367552 266 33554432000 4194304 5064252 140734476578784 140734476577696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11469/statm: 2287 266 226 213 0 72 0
[pid=11470] ppid=11469 vsize=42396 CPUtime=75 cores=1,3,5,7
/proc/11470/stat : 11470 (glucose_static) R 11469 11301 9863 0 -1 4202496 28609 0 0 0 7487 13 0 0 20 0 1 0 272461080 43413504 8930 33554432000 4194304 4896791 140737211931744 140737211929272 4224752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11470/statm: 10599 8930 78 172 0 10425 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 68568
[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 11470
/proc/meminfo: memFree=28725512/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1406.91 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 20039 286817 0 0 147 14 140392 138 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11469] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272461080 9367552 266 33554432000 4194304 5064252 140734476578784 140734476577696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11469/statm: 2287 266 226 213 0 72 0
[pid=11470] ppid=11469 vsize=58008 CPUtime=134.98 cores=1,3,5,7
/proc/11470/stat : 11470 (glucose_static) R 11469 11301 9863 0 -1 4202496 36910 0 0 0 13479 19 0 0 20 0 1 0 272461080 59400192 12058 33554432000 4194304 4896791 140737211931744 140737211928952 4224992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11470/statm: 14502 12058 78 172 0 14328 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 84180
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 11471
/proc/meminfo: memFree=28728504/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1406.91 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 20039 286817 0 0 147 14 140392 138 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11469] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272461080 9367552 266 33554432000 4194304 5064252 140734476578784 140734476577696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11469/statm: 2287 266 226 213 0 72 0
[pid=11470] ppid=11469 vsize=60904 CPUtime=194.97 cores=1,3,5,7
/proc/11470/stat : 11470 (glucose_static) R 11469 11301 9863 0 -1 4202496 43292 0 0 0 19473 24 0 0 20 0 1 0 272461080 62365696 14279 33554432000 4194304 4896791 140737211931744 140737211928952 4225148 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11470/statm: 15226 14279 78 172 0 15052 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 87076
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 11474
/proc/meminfo: memFree=28707676/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1406.91 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 20039 286817 0 0 147 14 140392 138 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11469] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272461080 9367552 266 33554432000 4194304 5064252 140734476578784 140734476577696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11469/statm: 2287 266 226 213 0 72 0
[pid=11470] ppid=11469 vsize=63472 CPUtime=254.94 cores=1,3,5,7
/proc/11470/stat : 11470 (glucose_static) R 11469 11301 9863 0 -1 4202496 48618 0 0 0 25466 28 0 0 20 0 1 0 272461080 64995328 15038 33554432000 4194304 4896791 140737211931744 140737211928952 4225195 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11470/statm: 15868 15038 78 172 0 15694 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 89644
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11474
/proc/meminfo: memFree=28741128/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1406.91 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 20039 286817 0 0 147 14 140392 138 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11469] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272461080 9367552 266 33554432000 4194304 5064252 140734476578784 140734476577696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11469/statm: 2287 266 226 213 0 72 0
[pid=11470] ppid=11469 vsize=53888 CPUtime=314.93 cores=1,3,5,7
/proc/11470/stat : 11470 (glucose_static) R 11469 11301 9863 0 -1 4202496 55734 0 0 0 31461 32 0 0 20 0 1 0 272461080 55181312 12773 33554432000 4194304 4896791 140737211931744 140737211929272 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11470/statm: 13472 12773 78 172 0 13298 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 80060
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11474
/proc/meminfo: memFree=28729236/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1406.91 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 20039 286817 0 0 147 14 140392 138 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11469] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272461080 9367552 266 33554432000 4194304 5064252 140734476578784 140734476577696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11469/statm: 2287 266 226 213 0 72 0
[pid=11470] ppid=11469 vsize=56620 CPUtime=374.91 cores=1,3,5,7
/proc/11470/stat : 11470 (glucose_static) R 11469 11301 9863 0 -1 4202496 62234 0 0 0 37455 36 0 0 20 0 1 0 272461080 57978880 13355 33554432000 4194304 4896791 140737211931744 140737211929272 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11470/statm: 14155 13355 78 172 0 13981 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 82792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 11474
/proc/meminfo: memFree=28718112/32873844 swapFree=7612/7612
[pid=11301] ppid=11299 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11301/stat : 11301 (runPb2satCp2.sh) S 11299 11301 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272320352 9367552 275 33554432000 4194304 5064252 140735133392352 140735133391264 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11301/statm: 2287 275 233 213 0 72 0
[pid=11302] ppid=11301 vsize=7876 CPUtime=1406.91 cores=1,3,5,7
/proc/11302/stat : 11302 (pb2sat) S 11301 11301 9863 0 -1 4202496 20039 286817 0 0 147 14 140392 138 20 0 1 0 272320352 8065024 1359 33554432000 4194304 5873084 140734722241104 140734722234920 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 1969 1359 172 410 0 1551 0
[pid=11469] ppid=11302 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11469/stat : 11469 (satsolver.sh) S 11302 11301 9863 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272461080 9367552 266 33554432000 4194304 5064252 140734476578784 140734476577696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11469/statm: 2287 266 226 213 0 72 0
[pid=11470] ppid=11469 vsize=56788 CPUtime=393.12 cores=1,3,5,7
/proc/11470/stat : 11470 (glucose_static) R 11469 11301 9863 0 -1 4202496 63381 0 0 0 39275 37 0 0 20 0 1 0 272461080 58150912 12745 33554432000 4194304 4896791 140737211931744 140737211929320 4224752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11470/statm: 14197 12745 78 172 0 14023 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 82960
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.06
CPU user time (s): 1798.15
CPU system time (s): 1.91071
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 149536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.15
system time used= 1.91071
maximum resident set size= 115384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 330
involuntary context switches= 1934
runsolver used 3.00154 second user time and 8.46871 second system time
The end