0.00/0.00 c Parsing...
1.20/1.29 c ==============================================================================
1.20/1.29 c | | ORIGINAL | LEARNT | |
1.20/1.29 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.20/1.29 c ==============================================================================
1.20/1.29 c | 0 | 1373915 3337034 | 412174 0 0 nan | 0.000 % |
6.70/6.73 c | 0 | 959954 2694138 | -- 0 -- -- | -- | -111844/44415
6.70/6.74 c ==============================================================================
6.70/6.74 c Result : #vars: 137915 #clauses: 959954 #literals: 2694138
6.70/6.74 c CPU time: 6.59 s
6.70/6.74 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780714-1243534469/watcher-1780714-1243534469 -o /tmp/evaluation-result-1780714-1243534469/solver-1780714-1243534469 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780714-1243534469.cnf aimd 1
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.29 4.52 4.46 3/96 17777
/proc/meminfo: memFree=2909040/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2412 CPUtime=0
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118111200 2469888 273 4294967295 134512640 135169312 3220769488 3220768024 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 603 273 231 161 0 42 0
[pid=17778] ppid=17777 vsize=2424 CPUtime=0.01
/proc/17778/stat : 17778 (SatElite) R 17777 17777 27966 0 -1 4202496 411 0 0 0 0 1 0 0 19 0 1 0 1118111200 2482176 348 4294967295 134512640 135034092 3217510272 3217506560 134545140 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17778/statm: 606 350 49 128 0 476 0
[startup+0.092587 s]
/proc/loadavg: 4.29 4.52 4.46 3/96 17777
/proc/meminfo: memFree=2909040/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2412 CPUtime=0
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118111200 2469888 273 4294967295 134512640 135169312 3220769488 3220768024 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 603 273 231 161 0 42 0
[pid=17778] ppid=17777 vsize=30360 CPUtime=0.09
/proc/17778/stat : 17778 (SatElite) R 17777 17777 27966 0 -1 4202496 6652 0 0 0 7 2 0 0 19 0 1 0 1118111200 31088640 6421 4294967295 134512640 135034092 3217510272 3217506616 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17778/statm: 7590 6422 49 128 0 7460 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 32772
[startup+0.102589 s]
/proc/loadavg: 4.29 4.52 4.46 3/96 17777
/proc/meminfo: memFree=2909040/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2412 CPUtime=0
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118111200 2469888 273 4294967295 134512640 135169312 3220769488 3220768024 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 603 273 231 161 0 42 0
[pid=17778] ppid=17777 vsize=31548 CPUtime=0.1
/proc/17778/stat : 17778 (SatElite) R 17777 17777 27966 0 -1 4202496 6958 0 0 0 7 3 0 0 19 0 1 0 1118111200 32305152 6727 4294967295 134512640 135034092 3217510272 3217506264 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17778/statm: 7887 6727 49 128 0 7757 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 33960
[startup+0.302569 s]
/proc/loadavg: 4.29 4.52 4.46 3/96 17777
/proc/meminfo: memFree=2909040/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2412 CPUtime=0
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118111200 2469888 273 4294967295 134512640 135169312 3220769488 3220768024 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 603 273 231 161 0 42 0
[pid=17778] ppid=17777 vsize=53148 CPUtime=0.3
/proc/17778/stat : 17778 (SatElite) R 17777 17777 27966 0 -1 4202496 12265 0 0 0 26 4 0 0 20 0 1 0 1118111200 54423552 12034 4294967295 134512640 135034092 3217510272 3217506616 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17778/statm: 13287 12035 49 128 0 13157 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 55560
[startup+0.702536 s]
/proc/loadavg: 4.29 4.52 4.46 3/96 17777
/proc/meminfo: memFree=2909040/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2412 CPUtime=0
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118111200 2469888 273 4294967295 134512640 135169312 3220769488 3220768024 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 603 273 231 161 0 42 0
[pid=17778] ppid=17777 vsize=78824 CPUtime=0.7
/proc/17778/stat : 17778 (SatElite) R 17777 17777 27966 0 -1 4202496 18668 0 0 0 63 7 0 0 21 0 1 0 1118111200 80715776 18437 4294967295 134512640 135034092 3217510272 3217506616 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17778/statm: 19706 18437 49 128 0 19576 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 81236
[startup+1.50248 s]
/proc/loadavg: 4.29 4.52 4.46 2/98 17779
/proc/meminfo: memFree=2807072/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2412 CPUtime=0
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118111200 2469888 273 4294967295 134512640 135169312 3220769488 3220768024 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 603 273 231 161 0 42 0
[pid=17778] ppid=17777 vsize=128228 CPUtime=1.5
/proc/17778/stat : 17778 (SatElite) R 17777 17777 27966 0 -1 4202496 30849 0 0 0 138 12 0 0 23 0 1 0 1118111200 131305472 30618 4294967295 134512640 135034092 3217510272 3217507072 134539656 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17778/statm: 32057 30618 63 128 0 31927 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 130640
[startup+3.10234 s]
/proc/loadavg: 4.03 4.46 4.44 2/98 17779
/proc/meminfo: memFree=2769872/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2412 CPUtime=0
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118111200 2469888 273 4294967295 134512640 135169312 3220769488 3220768024 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 603 273 231 161 0 42 0
[pid=17778] ppid=17777 vsize=150940 CPUtime=3.1
/proc/17778/stat : 17778 (SatElite) R 17777 17777 27966 0 -1 4202496 39621 0 0 0 296 14 0 0 25 0 1 0 1118111200 154562560 35818 4294967295 134512640 135034092 3217510272 3217506512 134566396 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17778/statm: 37735 35818 67 128 0 37605 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 153352
[startup+6.30207 s]
/proc/loadavg: 4.03 4.46 4.44 2/98 17780
/proc/meminfo: memFree=2758192/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2412 CPUtime=0
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118111200 2469888 273 4294967295 134512640 135169312 3220769488 3220768024 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 603 273 231 161 0 42 0
[pid=17778] ppid=17777 vsize=151668 CPUtime=6.3
/proc/17778/stat : 17778 (SatElite) R 17777 17777 27966 0 -1 4202496 45753 0 0 0 615 15 0 0 25 0 1 0 1118111200 155308032 36132 4294967295 134512640 135034092 3217510272 3217506512 134566279 0 0 0 3 0 0 0 17 1 0 0 0
/proc/17778/statm: 37917 36132 67 128 0 37787 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 154080
[startup+12.7316 s]
/proc/loadavg: 3.80 4.40 4.42 8/101 17784
/proc/meminfo: memFree=2620472/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=291996 CPUtime=12.45
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 65587 0 0 0 1189 56 0 0 15 0 4 0 1118111989 299003904 65491 4294967295 134512640 135305190 3213220752 3213218672 134542034 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/17781/statm: 72999 65491 79 194 0 72803 0
[pid=17781/tid=17782] ppid=17777 vsize=291996 CPUtime=2.55
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 1419 0 0 0 247 8 0 0 15 0 4 0 1118112202 299003904 65491 4294967295 134512640 135305190 3213220752 3017776432 134565634 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=291996 CPUtime=2.62
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 1335 0 0 0 254 8 0 0 16 0 4 0 1118112202 299003904 65491 4294967295 134512640 135305190 3213220752 3009387556 134695249 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=291996 CPUtime=2.58
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 1429 0 0 0 244 14 0 0 16 0 4 0 1118112203 299003904 65491 4294967295 134512640 135305190 3213220752 3000999104 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20.34
Current children cumulated vsize (KiB) 294412
[startup+25.5105 s]
/proc/loadavg: 4.45 4.51 4.46 6/102 17821
/proc/meminfo: memFree=2611092/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=301080 CPUtime=63.35
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 67860 0 0 0 6269 66 0 0 21 0 4 0 1118111989 308305920 67764 4294967295 134512640 135305190 3213220752 3213218680 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17781/statm: 75270 67764 79 194 0 75074 0
[pid=17781/tid=17782] ppid=17777 vsize=301080 CPUtime=15.23
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 1820 0 0 0 1509 14 0 0 25 0 4 0 1118112202 308305920 67764 4294967295 134512640 135305190 3213220752 3017776320 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=301080 CPUtime=15.34
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 2086 0 0 0 1526 8 0 0 25 0 4 0 1118112202 308305920 67764 4294967295 134512640 135305190 3213220752 3009387656 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=301080 CPUtime=15.34
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 1965 0 0 0 1520 14 0 0 24 0 4 0 1118112203 308305920 67764 4294967295 134512640 135305190 3213220752 3000999104 134528562 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 71.24
Current children cumulated vsize (KiB) 303496
[startup+51.1084 s]
/proc/loadavg: 4.36 4.49 4.45 6/101 17970
/proc/meminfo: memFree=2584852/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=327656 CPUtime=165.4
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 74447 0 0 0 16454 86 0 0 25 0 4 0 1118111989 335519744 74351 4294967295 134512640 135305190 3213220752 3213218404 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17781/statm: 81914 74351 79 194 0 81718 0
[pid=17781/tid=17782] ppid=17777 vsize=327656 CPUtime=40.59
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 3195 0 0 0 4040 19 0 0 25 0 4 0 1118112202 335519744 74351 4294967295 134512640 135305190 3213220752 3017776320 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=327656 CPUtime=40.88
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 4140 0 0 0 4077 11 0 0 25 0 4 0 1118112202 335519744 74351 4294967295 134512640 135305190 3213220752 3009387712 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=327656 CPUtime=40.9
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 3627 0 0 0 4074 16 0 0 25 0 4 0 1118112203 335519744 74351 4294967295 134512640 135305190 3213220752 3000999104 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 173.29
Current children cumulated vsize (KiB) 330072
[startup+102.314 s]
/proc/loadavg: 4.45 4.49 4.45 5/101 18158
/proc/meminfo: memFree=2539900/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=371908 CPUtime=369.69
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 85572 0 0 0 36853 116 0 0 25 0 4 0 1118111989 380833792 85476 4294967295 134512640 135305190 3213220752 3213218928 134528189 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17781/statm: 92977 85476 79 194 0 92781 0
[pid=17781/tid=17782] ppid=17777 vsize=371908 CPUtime=91.68
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 6033 0 0 0 9142 26 0 0 25 0 4 0 1118112202 380833792 85476 4294967295 134512640 135305190 3213220752 3017776320 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=371908 CPUtime=91.77
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 7192 0 0 0 9158 19 0 0 25 0 4 0 1118112202 380833792 85476 4294967295 134512640 135305190 3213220752 3009387712 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=371908 CPUtime=92.07
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 5870 0 0 0 9184 23 0 0 25 0 4 0 1118112203 380833792 85476 4294967295 134512640 135305190 3213220752 3000999104 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 377.58
Current children cumulated vsize (KiB) 374324
[startup+162.309 s]
/proc/loadavg: 4.46 4.48 4.45 5/101 18348
/proc/meminfo: memFree=2497264/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=415548 CPUtime=609
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 96347 0 0 0 60753 147 0 0 25 0 4 0 1118111989 425521152 96251 4294967295 134512640 135305190 3213220752 3213218872 134840070 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/17781/statm: 103887 96251 79 194 0 103691 0
[pid=17781/tid=17782] ppid=17777 vsize=415548 CPUtime=151.64
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 8077 0 0 0 15128 36 0 0 25 0 4 0 1118112202 425521152 96251 4294967295 134512640 135305190 3213220752 3017776320 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=415548 CPUtime=151.28
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 10763 0 0 0 15103 25 0 0 25 0 4 0 1118112202 425521152 96251 4294967295 134512640 135305190 3213220752 3009387712 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=415548 CPUtime=152.01
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 8432 0 0 0 15170 31 0 0 25 0 4 0 1118112203 425521152 96251 4294967295 134512640 135305190 3213220752 3000998644 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 616.89
Current children cumulated vsize (KiB) 417964
[startup+222.314 s]
/proc/loadavg: 4.54 4.50 4.46 5/101 18535
/proc/meminfo: memFree=2447584/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
################
# More data... #
################
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 22021 0 0 0 51112 60 0 0 25 0 4 0 1118112203 640331776 148917 4294967295 134512640 135305190 3213220752 3000999104 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2054.12
Current children cumulated vsize (KiB) 627740
[startup+582.304 s]
/proc/loadavg: 4.44 4.44 4.44 5/101 19668
/proc/meminfo: memFree=2222036/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=689036 CPUtime=2285.85
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 164809 0 0 0 228263 322 0 0 25 0 4 0 1118111989 705572864 164713 4294967295 134512640 135305190 3213220752 3213218928 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/17781/statm: 172259 164713 79 194 0 172063 0
[pid=17781/tid=17782] ppid=17777 vsize=689036 CPUtime=570.48
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 22314 0 0 0 56972 76 0 0 25 0 4 0 1118112202 705572864 164713 4294967295 134512640 135305190 3213220752 3017776048 134558354 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=689036 CPUtime=570.27
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 30213 0 0 0 56948 79 0 0 25 0 4 0 1118112202 705572864 164713 4294967295 134512640 135305190 3213220752 3009387328 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=689036 CPUtime=571.61
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 26534 0 0 0 57092 69 0 0 25 0 4 0 1118112203 705572864 164713 4294967295 134512640 135305190 3213220752 3000999104 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2293.74
Current children cumulated vsize (KiB) 691452
[startup+642.319 s]
/proc/loadavg: 4.44 4.44 4.44 5/101 19857
/proc/meminfo: memFree=2220384/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=689156 CPUtime=2525.41
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 164835 0 0 0 252205 336 0 0 25 0 4 0 1118111989 705695744 164739 4294967295 134512640 135305190 3213220752 3213218928 134528551 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17781/statm: 172289 164739 79 194 0 172093 0
[pid=17781/tid=17782] ppid=17777 vsize=689156 CPUtime=630.39
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 22323 0 0 0 62961 78 0 0 25 0 4 0 1118112202 705695744 164739 4294967295 134512640 135305190 3213220752 3017776320 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=689156 CPUtime=630.25
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 30230 0 0 0 62943 82 0 0 25 0 4 0 1118112202 705695744 164739 4294967295 134512640 135305190 3213220752 3009387328 134551703 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=689156 CPUtime=631.3
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 26534 0 0 0 63053 77 0 0 25 0 4 0 1118112203 705695744 164739 4294967295 134512640 135305190 3213220752 3000999104 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2533.3
Current children cumulated vsize (KiB) 691572
[startup+702.314 s]
/proc/loadavg: 4.36 4.42 4.43 6/101 20049
/proc/meminfo: memFree=2220632/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=689468 CPUtime=2764.74
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 164890 0 0 0 276115 359 0 0 25 0 4 0 1118111989 706015232 164794 4294967295 134512640 135305190 3213220752 3213218592 134551712 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17781/statm: 172367 164794 79 194 0 172171 0
[pid=17781/tid=17782] ppid=17777 vsize=689468 CPUtime=690.34
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 22326 0 0 0 68953 81 0 0 25 0 4 0 1118112202 706015232 164794 4294967295 134512640 135305190 3213220752 3017776320 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=689468 CPUtime=690.09
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 30253 0 0 0 68924 85 0 0 25 0 4 0 1118112202 706015232 164794 4294967295 134512640 135305190 3213220752 3009387328 134551953 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=689468 CPUtime=690.89
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 26563 0 0 0 69003 86 0 0 25 0 4 0 1118112203 706015232 164794 4294967295 134512640 135305190 3213220752 3000998832 134557370 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2772.63
Current children cumulated vsize (KiB) 691884
[startup+762.319 s]
/proc/loadavg: 4.69 4.48 4.45 5/101 20236
/proc/meminfo: memFree=2200932/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=710892 CPUtime=3003.98
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 170078 0 0 0 300014 384 0 0 25 0 4 0 1118111989 727953408 169982 4294967295 134512640 135305190 3213220752 3213218928 134528557 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17781/statm: 177723 169982 79 194 0 177527 0
[pid=17781/tid=17782] ppid=17777 vsize=710892 CPUtime=750.33
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 23606 0 0 0 74946 87 0 0 25 0 4 0 1118112202 727953408 169982 4294967295 134512640 135305190 3213220752 3017776320 134528559 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=710892 CPUtime=749.82
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 31088 0 0 0 74893 89 0 0 25 0 4 0 1118112202 727953408 169982 4294967295 134512640 135305190 3213220752 3009387328 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=710892 CPUtime=750.58
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 28488 0 0 0 74961 97 0 0 25 0 4 0 1118112203 727953408 169982 4294967295 134512640 135305190 3213220752 3000999048 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3011.87
Current children cumulated vsize (KiB) 713308
[startup+822.314 s]
/proc/loadavg: 4.56 4.47 4.45 5/101 20423
/proc/meminfo: memFree=2153820/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=758680 CPUtime=3243.42
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 182036 0 0 0 323934 408 0 0 25 0 4 0 1118111989 776888320 181940 4294967295 134512640 135305190 3213220752 3213218608 134843311 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17781/statm: 189670 181940 79 194 0 189474 0
[pid=17781/tid=17782] ppid=17777 vsize=758680 CPUtime=810.27
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 26039 0 0 0 80933 94 0 0 25 0 4 0 1118112202 776888320 181940 4294967295 134512640 135305190 3213220752 3017776308 134570388 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=758680 CPUtime=809.79
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 34169 0 0 0 80883 96 0 0 25 0 4 0 1118112202 776888320 181940 4294967295 134512640 135305190 3213220752 3009387712 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=758680 CPUtime=810.2
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 32295 0 0 0 80916 104 0 0 25 0 4 0 1118112203 776888320 181940 4294967295 134512640 135305190 3213220752 3000999104 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3251.31
Current children cumulated vsize (KiB) 761096
[startup+882.309 s]
/proc/loadavg: 4.50 4.47 4.45 6/101 20611
/proc/meminfo: memFree=2126448/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=783756 CPUtime=3482.94
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 188383 0 0 0 347868 426 0 0 25 0 4 0 1118111989 802566144 188287 4294967295 134512640 135305190 3213220752 3213218928 134528332 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/17781/statm: 195939 188287 79 194 0 195743 0
[pid=17781/tid=17782] ppid=17777 vsize=783756 CPUtime=870.19
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 27421 0 0 0 86921 98 0 0 25 0 4 0 1118112202 802566144 188287 4294967295 134512640 135305190 3213220752 3017776320 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=783756 CPUtime=869.79
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 35844 0 0 0 86880 99 0 0 25 0 4 0 1118112202 802566144 188287 4294967295 134512640 135305190 3213220752 3009387328 134551729 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=783756 CPUtime=869.91
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 34336 0 0 0 86884 107 0 0 25 0 4 0 1118112203 802566144 188287 4294967295 134512640 135305190 3213220752 3000998768 134551978 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3490.83
Current children cumulated vsize (KiB) 786172
[startup+942.305 s]
/proc/loadavg: 4.51 4.47 4.45 6/101 20800
/proc/meminfo: memFree=2126188/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=783936 CPUtime=3722.33
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 188405 0 0 0 371790 443 0 0 25 0 4 0 1118111989 802750464 188309 4294967295 134512640 135305190 3213220752 3213218928 134528768 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/17781/statm: 195984 188309 79 194 0 195788 0
[pid=17781/tid=17782] ppid=17777 vsize=783936 CPUtime=930.15
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 27423 0 0 0 92914 101 0 0 25 0 4 0 1118112202 802750464 188309 4294967295 134512640 135305190 3213220752 3017776320 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=783936 CPUtime=929.71
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 35854 0 0 0 92868 103 0 0 25 0 4 0 1118112202 802750464 188309 4294967295 134512640 135305190 3213220752 3009387712 134528576 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=783936 CPUtime=929.61
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 34337 0 0 0 92848 113 0 0 25 0 4 0 1118112203 802750464 188309 4294967295 134512640 135305190 3213220752 3000999104 134528319 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3730.22
Current children cumulated vsize (KiB) 786352
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.37 4.45 4.44 6/101 20988
/proc/meminfo: memFree=2125368/3368532 swapFree=1953788/1959888
[pid=17777] ppid=17775 vsize=2416 CPUtime=7.89
/proc/17777/stat : 17777 (manysat.sh) S 17775 17777 27966 0 -1 4194304 370 48074 0 0 0 0 768 21 18 0 1 0 1118111200 2473984 274 4294967295 134512640 135169312 3220769488 3220765704 3084967662 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/17777/statm: 604 274 231 161 0 43 0
[pid=17781] ppid=17777 vsize=783936 CPUtime=3952.6
/proc/17781/stat : 17781 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202496 188428 0 0 0 394804 456 0 0 25 0 4 0 1118111989 802750464 188332 4294967295 134512640 135305190 3213220752 3213218928 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/17781/statm: 195984 188332 79 194 0 195788 0
[pid=17781/tid=17782] ppid=17777 vsize=783936 CPUtime=987.48
/proc/17781/task/17782/stat : 17782 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 27423 0 0 0 98644 104 0 0 25 0 4 0 1118112202 802750464 188332 4294967295 134512640 135305190 3213220752 3017776320 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=17781/tid=17783] ppid=17777 vsize=783936 CPUtime=987.32
/proc/17781/task/17783/stat : 17783 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 35864 0 0 0 98627 105 0 0 25 0 4 0 1118112202 802750464 188332 4294967295 134512640 135305190 3213220752 3009387712 134528520 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=17781/tid=17784] ppid=17777 vsize=783936 CPUtime=987.23
/proc/17781/task/17784/stat : 17784 (manysat1.1_stat) R 17777 17777 27966 0 -1 4202560 34340 0 0 0 98605 118 0 0 25 0 4 0 1118112203 802750464 188332 4294967295 134512640 135305190 3213220752 3000998768 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3960.49
Current children cumulated vsize (KiB) 786352
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 17777 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=680000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=220000
# CPU time returned by wait4() is 7.9
# while last known CPU time is 3960.49
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.04
CPU time (s): 3960.49
CPU user time (s): 3955.72
CPU system time (s): 4.77
CPU usage (%): 396.033
Max. virtual memory (cumulated for all children) (KiB): 786352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.68
system time used= 0.22
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48444
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= 16
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on at 2009-05-28 20:14:29
IDJOB=1780714
IDBENCH=71055
IDSOLVER=623
FILE ID=/1780714-1243534469
PBS_JOBID=
Free space on /tmp= 6450 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780714-1243534469/watcher-1780714-1243534469 -o /tmp/evaluation-result-1780714-1243534469/solver-1780714-1243534469 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780714-1243534469.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998
RANDOM SEED= 1967411784
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: 2909144 kB
Buffers: 58432 kB
Cached: 300064 kB
SwapCached: 2256 kB
Active: 151664 kB
Inactive: 216272 kB
HighTotal: 2489216 kB
HighFree: 2177484 kB
LowTotal: 879316 kB
LowFree: 731660 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 28284 kB
Writeback: 0 kB
AnonPages: 8760 kB
Mapped: 3264 kB
Slab: 81044 kB
SReclaimable: 67720 kB
SUnreclaim: 13324 kB
PageTables: 476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88676 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6422 MiB
End job on at 2009-05-28 20:31:13