0.00/0.00 c Parsing...
0.11/0.16 c ==============================================================================
0.11/0.16 c | | ORIGINAL | LEARNT | |
0.11/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.11/0.16 c ==============================================================================
0.11/0.16 c | 0 | 213531 498239 | 64059 0 0 nan | 0.000 % |
1.31/1.32 c | 0 | 163018 485616 | -- 0 -- -- | -- | -50511/-12618
1.31/1.32 c ==============================================================================
1.31/1.32 c Result : #vars: 36494 #clauses: 163018 #literals: 485616
1.31/1.32 c CPU time: 1.26 s
1.31/1.32 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779121-1243519341/watcher-1779121-1243519341 -o /tmp/evaluation-result-1779121-1243519341/solver-1779121-1243519341 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779121-1243519341.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: 5.17 5.41 5.46 3/124 25796
/proc/meminfo: memFree=2282364/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2416 CPUtime=0
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116598151 2473984 273 4294967295 134512640 135169312 3220497040 3220495576 3085700846 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/25796/statm: 604 273 231 161 0 43 0
[pid=25797] ppid=25796 vsize=1524 CPUtime=0
/proc/25797/stat : 25797 (SatElite) R 25796 25796 21334 0 -1 4202496 287 0 0 0 0 0 0 0 18 0 1 0 1116598151 1560576 224 4294967295 134512640 135034092 3217581968 3217578312 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25797/statm: 381 224 49 128 0 251 0
[startup+0.078612 s]
/proc/loadavg: 5.17 5.41 5.46 3/124 25796
/proc/meminfo: memFree=2282364/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2416 CPUtime=0
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116598151 2473984 273 4294967295 134512640 135169312 3220497040 3220495576 3085700846 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/25796/statm: 604 273 231 161 0 43 0
[pid=25797] ppid=25796 vsize=15868 CPUtime=0.08
/proc/25797/stat : 25797 (SatElite) R 25796 25796 21334 0 -1 4202496 3399 0 0 0 6 2 0 0 18 0 1 0 1116598151 16248832 3336 4294967295 134512640 135034092 3217581968 3217578312 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25797/statm: 3967 3337 49 128 0 3837 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18284
[startup+0.108601 s]
/proc/loadavg: 5.17 5.41 5.46 3/124 25796
/proc/meminfo: memFree=2282364/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2416 CPUtime=0
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116598151 2473984 273 4294967295 134512640 135169312 3220497040 3220495576 3085700846 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/25796/statm: 604 273 231 161 0 43 0
[pid=25797] ppid=25796 vsize=19680 CPUtime=0.11
/proc/25797/stat : 25797 (SatElite) R 25796 25796 21334 0 -1 4202496 4595 0 0 0 8 3 0 0 18 0 1 0 1116598151 20152320 4532 4294967295 134512640 135034092 3217581968 3217578312 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25797/statm: 4920 4532 49 128 0 4790 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22096
[startup+0.308583 s]
/proc/loadavg: 5.17 5.41 5.46 3/124 25796
/proc/meminfo: memFree=2282364/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2416 CPUtime=0
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116598151 2473984 273 4294967295 134512640 135169312 3220497040 3220495576 3085700846 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/25796/statm: 604 273 231 161 0 43 0
[pid=25797] ppid=25796 vsize=41096 CPUtime=0.31
/proc/25797/stat : 25797 (SatElite) R 25796 25796 21334 0 -1 4202496 9162 0 0 0 27 4 0 0 18 0 1 0 1116598151 42082304 8471 4294967295 134512640 135034092 3217581968 3217577836 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25797/statm: 10274 8471 67 128 0 10144 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 43512
[startup+0.70855 s]
/proc/loadavg: 5.17 5.41 5.46 3/124 25796
/proc/meminfo: memFree=2282364/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2416 CPUtime=0
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116598151 2473984 273 4294967295 134512640 135169312 3220497040 3220495576 3085700846 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/25796/statm: 604 273 231 161 0 43 0
[pid=25797] ppid=25796 vsize=44660 CPUtime=0.71
/proc/25797/stat : 25797 (SatElite) R 25796 25796 21334 0 -1 4202496 10104 0 0 0 65 6 0 0 18 0 1 0 1116598151 45731840 9413 4294967295 134512640 135034092 3217581968 3217578208 134566477 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25797/statm: 11165 9413 67 128 0 11035 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 47076
[startup+1.50848 s]
/proc/loadavg: 4.92 5.35 5.44 2/126 25798
/proc/meminfo: memFree=2241980/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2416 CPUtime=0
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1116598151 2473984 273 4294967295 134512640 135169312 3220497040 3220495576 3085700846 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/25796/statm: 604 273 231 161 0 43 0
[pid=25797] ppid=25796 vsize=44196 CPUtime=1.51
/proc/25797/stat : 25797 (SatElite) R 25796 25796 21334 0 -1 4202496 10424 0 0 0 144 7 0 0 20 0 1 0 1116598151 45256704 9376 4294967295 134512640 135034092 3217581968 3217576852 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/25797/statm: 11049 9376 67 128 0 10919 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 46612
[startup+3.11136 s]
/proc/loadavg: 4.92 5.35 5.44 6/129 25802
/proc/meminfo: memFree=2226684/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=83148 CPUtime=5.05
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 13466 0 0 0 469 36 0 0 16 0 4 0 1116598305 85143552 13399 4294967295 134512640 135305190 3219886576 3219884676 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25799/statm: 20787 13399 79 194 0 20591 0
[pid=25799/tid=25800] ppid=25796 vsize=83148 CPUtime=1.15
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 434 0 0 0 110 5 0 0 15 0 4 0 1116598337 85143552 13399 4294967295 134512640 135305190 3219886576 3072093220 134695249 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=83148 CPUtime=1.2
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 545 0 0 0 113 7 0 0 16 0 4 0 1116598337 85143552 13399 4294967295 134512640 135305190 3219886576 3063704612 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=83148 CPUtime=1.2
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 448 0 0 0 110 10 0 0 15 0 4 0 1116598337 85143552 13399 4294967295 134512640 135305190 3219886576 3055316008 134694990 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.58
Current children cumulated vsize (KiB) 85568
[startup+6.30807 s]
/proc/loadavg: 4.92 5.35 5.44 5/129 25803
/proc/meminfo: memFree=2219836/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=87040 CPUtime=17.32
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 14588 0 0 0 1675 57 0 0 16 0 4 0 1116598305 89128960 14498 4294967295 134512640 135305190 3219886576 3219884496 134541580 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/25799/statm: 21760 14498 79 194 0 21564 0
[pid=25799/tid=25800] ppid=25796 vsize=87040 CPUtime=4.24
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 688 0 0 0 412 12 0 0 16 0 4 0 1116598337 89128960 14498 4294967295 134512640 135305190 3219886576 3072093376 134530994 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=87040 CPUtime=4.29
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 920 0 0 0 417 12 0 0 16 0 4 0 1116598337 89128960 14498 4294967295 134512640 135305190 3219886576 3063704616 134695249 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=87040 CPUtime=4.34
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 730 0 0 0 418 16 0 0 15 0 4 0 1116598337 89128960 14498 4294967295 134512640 135305190 3219886576 3055316160 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.85
Current children cumulated vsize (KiB) 89460
[startup+12.7072 s]
/proc/loadavg: 5.09 5.38 5.44 9/129 25804
/proc/meminfo: memFree=2163596/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=106112 CPUtime=38.81
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 19441 0 0 0 3779 102 0 0 16 0 4 0 1116598305 108658688 19304 4294967295 134512640 135305190 3219886576 3219884468 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25799/statm: 26528 19304 79 194 0 26332 0
[pid=25799/tid=25800] ppid=25796 vsize=106112 CPUtime=9.34
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 1615 0 0 0 914 20 0 0 15 0 4 0 1116598337 108658688 19304 4294967295 134512640 135305190 3219886576 3072093376 134528379 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=106112 CPUtime=10.44
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 3281 0 0 0 1010 34 0 0 16 0 4 0 1116598337 108658688 19304 4294967295 134512640 135305190 3219886576 3063704768 134528224 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=106112 CPUtime=10.38
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 1402 0 0 0 1011 27 0 0 16 0 4 0 1116598337 108658688 19304 4294967295 134512640 135305190 3219886576 3055316048 134529119 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40.34
Current children cumulated vsize (KiB) 108532
[startup+25.5061 s]
/proc/loadavg: 5.15 5.38 5.44 7/129 25805
/proc/meminfo: memFree=2004012/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=138424 CPUtime=83.58
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 27157 0 0 0 8190 168 0 0 16 0 4 0 1116598305 141746176 27020 4294967295 134512640 135305190 3219886576 3219884292 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/25799/statm: 34606 27020 79 194 0 34410 0
[pid=25799/tid=25800] ppid=25796 vsize=138424 CPUtime=20.98
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 3257 0 0 0 2054 44 0 0 15 0 4 0 1116598337 141746176 27020 4294967295 134512640 135305190 3219886576 3072093376 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=138424 CPUtime=22.12
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 6731 0 0 0 2165 47 0 0 16 0 4 0 1116598337 141746176 27020 4294967295 134512640 135305190 3219886576 3063704384 134551720 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=138424 CPUtime=21.82
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 2392 0 0 0 2142 40 0 0 16 0 4 0 1116598337 141746176 27020 4294967295 134512640 135305190 3219886576 3055316160 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 85.11
Current children cumulated vsize (KiB) 140844
[startup+51.1036 s]
/proc/loadavg: 5.55 5.46 5.47 6/129 25989
/proc/meminfo: memFree=2049228/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=150344 CPUtime=162.39
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 30383 0 0 0 16057 182 0 0 25 0 4 0 1116598305 153952256 30246 4294967295 134512640 135305190 3219886576 3219884752 134528410 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/25799/statm: 37586 30246 79 194 0 37390 0
[pid=25799/tid=25800] ppid=25796 vsize=150344 CPUtime=42.61
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 3809 0 0 0 4212 49 0 0 25 0 4 0 1116598337 153952256 30246 4294967295 134512640 135305190 3219886576 3072093376 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=150344 CPUtime=39.24
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 8411 0 0 0 3876 48 0 0 25 0 4 0 1116598337 153952256 30246 4294967295 134512640 135305190 3219886576 3063704384 134551681 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=150344 CPUtime=42.45
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 2813 0 0 0 4201 44 0 0 25 0 4 0 1116598337 153952256 30246 4294967295 134512640 135305190 3219886576 3055316160 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 163.92
Current children cumulated vsize (KiB) 152764
[startup+102.319 s]
/proc/loadavg: 5.40 5.43 5.45 6/129 26177
/proc/meminfo: memFree=1955888/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=180320 CPUtime=315.51
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 37768 0 0 0 31346 205 0 0 25 0 4 0 1116598305 184647680 37631 4294967295 134512640 135305190 3219886576 3219884676 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/25799/statm: 45080 37631 79 194 0 44884 0
[pid=25799/tid=25800] ppid=25796 vsize=180320 CPUtime=78
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 4896 0 0 0 7744 56 0 0 24 0 4 0 1116598337 184647680 37631 4294967295 134512640 135305190 3219886576 3072093376 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=180320 CPUtime=88.02
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 12400 0 0 0 8748 54 0 0 25 0 4 0 1116598337 184647680 37631 4294967295 134512640 135305190 3219886576 3063704768 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=180320 CPUtime=76.85
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 3565 0 0 0 7632 53 0 0 25 0 4 0 1116598337 184647680 37631 4294967295 134512640 135305190 3219886576 3055315864 134694990 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 317.04
Current children cumulated vsize (KiB) 182740
[startup+162.314 s]
/proc/loadavg: 5.64 5.48 5.47 7/130 26358
/proc/meminfo: memFree=1919940/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=218512 CPUtime=494.73
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 47167 0 0 0 49246 227 0 0 25 0 4 0 1116598305 223756288 47030 4294967295 134512640 135305190 3219886576 3219884600 134694990 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/25799/statm: 54628 47030 79 194 0 54432 0
[pid=25799/tid=25800] ppid=25796 vsize=218512 CPUtime=112.45
################
# More data... #
################
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 7820 0 0 0 40054 87 0 0 25 0 4 0 1116598337 364122112 80661 4294967295 134512640 135305190 3219886576 3055315904 134541918 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1567.85
Current children cumulated vsize (KiB) 358008
[startup+582.308 s]
/proc/loadavg: 5.51 5.58 5.53 7/129 27689
/proc/meminfo: memFree=1432696/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=389360 CPUtime=1745.7
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 89384 0 0 0 174197 373 0 0 25 0 4 0 1116598305 398704640 89247 4294967295 134512640 135305190 3219886576 3219884468 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/25799/statm: 97340 89247 79 194 0 97144 0
[pid=25799/tid=25800] ppid=25796 vsize=389360 CPUtime=458.42
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 9812 0 0 0 45752 90 0 0 25 0 4 0 1116598337 398704640 89247 4294967295 134512640 135305190 3219886576 3072093376 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=389360 CPUtime=440.83
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 47093 0 0 0 43970 113 0 0 25 0 4 0 1116598337 398704640 89247 4294967295 134512640 135305190 3219886576 3063704768 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=389360 CPUtime=461.01
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 8005 0 0 0 46004 97 0 0 25 0 4 0 1116598337 398704640 89247 4294967295 134512640 135305190 3219886576 3055315876 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1747.23
Current children cumulated vsize (KiB) 391780
[startup+642.303 s]
/proc/loadavg: 5.58 5.58 5.53 8/130 27789
/proc/meminfo: memFree=1347032/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=389360 CPUtime=1925.24
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 89418 0 0 0 192139 385 0 0 25 0 4 0 1116598305 398704640 89281 4294967295 134512640 135305190 3219886576 3219884544 134547700 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/25799/statm: 97340 89281 79 194 0 97144 0
[pid=25799/tid=25800] ppid=25796 vsize=389360 CPUtime=512.5
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 9812 0 0 0 51157 93 0 0 25 0 4 0 1116598337 398704640 89281 4294967295 134512640 135305190 3219886576 3072093376 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=389360 CPUtime=499.11
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 47093 0 0 0 49791 120 0 0 25 0 4 0 1116598337 398704640 89281 4294967295 134512640 135305190 3219886576 3063704768 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=389360 CPUtime=498.32
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 8008 0 0 0 49735 97 0 0 25 0 4 0 1116598337 398704640 89281 4294967295 134512640 135305190 3219886576 3055314928 134569880 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1926.77
Current children cumulated vsize (KiB) 391780
[startup+702.317 s]
/proc/loadavg: 5.59 5.57 5.53 8/130 27933
/proc/meminfo: memFree=1710572/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=389360 CPUtime=2103.08
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 89436 0 0 0 209903 405 0 0 25 0 4 0 1116598305 398704640 89299 4294967295 134512640 135305190 3219886576 3219884752 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/25799/statm: 97340 89299 79 194 0 97144 0
[pid=25799/tid=25800] ppid=25796 vsize=389360 CPUtime=565.22
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 9828 0 0 0 56429 93 0 0 25 0 4 0 1116598337 398704640 89299 4294967295 134512640 135305190 3219886576 3072093120 134541918 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=389360 CPUtime=538.32
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 47095 0 0 0 53705 127 0 0 25 0 4 0 1116598337 398704640 89299 4294967295 134512640 135305190 3219886576 3063704768 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=389360 CPUtime=526.15
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 8008 0 0 0 52515 100 0 0 25 0 4 0 1116598337 398704640 89299 4294967295 134512640 135305190 3219886576 3055316232 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2104.61
Current children cumulated vsize (KiB) 391780
[startup+762.312 s]
/proc/loadavg: 5.80 5.63 5.55 7/130 28124
/proc/meminfo: memFree=1763436/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=411056 CPUtime=2281.51
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 94871 0 0 0 227726 425 0 0 25 0 4 0 1116598305 420921344 94734 4294967295 134512640 135305190 3219886576 3219884752 134528539 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25799/statm: 102764 94734 79 194 0 102568 0
[pid=25799/tid=25800] ppid=25796 vsize=411056 CPUtime=618.58
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 10854 0 0 0 61756 102 0 0 25 0 4 0 1116598337 420921344 94734 4294967295 134512640 135305190 3219886576 3072093376 134528195 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=411056 CPUtime=572.7
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 48727 0 0 0 57141 129 0 0 25 0 4 0 1116598337 420921344 94734 4294967295 134512640 135305190 3219886576 3063704768 134528263 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=411056 CPUtime=561.37
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 8872 0 0 0 56032 105 0 0 25 0 4 0 1116598337 420921344 94734 4294967295 134512640 135305190 3219886576 3055315904 134542034 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2283.04
Current children cumulated vsize (KiB) 413476
[startup+822.307 s]
/proc/loadavg: 5.99 5.71 5.58 8/129 28258
/proc/meminfo: memFree=1726036/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=413712 CPUtime=2460.97
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 95551 0 0 0 245655 442 0 0 25 0 4 0 1116598305 423641088 95414 4294967295 134512640 135305190 3219886576 3219884752 134528256 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25799/statm: 103428 95414 79 194 0 103232 0
[pid=25799/tid=25800] ppid=25796 vsize=413712 CPUtime=655.13
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 10900 0 0 0 65410 103 0 0 25 0 4 0 1116598337 423641088 95414 4294967295 134512640 135305190 3219886576 3072093120 134542048 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=413712 CPUtime=624.64
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 48936 0 0 0 62326 138 0 0 25 0 4 0 1116598337 423641088 95414 4294967295 134512640 135305190 3219886576 3063704384 134551681 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=413712 CPUtime=618.05
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 9054 0 0 0 61698 107 0 0 25 0 4 0 1116598337 423641088 95414 4294967295 134512640 135305190 3219886576 3055316160 134528615 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2462.5
Current children cumulated vsize (KiB) 416132
[startup+882.302 s]
/proc/loadavg: 5.78 5.70 5.58 7/130 28460
/proc/meminfo: memFree=1623728/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=427176 CPUtime=2640.39
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 98930 0 0 0 263576 463 0 0 25 0 4 0 1116598305 437428224 98793 4294967295 134512640 135305190 3219886576 3219884752 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25799/statm: 106794 98793 79 194 0 106598 0
[pid=25799/tid=25800] ppid=25796 vsize=427176 CPUtime=710.22
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 11572 0 0 0 70916 106 0 0 25 0 4 0 1116598337 437428224 98793 4294967295 134512640 135305190 3219886576 3072093120 134542034 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=427176 CPUtime=679.62
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 50474 0 0 0 67815 147 0 0 25 0 4 0 1116598337 437428224 98793 4294967295 134512640 135305190 3219886576 3063704768 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=427176 CPUtime=655.5
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 9624 0 0 0 65437 113 0 0 25 0 4 0 1116598337 437428224 98793 4294967295 134512640 135305190 3219886576 3055316160 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2641.92
Current children cumulated vsize (KiB) 429596
[startup+942.317 s]
/proc/loadavg: 5.56 5.66 5.57 6/129 28641
/proc/meminfo: memFree=1600756/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=472304 CPUtime=2818.14
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 109825 0 0 0 281333 481 0 0 25 0 4 0 1116598305 483639296 109688 4294967295 134512640 135305190 3219886576 3219884416 134551919 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/25799/statm: 118076 109688 79 194 0 117880 0
[pid=25799/tid=25800] ppid=25796 vsize=472304 CPUtime=744.52
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 13123 0 0 0 74346 106 0 0 25 0 4 0 1116598337 483639296 109688 4294967295 134512640 135305190 3219886576 3072093376 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=472304 CPUtime=731.71
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 55568 0 0 0 73016 155 0 0 25 0 4 0 1116598337 483639296 109688 4294967295 134512640 135305190 3219886576 3063704320 134569845 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=472304 CPUtime=710.43
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 10902 0 0 0 70925 118 0 0 25 0 4 0 1116598337 483639296 109688 4294967295 134512640 135305190 3219886576 3055316160 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2819.67
Current children cumulated vsize (KiB) 474724
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 5.57 5.67 5.58 8/129 28829
/proc/meminfo: memFree=1587556/3368532 swapFree=1957708/1959888
[pid=25796] ppid=25794 vsize=2420 CPUtime=1.53
/proc/25796/stat : 25796 (manysat.sh) S 25794 25796 21334 0 -1 4194304 370 10428 0 0 0 0 146 7 18 0 1 0 1116598151 2478080 274 4294967295 134512640 135169312 3220497040 3220493256 3085700846 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/25796/statm: 605 274 231 161 0 44 0
[pid=25799] ppid=25796 vsize=473344 CPUtime=2990.41
/proc/25799/stat : 25799 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202496 110101 0 0 0 298546 495 0 0 25 0 4 0 1116598305 484704256 109964 4294967295 134512640 135305190 3219886576 3219884752 134528539 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/25799/statm: 118336 109964 79 194 0 118140 0
[pid=25799/tid=25800] ppid=25796 vsize=473344 CPUtime=801.6
/proc/25799/task/25800/stat : 25800 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 13172 0 0 0 80052 108 0 0 25 0 4 0 1116598337 484704256 109964 4294967295 134512640 135305190 3219886576 3072093376 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=25799/tid=25801] ppid=25796 vsize=473344 CPUtime=784.51
/proc/25799/task/25801/stat : 25801 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 55781 0 0 0 78287 164 0 0 25 0 4 0 1116598337 484704256 109964 4294967295 134512640 135305190 3219886576 3063704768 134528256 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=25799/tid=25802] ppid=25796 vsize=473344 CPUtime=740.33
/proc/25799/task/25802/stat : 25802 (manysat1.1_stat) R 25796 25796 21334 0 -1 4202560 10916 0 0 0 73915 118 0 0 25 0 4 0 1116598337 484704256 109964 4294967295 134512640 135305190 3219886576 3055315904 134541935 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2991.94
Current children cumulated vsize (KiB) 475764
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 25796 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=460000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=70000
# CPU time returned by wait4() is 1.53
# while last known CPU time is 2991.94
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.05
CPU time (s): 2991.94
CPU user time (s): 2986.92
CPU system time (s): 5.02
CPU usage (%): 299.178
Max. virtual memory (cumulated for all children) (KiB): 475764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.46
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10798
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= 7
involuntary context switches= 240
runsolver used 0.02 second user time and 0.05 second system time
The end
Begin job on at 2009-05-28 16:02:21
IDJOB=1779121
IDBENCH=70813
IDSOLVER=620
FILE ID=/1779121-1243519341
PBS_JOBID=
Free space on /tmp= 15881 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsarray/countbitsarray32_32.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779121-1243519341/watcher-1779121-1243519341 -o /tmp/evaluation-result-1779121-1243519341/solver-1779121-1243519341 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779121-1243519341.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= b7a07371a2da4a8c8bef63c213dd1e15
RANDOM SEED= 171929950
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.105
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.43
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.105
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.11
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.105
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.105
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.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2282364 kB
Buffers: 3756 kB
Cached: 443324 kB
SwapCached: 8 kB
Active: 635580 kB
Inactive: 403508 kB
HighTotal: 2489216 kB
HighFree: 1450380 kB
LowTotal: 879316 kB
LowFree: 831984 kB
SwapTotal: 1959888 kB
SwapFree: 1957708 kB
Dirty: 107072 kB
Writeback: 51352 kB
AnonPages: 591892 kB
Mapped: 35372 kB
Slab: 37032 kB
SReclaimable: 25020 kB
SUnreclaim: 12012 kB
PageTables: 1360 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 844824 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15875 MiB
End job on at 2009-05-28 16:19:04