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-3694719-1338049240/watcher-3694719-1338049240 -o /tmp/evaluation-result-3694719-1338049240/solver-3694719-1338049240 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694719-1338049240.opb 1437623689 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.04 1.54 1.81 3/174 3781
/proc/meminfo: memFree=28490288/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[startup+0.0995349 s]
/proc/loadavg: 1.04 1.54 1.81 3/174 3781
/proc/meminfo: memFree=28490288/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100201 s]
/proc/loadavg: 1.04 1.54 1.81 3/174 3781
/proc/meminfo: memFree=28490288/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300139 s]
/proc/loadavg: 1.04 1.54 1.81 3/174 3781
/proc/meminfo: memFree=28490288/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700122 s]
/proc/loadavg: 1.04 1.54 1.81 3/174 3781
/proc/meminfo: memFree=28490288/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 1.12 1.54 1.81 3/178 3791
/proc/meminfo: memFree=28440344/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=0.72 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2181 5588 0 0 9 8 54 1 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3790] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3790/stat : 3790 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271050193 9367552 266 33554432000 4194304 5064252 140733408255840 140733408254752 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3790/statm: 2287 266 226 213 0 72 0
[pid=3791] ppid=3790 vsize=9104 CPUtime=0.74 cores=0,2,4,6
/proc/3791/stat : 3791 (glucose_static) R 3790 3781 1296 0 -1 4202496 2338 0 0 0 74 0 0 0 20 0 1 0 271050194 9322496 1931 33554432000 4194304 4896791 140736441607728 140736441604936 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3791/statm: 2276 1931 78 172 0 2102 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 33640
[startup+3.1002 s]
/proc/loadavg: 1.12 1.54 1.81 3/182 3805
/proc/meminfo: memFree=28405828/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=2.93 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2453 13439 0 0 10 8 272 3 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 15388
[startup+6.30032 s]
/proc/loadavg: 1.12 1.54 1.81 3/182 3811
/proc/meminfo: memFree=28327032/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=4.75 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2593 17930 0 0 10 8 453 4 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3810] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3810/stat : 3810 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271050598 9367552 267 33554432000 4194304 5064252 140734407993200 140734407992112 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3810/statm: 2287 267 226 213 0 72 0
[pid=3811] ppid=3810 vsize=9488 CPUtime=1.5 cores=0,2,4,6
/proc/3811/stat : 3811 (glucose_static) R 3810 3781 1296 0 -1 4202496 3345 0 0 0 150 0 0 0 20 0 1 0 271050598 9715712 2097 33554432000 4194304 4896791 140735738649136 140735738646712 4225180 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3811/statm: 2372 2097 78 172 0 2198 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 34024
[startup+12.7003 s]
/proc/loadavg: 1.25 1.56 1.81 3/182 3814
/proc/meminfo: memFree=28164072/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=10.24 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2712 25449 0 0 10 8 1001 5 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3813] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3813/stat : 3813 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051148 9367552 267 33554432000 4194304 5064252 140736283912160 140736283911072 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3813/statm: 2287 267 226 213 0 72 0
[pid=3814] ppid=3813 vsize=9740 CPUtime=2.39 cores=0,2,4,6
/proc/3814/stat : 3814 (glucose_static) R 3813 3781 1296 0 -1 4202496 2296 0 0 0 239 0 0 0 20 0 1 0 271051149 9973760 2236 33554432000 4194304 4896791 140733734438848 140733734436424 4204827 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3814/statm: 2435 2236 78 172 0 2261 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 34276
[startup+25.5003 s]
/proc/loadavg: 1.37 1.57 1.82 3/181 3817
/proc/meminfo: memFree=27840008/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=12748 CPUtime=12.26 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 5679 0 0 0 1225 1 0 0 20 0 1 0 271051441 13053952 2907 33554432000 4194304 4896791 140735945939600 140735945937128 4223867 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3817/statm: 3187 2907 78 172 0 3013 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 37284
[startup+51.1003 s]
/proc/loadavg: 1.58 1.61 1.82 3/181 3817
/proc/meminfo: memFree=27136984/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=15496 CPUtime=37.86 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 10950 0 0 0 3783 3 0 0 20 0 1 0 271051441 15867904 3587 33554432000 4194304 4896791 140735945939600 140735945936856 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 3874 3587 78 172 0 3700 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 40032
[startup+102.306 s]
/proc/loadavg: 1.83 1.67 1.83 3/181 3818
/proc/meminfo: memFree=25705336/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=25840 CPUtime=89.05 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 17301 0 0 0 8899 6 0 0 20 0 1 0 271051441 26460160 5715 33554432000 4194304 4896791 140735945939600 140735945937128 4203600 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 6460 5715 78 172 0 6286 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 50376
[startup+162.3 s]
/proc/loadavg: 1.94 1.73 1.83 3/181 3818
/proc/meminfo: memFree=24079260/32873648 swapFree=6852/6852
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=29424 CPUtime=149.03 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 23598 0 0 0 14895 8 0 0 20 0 1 0 271051441 30130176 6798 33554432000 4194304 4896791 140735945939600 140735945936856 4225344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 7356 6798 78 172 0 7182 0
Current children cumulated CPU time (s) 162.22
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.23 2.36 3/183 3875
/proc/meminfo: memFree=28787572/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=74660 CPUtime=1408.83 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 73949 0 0 0 140841 42 0 0 20 0 1 0 271051441 76451840 15342 33554432000 4194304 4896791 140735945939600 140735945937032 4225038 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 18665 15342 78 172 0 18491 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 99196
[startup+1482.3 s]
/proc/loadavg: 2.06 2.20 2.35 3/183 3875
/proc/meminfo: memFree=28785656/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=76560 CPUtime=1468.81 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 75270 0 0 0 146838 43 0 0 20 0 1 0 271051441 78397440 15756 33554432000 4194304 4896791 140735945939600 140735945936856 4225134 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 19140 15756 78 172 0 18966 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 101096
[startup+1542.3 s]
/proc/loadavg: 2.08 2.17 2.33 3/182 3875
/proc/meminfo: memFree=28784932/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=77128 CPUtime=1528.81 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 76637 0 0 0 152837 44 0 0 20 0 1 0 271051441 78979072 16164 33554432000 4194304 4896791 140735945939600 140735945937128 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 19282 16164 78 172 0 19108 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 101664
[startup+1602.3 s]
/proc/loadavg: 2.03 2.14 2.30 3/183 3876
/proc/meminfo: memFree=28782432/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=78392 CPUtime=1588.8 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 77845 0 0 0 158834 46 0 0 20 0 1 0 271051441 80273408 16473 33554432000 4194304 4896791 140735945939600 140735945937032 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 19598 16473 78 172 0 19424 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 102928
[startup+1662.3 s]
/proc/loadavg: 2.01 2.11 2.28 3/183 3877
/proc/meminfo: memFree=28776480/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=78964 CPUtime=1648.79 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 78999 0 0 0 164832 47 0 0 20 0 1 0 271051441 80859136 17180 33554432000 4194304 4896791 140735945939600 140735945937128 4225344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 19741 17180 78 172 0 19567 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 103500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.09 2.26 3/183 3877
/proc/meminfo: memFree=28781916/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=79416 CPUtime=1708.78 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 80569 0 0 0 170829 49 0 0 20 0 1 0 271051441 81321984 15866 33554432000 4194304 4896791 140735945939600 140735945937032 4225414 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 19854 15866 78 172 0 19680 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 103952
[startup+1782.3 s]
/proc/loadavg: 2.00 2.07 2.24 3/184 3880
/proc/meminfo: memFree=28784680/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=68308 CPUtime=1768.78 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 81092 0 0 0 176828 50 0 0 20 0 1 0 271051441 69947392 14671 33554432000 4194304 4896791 140735945939600 140735945937176 4225041 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 17077 14671 78 172 0 16903 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 92844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.07 2.24 3/184 3880
/proc/meminfo: memFree=28779840/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=80272 CPUtime=1786.87 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 81585 0 0 0 178637 50 0 0 20 0 1 0 271051441 82198528 16166 33554432000 4194304 4896791 140735945939600 140735945936856 4224975 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 20068 16166 78 172 0 19894 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 104808
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.07 2.24 3/184 3880
/proc/meminfo: memFree=28779840/32873648 swapFree=6860/6860
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (runPb2satCp2.sh) S 3779 3781 1296 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271050119 9367552 275 33554432000 4194304 5064252 140737211934240 140737211933152 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=6240 CPUtime=13.19 cores=0,2,4,6
/proc/3782/stat : 3782 (pb2sat) S 3781 3781 1296 0 -1 4202496 2849 28935 0 0 11 9 1292 7 20 0 1 0 271050119 6389760 1069 33554432000 4194304 5873084 140736716595120 140736716588936 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 1560 1069 173 410 0 1142 0
[pid=3816] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3816/stat : 3816 (satsolver.sh) S 3782 3781 1296 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271051441 9367552 267 33554432000 4194304 5064252 140733995270800 140733995269712 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3816/statm: 2287 267 226 213 0 72 0
[pid=3817] ppid=3816 vsize=80272 CPUtime=1786.87 cores=0,2,4,6
/proc/3817/stat : 3817 (glucose_static) R 3816 3781 1296 0 -1 4202496 81585 0 0 0 178637 50 0 0 20 0 1 0 271051441 82198528 16166 33554432000 4194304 4896791 140735945939600 140735945936856 4224975 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3817/statm: 20068 16166 78 172 0 19894 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 104808
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.41
CPU system time (s): 0.677896
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 123488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.677896
maximum resident set size= 89340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 1981
runsolver used 4.27935 second user time and 12.6591 second system time
The end