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-3303623-1306951230/watcher-3303623-1306951230 -o /tmp/evaluation-result-3303623-1306951230/solver-3303623-1306951230 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303623-1306951230.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: 2.00 2.02 1.86 2/444 3258
/proc/meminfo: memFree=30131488/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 885353657 8912896 252 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3258/statm: 2176 252 211 178 0 69 0
[startup+0.024228 s]
/proc/loadavg: 2.00 2.02 1.86 2/444 3258
/proc/meminfo: memFree=30131488/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 885353657 8912896 252 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3258/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100255 s]
/proc/loadavg: 2.00 2.02 1.86 2/444 3258
/proc/meminfo: memFree=30131488/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 885353657 8912896 252 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3258/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.30121 s]
/proc/loadavg: 2.00 2.02 1.86 2/444 3258
/proc/meminfo: memFree=30131488/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 885353657 8912896 252 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3258/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.701138 s]
/proc/loadavg: 2.00 2.02 1.86 2/444 3258
/proc/meminfo: memFree=30131488/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 885353657 8912896 252 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/3258/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+1.50097 s]
/proc/loadavg: 2.00 2.02 1.86 3/446 3261
/proc/meminfo: memFree=30111888/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=29348 CPUtime=0.61 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 6665 0 0 0 60 1 0 0 20 0 1 0 885353746 30052352 3974 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 7337 3974 251 17 0 3978 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38052
[startup+3.10068 s]
/proc/loadavg: 2.00 2.02 1.86 3/446 3261
/proc/meminfo: memFree=30106184/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=53564 CPUtime=2.2 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 13803 0 0 0 219 1 0 0 25 0 1 0 885353746 54849536 8496 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 13391 8496 251 17 0 10032 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 62268
[startup+6.30107 s]
/proc/loadavg: 2.00 2.02 1.86 3/446 3261
/proc/meminfo: memFree=30077160/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=65104 CPUtime=5.4 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 21173 0 0 0 538 2 0 0 25 0 1 0 885353746 66666496 12400 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 16276 12400 251 17 0 12917 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 73808
[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 1.86 3/446 3261
/proc/meminfo: memFree=30057376/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=83960 CPUtime=11.8 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 30156 0 0 0 1176 4 0 0 25 0 1 0 885353746 85975040 16349 33554432000 4194304 4260849 140735235092640 18446744073709551615 4240028 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 20990 16349 251 17 0 17631 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 92664
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 1.86 3/446 3261
/proc/meminfo: memFree=30037512/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=83960 CPUtime=24.6 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 31590 0 0 0 2456 4 0 0 25 0 1 0 885353746 85975040 17770 33554432000 4194304 4260849 140735235092640 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 20990 17770 251 17 0 17631 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 92664
[startup+51.1006 s]
/proc/loadavg: 2.00 2.01 1.87 3/446 3271
/proc/meminfo: memFree=29996552/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=83960 CPUtime=50.2 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 56377 0 0 0 5013 7 0 0 25 0 1 0 885353746 85975040 17814 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 20990 17814 251 17 0 17631 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92664
[startup+102.317 s]
/proc/loadavg: 2.00 2.01 1.87 3/446 3272
/proc/meminfo: memFree=29995104/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=133280 CPUtime=101.42 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 117986 0 0 0 10126 16 0 0 25 0 1 0 885353746 136478720 25743 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 33320 25743 251 17 0 29961 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 141984
[startup+162.301 s]
/proc/loadavg: 2.12 2.03 1.89 3/446 3274
/proc/meminfo: memFree=29971492/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=146816 CPUtime=161.41 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 175594 0 0 0 16116 25 0 0 25 0 1 0 885353746 150339584 32000 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 36704 32000 251 17 0 33345 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 155520
[startup+222.3 s]
/proc/loadavg: 2.04 2.02 1.89 3/446 3276
/proc/meminfo: memFree=29968456/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=146816 CPUtime=221.41 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 220335 0 0 0 22108 33 0 0 25 0 1 0 885353746 150339584 32460 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 36704 32460 251 17 0 33345 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 155520
[startup+282.301 s]
/proc/loadavg: 2.15 2.05 1.91 3/446 3277
/proc/meminfo: memFree=29893144/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=146816 CPUtime=281.41 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 269087 0 0 0 28100 41 0 0 25 0 1 0 885353746 150339584 29914 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 36704 29914 251 17 0 33345 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 155520
[startup+342.301 s]
/proc/loadavg: 2.12 2.06 1.91 3/446 3280
/proc/meminfo: memFree=29965768/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=146816 CPUtime=341.41 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 332175 0 0 0 34088 53 0 0 25 0 1 0 885353746 150339584 33277 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 36704 33277 252 17 0 33345 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 155520
[startup+402.3 s]
/proc/loadavg: 2.04 2.04 1.91 3/446 3281
/proc/meminfo: memFree=29931008/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
################
# More data... #
################
/proc/3261/statm: 95752 84909 252 17 0 92393 0
Current children cumulated CPU time (s) 4362.44
Current children cumulated vsize (KiB) 391712
[startup+4422.3 s]
/proc/loadavg: 1.06 1.02 1.21 2/439 3425
/proc/meminfo: memFree=29848528/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=516924 CPUtime=4421.56 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 1994020 0 0 0 441728 428 0 0 25 0 1 0 885353746 529330176 92200 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 129231 92200 252 17 0 125872 0
Current children cumulated CPU time (s) 4422.44
Current children cumulated vsize (KiB) 525628
[startup+4482.3 s]
/proc/loadavg: 1.02 1.01 1.20 2/439 3426
/proc/meminfo: memFree=29939724/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=303276 CPUtime=4481.56 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2026965 0 0 0 447721 435 0 0 25 0 1 0 885353746 310554624 69590 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 75819 69590 252 17 0 72460 0
Current children cumulated CPU time (s) 4482.44
Current children cumulated vsize (KiB) 311980
[startup+4542.3 s]
/proc/loadavg: 1.01 1.01 1.18 2/439 3428
/proc/meminfo: memFree=29897872/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=385900 CPUtime=4541.57 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2037353 0 0 0 453717 440 0 0 25 0 1 0 885353746 395161600 79923 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 96475 79923 252 17 0 93116 0
Current children cumulated CPU time (s) 4542.45
Current children cumulated vsize (KiB) 394604
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.17 2/439 3429
/proc/meminfo: memFree=29864952/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=387888 CPUtime=4601.57 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2045267 0 0 0 459715 442 0 0 25 0 1 0 885353746 397197312 87796 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 96972 87796 252 17 0 93613 0
Current children cumulated CPU time (s) 4602.45
Current children cumulated vsize (KiB) 396592
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.16 2/439 3431
/proc/meminfo: memFree=29967076/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=308564 CPUtime=4661.57 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2076908 0 0 0 465708 449 0 0 25 0 1 0 885353746 315969536 62367 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 77141 62367 252 17 0 73782 0
Current children cumulated CPU time (s) 4662.45
Current children cumulated vsize (KiB) 317268
[startup+4722.32 s]
/proc/loadavg: 1.00 1.00 1.14 2/439 3433
/proc/meminfo: memFree=29922136/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=390236 CPUtime=4721.59 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2088169 0 0 0 471707 452 0 0 25 0 1 0 885353746 399601664 73577 33554432000 4194304 4260849 140735235092640 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 97559 73577 252 17 0 94200 0
Current children cumulated CPU time (s) 4722.47
Current children cumulated vsize (KiB) 398940
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.13 2/439 3434
/proc/meminfo: memFree=29889720/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=391232 CPUtime=4781.57 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2096604 0 0 0 477701 456 0 0 25 0 1 0 885353746 400621568 81952 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 97808 81952 252 17 0 94449 0
Current children cumulated CPU time (s) 4782.45
Current children cumulated vsize (KiB) 399936
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.12 2/439 3437
/proc/meminfo: memFree=29859528/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=391944 CPUtime=4841.57 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2103985 0 0 0 483698 459 0 0 25 0 1 0 885353746 401350656 89278 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 97986 89278 252 17 0 94627 0
Current children cumulated CPU time (s) 4842.45
Current children cumulated vsize (KiB) 400648
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.11 2/439 3438
/proc/meminfo: memFree=29949376/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=312476 CPUtime=4901.58 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2137831 0 0 0 489692 466 0 0 25 0 1 0 885353746 319975424 67223 33554432000 4194304 4260849 140735235092640 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 78119 67223 252 17 0 74760 0
Current children cumulated CPU time (s) 4902.46
Current children cumulated vsize (KiB) 321180
[startup+4962.3 s]
/proc/loadavg: 1.03 1.01 1.10 2/439 3440
/proc/meminfo: memFree=29892520/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=393864 CPUtime=4961.58 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2151881 0 0 0 495688 470 0 0 25 0 1 0 885353746 403316736 81198 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 98466 81198 252 17 0 95107 0
Current children cumulated CPU time (s) 4962.46
Current children cumulated vsize (KiB) 402568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 1.06 1.02 1.10 2/439 3441
/proc/meminfo: memFree=29864232/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=393864 CPUtime=4999.19 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2158909 0 0 0 499447 472 0 0 25 0 1 0 885353746 403316736 88179 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 98466 88179 252 17 0 95107 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 402568
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: 1.06 1.02 1.10 2/439 3441
/proc/meminfo: memFree=29864232/32950928 swapFree=52246700/67111528
[pid=3258] ppid=3256 vsize=8704 CPUtime=0.88 cores=0,2,4,6
/proc/3258/stat : 3258 (glucose.sh) S 3256 3258 1816 0 -1 4202496 359 4820 0 0 0 0 86 2 18 0 1 0 885353657 8912896 254 33554432000 4194304 4922060 140735470993728 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/3258/statm: 2176 254 211 178 0 69 0
[pid=3261] ppid=3258 vsize=393864 CPUtime=4999.19 cores=0,2,4,6
/proc/3261/stat : 3261 (glucose_static) R 3258 3258 1816 0 -1 4202496 2158909 0 0 0 499447 472 0 0 25 0 1 0 885353746 403316736 88179 33554432000 4194304 4260849 140735235092640 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3261/statm: 98466 88179 252 17 0 95107 0
Current children cumulated CPU time (s) 5000.07
Current children cumulated vsize (KiB) 402568
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3258 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=865868
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20996
# CPU time returned by wait4() is 0.886864
# while last known CPU time is 5000.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 4999.92
CPU time (s): 5000.07
CPU user time (s): 4995.33
CPU system time (s): 4.74
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 665056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.865868
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5179
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= 8
involuntary context switches= 7
runsolver used 23.1265 second user time and 49.5715 second system time
The end