0.00/0.00 c Parsing...
0.21/0.28 c ==============================================================================
0.21/0.28 c | | ORIGINAL | LEARNT | |
0.21/0.28 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.21/0.28 c ==============================================================================
0.21/0.28 c | 0 | 503783 1505427 | 151134 0 0 nan | 0.000 % |
5.51/5.57 c | 0 | 502371 2189412 | -- 0 -- -- | -- | -1412/683985
5.51/5.57 c ==============================================================================
5.51/5.57 c Result : #vars: 2815 #clauses: 502371 #literals: 2189412
5.51/5.57 c CPU time: 5.5 s
5.51/5.57 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781026-1243540551/watcher-1781026-1243540551 -o /tmp/evaluation-result-1781026-1243540551/solver-1781026-1243540551 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781026-1243540551.cnf aimd 0
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 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.27 4.40 4.42 3/97 30539
/proc/meminfo: memFree=2772792/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2416 CPUtime=0
/proc/30539/stat : 30539 (manysat.sh) R 30537 30539 21691 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 1108192395 2473984 274 4294967295 134512640 135169312 3220593328 3220591804 3084924788 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/30539/statm: 604 274 231 161 0 43 0
[pid=30540] ppid=30539 vsize=1412 CPUtime=0
/proc/30540/stat : 30540 (SatElite) R 30539 30539 21691 0 -1 4202496 299 0 0 0 0 0 0 0 18 0 1 0 1108192395 1445888 236 4294967295 134512640 135034092 3213761520 3213757864 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30540/statm: 353 236 50 128 0 223 0
[startup+0.08482 s]
/proc/loadavg: 4.27 4.40 4.42 3/97 30539
/proc/meminfo: memFree=2772792/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2416 CPUtime=0
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1108192395 2473984 274 4294967295 134512640 135169312 3220593328 3220591864 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 604 274 231 161 0 43 0
[pid=30540] ppid=30539 vsize=9140 CPUtime=0.08
/proc/30540/stat : 30540 (SatElite) R 30539 30539 21691 0 -1 4202496 2118 0 0 0 7 1 0 0 19 0 1 0 1108192395 9359360 2055 4294967295 134512640 135034092 3213761520 3213757864 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30540/statm: 2285 2055 50 128 0 2155 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11556
[startup+0.114818 s]
/proc/loadavg: 4.27 4.40 4.42 3/97 30539
/proc/meminfo: memFree=2772792/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2416 CPUtime=0
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1108192395 2473984 274 4294967295 134512640 135169312 3220593328 3220591864 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 604 274 231 161 0 43 0
[pid=30540] ppid=30539 vsize=11384 CPUtime=0.11
/proc/30540/stat : 30540 (SatElite) R 30539 30539 21691 0 -1 4202496 2743 0 0 0 9 2 0 0 20 0 1 0 1108192395 11657216 2680 4294967295 134512640 135034092 3213761520 3213757864 134691005 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30540/statm: 2846 2680 50 128 0 2716 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13800
[startup+0.314803 s]
/proc/loadavg: 4.27 4.40 4.42 3/97 30539
/proc/meminfo: memFree=2772792/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2416 CPUtime=0
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1108192395 2473984 274 4294967295 134512640 135169312 3220593328 3220591864 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 604 274 231 161 0 43 0
[pid=30540] ppid=30539 vsize=34400 CPUtime=0.31
/proc/30540/stat : 30540 (SatElite) R 30539 30539 21691 0 -1 4202496 8423 0 0 0 27 4 0 0 20 0 1 0 1108192395 35225600 8360 4294967295 134512640 135034092 3213761520 3213757504 134675816 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30540/statm: 8600 8360 67 128 0 8470 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 36816
[startup+0.714771 s]
/proc/loadavg: 4.27 4.40 4.42 3/97 30539
/proc/meminfo: memFree=2772792/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2416 CPUtime=0
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1108192395 2473984 274 4294967295 134512640 135169312 3220593328 3220591864 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 604 274 231 161 0 43 0
[pid=30540] ppid=30539 vsize=40732 CPUtime=0.71
/proc/30540/stat : 30540 (SatElite) R 30539 30539 21691 0 -1 4202496 9987 0 0 0 65 6 0 0 21 0 1 0 1108192395 41709568 9924 4294967295 134512640 135034092 3213761520 3213757464 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30540/statm: 10183 9924 67 128 0 10053 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 43148
[startup+1.51471 s]
/proc/loadavg: 4.27 4.40 4.42 2/99 30541
/proc/meminfo: memFree=2729648/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2416 CPUtime=0
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1108192395 2473984 274 4294967295 134512640 135169312 3220593328 3220591864 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 604 274 231 161 0 43 0
[pid=30540] ppid=30539 vsize=55856 CPUtime=1.51
/proc/30540/stat : 30540 (SatElite) R 30539 30539 21691 0 -1 4202496 12328 0 0 0 144 7 0 0 24 0 1 0 1108192395 57196544 12265 4294967295 134512640 135034092 3213761520 3213757824 134569534 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30540/statm: 13964 12265 67 128 0 13834 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 58272
[startup+3.11459 s]
/proc/loadavg: 4.27 4.40 4.42 3/99 30541
/proc/meminfo: memFree=2721960/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2416 CPUtime=0
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1108192395 2473984 274 4294967295 134512640 135169312 3220593328 3220591864 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 604 274 231 161 0 43 0
[pid=30540] ppid=30539 vsize=55856 CPUtime=3.11
/proc/30540/stat : 30540 (SatElite) R 30539 30539 21691 0 -1 4202496 12328 0 0 0 304 7 0 0 25 0 1 0 1108192395 57196544 12265 4294967295 134512640 135034092 3213761520 3213757824 134569526 0 0 0 3 0 0 0 17 3 0 0 0
/proc/30540/statm: 13964 12265 67 128 0 13834 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 58272
[startup+6.31433 s]
/proc/loadavg: 4.00 4.34 4.40 2/99 30541
/proc/meminfo: memFree=2721960/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 2420
[startup+12.7138 s]
/proc/loadavg: 4.08 4.35 4.41 5/102 30545
/proc/meminfo: memFree=2586288/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=211532 CPUtime=23
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 45412 0 0 0 2274 26 0 0 25 0 4 0 1108193023 216608768 45346 4294967295 134512640 135305190 3214900528 3214898704 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/30542/statm: 52883 45346 79 194 0 52687 0
[pid=30542/tid=30543] ppid=30539 vsize=211532 CPUtime=5.54
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 4050 0 0 0 549 5 0 0 25 0 4 0 1108193112 216608768 45346 4294967295 134512640 135305190 3214900528 3070799040 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=211532 CPUtime=5.53
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 4320 0 0 0 549 4 0 0 25 0 4 0 1108193112 216608768 45346 4294967295 134512640 135305190 3214900528 3062410048 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=211532 CPUtime=5.53
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 3136 0 0 0 550 3 0 0 16 0 4 0 1108193112 216608768 45346 4294967295 134512640 135305190 3214900528 3054021824 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 29.28
Current children cumulated vsize (KiB) 213952
[startup+25.5129 s]
/proc/loadavg: 4.14 4.35 4.40 5/102 30730
/proc/meminfo: memFree=2521420/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=270696 CPUtime=73.77
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 60059 0 0 0 7342 35 0 0 25 0 4 0 1108193023 277192704 59993 4294967295 134512640 135305190 3214900528 3214898432 134557163 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/30542/statm: 67674 59993 79 194 0 67478 0
[pid=30542/tid=30543] ppid=30539 vsize=270696 CPUtime=18.18
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 7850 0 0 0 1807 11 0 0 25 0 4 0 1108193112 277192704 59993 4294967295 134512640 135305190 3214900528 3070799040 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=270696 CPUtime=18.22
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 9094 0 0 0 1816 6 0 0 25 0 4 0 1108193112 277192704 59993 4294967295 134512640 135305190 3214900528 3062410432 134530654 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=270696 CPUtime=18.22
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 5755 0 0 0 1818 4 0 0 25 0 4 0 1108193112 277192704 59993 4294967295 134512640 135305190 3214900528 3054021824 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 80.05
Current children cumulated vsize (KiB) 273116
[startup+51.1109 s]
/proc/loadavg: 4.31 4.37 4.41 6/102 30736
/proc/meminfo: memFree=2455196/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=338036 CPUtime=175.96
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 76948 0 0 0 17532 64 0 0 25 0 4 0 1108193023 346148864 76882 4294967295 134512640 135305190 3214900528 3214898704 134528506 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/30542/statm: 84509 76882 79 194 0 84313 0
[pid=30542/tid=30543] ppid=30539 vsize=338036 CPUtime=43.61
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 13696 0 0 0 4340 21 0 0 25 0 4 0 1108193112 346148864 76882 4294967295 134512640 135305190 3214900528 3070798704 134551697 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=338036 CPUtime=43.82
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 12869 0 0 0 4367 15 0 0 25 0 4 0 1108193112 346148864 76882 4294967295 134512640 135305190 3214900528 3062410432 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=338036 CPUtime=43.77
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 8708 0 0 0 4368 9 0 0 25 0 4 0 1108193112 346148864 76882 4294967295 134512640 135305190 3214900528 3054021616 134548095 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 340456
[startup+102.317 s]
/proc/loadavg: 4.29 4.36 4.40 5/102 30923
/proc/meminfo: memFree=2359936/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=433476 CPUtime=380.16
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 100362 0 0 0 37919 97 0 0 25 0 4 0 1108193023 443879424 100296 4294967295 134512640 135305190 3214900528 3214898704 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/30542/statm: 108369 100296 79 194 0 108173 0
[pid=30542/tid=30543] ppid=30539 vsize=433476 CPUtime=94.46
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 22183 0 0 0 9413 33 0 0 25 0 4 0 1108193112 443879424 100296 4294967295 134512640 135305190 3214900528 3070799040 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=433476 CPUtime=94.88
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 17730 0 0 0 9466 22 0 0 25 0 4 0 1108193112 443879424 100296 4294967295 134512640 135305190 3214900528 3062410048 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=433476 CPUtime=94.87
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 13008 0 0 0 9468 19 0 0 25 0 4 0 1108193112 443879424 100296 4294967295 134512640 135305190 3214900528 3054021556 134846358 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 386.44
Current children cumulated vsize (KiB) 435896
[startup+162.312 s]
/proc/loadavg: 4.60 4.43 4.42 6/102 31112
/proc/meminfo: memFree=2256272/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=537640 CPUtime=619.38
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 126160 0 0 0 61806 132 0 0 25 0 4 0 1108193023 550543360 126094 4294967295 134512640 135305190 3214900528 3214898704 134528402 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/30542/statm: 134410 126094 79 194 0 134214 0
[pid=30542/tid=30543] ppid=30539 vsize=537640 CPUtime=154.3
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 31037 0 0 0 15390 40 0 0 19 0 4 0 1108193112 550543360 126094 4294967295 134512640 135305190 3214900528 3070799040 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=537640 CPUtime=154.61
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 21602 0 0 0 15432 29 0 0 25 0 4 0 1108193112 550543360 126094 4294967295 134512640 135305190 3214900528 3062410432 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=537640 CPUtime=154.73
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 18363 0 0 0 15449 24 0 0 25 0 4 0 1108193112 550543360 126094 4294967295 134512640 135305190 3214900528 3054021824 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 625.66
Current children cumulated vsize (KiB) 540060
[startup+222.308 s]
/proc/loadavg: 4.59 4.45 4.43 6/102 31299
/proc/meminfo: memFree=2191012/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=603944 CPUtime=858.67
################
# More data... #
################
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 36378 0 0 0 51334 64 0 0 25 0 4 0 1108193112 950013952 222045 4294967295 134512640 135305190 3214900528 3054021552 134557956 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2062.13
Current children cumulated vsize (KiB) 930168
[startup+582.31 s]
/proc/loadavg: 4.94 4.51 4.43 6/102 32433
/proc/meminfo: memFree=1814024/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=985256 CPUtime=2295.17
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 236582 0 0 0 229167 350 0 0 25 0 4 0 1108193023 1008902144 236502 4294967295 134512640 135305190 3214900528 3214898704 134528248 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/30542/statm: 246314 236502 79 194 0 246118 0
[pid=30542/tid=30543] ppid=30539 vsize=985256 CPUtime=573.44
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 63154 0 0 0 57262 82 0 0 25 0 4 0 1108193112 1008902144 236502 4294967295 134512640 135305190 3214900528 3070799040 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=985256 CPUtime=573.43
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 45255 0 0 0 57257 86 0 0 25 0 4 0 1108193112 1008902144 236502 4294967295 134512640 135305190 3214900528 3062410432 134528392 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=985256 CPUtime=573.63
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 39800 0 0 0 57283 80 0 0 25 0 4 0 1108193112 1008902144 236502 4294967295 134512640 135305190 3214900528 3054021824 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2301.45
Current children cumulated vsize (KiB) 987676
[startup+642.305 s]
/proc/loadavg: 4.81 4.54 4.44 6/102 32622
/proc/meminfo: memFree=1786948/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=1012404 CPUtime=2534.62
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 243005 0 0 0 253079 383 0 0 25 0 4 0 1108193023 1036701696 242925 4294967295 134512640 135305190 3214900528 3214898704 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/30542/statm: 253101 242925 79 194 0 252905 0
[pid=30542/tid=30543] ppid=30539 vsize=1012404 CPUtime=633.17
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 65067 0 0 0 63219 98 0 0 25 0 4 0 1108193112 1036701696 242925 4294967295 134512640 135305190 3214900528 3070799040 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=1012404 CPUtime=633.31
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 46454 0 0 0 63241 90 0 0 25 0 4 0 1108193112 1036701696 242925 4294967295 134512640 135305190 3214900528 3062410432 134528501 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=1012404 CPUtime=633.59
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 41104 0 0 0 63272 87 0 0 25 0 4 0 1108193112 1036701696 242925 4294967295 134512640 135305190 3214900528 3054021824 134528506 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2540.9
Current children cumulated vsize (KiB) 1014824
[startup+702.31 s]
/proc/loadavg: 4.77 4.56 4.46 6/102 341
/proc/meminfo: memFree=1736068/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=1065440 CPUtime=2774.16
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 255840 0 0 0 277008 408 0 0 25 0 4 0 1108193023 1091010560 255760 4294967295 134512640 135305190 3214900528 3214898704 134528503 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/30542/statm: 266360 255760 79 194 0 266164 0
[pid=30542/tid=30543] ppid=30539 vsize=1065440 CPUtime=693.09
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 68072 0 0 0 69202 107 0 0 25 0 4 0 1108193112 1091010560 255760 4294967295 134512640 135305190 3214900528 3070799040 134528418 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=1065440 CPUtime=693.25
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 47996 0 0 0 69230 95 0 0 25 0 4 0 1108193112 1091010560 255760 4294967295 134512640 135305190 3214900528 3062410432 134528428 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=1065440 CPUtime=693.43
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 44539 0 0 0 69247 96 0 0 25 0 4 0 1108193112 1091010560 255760 4294967295 134512640 135305190 3214900528 3054021824 134528307 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2780.44
Current children cumulated vsize (KiB) 1067860
[startup+762.316 s]
/proc/loadavg: 4.67 4.56 4.46 5/102 528
/proc/meminfo: memFree=1699916/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=1101496 CPUtime=3013.72
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 264956 0 0 0 300932 440 0 0 25 0 4 0 1108193023 1127931904 264876 4294967295 134512640 135305190 3214900528 3214898704 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/30542/statm: 275374 264876 79 194 0 275178 0
[pid=30542/tid=30543] ppid=30539 vsize=1101496 CPUtime=753
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 69840 0 0 0 75189 111 0 0 25 0 4 0 1108193112 1127931904 264876 4294967295 134512640 135305190 3214900528 3070799040 134528402 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=1101496 CPUtime=753.13
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 49030 0 0 0 75208 105 0 0 25 0 4 0 1108193112 1127931904 264876 4294967295 134512640 135305190 3214900528 3062410432 134528376 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=1101496 CPUtime=753.4
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 47410 0 0 0 75237 103 0 0 25 0 4 0 1108193112 1127931904 264876 4294967295 134512640 135305190 3214900528 3054021824 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3020
Current children cumulated vsize (KiB) 1103916
[startup+822.311 s]
/proc/loadavg: 4.87 4.62 4.48 5/102 719
/proc/meminfo: memFree=1667704/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=1137592 CPUtime=3253.43
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 273599 0 0 0 324881 462 0 0 25 0 4 0 1108193023 1164894208 273519 4294967295 134512640 135305190 3214900528 3214898704 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/30542/statm: 284398 273519 79 194 0 284202 0
[pid=30542/tid=30543] ppid=30539 vsize=1137592 CPUtime=812.94
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 71574 0 0 0 81178 116 0 0 25 0 4 0 1108193112 1164894208 273519 4294967295 134512640 135305190 3214900528 3070799040 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=1137592 CPUtime=813
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 51360 0 0 0 81189 111 0 0 25 0 4 0 1108193112 1164894208 273519 4294967295 134512640 135305190 3214900528 3062410432 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=1137592 CPUtime=813.35
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 49056 0 0 0 81229 106 0 0 25 0 4 0 1108193112 1164894208 273519 4294967295 134512640 135305190 3214900528 3054021824 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3259.71
Current children cumulated vsize (KiB) 1140012
[startup+882.306 s]
/proc/loadavg: 4.67 4.59 4.48 6/102 914
/proc/meminfo: memFree=1546232/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=1259160 CPUtime=3493.02
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 303637 0 0 0 348789 513 0 0 25 0 4 0 1108193023 1289379840 303557 4294967295 134512640 135305190 3214900528 3214898704 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/30542/statm: 314790 303557 79 194 0 314594 0
[pid=30542/tid=30543] ppid=30539 vsize=1259160 CPUtime=872.7
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 76111 0 0 0 87144 126 0 0 25 0 4 0 1108193112 1289379840 303557 4294967295 134512640 135305190 3214900528 3070799040 134528777 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=1259160 CPUtime=872.97
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 57785 0 0 0 87174 123 0 0 25 0 4 0 1108193112 1289379840 303557 4294967295 134512640 135305190 3214900528 3062410432 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=1259160 CPUtime=873.27
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 57334 0 0 0 87212 115 0 0 25 0 4 0 1108193112 1289379840 303557 4294967295 134512640 135305190 3214900528 3054021364 134839991 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3499.3
Current children cumulated vsize (KiB) 1261580
[startup+942.312 s]
/proc/loadavg: 4.82 4.64 4.50 6/103 1108
/proc/meminfo: memFree=1529952/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=1277532 CPUtime=3732.42
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 307754 0 0 0 372704 538 0 0 25 0 4 0 1108193023 1308192768 307674 4294967295 134512640 135305190 3214900528 3214898704 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/30542/statm: 319383 307674 79 194 0 319187 0
[pid=30542/tid=30543] ppid=30539 vsize=1277532 CPUtime=932.63
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 77020 0 0 0 93135 128 0 0 25 0 4 0 1108193112 1308192768 307674 4294967295 134512640 135305190 3214900528 3070799040 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=1277532 CPUtime=932.86
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 58725 0 0 0 93158 128 0 0 25 0 4 0 1108193112 1308192768 307674 4294967295 134512640 135305190 3214900528 3062410432 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=1277532 CPUtime=933.1
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 58481 0 0 0 93186 124 0 0 25 0 4 0 1108193112 1308192768 307674 4294967295 134512640 135305190 3214900528 3054021616 134548023 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3738.7
Current children cumulated vsize (KiB) 1279952
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.84 4.66 4.51 7/103 1248
/proc/meminfo: memFree=1504800/3368532 swapFree=1952996/1959888
[pid=30539] ppid=30537 vsize=2420 CPUtime=6.28
/proc/30539/stat : 30539 (manysat.sh) S 30537 30539 21691 0 -1 4194304 370 12333 0 0 0 0 618 10 18 0 1 0 1108192395 2478080 275 4294967295 134512640 135169312 3220593328 3220589544 3084922606 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/30539/statm: 605 275 231 161 0 44 0
[pid=30542] ppid=30539 vsize=1302460 CPUtime=3962.9
/proc/30542/stat : 30542 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202496 313718 0 0 0 395727 563 0 0 25 0 4 0 1108193023 1333719040 313638 4294967295 134512640 135305190 3214900528 3214898368 134551694 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/30542/statm: 325615 313638 79 194 0 325419 0
[pid=30542/tid=30543] ppid=30539 vsize=1302460 CPUtime=990.32
/proc/30542/task/30543/stat : 30543 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 78346 0 0 0 98902 130 0 0 25 0 4 0 1108193112 1333719040 313638 4294967295 134512640 135305190 3214900528 3070799152 134565787 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=30542/tid=30544] ppid=30539 vsize=1302460 CPUtime=990.41
/proc/30542/task/30544/stat : 30544 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 60496 0 0 0 98904 137 0 0 25 0 4 0 1108193112 1333719040 313638 4294967295 134512640 135305190 3214900528 3062410432 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=30542/tid=30545] ppid=30539 vsize=1302460 CPUtime=990.81
/proc/30542/task/30545/stat : 30545 (manysat1.1_stat) R 30539 30539 21691 0 -1 4202560 60003 0 0 0 98953 128 0 0 25 0 4 0 1108193112 1333719040 313638 4294967295 134512640 135305190 3214900528 3054021824 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3969.18
Current children cumulated vsize (KiB) 1304880
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30539 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=180000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=110000
# CPU time returned by wait4() is 6.29
# while last known CPU time is 3969.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.06
CPU time (s): 3969.18
CPU user time (s): 3963.45
CPU system time (s): 5.73
CPU usage (%): 396.895
Max. virtual memory (cumulated for all children) (KiB): 1304880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.18
system time used= 0.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12703
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= 5
involuntary context switches= 31
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi45 at 2009-05-28 21:55:51
IDJOB=1781026
IDBENCH=71090
IDSOLVER=620
FILE ID=tipi45/1781026-1243540551
PBS_JOBID=
Free space on /tmp= 15493 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_20_SAT.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781026-1243540551/watcher-1781026-1243540551 -o /tmp/evaluation-result-1781026-1243540551/solver-1781026-1243540551 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781026-1243540551.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 8aa38136187abb1238dedfc85e88a72c
RANDOM SEED= 1651787644
Linux tipi45 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.081
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.081
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.10
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.081
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.16
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.081
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: 2772792 kB
Buffers: 145416 kB
Cached: 342028 kB
SwapCached: 2100 kB
Active: 128036 kB
Inactive: 368560 kB
HighTotal: 2489216 kB
HighFree: 2134220 kB
LowTotal: 879316 kB
LowFree: 638572 kB
SwapTotal: 1959888 kB
SwapFree: 1952996 kB
Dirty: 10080 kB
Writeback: 0 kB
AnonPages: 8180 kB
Mapped: 3500 kB
Slab: 85688 kB
SReclaimable: 74756 kB
SUnreclaim: 10932 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 89600 kB
VmallocTotal: 114680 kB
VmallocUsed: 17900 kB
VmallocChunk: 96244 kB
Free space on /tmp at the end= 15481 MiB
End job on tipi45 at 2009-05-28 22:12:34