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-3695133-1338090238/watcher-3695133-1338090238 -o /tmp/evaluation-result-3695133-1338090238/solver-3695133-1338090238 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695133-1338090238.opb 593388850 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 1.99 1.89 3/179 9939
/proc/meminfo: memFree=29950724/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0

[startup+0.0197499 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 9939
/proc/meminfo: memFree=29950724/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10025 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 9939
/proc/meminfo: memFree=29950724/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300327 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 9939
/proc/meminfo: memFree=29950724/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700324 s]
/proc/loadavg: 2.00 1.99 1.89 3/179 9939
/proc/meminfo: memFree=29950724/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/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.00 1.99 1.89 3/183 9943
/proc/meminfo: memFree=29785060/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=122080 CPUtime=0.98 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 21284 0 0 0 94 4 0 0 20 0 1 0 275151192 125009920 23971 33554432000 4194304 4896791 140736487261568 140736487258776 4225417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 30520 23971 78 172 0 30346 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 199320

[startup+3.10042 s]
/proc/loadavg: 2.00 1.99 1.89 3/183 9943
/proc/meminfo: memFree=29780028/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=123136 CPUtime=2.58 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 21883 0 0 0 254 4 0 0 20 0 1 0 275151192 126091264 24761 33554432000 4194304 4896791 140736487261568 140736487258776 4401607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 30784 24761 78 172 0 30610 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 200376

[startup+6.30038 s]
/proc/loadavg: 2.00 1.99 1.90 3/183 9943
/proc/meminfo: memFree=29774488/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=124464 CPUtime=5.78 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 22210 0 0 0 574 4 0 0 20 0 1 0 275151192 127451136 26110 33554432000 4194304 4896791 140736487261568 140736487258776 4223805 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 31116 26110 78 172 0 30942 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 201704

[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 1.90 3/183 9943
/proc/meminfo: memFree=29760748/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=125168 CPUtime=12.18 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 22369 0 0 0 1213 5 0 0 20 0 1 0 275151192 128172032 26780 33554432000 4194304 4896791 140736487261568 140736487258888 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 31292 26780 78 172 0 31118 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 202408

[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 1.90 3/183 9943
/proc/meminfo: memFree=29788792/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=125968 CPUtime=24.98 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 22958 0 0 0 2493 5 0 0 20 0 1 0 275151192 128991232 25943 33554432000 4194304 4896791 140736487261568 140736487259144 4225514 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 31492 25943 78 172 0 31318 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 203208

[startup+51.1004 s]
/proc/loadavg: 2.00 1.99 1.90 3/183 9943
/proc/meminfo: memFree=29792136/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=127896 CPUtime=50.57 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 24060 0 0 0 5051 6 0 0 20 0 1 0 275151192 130965504 26939 33554432000 4194304 4896791 140736487261568 140736487258776 4225445 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 31974 26939 78 172 0 31800 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 205136

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.90 3/183 9943
/proc/meminfo: memFree=29764512/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=130408 CPUtime=101.74 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 25543 0 0 0 10167 7 0 0 20 0 1 0 275151192 133537792 27872 33554432000 4194304 4896791 140736487261568 140736487259144 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 32602 27872 78 172 0 32428 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 207648

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/183 9985
/proc/meminfo: memFree=29561956/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7

################
# More data... #
################


[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9986
/proc/meminfo: memFree=29542908/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=158060 CPUtime=341.71 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 33397 0 0 0 34154 17 0 0 20 0 1 0 275151192 161853440 31715 33554432000 4194304 4896791 140736487261568 140736487258776 4225550 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 39515 31715 78 172 0 39341 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 235300

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 9989
/proc/meminfo: memFree=29539484/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=140404 CPUtime=401.69 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 35126 0 0 0 40150 19 0 0 20 0 1 0 275151192 143773696 31811 33554432000 4194304 4896791 140736487261568 140736487258776 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 35101 31811 78 172 0 34927 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 217644

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9989
/proc/meminfo: memFree=29529740/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=160452 CPUtime=461.68 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 36781 0 0 0 46147 21 0 0 20 0 1 0 275151192 164302848 33139 33554432000 4194304 4896791 140736487261568 140736487259096 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 40113 33139 78 172 0 39939 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 237692

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9989
/proc/meminfo: memFree=29535288/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=142776 CPUtime=521.67 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 38161 0 0 0 52143 24 0 0 20 0 1 0 275151192 146202624 31941 33554432000 4194304 4896791 140736487261568 140736487259144 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 35694 31941 78 172 0 35520 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 220016

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9990
/proc/meminfo: memFree=29501196/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=144380 CPUtime=581.65 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 39281 0 0 0 58140 25 0 0 20 0 1 0 275151192 147845120 32750 33554432000 4194304 4896791 140736487261568 140736487257304 4225228 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 36095 32750 78 172 0 35921 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 221620

Solver just ended. Dumping a history of the last processes samples

[startup+588.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9990
/proc/meminfo: memFree=29494868/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=163348 CPUtime=588.06 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 39856 0 0 0 58780 26 0 0 20 0 1 0 275151192 167268352 33830 33554432000 4194304 4896791 140736487261568 140736487259096 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 40837 33830 78 172 0 40663 0
Current children cumulated CPU time (s) 588.55
Current children cumulated vsize (KiB) 240588

[startup+590.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9990
/proc/meminfo: memFree=29492820/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=58944 CPUtime=0.49 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 9563 0 0 0 45 4 0 0 20 0 1 0 275151141 60358656 11918 33554432000 4194304 5873084 140734441942736 140734441939160 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 14736 11918 162 410 0 14318 0
[pid=9942] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9942/stat : 9942 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 275151191 9367552 267 33554432000 4194304 5064252 140735904221392 140735904220304 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9942/statm: 2287 267 226 213 0 72 0
[pid=9943] ppid=9942 vsize=163496 CPUtime=589.66 cores=1,3,5,7
/proc/9943/stat : 9943 (glucose_static) R 9942 9939 9063 0 -1 4202496 39859 0 0 0 58940 26 0 0 20 0 1 0 275151192 167419904 34344 33554432000 4194304 4896791 140736487261568 140736487258856 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 40874 34344 78 172 0 40700 0
Current children cumulated CPU time (s) 590.15
Current children cumulated vsize (KiB) 240736

[startup+591.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9990
/proc/meminfo: memFree=29608176/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=68728 CPUtime=591.75 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) R 9939 9939 9063 0 -1 4202496 11537 40677 0 0 63 73 59013 26 20 0 1 0 275151141 70377472 14342 33554432000 4194304 5873084 140734441942736 140734441938168 5127520 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 17182 14342 171 410 0 16764 0
Current children cumulated CPU time (s) 591.75
Current children cumulated vsize (KiB) 77876

[startup+592.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9990
/proc/meminfo: memFree=29608176/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=68728 CPUtime=592.54 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 11538 40677 0 0 78 137 59013 26 20 0 1 0 275151141 70377472 14342 33554432000 4194304 5873084 140734441942736 140734441938072 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 17182 14342 171 410 0 16764 0
Current children cumulated CPU time (s) 592.54
Current children cumulated vsize (KiB) 77876

[startup+593.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9993
/proc/meminfo: memFree=29576972/32873648 swapFree=7116/7116
[pid=9939] ppid=9937 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9939/stat : 9939 (runPb2satCp2.sh) S 9937 9939 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 275151141 9367552 275 33554432000 4194304 5064252 140736866514352 140736866513264 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9939/statm: 2287 275 233 213 0 72 0
[pid=9940] ppid=9939 vsize=68728 CPUtime=592.58 cores=1,3,5,7
/proc/9940/stat : 9940 (pb2sat) S 9939 9939 9063 0 -1 4202496 11567 41190 0 0 78 137 59013 30 20 0 1 0 275151141 70377472 14344 33554432000 4194304 5873084 140734441942736 140734441936552 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9940/statm: 17182 14344 173 410 0 16764 0
[pid=9992] ppid=9940 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9992/stat : 9992 (satsolver.sh) S 9940 9939 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275210414 9367552 266 33554432000 4194304 5064252 140733244648656 140733244647568 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9992/statm: 2287 266 226 213 0 72 0
[pid=9993] ppid=9992 vsize=117860 CPUtime=0.35 cores=1,3,5,7
/proc/9993/stat : 9993 (glucose_static) R 9992 9939 9063 0 -1 4202496 19903 0 0 0 33 2 0 0 20 0 1 0 275210414 120688640 23214 33554432000 4194304 4896791 140736460895760 140733244647592 4401607 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9993/statm: 29465 23214 76 172 0 29291 0
Current children cumulated CPU time (s) 592.93
Current children cumulated vsize (KiB) 204884

Child status: 0
Real time (s): 593.177
CPU time (s): 593.04
CPU user time (s): 591.273
CPU system time (s): 1.76673
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 269336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 591.273
system time used= 1.76673
maximum resident set size= 165084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 174808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 621

runsolver used 1.50777 second user time and 5.60915 second system time

The end