runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777264-1243441942/watcher-1777264-1243441942 -o /tmp/evaluation-result-1777264-1243441942/solver-1777264-1243441942 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777264-1243441942.cnf 1035135193 4
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): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.93 5.01 4.95 3/96 13257
/proc/meminfo: memFree=213808/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=509228 CPUtime=0
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 1404 0 0 0 0 0 0 0 18 0 1 0 1108858320 521449472 1361 4294967295 134512640 135680988 3217582032 3217581296 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/13257/statm: 127307 1370 99 286 0 127019 0
[startup+0.094307 s]
/proc/loadavg: 4.93 5.01 4.95 3/96 13257
/proc/meminfo: memFree=213808/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=517040 CPUtime=0.09
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 14609 0 0 0 6 3 0 0 18 0 1 0 1108858320 529448960 14565 4294967295 134512640 135680988 3217582032 3217581296 134537708 0 0 0 0 0 0 0 17 3 0 0 0
/proc/13257/statm: 129260 14570 99 286 0 128972 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 517040
[startup+0.114305 s]
/proc/loadavg: 4.93 5.01 4.95 3/96 13257
/proc/meminfo: memFree=213808/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=517040 CPUtime=0.11
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 18366 0 0 0 8 3 0 0 18 0 1 0 1108858320 529448960 18322 4294967295 134512640 135680988 3217582032 3217581296 134537842 0 0 0 0 0 0 0 17 3 0 0 0
/proc/13257/statm: 129260 18327 99 286 0 128972 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517040
[startup+0.314289 s]
/proc/loadavg: 4.93 5.01 4.95 3/96 13257
/proc/meminfo: memFree=213808/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=0.76
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 73 3 0 0 18 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 547464
[startup+0.714256 s]
/proc/loadavg: 4.93 5.01 4.95 3/96 13257
/proc/meminfo: memFree=213808/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=2.36
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 229 7 0 0 16 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 547464
[startup+1.52062 s]
/proc/loadavg: 4.93 5.01 4.95 6/100 13261
/proc/meminfo: memFree=134464/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=5.51
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 540 11 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=1.35
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 134 1 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=1.37
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 134 3 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=1.27
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 125 2 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.51
Current children cumulated vsize (KiB) 547464
[startup+3.11722 s]
/proc/loadavg: 4.93 5.01 4.95 6/100 13262
/proc/meminfo: memFree=134464/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=11.82
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 1165 17 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=2.92
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 288 4 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=2.94
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 290 4 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=2.87
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 285 2 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.82
Current children cumulated vsize (KiB) 547464
[startup+6.31609 s]
/proc/loadavg: 4.86 4.99 4.95 6/100 13262
/proc/meminfo: memFree=134092/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=24.54
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 2409 45 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=6.07
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 595 12 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=6.11
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 599 12 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=6.07
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 599 8 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.54
Current children cumulated vsize (KiB) 547464
[startup+12.7138 s]
/proc/loadavg: 4.87 4.99 4.95 5/100 13263
/proc/meminfo: memFree=133884/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=48.69
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 4786 83 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=11.72
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 1152 20 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=12.08
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 1185 23 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=12.33
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 1214 19 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.69
Current children cumulated vsize (KiB) 547464
[startup+25.5183 s]
/proc/loadavg: 4.90 4.99 4.95 6/100 13263
/proc/meminfo: memFree=133980/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=98.05
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 9650 155 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=24.11
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 2374 37 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=24.18
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 2373 45 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=24.67
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 2429 38 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.05
Current children cumulated vsize (KiB) 547464
[startup+51.1103 s]
/proc/loadavg: 4.91 4.99 4.95 5/100 13448
/proc/meminfo: memFree=133820/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=196.58
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 19334 324 0 0 16 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=48.63
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 4787 76 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=48.9
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 4797 93 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=49.4
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 4851 89 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.58
Current children cumulated vsize (KiB) 547464
[startup+102.319 s]
/proc/loadavg: 5.18 5.06 4.98 5/100 13453
/proc/meminfo: memFree=133988/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=394.61
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 38844 617 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=97.81
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 9630 151 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=98.29
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 9648 181 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=99.21
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 9763 158 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 394.61
Current children cumulated vsize (KiB) 547464
[startup+162.312 s]
/proc/loadavg: 4.80 4.97 4.95 8/100 13641
/proc/meminfo: memFree=133856/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=626.22
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 61648 974 0 0 16 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=155.72
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 15317 255 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=155.85
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 15330 255 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=156.82
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 15433 249 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 626.22
Current children cumulated vsize (KiB) 547464
[startup+222.306 s]
/proc/loadavg: 5.39 5.14 5.01 5/100 13828
/proc/meminfo: memFree=133864/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=860.61
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 84729 1332 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=214.72
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 21121 351 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=214.22
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 21073 349 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=215.41
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 21206 335 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 860.61
Current children cumulated vsize (KiB) 547464
[startup+282.311 s]
/proc/loadavg: 4.98 5.07 4.99 5/100 14019
/proc/meminfo: memFree=133864/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=1092.24
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 107541 1683 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=273
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 26870 430 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=271.89
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 26748 441 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=13257] ppid=13255 vsize=547464 CPUtime=1556.55
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 153182 2473 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=389.51
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 38332 619 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=387.71
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 38138 633 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=389.94
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 38374 620 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1556.55
Current children cumulated vsize (KiB) 547464
[startup+462.316 s]
/proc/loadavg: 5.22 5.17 5.04 7/100 14586
/proc/meminfo: memFree=133484/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=1789.01
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 176031 2870 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=447.64
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 44035 729 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=445.66
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 43838 728 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=448.15
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 44111 704 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.01
Current children cumulated vsize (KiB) 547464
[startup+522.311 s]
/proc/loadavg: 5.11 5.15 5.04 6/100 14773
/proc/meminfo: memFree=133492/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=2023.44
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 199102 3242 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=505.95
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 49774 821 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=504.14
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 49582 832 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=507
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 49910 790 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2023.44
Current children cumulated vsize (KiB) 547464
[startup+582.319 s]
/proc/loadavg: 4.99 5.12 5.03 7/100 14964
/proc/meminfo: memFree=133368/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=2255.92
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 221967 3625 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=563.72
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 55455 917 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=561.93
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 55258 935 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=565.37
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 55653 884 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2255.92
Current children cumulated vsize (KiB) 547464
[startup+642.311 s]
/proc/loadavg: 5.06 5.12 5.04 5/100 15153
/proc/meminfo: memFree=133368/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=2489.34
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 244932 4002 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=622.13
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 61208 1005 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=620.04
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 60986 1018 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=624.43
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 61454 989 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303412 134533494 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2489.34
Current children cumulated vsize (KiB) 547464
[startup+702.308 s]
/proc/loadavg: 4.78 5.02 5.00 5/100 15341
/proc/meminfo: memFree=133368/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=2723.29
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 267964 4365 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=681.19
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 67031 1088 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=678.42
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 66721 1121 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=682.44
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 67153 1091 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2723.29
Current children cumulated vsize (KiB) 547464
[startup+762.313 s]
/proc/loadavg: 5.28 5.13 5.04 5/100 15529
/proc/meminfo: memFree=133360/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=2956.74
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 290915 4759 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=739.58
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 72769 1189 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=736.76
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 72452 1224 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=741.18
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 72925 1193 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2956.74
Current children cumulated vsize (KiB) 547464
[startup+822.307 s]
/proc/loadavg: 5.55 5.23 5.08 6/100 15716
/proc/meminfo: memFree=133492/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=3188.73
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 313755 5118 0 0 16 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=797.59
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 78488 1271 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=794.72
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 78154 1318 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695540 134533962 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=799.51
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 78664 1287 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3188.73
Current children cumulated vsize (KiB) 547464
[startup+882.317 s]
/proc/loadavg: 5.04 5.14 5.06 8/100 15907
/proc/meminfo: memFree=133864/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=3421.55
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 336652 5503 0 0 16 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=855.66
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 84206 1360 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=852.86
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 83880 1406 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=857.58
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 84373 1385 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3421.55
Current children cumulated vsize (KiB) 547464
[startup+942.307 s]
/proc/loadavg: 5.18 5.17 5.07 6/100 16096
/proc/meminfo: memFree=133740/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=3655.94
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 359727 5867 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=913.98
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 89963 1435 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=911.71
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 89663 1508 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=916.15
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 90137 1478 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3655.94
Current children cumulated vsize (KiB) 547464
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.23 5.19 5.09 9/100 16283
/proc/meminfo: memFree=133740/3368532 swapFree=1953788/1959888
[pid=13257] ppid=13255 vsize=547464 CPUtime=3880.62
/proc/13257/stat : 13257 (gnovelty+) R 13255 13257 10015 0 -1 4202496 20276 0 0 0 381821 6241 0 0 15 0 4 0 1108858320 560603136 20232 4294967295 134512640 135680988 3217582032 3217581276 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/13257/statm: 136866 20232 103 286 0 136578 0
[pid=13257/tid=13259] ppid=13255 vsize=547464 CPUtime=970.18
/proc/13257/task/13259/stat : 13259 (gnovelty+) R 13255 13257 10015 0 -1 4202560 72 0 0 0 95486 1532 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3077087580 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=13257/tid=13260] ppid=13255 vsize=547464 CPUtime=967.65
/proc/13257/task/13260/stat : 13260 (gnovelty+) R 13255 13257 10015 0 -1 4202560 73 0 0 0 95162 1603 0 0 16 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3067695452 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=13257/tid=13261] ppid=13255 vsize=547464 CPUtime=972.49
/proc/13257/task/13261/stat : 13261 (gnovelty+) R 13255 13257 10015 0 -1 4202560 75 0 0 0 95683 1566 0 0 15 0 4 0 1108858333 560603136 20232 4294967295 134512640 135680988 3217582032 3058303324 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3880.62
Current children cumulated vsize (KiB) 547464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1000.04
CPU time (s): 3880.68
CPU user time (s): 3818.26
CPU system time (s): 62.42
CPU usage (%): 388.053
Max. virtual memory (cumulated for all children) (KiB): 547464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3818.26
system time used= 62.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20276
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= 1029627
involuntary context switches= 44082
runsolver used 0.46 second user time and 0.55 second system time
The end
Begin job on at 2009-05-27 18:32:22
IDJOB=1777264
IDBENCH=70270
IDSOLVER=617
FILE ID=/1777264-1243441942
PBS_JOBID=
Free space on /tmp= 6476 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/160/unif-k7-r85-v160-c13600-S1849057034-020.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777264-1243441942/watcher-1777264-1243441942 -o /tmp/evaluation-result-1777264-1243441942/solver-1777264-1243441942 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777264-1243441942.cnf 1035135193 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 33aa10492d14e1883d707891a0a1cdfc
RANDOM SEED= 1035135193
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.41
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.12
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.061
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
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 pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 214252 kB
Buffers: 46992 kB
Cached: 2937348 kB
SwapCached: 2256 kB
Active: 1731448 kB
Inactive: 1262128 kB
HighTotal: 2489216 kB
HighFree: 84212 kB
LowTotal: 879316 kB
LowFree: 130040 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 1760 kB
Writeback: 0 kB
AnonPages: 8692 kB
Mapped: 3184 kB
Slab: 150776 kB
SReclaimable: 137332 kB
SUnreclaim: 13444 kB
PageTables: 476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88472 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6476 MiB
End job on at 2009-05-27 18:49:04