runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3289764-1303775560/watcher-3289764-1303775560 -o /tmp/evaluation-result-3289764-1303775560/solver-3289764-1303775560 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3289764-1303775560.cnf rnovelty
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.22 2.94 3.40 3/188 23135
/proc/meminfo: memFree=14964876/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) R 23133 23135 22376 0 -1 4202496 314 0 0 0 0 0 0 0 22 0 1 0 489155864 8912896 253 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089518485 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/23135/statm: 2176 253 211 178 0 69 0
[startup+0.00892899 s]
/proc/loadavg: 2.22 2.94 3.40 3/188 23135
/proc/meminfo: memFree=14964876/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) R 23133 23135 22376 0 -1 4202496 314 0 0 0 0 0 0 0 22 0 1 0 489155864 8912896 253 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089518485 0 65538 4100 65536 0 0 0 17 0 0 0 0
/proc/23135/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.100915 s]
/proc/loadavg: 2.22 2.94 3.40 3/188 23135
/proc/meminfo: memFree=14964876/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 489155864 8912896 253 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23135/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.300959 s]
/proc/loadavg: 2.22 2.94 3.40 3/188 23135
/proc/meminfo: memFree=14964876/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 489155864 8912896 253 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/23135/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704
[startup+0.700823 s]
/proc/loadavg: 2.22 2.94 3.40 3/188 23135
/proc/meminfo: memFree=14964876/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 8704
[startup+1.50077 s]
/proc/loadavg: 2.22 2.94 3.40 5/197 23150
/proc/meminfo: memFree=14891852/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=36276 CPUtime=0.86 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 7427 0 0 0 85 1 0 0 21 0 1 0 489155927 37146624 7337 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223976 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 9069 7337 136 12 0 7533 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 53684
[startup+3.10049 s]
/proc/loadavg: 2.36 2.95 3.41 5/198 23152
/proc/meminfo: memFree=14879060/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=37068 CPUtime=2.46 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 7628 0 0 0 245 1 0 0 25 0 1 0 489155927 37957632 7538 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223314 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 9267 7538 136 12 0 7731 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 54476
[startup+6.30093 s]
/proc/loadavg: 2.36 2.95 3.41 5/198 23153
/proc/meminfo: memFree=14874188/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=37896 CPUtime=5.66 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 7841 0 0 0 565 1 0 0 25 0 1 0 489155927 38805504 7751 33554432000 4194304 4241092 140736558251872 18446744073709551615 4206008 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 9474 7751 136 12 0 7938 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 55304
[startup+12.7009 s]
/proc/loadavg: 2.61 2.99 3.41 5/198 23153
/proc/meminfo: memFree=14867632/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=39380 CPUtime=12.06 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 8216 0 0 0 1205 1 0 0 25 0 1 0 489155927 40325120 8126 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 9845 8126 136 12 0 8309 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 56788
[startup+25.5009 s]
/proc/loadavg: 2.83 3.02 3.42 5/198 23153
/proc/meminfo: memFree=14860264/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=41040 CPUtime=24.86 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 8630 0 0 0 2485 1 0 0 25 0 1 0 489155927 42024960 8540 33554432000 4194304 4241092 140736558251872 18446744073709551615 4222867 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 10260 8540 136 12 0 8724 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 58448
[startup+51.1008 s]
/proc/loadavg: 3.23 3.10 3.43 5/198 23154
/proc/meminfo: memFree=14848452/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=43428 CPUtime=50.46 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 9222 0 0 0 5045 1 0 0 25 0 1 0 489155927 44470272 9132 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 10857 9132 136 12 0 9321 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60836
[startup+102.308 s]
/proc/loadavg: 3.69 3.25 3.46 5/198 23155
/proc/meminfo: memFree=14834152/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=46868 CPUtime=101.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 10099 0 0 0 10165 2 0 0 25 0 1 0 489155927 47992832 9995 33554432000 4194304 4241092 140736558251872 18446744073709551615 4222176 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 11717 9995 136 12 0 10181 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 64276
[startup+162.301 s]
/proc/loadavg: 3.88 3.38 3.49 5/198 23157
/proc/meminfo: memFree=14812648/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=53936 CPUtime=161.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 11886 0 0 0 16164 3 0 0 25 0 1 0 489155927 55230464 11746 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223915 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 13484 11746 136 12 0 11948 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 71344
[startup+222.3 s]
/proc/loadavg: 3.95 3.49 3.52 5/198 23158
/proc/meminfo: memFree=14795136/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=57180 CPUtime=221.66 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 12766 0 0 0 22163 3 0 0 25 0 1 0 489155927 58552320 12546 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 14295 12546 136 12 0 12759 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 74588
[startup+282.301 s]
################
# More data... #
################
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=66600 CPUtime=701.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 15920 0 0 0 70162 5 0 0 25 0 1 0 489155927 68198400 14911 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223976 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 16650 14911 136 12 0 15114 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 84008
[startup+762.307 s]
/proc/loadavg: 4.06 3.93 3.73 5/198 23185
/proc/meminfo: memFree=14737412/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=72560 CPUtime=761.68 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 17534 0 0 0 76162 6 0 0 25 0 1 0 489155927 74301440 16399 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 18140 16399 136 12 0 16604 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 89968
[startup+822.301 s]
/proc/loadavg: 4.02 3.94 3.74 5/198 23186
/proc/meminfo: memFree=14734676/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=72592 CPUtime=821.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 17654 0 0 0 82161 6 0 0 25 0 1 0 489155927 74334208 16416 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 18148 16416 136 12 0 16612 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 90000
[startup+882.301 s]
/proc/loadavg: 4.00 3.95 3.75 5/198 23188
/proc/meminfo: memFree=14728956/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=72656 CPUtime=881.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 17771 0 0 0 88161 6 0 0 25 0 1 0 489155927 74399744 16443 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 18164 16443 136 12 0 16628 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 90064
[startup+942.3 s]
/proc/loadavg: 4.04 3.97 3.77 5/198 23189
/proc/meminfo: memFree=14725468/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=72952 CPUtime=941.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 17948 0 0 0 94161 6 0 0 25 0 1 0 489155927 74702848 16506 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223739 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 18238 16506 136 12 0 16702 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 90360
[startup+1002.3 s]
/proc/loadavg: 4.01 3.97 3.78 5/198 23191
/proc/meminfo: memFree=14723608/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=73264 CPUtime=1001.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 18095 0 0 0 100161 6 0 0 25 0 1 0 489155927 75022336 16586 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 18316 16586 136 12 0 16780 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 90672
[startup+1062.3 s]
/proc/loadavg: 4.00 3.97 3.79 5/198 23193
/proc/meminfo: memFree=14703380/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=79212 CPUtime=1061.68 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 19711 0 0 0 106161 7 0 0 25 0 1 0 489155927 81113088 18070 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223696 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 19803 18070 136 12 0 18267 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 96620
[startup+1122.3 s]
/proc/loadavg: 4.00 3.97 3.80 5/198 23194
/proc/meminfo: memFree=14685016/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=85664 CPUtime=1121.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 21431 0 0 0 112160 7 0 0 25 0 1 0 489155927 87719936 19674 33554432000 4194304 4241092 140736558251872 18446744073709551615 4225177 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 21416 19674 136 12 0 19880 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 103072
[startup+1182.3 s]
/proc/loadavg: 4.07 3.99 3.82 5/198 23196
/proc/meminfo: memFree=14684512/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=85820 CPUtime=1181.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 21652 0 0 0 118160 7 0 0 25 0 1 0 489155927 87879680 19727 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223705 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 21455 19727 136 12 0 19919 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 103228
[startup+1242.3 s]
/proc/loadavg: 4.02 3.99 3.83 5/198 23197
/proc/meminfo: memFree=14683380/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=85916 CPUtime=1241.67 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 21761 0 0 0 124160 7 0 0 25 0 1 0 489155927 87977984 19747 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223664 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 21479 19747 136 12 0 19943 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 103324
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.01 3.99 3.83 4/194 23233
/proc/meminfo: memFree=14841404/32950928 swapFree=67111528/67111528
[pid=23135] ppid=23133 vsize=8704 CPUtime=0.61 cores=0,2
/proc/23135/stat : 23135 (esg_static.sh) S 23133 23135 22376 0 -1 4202496 348 6864 0 0 0 0 59 2 17 0 1 0 489155864 8912896 256 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089698048 0 0 4100 65536 18446744071562362840 0 0 17 0 0 0 0
/proc/23135/statm: 2176 256 211 178 0 69 0
[pid=23142] ppid=23135 vsize=8704 CPUtime=0 cores=0,2
/proc/23142/stat : 23142 (esg_static.sh) S 23135 23135 22376 0 -1 4202560 131 0 0 0 0 0 0 0 17 0 1 0 489155927 8912896 135 33554432000 4194304 4922060 140736251940480 18446744073709551615 248089517189 0 65536 4096 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/23142/statm: 2176 135 90 178 0 69 0
[pid=23143] ppid=23142 vsize=86292 CPUtime=1299.39 cores=0,2
/proc/23143/stat : 23143 (sathys) R 23142 23135 22376 0 -1 4202496 22059 0 0 0 129931 8 0 0 25 0 1 0 489155927 88363008 19842 33554432000 4194304 4241092 140736558251872 18446744073709551615 4223635 0 0 4096 24578 0 0 0 17 0 0 0 0
/proc/23143/statm: 21573 19842 136 12 0 20037 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 103700
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1300.01
CPU time (s): 1300.02
CPU user time (s): 1299.91
CPU system time (s): 0.112982
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 103764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.91
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29651
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= 11
involuntary context switches= 3835
runsolver used 2.06269 second user time and 5.04523 second system time
The end
Begin job on node123 at 2011-04-26 01:52:41
IDJOB=3289764
IDBENCH=83135
IDSOLVER=1610
FILE ID=node123/3289764-1303775560
RUNJOBID= node123-1303775556-23097
PBS_JOBID= 13157187
Free space on /tmp= 72676 MiB
SOLVER NAME= sathys 2011-04-01
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom21.cnf
COMMAND LINE= ./esg_static.sh BENCHNAME rnovelty
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289764-1303775560/watcher-3289764-1303775560 -o /tmp/evaluation-result-3289764-1303775560/solver-3289764-1303775560 -C 2400 -W 1300 -M 7680 ./esg_static.sh HOME/instance-3289764-1303775560.cnf rnovelty
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= e6407843d1fbd00b68d4ad600a25dfb2
RANDOM SEED=81653968
node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.67
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5226.15
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.80
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.838
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 14965032 kB
Buffers: 2168776 kB
Cached: 15155412 kB
SwapCached: 0 kB
Active: 8491728 kB
Inactive: 8950224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 14965032 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 21120 kB
Writeback: 0 kB
AnonPages: 117120 kB
Mapped: 15148 kB
Slab: 479176 kB
PageTables: 5656 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 286848 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72676 MiB
End job on node123 at 2011-04-26 02:14:21