runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777189-1243438270/watcher-1777189-1243438270 -o /tmp/evaluation-result-1777189-1243438270/solver-1777189-1243438270 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777189-1243438270.cnf 575979067 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.91 4.85 4.63 3/96 1524
/proc/meminfo: memFree=214280/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=509232 CPUtime=0
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 846 0 0 0 0 0 0 0 18 0 1 0 1108491055 521453568 802 4294967295 134512640 135680988 3213884496 3213883760 134537167 0 0 0 0 0 0 0 17 3 0 0 0
/proc/1524/statm: 127308 809 99 286 0 127020 0
[startup+0.043265 s]
/proc/loadavg: 4.91 4.85 4.63 3/96 1524
/proc/meminfo: memFree=214280/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=517048 CPUtime=0.04
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 9964 0 0 0 1 3 0 0 18 0 1 0 1108491055 529457152 9920 4294967295 134512640 135680988 3213884496 3213883760 134537493 0 0 0 0 0 0 0 17 3 0 0 0
/proc/1524/statm: 129262 9920 99 286 0 128974 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 517048
[startup+0.11326 s]
/proc/loadavg: 4.91 4.85 4.63 3/96 1524
/proc/meminfo: memFree=214280/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=517044 CPUtime=0.11
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 16702 0 0 0 7 4 0 0 18 0 1 0 1108491055 529453056 16657 4294967295 134512640 135680988 3213884496 3213883760 134537968 0 0 0 0 0 0 0 17 3 0 0 0
/proc/1524/statm: 129261 16668 99 286 0 128973 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517044
[startup+0.31324 s]
/proc/loadavg: 4.91 4.85 4.63 3/96 1524
/proc/meminfo: memFree=214280/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=0.79
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 72 7 0 0 18 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
Current children cumulated CPU time (s) 0.79
Current children cumulated vsize (KiB) 547952
[startup+0.713207 s]
/proc/loadavg: 4.91 4.85 4.63 3/96 1524
/proc/meminfo: memFree=214280/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=2.39
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 230 9 0 0 16 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 547952
[startup+1.5171 s]
/proc/loadavg: 4.92 4.85 4.63 7/100 1528
/proc/meminfo: memFree=134360/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=5.59
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 540 19 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=1.36
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 133 3 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=1.36
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 133 3 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=1.35
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 131 4 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 547952
[startup+3.11318 s]
/proc/loadavg: 4.92 4.85 4.63 7/100 1528
/proc/meminfo: memFree=134340/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=11.9
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 1157 33 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883828 134533489 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=2.94
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 287 7 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=2.89
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 281 8 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=2.95
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 289 6 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 547952
[startup+6.31601 s]
/proc/loadavg: 4.92 4.85 4.63 6/100 1528
/proc/meminfo: memFree=134256/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=24.46
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 2400 46 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=6.04
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 594 10 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=6.01
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 588 13 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=6.1
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 600 10 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 547952
[startup+12.712 s]
/proc/loadavg: 5.08 4.89 4.64 6/100 1528
/proc/meminfo: memFree=134252/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=49.04
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 4823 81 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=12.13
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 1190 23 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=12.05
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 1184 21 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068527028 134533489 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=12.37
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 1217 20 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.04
Current children cumulated vsize (KiB) 547952
[startup+25.5115 s]
/proc/loadavg: 5.07 4.89 4.65 5/100 1530
/proc/meminfo: memFree=134440/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=96.3
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 9491 139 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=24.5
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 2410 40 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=23.35
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 2297 38 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=24.07
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 2379 28 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 96.3
Current children cumulated vsize (KiB) 547952
[startup+51.1174 s]
/proc/loadavg: 4.97 4.89 4.65 6/100 1530
/proc/meminfo: memFree=134464/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=196.08
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 19299 309 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=49.4
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 4857 83 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=48.48
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 4764 84 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=49.1
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 4839 71 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 196.08
Current children cumulated vsize (KiB) 547952
[startup+102.328 s]
/proc/loadavg: 5.18 4.95 4.68 7/100 1723
/proc/meminfo: memFree=134084/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=392.85
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 38676 609 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=98.96
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 9749 147 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=98.01
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 9650 151 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=97.84
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 9632 152 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 392.85
Current children cumulated vsize (KiB) 547952
[startup+162.314 s]
/proc/loadavg: 5.17 4.99 4.71 6/100 1910
/proc/meminfo: memFree=133968/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=623.93
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 61408 985 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=156.39
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 15394 245 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=156.39
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 15398 241 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=155.98
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 15361 237 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 623.93
Current children cumulated vsize (KiB) 547952
[startup+222.307 s]
/proc/loadavg: 5.00 4.98 4.72 6/100 2098
/proc/meminfo: memFree=133960/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=854.26
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 84073 1353 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=213.65
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 21023 342 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=213.81
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 21046 335 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=214.08
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 21068 340 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 854.26
Current children cumulated vsize (KiB) 547952
[startup+282.309 s]
/proc/loadavg: 4.71 4.90 4.71 5/100 2285
/proc/meminfo: memFree=133960/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=1083.33
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 106640 1693 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=270.08
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 26582 426 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=270.76
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 26665 411 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068527028 134533505 0 0 0 0 0 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=1524] ppid=1522 vsize=547952 CPUtime=1548.75
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 152475 2400 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=386.68
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 38073 595 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=386.82
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 38093 589 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=387.75
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 38148 627 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1548.75
Current children cumulated vsize (KiB) 547952
[startup+462.316 s]
/proc/loadavg: 4.92 4.88 4.73 5/100 2867
/proc/meminfo: memFree=133968/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=1781.13
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 175338 2775 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=444.93
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 43811 682 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=444.7
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 43791 679 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=446.16
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 43875 741 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1781.13
Current children cumulated vsize (KiB) 547952
[startup+522.31 s]
/proc/loadavg: 5.09 4.93 4.76 8/100 3054
/proc/meminfo: memFree=133968/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=2015.49
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 198385 3164 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=503.3
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 49550 780 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=503.63
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 49590 773 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068527028 134533068 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=504.96
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 49654 842 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2015.49
Current children cumulated vsize (KiB) 547952
[startup+582.316 s]
/proc/loadavg: 5.20 4.99 4.78 6/100 3244
/proc/meminfo: memFree=133960/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=2248.5
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 221315 3535 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=560.93
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 55206 887 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=562.1
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 55354 856 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=563.9
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 55461 929 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2248.5
Current children cumulated vsize (KiB) 547952
[startup+642.312 s]
/proc/loadavg: 4.98 4.98 4.80 6/100 3446
/proc/meminfo: memFree=133844/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=2480.34
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 244157 3877 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=618.97
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 60924 973 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=620.53
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 61106 947 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=621.94
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 61186 1008 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2480.34
Current children cumulated vsize (KiB) 547952
[startup+702.307 s]
/proc/loadavg: 5.03 4.98 4.81 5/100 3649
/proc/meminfo: memFree=134084/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=2710.06
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 266787 4219 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=675.57
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 66500 1057 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=678.29
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 66804 1025 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=680.06
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 66895 1111 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2710.06
Current children cumulated vsize (KiB) 547952
[startup+762.312 s]
/proc/loadavg: 5.34 5.06 4.84 7/100 3836
/proc/meminfo: memFree=134216/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=2941.63
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 289596 4567 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=733.45
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 72185 1160 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=736.24
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 72512 1112 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=738.03
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 72619 1184 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134900 134535186 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2941.63
Current children cumulated vsize (KiB) 547952
[startup+822.306 s]
/proc/loadavg: 5.11 5.06 4.85 6/100 4023
/proc/meminfo: memFree=134092/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=3175.38
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 312633 4905 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957422 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=791.79
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 77934 1245 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=794.09
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 78217 1192 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=796.83
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 78422 1261 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3175.38
Current children cumulated vsize (KiB) 547952
[startup+882.31 s]
/proc/loadavg: 5.00 5.03 4.85 6/100 4216
/proc/meminfo: memFree=134092/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=3407.23
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 335460 5263 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=849.33
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 83595 1338 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=851.85
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 83910 1275 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=855.95
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 84238 1357 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3407.23
Current children cumulated vsize (KiB) 547952
[startup+942.316 s]
/proc/loadavg: 5.26 5.09 4.88 9/100 4404
/proc/meminfo: memFree=133844/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=3639.27
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 358287 5640 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=906.8
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 89245 1435 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=909.86
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 89618 1368 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=914.43
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 89992 1451 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3639.27
Current children cumulated vsize (KiB) 547952
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.15 5.08 4.89 5/100 4592
/proc/meminfo: memFree=133844/3368532 swapFree=1953788/1959888
[pid=1524] ppid=1522 vsize=547952 CPUtime=3861.29
/proc/1524/stat : 1524 (gnovelty+) R 1522 1524 10015 0 -1 4202496 20423 0 0 0 380147 5982 0 0 15 0 4 0 1108491055 561102848 20378 4294967295 134512640 135680988 3213884496 3213883740 134957422 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/1524/statm: 136988 20378 103 286 0 136700 0
[pid=1524/tid=1526] ppid=1522 vsize=547952 CPUtime=961.82
/proc/1524/task/1526/stat : 1526 (gnovelty+) R 1522 1524 10015 0 -1 4202560 92 0 0 0 94653 1529 0 0 16 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3077919068 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=1524/tid=1527] ppid=1522 vsize=547952 CPUtime=965.3
/proc/1524/task/1527/stat : 1527 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 95078 1452 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3068526940 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=1524/tid=1528] ppid=1522 vsize=547952 CPUtime=969.52
/proc/1524/task/1528/stat : 1528 (gnovelty+) R 1522 1524 10015 0 -1 4202560 93 0 0 0 95420 1532 0 0 15 0 4 0 1108491069 561102848 20378 4294967295 134512640 135680988 3213884496 3059134812 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3861.29
Current children cumulated vsize (KiB) 547952
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): 3861.35
CPU user time (s): 3801.53
CPU system time (s): 59.82
CPU usage (%): 386.121
Max. virtual memory (cumulated for all children) (KiB): 547952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3801.53
system time used= 59.82
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20423
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= 1207416
involuntary context switches= 42908
runsolver used 0.26 second user time and 0.47 second system time
The end
Begin job on at 2009-05-27 17:31:10
IDJOB=1777189
IDBENCH=70245
IDSOLVER=617
FILE ID=/1777189-1243438270
PBS_JOBID=
Free space on /tmp= 6476 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/200/unif-k7-r85-v200-c17000-S948914005-013.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777189-1243438270/watcher-1777189-1243438270 -o /tmp/evaluation-result-1777189-1243438270/solver-1777189-1243438270 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777189-1243438270.cnf 575979067 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 8e7038f460a2090de0c9ec52bd5a121d
RANDOM SEED= 575979067
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: 214724 kB
Buffers: 46912 kB
Cached: 2936564 kB
SwapCached: 2256 kB
Active: 1731340 kB
Inactive: 1261500 kB
HighTotal: 2489216 kB
HighFree: 84960 kB
LowTotal: 879316 kB
LowFree: 129764 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 1820 kB
Writeback: 0 kB
AnonPages: 8624 kB
Mapped: 3232 kB
Slab: 151316 kB
SReclaimable: 137320 kB
SUnreclaim: 13996 kB
PageTables: 464 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88476 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 17:47:52