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-3694535-1338220296/watcher-3694535-1338220296 -o /tmp/evaluation-result-3694535-1338220296/solver-3694535-1338220296 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694535-1338220296.opb 388714233 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.03 2.01 2.00 2/179 12746
/proc/meminfo: memFree=28605692/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[startup+0.0310881 s]
/proc/loadavg: 2.03 2.01 2.00 2/179 12746
/proc/meminfo: memFree=28605692/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100214 s]
/proc/loadavg: 2.03 2.01 2.00 2/179 12746
/proc/meminfo: memFree=28605692/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 2.03 2.01 2.00 2/179 12746
/proc/meminfo: memFree=28605692/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.03 2.01 2.00 2/179 12746
/proc/meminfo: memFree=28605692/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12750
/proc/meminfo: memFree=28436196/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=64772 CPUtime=0.79 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 11471 0 0 0 73 6 0 0 20 0 1 0 288155458 66326528 15341 33554432000 4194304 5873084 140734781252768 140734781249192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12747/statm: 16193 15341 169 410 0 15775 0
[pid=12749] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12749/stat : 12749 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288155538 9367552 267 33554432000 4194304 5064252 140736461638016 140736461636928 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12749/statm: 2287 267 226 213 0 72 0
[pid=12750] ppid=12749 vsize=179252 CPUtime=0.69 cores=0,2,4,6
/proc/12750/stat : 12750 (glucose_static) R 12749 12746 12080 0 -1 4202496 35571 0 0 0 63 6 0 0 20 0 1 0 288155538 183554048 41809 33554432000 4194304 4896791 140733598008000 140733596956888 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12750/statm: 44813 41809 76 172 0 44639 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 262320
[startup+3.10041 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 12750
/proc/meminfo: memFree=28346440/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=64772 CPUtime=0.79 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 11471 0 0 0 73 6 0 0 20 0 1 0 288155458 66326528 15341 33554432000 4194304 5873084 140734781252768 140734781249192 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12747/statm: 16193 15341 169 410 0 15775 0
[pid=12749] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12749/stat : 12749 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288155538 9367552 267 33554432000 4194304 5064252 140736461638016 140736461636928 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12749/statm: 2287 267 226 213 0 72 0
[pid=12750] ppid=12749 vsize=180836 CPUtime=2.29 cores=0,2,4,6
/proc/12750/stat : 12750 (glucose_static) R 12749 12746 12080 0 -1 4202496 35972 0 0 0 223 6 0 0 20 0 1 0 288155538 185176064 42210 33554432000 4194304 4896791 140733598008000 140733598005208 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12750/statm: 45209 42210 77 172 0 45035 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 263904
[startup+6.30023 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 12750
/proc/meminfo: memFree=28482312/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=80152 CPUtime=6.12 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) R 12746 12746 12080 0 -1 4202496 13147 37083 0 0 120 184 301 7 20 0 1 0 288155458 82075648 18264 33554432000 4194304 5873084 140734781252768 140734781248200 5127520 0 0 4096 0 0 0 0 17 4 0 0 14 0 0
/proc/12747/statm: 20038 18264 177 410 0 19620 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 89300
[startup+12.7004 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 12796
/proc/meminfo: memFree=27844880/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=383288 CPUtime=10.1 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 23153 37598 0 0 446 251 301 12 20 0 1 0 288155458 392486912 88280 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 95822 88280 183 410 0 95404 0
[pid=12795] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12795/stat : 12795 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288156606 9367552 266 33554432000 4194304 5064252 140735637670672 140735637669584 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12795/statm: 2287 266 226 213 0 72 0
[pid=12796] ppid=12795 vsize=397752 CPUtime=1.2 cores=0,2,4,6
/proc/12796/stat : 12796 (glucose_static) R 12795 12746 12080 0 -1 4202496 52910 0 0 0 107 13 0 0 20 0 1 0 288156607 407298048 79932 33554432000 4194304 4896791 140734806987296 140734805936088 4229275 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12796/statm: 99438 79933 58 172 0 99264 0
Current children cumulated CPU time (s) 11.3
Current children cumulated vsize (KiB) 799336
[startup+25.5003 s]
/proc/loadavg: 2.32 2.08 2.02 3/181 12799
/proc/meminfo: memFree=27733948/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=271568 CPUtime=24.11 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) R 12746 12746 12080 0 -1 4202496 38437 146642 0 0 599 256 1497 59 20 0 1 0 288155458 278085632 58303 33554432000 4194304 5873084 140734781252768 140734781247160 4708080 0 0 4096 0 0 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 67892 58303 184 410 0 67474 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 280716
[startup+51.1004 s]
/proc/loadavg: 2.27 2.08 2.02 3/183 12804
/proc/meminfo: memFree=26718680/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=26.23 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 39571 146642 0 0 774 293 1497 59 20 0 1 0 288155458 412303360 90559 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 90559 184 410 0 100242 0
[pid=12800] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12800/stat : 12800 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288158219 9367552 267 33554432000 4194304 5064252 140734721533760 140734721532672 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12800/statm: 2287 267 226 213 0 72 0
[pid=12801] ppid=12800 vsize=809936 CPUtime=23.47 cores=0,2,4,6
/proc/12801/stat : 12801 (glucose_static) R 12800 12746 12080 0 -1 4202496 109806 0 0 0 2318 29 0 0 20 0 1 0 288158219 829374464 164324 33554432000 4194304 4896791 140736935010048 140736935007320 4225540 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12801/statm: 202484 164324 78 172 0 202310 0
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (KiB) 1230872
[startup+102.308 s]
/proc/loadavg: 2.16 2.08 2.02 3/181 12808
/proc/meminfo: memFree=27437508/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=68.89 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 54445 258616 0 0 1103 334 5348 104 20 0 1 0 288155458 412303360 90559 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 134 0 0
/proc/12747/statm: 100660 90559 184 410 0 100242 0
[pid=12806] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12806/stat : 12806 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288162486 9367552 265 33554432000 4194304 5064252 140734278865744 140734278864656 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12806/statm: 2287 265 226 213 0 72 0
[pid=12807] ppid=12806 vsize=808476 CPUtime=32 cores=0,2,4,6
/proc/12807/stat : 12807 (glucose_static) R 12806 12746 12080 0 -1 4202496 106163 0 0 0 3167 33 0 0 20 0 1 0 288162487 827879424 167237 33554432000 4194304 4896791 140734721348384 140734721346024 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12807/statm: 202119 167237 78 172 0 201945 0
Current children cumulated CPU time (s) 100.89
Current children cumulated vsize (KiB) 1229412
[startup+162.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/183 12810
/proc/meminfo: memFree=26652532/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=68.89 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 54445 258616 0 0 1103 334 5348 104 20 0 1 0 288155458 412303360 90559 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 134 0 0
/proc/12747/statm: 100660 90559 184 410 0 100242 0
[pid=12806] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12806/stat : 12806 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288162486 9367552 265 33554432000 4194304 5064252 140734278865744 140734278864656 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12806/statm: 2287 265 226 213 0 72 0
[pid=12807] ppid=12806 vsize=812540 CPUtime=91.99 cores=0,2,4,6
/proc/12807/stat : 12807 (glucose_static) R 12806 12746 12080 0 -1 4202496 108695 0 0 0 9164 35 0 0 20 0 1 0 288162487 832040960 182030 33554432000 4194304 4896791 140734721348384 140734721345592 4225514 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12807/statm: 203135 182030 78 172 0 202961 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 1233476
[startup+222.3 s]
/proc/loadavg: 2.28 2.13 2.04 3/181 12820
/proc/meminfo: memFree=27654360/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/12868/statm: 165537 140336 78 172 0 165363 0
Current children cumulated CPU time (s) 1420.54
Current children cumulated vsize (KiB) 1083084
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 12873
/proc/meminfo: memFree=26856784/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=835.02 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 141787 920125 0 0 2867 559 79666 410 20 0 1 0 288155458 412303360 74687 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 74687 184 410 0 100242 0
[pid=12867] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12867/stat : 12867 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288239119 9367552 267 33554432000 4194304 5064252 140737158927744 140737158926656 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12867/statm: 2287 267 226 213 0 72 0
[pid=12868] ppid=12867 vsize=663036 CPUtime=645.5 cores=0,2,4,6
/proc/12868/stat : 12868 (glucose_static) R 12867 12746 12080 0 -1 4202496 110843 0 0 0 64500 50 0 0 20 0 1 0 288239119 678948864 142858 33554432000 4194304 4896791 140736593014608 140736593011816 4224844 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12868/statm: 165759 142858 78 172 0 165585 0
Current children cumulated CPU time (s) 1480.52
Current children cumulated vsize (KiB) 1083972
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 12874
/proc/meminfo: memFree=26566716/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=835.02 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 141787 920125 0 0 2867 559 79666 410 20 0 1 0 288155458 412303360 74687 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 74687 184 410 0 100242 0
[pid=12867] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12867/stat : 12867 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288239119 9367552 267 33554432000 4194304 5064252 140737158927744 140737158926656 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12867/statm: 2287 267 226 213 0 72 0
[pid=12868] ppid=12867 vsize=582176 CPUtime=705.49 cores=0,2,4,6
/proc/12868/stat : 12868 (glucose_static) R 12867 12746 12080 0 -1 4202496 111541 0 0 0 70496 53 0 0 20 0 1 0 288239119 596148224 136163 33554432000 4194304 4896791 140736593014608 140736593011816 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12868/statm: 145544 136163 78 172 0 145370 0
Current children cumulated CPU time (s) 1540.51
Current children cumulated vsize (KiB) 1003112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12874
/proc/meminfo: memFree=26645288/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=835.02 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 141787 920125 0 0 2867 559 79666 410 20 0 1 0 288155458 412303360 74687 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 74687 184 410 0 100242 0
[pid=12867] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12867/stat : 12867 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288239119 9367552 267 33554432000 4194304 5064252 140737158927744 140737158926656 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12867/statm: 2287 267 226 213 0 72 0
[pid=12868] ppid=12867 vsize=583608 CPUtime=765.48 cores=0,2,4,6
/proc/12868/stat : 12868 (glucose_static) R 12867 12746 12080 0 -1 4202496 112099 0 0 0 76495 53 0 0 20 0 1 0 288239119 597614592 137997 33554432000 4194304 4896791 140736593014608 140736593012136 4225134 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12868/statm: 145902 137997 78 172 0 145728 0
Current children cumulated CPU time (s) 1600.5
Current children cumulated vsize (KiB) 1004544
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12874
/proc/meminfo: memFree=26682364/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=835.02 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 141787 920125 0 0 2867 559 79666 410 20 0 1 0 288155458 412303360 74687 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 74687 184 410 0 100242 0
[pid=12867] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12867/stat : 12867 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288239119 9367552 267 33554432000 4194304 5064252 140737158927744 140737158926656 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12867/statm: 2287 267 226 213 0 72 0
[pid=12868] ppid=12867 vsize=665928 CPUtime=825.48 cores=0,2,4,6
/proc/12868/stat : 12868 (glucose_static) R 12867 12746 12080 0 -1 4202496 115786 0 0 0 82493 55 0 0 20 0 1 0 288239119 681910272 141373 33554432000 4194304 4896791 140736593014608 140736593012136 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12868/statm: 166482 141373 78 172 0 166308 0
Current children cumulated CPU time (s) 1660.5
Current children cumulated vsize (KiB) 1086864
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 12877
/proc/meminfo: memFree=26789120/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=835.02 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 141787 920125 0 0 2867 559 79666 410 20 0 1 0 288155458 412303360 74687 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 74687 184 410 0 100242 0
[pid=12867] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12867/stat : 12867 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288239119 9367552 267 33554432000 4194304 5064252 140737158927744 140737158926656 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12867/statm: 2287 267 226 213 0 72 0
[pid=12868] ppid=12867 vsize=667524 CPUtime=885.47 cores=0,2,4,6
/proc/12868/stat : 12868 (glucose_static) R 12867 12746 12080 0 -1 4202496 117753 0 0 0 88487 60 0 0 20 0 1 0 288239119 683544576 145429 33554432000 4194304 4896791 140736593014608 140736593011816 4225120 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12868/statm: 166881 145429 78 172 0 166707 0
Current children cumulated CPU time (s) 1720.49
Current children cumulated vsize (KiB) 1088460
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12880
/proc/meminfo: memFree=26563760/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=1738.46 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 156050 1039970 0 0 3094 588 169683 481 20 0 1 0 288155458 412303360 72127 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 72127 184 410 0 100242 0
[pid=12879] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12879/stat : 12879 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288329485 9367552 267 33554432000 4194304 5064252 140736506484560 140736506483472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12879/statm: 2287 267 226 213 0 72 0
[pid=12880] ppid=12879 vsize=554488 CPUtime=42.01 cores=0,2,4,6
/proc/12880/stat : 12880 (glucose_static) R 12879 12746 12080 0 -1 4202496 87476 0 0 0 4176 25 0 0 20 0 1 0 288329485 567795712 124778 33554432000 4194304 4896791 140735943752912 140735943750440 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12880/statm: 138622 124778 78 172 0 138448 0
Current children cumulated CPU time (s) 1780.47
Current children cumulated vsize (KiB) 975424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 12880
/proc/meminfo: memFree=26915064/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=1738.46 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 156050 1039970 0 0 3094 588 169683 481 20 0 1 0 288155458 412303360 72127 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 72127 184 410 0 100242 0
[pid=12879] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12879/stat : 12879 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288329485 9367552 267 33554432000 4194304 5064252 140736506484560 140736506483472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12879/statm: 2287 267 226 213 0 72 0
[pid=12880] ppid=12879 vsize=555796 CPUtime=61.61 cores=0,2,4,6
/proc/12880/stat : 12880 (glucose_static) R 12879 12746 12080 0 -1 4202496 88131 0 0 0 6136 25 0 0 20 0 1 0 288329485 569135104 125678 33554432000 4194304 4896791 140735943752912 140735943750120 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12880/statm: 138949 125678 78 172 0 138775 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 976732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 12880
/proc/meminfo: memFree=26915064/32873648 swapFree=6844/6844
[pid=12746] ppid=12744 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12746/stat : 12746 (runPb2satCp2.sh) S 12744 12746 12080 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288155458 9367552 275 33554432000 4194304 5064252 140737027411824 140737027410736 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12746/statm: 2287 275 233 213 0 72 0
[pid=12747] ppid=12746 vsize=402640 CPUtime=1738.46 cores=0,2,4,6
/proc/12747/stat : 12747 (pb2sat) S 12746 12746 12080 0 -1 4202496 156050 1039970 0 0 3094 588 169683 481 20 0 1 0 288155458 412303360 72127 33554432000 4194304 5873084 140734781252768 140734781246584 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 134 0 0
/proc/12747/statm: 100660 72127 184 410 0 100242 0
[pid=12879] ppid=12747 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12879/stat : 12879 (satsolver.sh) S 12747 12746 12080 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288329485 9367552 267 33554432000 4194304 5064252 140736506484560 140736506483472 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12879/statm: 2287 267 226 213 0 72 0
[pid=12880] ppid=12879 vsize=555796 CPUtime=61.61 cores=0,2,4,6
/proc/12880/stat : 12880 (glucose_static) R 12879 12746 12080 0 -1 4202496 88131 0 0 0 6136 25 0 0 20 0 1 0 288329485 569135104 125678 33554432000 4194304 4896791 140735943752912 140735943750120 4223862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12880/statm: 138949 125678 78 172 0 138775 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 976732
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12746 and gives
# childrusage.ru_utime.tv_sec=1727
# childrusage.ru_utime.tv_usec=779337
# childrusage.ru_stime.tv_sec=10
# childrusage.ru_stime.tv_usec=707372
# CPU time returned by wait4() is 1738.49
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.92
CPU time (s): 1800.07
CPU user time (s): 1789.13
CPU system time (s): 10.94
CPU usage (%): 99.8975
Max. virtual memory (cumulated for all children) (KiB): 1476220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.78
system time used= 10.7074
maximum resident set size= 904080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1196997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4988616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331
involuntary context switches= 2020
runsolver used 4.6103 second user time and 10.6234 second system time
The end