runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3366020-1305325368/watcher-3366020-1305325368 -o /tmp/evaluation-result-3366020-1305325368/solver-3366020-1305325368 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3366020-1305325368.cnf 

running on 4 cores: 1,3,5,7

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: 2.08 2.02 2.01 2/359 9564
/proc/meminfo: memFree=25221736/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 722767529 8912896 252 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/9564/statm: 2176 252 211 178 0 69 0

[startup+0.0156039 s]
/proc/loadavg: 2.08 2.02 2.01 2/359 9564
/proc/meminfo: memFree=25221736/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 722767529 8912896 252 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/9564/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100621 s]
/proc/loadavg: 2.08 2.02 2.01 2/359 9564
/proc/meminfo: memFree=25221736/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 722767529 8912896 252 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/9564/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300569 s]
/proc/loadavg: 2.08 2.02 2.01 2/359 9564
/proc/meminfo: memFree=25221736/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+0.700497 s]
/proc/loadavg: 2.08 2.02 2.01 2/359 9564
/proc/meminfo: memFree=25221736/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 8704

[startup+1.50037 s]
/proc/loadavg: 2.08 2.02 2.01 3/361 9567
/proc/meminfo: memFree=25200888/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=16512 CPUtime=1.34 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 4045 0 0 0 134 0 0 0 25 0 1 0 722767543 16908288 3999 33554432000 134512640 135217611 4293777024 18446744073709551615 134537016 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 4128 3999 76 173 0 3953 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25216

[startup+3.10105 s]
/proc/loadavg: 2.07 2.02 2.00 3/361 9567
/proc/meminfo: memFree=25197540/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=18064 CPUtime=2.95 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 4432 0 0 0 294 1 0 0 25 0 1 0 722767543 18497536 4386 33554432000 134512640 135217611 4293777024 18446744073709551615 134533127 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 4516 4386 76 173 0 4341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26768

[startup+6.30047 s]
/proc/loadavg: 2.07 2.02 2.00 3/361 9567
/proc/meminfo: memFree=25195240/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=19956 CPUtime=6.15 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 4889 0 0 0 614 1 0 0 25 0 1 0 722767543 20434944 4843 33554432000 134512640 135217611 4293777024 18446744073709551615 134533344 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 4989 4843 76 173 0 4814 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28660

[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/361 9567
/proc/meminfo: memFree=25192112/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=21652 CPUtime=12.55 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 5321 0 0 0 1254 1 0 0 25 0 1 0 722767543 22171648 5275 33554432000 134512640 135217611 4293777024 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 5413 5275 77 173 0 5238 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30356

[startup+25.5009 s]
/proc/loadavg: 2.05 2.02 2.00 3/361 9568
/proc/meminfo: memFree=25186152/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=24220 CPUtime=25.35 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 5956 0 0 0 2534 1 0 0 25 0 1 0 722767543 24801280 5910 33554432000 134512640 135217611 4293777024 18446744073709551615 134532985 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 6055 5910 77 173 0 5880 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32924

[startup+51.1012 s]
/proc/loadavg: 2.09 2.03 2.01 3/361 9569
/proc/meminfo: memFree=25180540/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=27868 CPUtime=50.95 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 6823 0 0 0 5094 1 0 0 25 0 1 0 722767543 28536832 6777 33554432000 134512640 135217611 4293777024 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 6967 6777 77 173 0 6792 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 36572

[startup+102.314 s]
/proc/loadavg: 2.03 2.03 2.00 3/361 9570
/proc/meminfo: memFree=25167652/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=34384 CPUtime=102.16 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 8409 0 0 0 10215 1 0 0 25 0 1 0 722767543 35209216 8363 33554432000 134512640 135217611 4293777024 18446744073709551615 134532638 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 8596 8363 77 173 0 8421 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 43088

[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/361 9571
/proc/meminfo: memFree=25160208/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=40220 CPUtime=162.15 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 9770 0 0 0 16213 2 0 0 25 0 1 0 722767543 41185280 9724 33554432000 134512640 135217611 4293777024 18446744073709551615 134532731 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 10055 9724 77 173 0 9880 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 48924

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/361 9635
/proc/meminfo: memFree=25637516/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=44844 CPUtime=222.15 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 10918 0 0 0 22213 2 0 0 25 0 1 0 722767543 45920256 10872 33554432000 134512640 135217611 4293777024 18446744073709551615 134532965 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 11211 10872 77 173 0 11036 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 53548

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/361 9637
/proc/meminfo: memFree=25627192/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=49936 CPUtime=282.15 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 12061 0 0 0 28213 2 0 0 25 0 1 0 722767543 51134464 12015 33554432000 134512640 135217611 4293777024 18446744073709551615 134533211 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 12484 12015 77 173 0 12309 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 58640

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/361 9638
/proc/meminfo: memFree=25619344/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=53412 CPUtime=342.15 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 12917 0 0 0 34213 2 0 0 25 0 1 0 722767543 54693888 12871 33554432000 134512640 135217611 4293777024 18446744073709551615 134527938 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 13353 12871 77 173 0 13178 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 62116

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/361 9640
/proc/meminfo: memFree=25613496/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7

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


[startup+1962.3 s]
/proc/loadavg: 1.00 1.04 1.36 2/354 9702
/proc/meminfo: memFree=25601800/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=102432 CPUtime=1962.21 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 24456 0 0 0 196216 5 0 0 25 0 1 0 722767543 104890368 24410 33554432000 134512640 135217611 4293777024 18446744073709551615 134533555 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 25608 24410 77 173 0 25433 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 111136

[startup+2022.3 s]
/proc/loadavg: 1.00 1.03 1.33 2/354 9704
/proc/meminfo: memFree=25600400/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=103732 CPUtime=2022.21 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 24783 0 0 0 202216 5 0 0 25 0 1 0 722767543 106221568 24737 33554432000 134512640 135217611 4293777024 18446744073709551615 134533664 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 25933 24737 77 173 0 25758 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 112436

[startup+2082.31 s]
/proc/loadavg: 1.00 1.03 1.31 2/354 9706
/proc/meminfo: memFree=25599372/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=104876 CPUtime=2082.22 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 25033 0 0 0 208217 5 0 0 25 0 1 0 722767543 107393024 24987 33554432000 134512640 135217611 4293777024 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 26219 24987 77 173 0 26044 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 113580

[startup+2142.3 s]
/proc/loadavg: 1.00 1.02 1.29 2/354 9707
/proc/meminfo: memFree=25598220/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=106080 CPUtime=2142.21 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 25315 0 0 0 214216 5 0 0 25 0 1 0 722767543 108625920 25269 33554432000 134512640 135217611 4293777024 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 26520 25269 77 173 0 26345 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 114784

[startup+2202.3 s]
/proc/loadavg: 1.04 1.03 1.27 2/354 9709
/proc/meminfo: memFree=25596444/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=107968 CPUtime=2202.22 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 25776 0 0 0 220216 6 0 0 25 0 1 0 722767543 110559232 25730 33554432000 134512640 135217611 4293777024 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 26992 25730 77 173 0 26817 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 116672

[startup+2262.3 s]
/proc/loadavg: 1.01 1.02 1.25 2/354 9710
/proc/meminfo: memFree=25595668/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=109104 CPUtime=2262.22 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26032 0 0 0 226216 6 0 0 25 0 1 0 722767543 111722496 25986 33554432000 134512640 135217611 4293777024 18446744073709551615 134533127 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27276 25986 77 173 0 27101 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 117808

[startup+2322.3 s]
/proc/loadavg: 1.00 1.02 1.24 2/354 9721
/proc/meminfo: memFree=25594116/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=109728 CPUtime=2322.22 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26196 0 0 0 232216 6 0 0 25 0 1 0 722767543 112361472 26150 33554432000 134512640 135217611 4293777024 18446744073709551615 134533307 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27432 26150 77 173 0 27257 0
Current children cumulated CPU time (s) 2322.36
Current children cumulated vsize (KiB) 118432

[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/354 9723
/proc/meminfo: memFree=25592724/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=110932 CPUtime=2382.22 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26495 0 0 0 238216 6 0 0 25 0 1 0 722767543 113594368 26449 33554432000 134512640 135217611 4293777024 18446744073709551615 134533555 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27733 26449 77 173 0 27558 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 119636

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

[startup+2387.1 s]
/proc/loadavg: 1.00 1.01 1.22 2/354 9723
/proc/meminfo: memFree=25592724/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=110932 CPUtime=2387.02 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26495 0 0 0 238696 6 0 0 25 0 1 0 722767543 113594368 26449 33554432000 134512640 135217611 4293777024 18446744073709551615 134533040 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27733 26449 77 173 0 27558 0
Current children cumulated CPU time (s) 2387.16
Current children cumulated vsize (KiB) 119636

[startup+2393.5 s]
/proc/loadavg: 1.00 1.01 1.21 2/354 9723
/proc/meminfo: memFree=25592716/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=110932 CPUtime=2393.43 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26495 0 0 0 239337 6 0 0 25 0 1 0 722767543 113594368 26449 33554432000 134512640 135217611 4293777024 18446744073709551615 134532965 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27733 26449 77 173 0 27558 0
Current children cumulated CPU time (s) 2393.57
Current children cumulated vsize (KiB) 119636

[startup+2395.1 s]
/proc/loadavg: 1.00 1.01 1.21 2/354 9723
/proc/meminfo: memFree=25592716/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=110932 CPUtime=2395.02 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26515 0 0 0 239496 6 0 0 25 0 1 0 722767543 113594368 26469 33554432000 134512640 135217611 4293777024 18446744073709551615 134533161 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27733 26469 77 173 0 27558 0
Current children cumulated CPU time (s) 2395.16
Current children cumulated vsize (KiB) 119636

[startup+2395.9 s]
/proc/loadavg: 1.00 1.01 1.21 2/354 9723
/proc/meminfo: memFree=25592592/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=111140 CPUtime=2395.82 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26533 0 0 0 239576 6 0 0 25 0 1 0 722767543 113807360 26487 33554432000 134512640 135217611 4293777024 18446744073709551615 134537488 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27785 26487 77 173 0 27610 0
Current children cumulated CPU time (s) 2395.96
Current children cumulated vsize (KiB) 119844

[startup+2396.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/354 9723
/proc/meminfo: memFree=25592592/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=111140 CPUtime=2396.22 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26534 0 0 0 239616 6 0 0 25 0 1 0 722767543 113807360 26488 33554432000 134512640 135217611 4293777024 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27785 26488 77 173 0 27610 0
Current children cumulated CPU time (s) 2396.36
Current children cumulated vsize (KiB) 119844

[startup+2396.5 s]
/proc/loadavg: 1.00 1.01 1.21 2/354 9723
/proc/meminfo: memFree=25592592/32950928 swapFree=38710892/67111528
[pid=9564] ppid=9562 vsize=8704 CPUtime=0.14 cores=1,3,5,7
/proc/9564/stat : 9564 (glucose.sh) S 9562 9564 9045 0 -1 4202496 358 2723 0 0 0 0 13 1 24 0 1 0 722767529 8912896 254 33554432000 4194304 4922060 140733643078896 18446744073709551615 251367365765 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/9564/statm: 2176 254 211 178 0 69 0
[pid=9567] ppid=9564 vsize=111140 CPUtime=2396.42 cores=1,3,5,7
/proc/9567/stat : 9567 (glucose_static) R 9564 9564 9045 0 -1 4202496 26534 0 0 0 239636 6 0 0 25 0 1 0 722767543 113807360 26488 33554432000 134512640 135217611 4293777024 18446744073709551615 134533025 0 0 4096 8388611 0 0 0 17 3 0 0 0
/proc/9567/statm: 27785 26488 77 173 0 27610 0
Current children cumulated CPU time (s) 2396.56
Current children cumulated vsize (KiB) 119844

Child status: 10
Real time (s): 2396.52
CPU time (s): 2396.6
CPU user time (s): 2396.51
CPU system time (s): 0.089986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 119844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.51
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30042
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= 40
involuntary context switches= 2750

runsolver used 7.64784 second user time and 19.864 second system time

The end