runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3303474-1306926346/watcher-3303474-1306926346 -o /tmp/evaluation-result-3303474-1306926346/solver-3303474-1306926346 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303474-1306926346.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 8.04 8.07 8.01 1/464 26296
/proc/meminfo: memFree=24838616/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[startup+0.0981499 s]
/proc/loadavg: 8.04 8.07 8.01 1/464 26296
/proc/meminfo: memFree=24838616/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.101138 s]
/proc/loadavg: 8.04 8.07 8.01 1/464 26296
/proc/meminfo: memFree=24838616/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.301101 s]
/proc/loadavg: 8.04 8.07 8.01 1/464 26296
/proc/meminfo: memFree=24838616/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.701038 s]
/proc/loadavg: 8.04 8.07 8.01 1/464 26296
/proc/meminfo: memFree=24838616/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50085 s]
/proc/loadavg: 7.55 7.97 7.97 3/468 26303
/proc/meminfo: memFree=24801096/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=20792 CPUtime=1.46 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 2423 0 0 0 145 1 0 0 25 0 1 0 882865051 21291008 1812 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 5198 1812 240 17 0 1839 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29496
[startup+3.10059 s]
/proc/loadavg: 7.55 7.97 7.97 3/472 26310
/proc/meminfo: memFree=24718168/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=23420 CPUtime=3.06 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 3008 0 0 0 305 1 0 0 25 0 1 0 882865051 23982080 2375 33554432000 4194304 4260849 140737010108704 18446744073709551615 4225418 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 5855 2375 240 17 0 2496 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32124
[startup+6.30096 s]
/proc/loadavg: 7.11 7.87 7.94 3/472 26311
/proc/meminfo: memFree=24713048/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=30492 CPUtime=6.26 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 5739 0 0 0 624 2 0 0 25 0 1 0 882865051 31223808 3889 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 7623 3889 240 17 0 4264 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39196
[startup+12.7008 s]
/proc/loadavg: 6.70 7.77 7.91 3/472 26311
/proc/meminfo: memFree=24708352/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=26100 CPUtime=12.65 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 9301 0 0 0 1263 2 0 0 25 0 1 0 882865051 26726400 3149 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 6525 3149 241 17 0 3166 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 34804
[startup+25.5004 s]
/proc/loadavg: 5.66 7.49 7.81 3/472 26312
/proc/meminfo: memFree=24676000/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=38144 CPUtime=25.45 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 15013 0 0 0 2542 3 0 0 25 0 1 0 882865051 39059456 5802 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 9536 5802 241 17 0 6177 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 46848
[startup+51.1007 s]
/proc/loadavg: 4.41 7.04 7.66 3/472 26312
/proc/meminfo: memFree=24668340/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=56820 CPUtime=51.04 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 20613 0 0 0 5100 4 0 0 25 0 1 0 882865051 58183680 8315 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 14205 8315 241 17 0 10846 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 65524
[startup+102.318 s]
/proc/loadavg: 3.18 6.30 7.37 3/472 26314
/proc/meminfo: memFree=24668048/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=65240 CPUtime=102.26 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 24024 0 0 0 10221 5 0 0 25 0 1 0 882865051 66805760 11669 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 16310 11669 241 17 0 12951 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73944
[startup+162.301 s]
/proc/loadavg: 2.49 5.53 7.04 3/472 26315
/proc/meminfo: memFree=24628320/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=95588 CPUtime=162.24 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 30405 0 0 0 16219 5 0 0 25 0 1 0 882865051 97882112 13258 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 23897 13258 241 17 0 20538 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 104292
[startup+222.301 s]
/proc/loadavg: 2.18 4.88 6.72 3/472 26317
/proc/meminfo: memFree=24589684/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=95588 CPUtime=222.25 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 35267 0 0 0 22218 7 0 0 25 0 1 0 882865051 97882112 17972 33554432000 4194304 4260849 140737010108704 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 23897 17972 241 17 0 20538 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 104292
[startup+282.301 s]
/proc/loadavg: 2.06 4.35 6.42 3/472 26319
/proc/meminfo: memFree=24549808/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=95588 CPUtime=282.24 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 36395 0 0 0 28217 7 0 0 25 0 1 0 882865051 97882112 19079 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 23897 19079 241 17 0 20538 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 104292
[startup+342.301 s]
/proc/loadavg: 2.02 3.92 6.14 3/472 26320
/proc/meminfo: memFree=24553832/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=95588 CPUtime=342.24 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 36797 0 0 0 34217 7 0 0 25 0 1 0 882865051 97882112 19473 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224753 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 23897 19473 241 17 0 20538 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 104292
[startup+402.3 s]
/proc/loadavg: 2.01 3.57 5.88 3/472 26322
/proc/meminfo: memFree=24496232/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/26300/statm: 33082 27193 241 17 0 29723 0
Current children cumulated CPU time (s) 4362.38
Current children cumulated vsize (KiB) 141032
[startup+4422.3 s]
/proc/loadavg: 2.14 2.06 2.07 3/472 26441
/proc/meminfo: memFree=24222592/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=181648 CPUtime=4422.39 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 634682 0 0 0 442095 144 0 0 25 0 1 0 882865051 186007552 39099 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 45412 39099 241 17 0 42053 0
Current children cumulated CPU time (s) 4422.39
Current children cumulated vsize (KiB) 190352
[startup+4482.3 s]
/proc/loadavg: 2.05 2.05 2.06 3/472 26443
/proc/meminfo: memFree=24366896/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=132328 CPUtime=4482.39 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 638289 0 0 0 448093 146 0 0 25 0 1 0 882865051 135503872 27433 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224753 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 33082 27433 241 17 0 29723 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 141032
[startup+4542.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/472 26444
/proc/meminfo: memFree=24441464/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=181648 CPUtime=4542.39 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 648896 0 0 0 454091 148 0 0 25 0 1 0 882865051 186007552 37960 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 45412 37960 241 17 0 42053 0
Current children cumulated CPU time (s) 4542.39
Current children cumulated vsize (KiB) 190352
[startup+4602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/472 26446
/proc/meminfo: memFree=24174796/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=212468 CPUtime=4602.41 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 653071 0 0 0 460091 150 0 0 25 0 1 0 882865051 217567232 42040 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 53117 42040 241 17 0 49758 0
Current children cumulated CPU time (s) 4602.41
Current children cumulated vsize (KiB) 221172
[startup+4662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/472 26447
/proc/meminfo: memFree=24300108/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=181648 CPUtime=4662.4 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 662773 0 0 0 466088 152 0 0 25 0 1 0 882865051 186007552 36191 33554432000 4194304 4260849 140737010108704 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 45412 36191 241 17 0 42053 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 190352
[startup+4722.32 s]
/proc/loadavg: 2.00 2.02 2.04 3/472 26449
/proc/meminfo: memFree=24393044/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=212468 CPUtime=4722.41 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 666905 0 0 0 472088 153 0 0 25 0 1 0 882865051 217567232 40238 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 53117 40238 241 17 0 49758 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 221172
[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/472 26451
/proc/meminfo: memFree=24210836/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=132328 CPUtime=4782.4 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 670030 0 0 0 478084 156 0 0 25 0 1 0 882865051 135503872 27672 33554432000 4194304 4260849 140737010108704 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 33082 27672 241 17 0 29723 0
Current children cumulated CPU time (s) 4782.4
Current children cumulated vsize (KiB) 141032
[startup+4842.3 s]
/proc/loadavg: 2.05 2.02 2.03 3/472 26452
/proc/meminfo: memFree=24272776/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=181648 CPUtime=4842.4 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 679946 0 0 0 484083 157 0 0 25 0 1 0 882865051 186007552 37541 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 45412 37541 241 17 0 42053 0
Current children cumulated CPU time (s) 4842.4
Current children cumulated vsize (KiB) 190352
[startup+4902.3 s]
/proc/loadavg: 2.02 2.01 2.03 3/472 26454
/proc/meminfo: memFree=24385436/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=212468 CPUtime=4902.4 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 683466 0 0 0 490081 159 0 0 25 0 1 0 882865051 217567232 40993 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 53117 40993 241 17 0 49758 0
Current children cumulated CPU time (s) 4902.4
Current children cumulated vsize (KiB) 221172
[startup+4962.3 s]
/proc/loadavg: 2.07 2.04 2.03 3/472 26455
/proc/meminfo: memFree=24205944/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=132328 CPUtime=4962.4 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 686108 0 0 0 496080 160 0 0 25 0 1 0 882865051 135503872 27914 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224995 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 33082 27914 241 17 0 29723 0
Current children cumulated CPU time (s) 4962.4
Current children cumulated vsize (KiB) 141032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.08 2.05 2.03 3/472 26456
/proc/meminfo: memFree=24373428/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=181648 CPUtime=5000.02 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 695869 0 0 0 499840 162 0 0 25 0 1 0 882865051 186007552 37619 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 45412 37619 241 17 0 42053 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 190352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 2.08 2.05 2.03 3/472 26456
/proc/meminfo: memFree=24373428/32951124 swapFree=56297244/67111528
[pid=26296] ppid=26294 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/26296/stat : 26296 (glucose.sh) S 26294 26296 26268 0 -1 4202496 360 245 0 0 0 0 0 0 22 0 1 0 882865050 8912896 254 33554432000 4194304 4922060 140737457929344 18446744073709551615 252457884805 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/26296/statm: 2176 254 211 178 0 69 0
[pid=26300] ppid=26296 vsize=181648 CPUtime=5000.02 cores=0,2,4,6
/proc/26300/stat : 26300 (glucose_static) R 26296 26296 26268 0 -1 4202496 695869 0 0 0 499840 162 0 0 25 0 1 0 882865051 186007552 37619 33554432000 4194304 4260849 140737010108704 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/26300/statm: 45412 37619 241 17 0 42053 0
Current children cumulated CPU time (s) 5000.02
Current children cumulated vsize (KiB) 190352
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26296 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.006998
# while last known CPU time is 5000.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 4999.93
CPU time (s): 5000.02
CPU user time (s): 4998.4
CPU system time (s): 1.62
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 221172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 8
runsolver used 25.5191 second user time and 51.5852 second system time
The end