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-3696920-1338125936/watcher-3696920-1338125936 -o /tmp/evaluation-result-3696920-1338125936/solver-3696920-1338125936 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696920-1338125936.opb 370901434 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5849
/proc/meminfo: memFree=28169552/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[startup+0.026157 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5849
/proc/meminfo: memFree=28169552/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100212 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5849
/proc/meminfo: memFree=28169552/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300168 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5849
/proc/meminfo: memFree=28169552/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700135 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5849
/proc/meminfo: memFree=28169552/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5851
/proc/meminfo: memFree=28126744/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=15152 CPUtime=1.49 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) R 5849 5849 5701 0 -1 4202496 3337 0 0 0 149 0 0 0 20 0 1 0 278719691 15515648 3352 33554432000 4194304 5873084 140733480263360 140733480260728 4327264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 3788 3352 146 410 0 3370 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24300
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 5851
/proc/meminfo: memFree=27996736/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=66044 CPUtime=3.09 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) R 5849 5849 5701 0 -1 4202496 10973 0 0 0 307 2 0 0 20 0 1 0 278719691 67629056 14042 33554432000 4194304 5873084 140733480263360 140733480260728 4420192 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 16511 14042 157 410 0 16093 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 75192
[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5853
/proc/meminfo: memFree=26794724/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 367624
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 5855
/proc/meminfo: memFree=26192760/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=480296 CPUtime=7.28 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 74534 0 0 0 706 22 0 0 20 0 1 0 278720232 491823104 108151 33554432000 4194304 4896791 140734330028960 140734330026168 4224722 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 120074 108151 76 172 0 119900 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 857068
[startup+25.5003 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 5855
/proc/meminfo: memFree=26197868/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=486952 CPUtime=20.07 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 76800 0 0 0 1985 22 0 0 20 0 1 0 278720232 498638848 110414 33554432000 4194304 4896791 140734330028960 140734330026088 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 121738 110414 78 172 0 121564 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 863724
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 5855
/proc/meminfo: memFree=26198180/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=486952 CPUtime=45.67 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 76800 0 0 0 4545 22 0 0 20 0 1 0 278720232 498638848 110414 33554432000 4194304 4896791 140734330028960 140734330026088 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 121738 110414 78 172 0 121564 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 863724
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 5858
/proc/meminfo: memFree=26196556/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=487500 CPUtime=96.87 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 76948 0 0 0 9665 22 0 0 20 0 1 0 278720232 499200000 110562 33554432000 4194304 4896791 140734330028960 140734330026168 4203856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 121875 110562 78 172 0 121701 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 864272
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5859
/proc/meminfo: memFree=26191668/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=489444 CPUtime=156.85 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 77556 0 0 0 15663 22 0 0 20 0 1 0 278720232 501190656 111594 33554432000 4194304 4896791 140734330028960 140734330026328 4225008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 122361 111594 78 172 0 122187 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 866216
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5859
/proc/meminfo: memFree=26191420/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97404 0 0 0 135638 28 0 0 20 0 1 0 278720232 561799168 116927 33554432000 4194304 4896791 140734330028960 140734330026056 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137158 116927 78 172 0 136984 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 925404
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5892
/proc/meminfo: memFree=26162460/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=548632 CPUtime=1416.66 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97430 0 0 0 141638 28 0 0 20 0 1 0 278720232 561799168 116953 33554432000 4194304 4896791 140734330028960 140734330026056 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137158 116953 78 172 0 136984 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 925404
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5892
/proc/meminfo: memFree=26162088/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=548632 CPUtime=1476.64 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97481 0 0 0 147636 28 0 0 20 0 1 0 278720232 561799168 117004 33554432000 4194304 4896791 140734330028960 140734330026056 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137158 117004 78 172 0 136984 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 925404
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5892
/proc/meminfo: memFree=26162340/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=548632 CPUtime=1536.64 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97506 0 0 0 153636 28 0 0 20 0 1 0 278720232 561799168 117029 33554432000 4194304 4896791 140734330028960 140734330026056 4203806 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137158 117029 78 172 0 136984 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 925404
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5892
/proc/meminfo: memFree=26161472/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=548632 CPUtime=1596.63 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97558 0 0 0 159635 28 0 0 20 0 1 0 278720232 561799168 117081 33554432000 4194304 4896791 140734330028960 140734330026056 4204062 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137158 117081 78 172 0 136984 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 925404
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5893
/proc/meminfo: memFree=26161100/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=548632 CPUtime=1656.62 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97608 0 0 0 165634 28 0 0 20 0 1 0 278720232 561799168 117131 33554432000 4194304 4896791 140734330028960 140734330026056 4203806 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137158 117131 78 172 0 136984 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 925404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5893
/proc/meminfo: memFree=26157068/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=549340 CPUtime=1716.6 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97905 0 0 0 171632 28 0 0 20 0 1 0 278720232 562524160 117899 33554432000 4194304 4896791 140734330028960 140734330026328 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137335 117899 78 172 0 137161 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 926112
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5893
/proc/meminfo: memFree=26154528/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=549256 CPUtime=1776.59 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97935 0 0 0 177631 28 0 0 20 0 1 0 278720232 562438144 118399 33554432000 4194304 4896791 140734330028960 140734330026184 4203877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137314 118399 78 172 0 137140 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 926028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 5933
/proc/meminfo: memFree=27298348/32873648 swapFree=6864/6864
[pid=5849] ppid=5847 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5849/stat : 5849 (runPb2sat.sh) S 5847 5849 5701 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278719690 9367552 275 33554432000 4194304 5064252 140733901838192 140733901837104 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5849/statm: 2287 275 233 213 0 72 0
[pid=5850] ppid=5849 vsize=358476 CPUtime=5.39 cores=1,3,5,7
/proc/5850/stat : 5850 (pb2sat) S 5849 5849 5701 0 -1 4202496 29078 0 0 0 507 32 0 0 20 0 1 0 278719691 367079424 62153 33554432000 4194304 5873084 140733480263360 140733480259784 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5850/statm: 89619 62153 171 410 0 89201 0
[pid=5854] ppid=5850 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5854/stat : 5854 (satsolver.sh) S 5850 5849 5701 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 278720231 9367552 267 33554432000 4194304 5064252 140734776682416 140734776681328 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5854/statm: 2287 267 226 213 0 72 0
[pid=5855] ppid=5854 vsize=549256 CPUtime=1794.7 cores=1,3,5,7
/proc/5855/stat : 5855 (glucose_static) R 5854 5849 5701 0 -1 4202496 97935 0 0 0 179442 28 0 0 20 0 1 0 278720232 562438144 118399 33554432000 4194304 4896791 140734330028960 140734330026184 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5855/statm: 137314 118399 78 172 0 137140 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 926028
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5849 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=79227
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=335948
# CPU time returned by wait4() is 5.41517
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.09
CPU user time (s): 1799.49
CPU system time (s): 0.6
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 1004352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07923
system time used= 0.335948
maximum resident set size= 399976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 302752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 9
runsolver used 4.91325 second user time and 13.137 second system time
The end