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-3696374-1338057922/watcher-3696374-1338057922 -o /tmp/evaluation-result-3696374-1338057922/solver-3696374-1338057922 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696374-1338057922.opb 257372597 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.16 2.08 2.02 3/173 1235
/proc/meminfo: memFree=28354392/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[startup+0.0858089 s]
/proc/loadavg: 2.16 2.08 2.02 3/173 1235
/proc/meminfo: memFree=28354392/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100176 s]
/proc/loadavg: 2.16 2.08 2.02 3/173 1235
/proc/meminfo: memFree=28354392/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300109 s]
/proc/loadavg: 2.16 2.08 2.02 3/173 1235
/proc/meminfo: memFree=28354392/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700111 s]
/proc/loadavg: 2.16 2.08 2.02 3/173 1235
/proc/meminfo: memFree=28354392/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.16 2.08 2.02 4/181 1249
/proc/meminfo: memFree=28342772/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=2280 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 271920687 2334720 278 33554432000 4194304 5873084 140734140796544 140734140792968 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 570 278 164 410 0 152 0
[pid=1241] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1241/stat : 1241 (satsolver.sh) S 1237 1235 719 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271920688 9367552 266 33554432000 4194304 5064252 140736363007168 140736363006080 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1241/statm: 2287 266 226 213 0 72 0
[pid=1243] ppid=1241 vsize=7172 CPUtime=1.47 cores=1,3,5,7
/proc/1243/stat : 1243 (glucose_static) R 1241 1235 719 0 -1 4202496 2320 0 0 0 147 0 0 0 20 0 1 0 271920688 7344128 1211 33554432000 4194304 4896791 140736423710848 140736423708376 4230803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1243/statm: 1793 1211 77 172 0 1619 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27748
[startup+3.10033 s]
/proc/loadavg: 2.15 2.08 2.02 4/181 1261
/proc/meminfo: memFree=28335060/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=3312 CPUtime=1.92 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 1374 9337 0 0 3 1 186 2 20 0 1 0 271920687 3391488 496 33554432000 4194304 5873084 140734140796544 140734140790360 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1237/statm: 828 496 175 410 0 410 0
[pid=1260] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1260/stat : 1260 (satsolver.sh) S 1237 1235 719 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271920882 9367552 266 33554432000 4194304 5064252 140733857742064 140733857740976 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1260/statm: 2287 266 226 213 0 72 0
[pid=1261] ppid=1260 vsize=10500 CPUtime=1.13 cores=1,3,5,7
/proc/1261/stat : 1261 (glucose_static) R 1260 1235 719 0 -1 4202496 3210 0 0 0 113 0 0 0 20 0 1 0 271920882 10752000 2074 33554432000 4194304 4896791 140736659124016 140736659121544 4225201 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1261/statm: 2625 2074 77 172 0 2451 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 32108
[startup+6.30035 s]
/proc/loadavg: 2.15 2.08 2.02 4/181 1267
/proc/meminfo: memFree=28328728/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=3312 CPUtime=1.92 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 1374 9337 0 0 3 1 186 2 20 0 1 0 271920687 3391488 496 33554432000 4194304 5873084 140734140796544 140734140790360 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1237/statm: 828 496 175 410 0 410 0
[pid=1260] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1260/stat : 1260 (satsolver.sh) S 1237 1235 719 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 271920882 9367552 266 33554432000 4194304 5064252 140733857742064 140733857740976 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1260/statm: 2287 266 226 213 0 72 0
[pid=1261] ppid=1260 vsize=12032 CPUtime=4.33 cores=1,3,5,7
/proc/1261/stat : 1261 (glucose_static) R 1260 1235 719 0 -1 4202496 6351 0 0 0 432 1 0 0 20 0 1 0 271920882 12320768 2478 33554432000 4194304 4896791 140736659124016 140736659121544 4209656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1261/statm: 3008 2478 77 172 0 2834 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 33640
[startup+12.7003 s]
/proc/loadavg: 2.05 2.06 2.01 4/176 1354
/proc/meminfo: memFree=28344648/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=3568 CPUtime=11.84 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 2437 28792 0 0 7 1 1170 6 20 0 1 0 271920687 3653632 539 33554432000 4194304 5873084 140734140796544 140734140790360 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1237/statm: 892 539 175 410 0 474 0
[pid=1339] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1339/stat : 1339 (satsolver.sh) S 1237 1235 719 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271921874 9367552 266 33554432000 4194304 5064252 140733910881040 140733910879952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1339/statm: 2287 266 226 213 0 72 0
[pid=1340] ppid=1339 vsize=9268 CPUtime=0.81 cores=1,3,5,7
/proc/1340/stat : 1340 (glucose_static) R 1339 1235 719 0 -1 4202496 2962 0 0 0 81 0 0 0 20 0 1 0 271921874 9490432 1807 33554432000 4194304 4896791 140736848885504 140733910879976 4230803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1340/statm: 2317 1807 77 172 0 2143 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 31132
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 2.12 2.07 2.02 3/181 1530
/proc/meminfo: memFree=28329472/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=3568 CPUtime=11.84 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 2437 28792 0 0 7 1 1170 6 20 0 1 0 271920687 3653632 539 33554432000 4194304 5873084 140734140796544 140734140790360 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1237/statm: 892 539 175 410 0 474 0
[pid=1339] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1339/stat : 1339 (satsolver.sh) S 1237 1235 719 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271921874 9367552 266 33554432000 4194304 5064252 140733910881040 140733910879952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1339/statm: 2287 266 226 213 0 72 0
[pid=1340] ppid=1339 vsize=14404 CPUtime=7.21 cores=1,3,5,7
/proc/1340/stat : 1340 (glucose_static) R 1339 1235 719 0 -1 4202496 8231 0 0 0 720 1 0 0 20 0 1 0 271921874 14749696 3046 33554432000 4194304 4896791 140736848885504 140736848882904 4225038 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1340/statm: 3601 3046 77 172 0 3427 0
Current children cumulated CPU time (s) 19.05
Current children cumulated vsize (KiB) 36268
[startup+20.7004 s]
/proc/loadavg: 2.12 2.07 2.02 3/181 1530
/proc/meminfo: memFree=28327352/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=3568 CPUtime=11.84 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 2437 28792 0 0 7 1 1170 6 20 0 1 0 271920687 3653632 539 33554432000 4194304 5873084 140734140796544 140734140790360 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1237/statm: 892 539 175 410 0 474 0
[pid=1339] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1339/stat : 1339 (satsolver.sh) S 1237 1235 719 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271921874 9367552 266 33554432000 4194304 5064252 140733910881040 140733910879952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1339/statm: 2287 266 226 213 0 72 0
[pid=1340] ppid=1339 vsize=14868 CPUtime=8.81 cores=1,3,5,7
/proc/1340/stat : 1340 (glucose_static) R 1339 1235 719 0 -1 4202496 9325 0 0 0 880 1 0 0 20 0 1 0 271921874 15224832 3136 33554432000 4194304 4896791 140736848885504 140736848882904 4225662 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1340/statm: 3717 3136 77 172 0 3543 0
Current children cumulated CPU time (s) 20.65
Current children cumulated vsize (KiB) 36732
[startup+21.5004 s]
/proc/loadavg: 2.12 2.07 2.02 3/181 1533
/proc/meminfo: memFree=28327228/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=3568 CPUtime=11.84 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 2437 28792 0 0 7 1 1170 6 20 0 1 0 271920687 3653632 539 33554432000 4194304 5873084 140734140796544 140734140790360 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1237/statm: 892 539 175 410 0 474 0
[pid=1339] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1339/stat : 1339 (satsolver.sh) S 1237 1235 719 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271921874 9367552 266 33554432000 4194304 5064252 140733910881040 140733910879952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1339/statm: 2287 266 226 213 0 72 0
[pid=1340] ppid=1339 vsize=13288 CPUtime=9.6 cores=1,3,5,7
/proc/1340/stat : 1340 (glucose_static) R 1339 1235 719 0 -1 4202496 10153 0 0 0 959 1 0 0 20 0 1 0 271921874 13606912 2829 33554432000 4194304 4896791 140736848885504 140736848882712 4230803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1340/statm: 3322 2829 77 172 0 3148 0
Current children cumulated CPU time (s) 21.44
Current children cumulated vsize (KiB) 35152
[startup+21.9003 s]
/proc/loadavg: 2.11 2.07 2.02 3/181 1533
/proc/meminfo: memFree=28327616/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=3568 CPUtime=11.84 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 2437 28792 0 0 7 1 1170 6 20 0 1 0 271920687 3653632 539 33554432000 4194304 5873084 140734140796544 140734140790360 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1237/statm: 892 539 175 410 0 474 0
[pid=1339] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1339/stat : 1339 (satsolver.sh) S 1237 1235 719 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271921874 9367552 266 33554432000 4194304 5064252 140733910881040 140733910879952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1339/statm: 2287 266 226 213 0 72 0
[pid=1340] ppid=1339 vsize=13372 CPUtime=10.01 cores=1,3,5,7
/proc/1340/stat : 1340 (glucose_static) R 1339 1235 719 0 -1 4202496 10276 0 0 0 1000 1 0 0 20 0 1 0 271921874 13692928 2948 33554432000 4194304 4896791 140736848885504 140736848882904 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1340/statm: 3343 2948 77 172 0 3169 0
Current children cumulated CPU time (s) 21.85
Current children cumulated vsize (KiB) 35236
[startup+22.3004 s]
/proc/loadavg: 2.11 2.07 2.02 3/181 1533
/proc/meminfo: memFree=28327616/32873844 swapFree=6080/6080
[pid=1235] ppid=1231 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1235/stat : 1235 (runPb2sat.sh) S 1231 1235 719 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271920687 9367552 275 33554432000 4194304 5064252 140734922089648 140734922088560 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1235/statm: 2287 275 233 213 0 72 0
[pid=1237] ppid=1235 vsize=3568 CPUtime=11.84 cores=1,3,5,7
/proc/1237/stat : 1237 (pb2sat) S 1235 1235 719 0 -1 4202496 2437 28792 0 0 7 1 1170 6 20 0 1 0 271920687 3653632 539 33554432000 4194304 5873084 140734140796544 140734140790360 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1237/statm: 892 539 175 410 0 474 0
[pid=1339] ppid=1237 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1339/stat : 1339 (satsolver.sh) S 1237 1235 719 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271921874 9367552 266 33554432000 4194304 5064252 140733910881040 140733910879952 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1339/statm: 2287 266 226 213 0 72 0
[pid=1340] ppid=1339 vsize=17784 CPUtime=10.41 cores=1,3,5,7
/proc/1340/stat : 1340 (glucose_static) R 1339 1235 719 0 -1 4202496 10695 0 0 0 1039 2 0 0 20 0 1 0 271921874 18210816 3338 33554432000 4194304 4896791 140736848885504 140736848882904 4217510 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1340/statm: 4446 3339 77 172 0 4272 0
Current children cumulated CPU time (s) 22.25
Current children cumulated vsize (KiB) 39648
Child status: 0
Real time (s): 22.3937
CPU time (s): 22.3786
CPU user time (s): 22.2656
CPU system time (s): 0.112982
CPU usage (%): 99.9325
Max. virtual memory (cumulated for all children) (KiB): 39648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.2656
system time used= 0.112982
maximum resident set size= 15444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44057
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52
involuntary context switches= 93
runsolver used 0.034994 second user time and 0.092985 second system time
The end