0.00/0.00 c Parsing...
0.00/0.04 c ==============================================================================
0.00/0.04 c | | ORIGINAL | LEARNT | |
0.00/0.04 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.04 c ==============================================================================
0.00/0.04 c | 0 | 74789 222346 | 22436 0 0 nan | 0.000 % |
0.00/0.52 c | 0 | 73888 319243 | -- 0 -- -- | -- | -901/96897
0.00/0.52 c ==============================================================================
0.00/0.52 c Result : #vars: 763 #clauses: 73888 #literals: 319243
0.00/0.52 c CPU time: 0.52 s
0.00/0.52 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780762-1243535763/watcher-1780762-1243535763 -o /tmp/evaluation-result-1780762-1243535763/solver-1780762-1243535763 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780762-1243535763.cnf aimd 2
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.44 4.37 3/115 2655
/proc/meminfo: memFree=2927128/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2416 CPUtime=0
/proc/2655/stat : 2655 (manysat.sh) R 2653 2655 12261 0 -1 4194304 335 0 0 0 0 0 0 0 18 0 1 0 1118256073 2473984 274 4294967295 134512640 135169312 3217983536 3217982012 3085813620 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/2655/statm: 604 274 231 161 0 43 0
[startup+0.066258 s]
/proc/loadavg: 4.29 4.44 4.37 3/115 2655
/proc/meminfo: memFree=2927128/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2416 CPUtime=0
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118256073 2473984 274 4294967295 134512640 135169312 3217983536 3217982072 3085811438 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2655/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.116255 s]
/proc/loadavg: 4.29 4.44 4.37 3/115 2655
/proc/meminfo: memFree=2927128/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2416 CPUtime=0
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118256073 2473984 274 4294967295 134512640 135169312 3217983536 3217982072 3085811438 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2655/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.316246 s]
/proc/loadavg: 4.29 4.44 4.37 3/115 2655
/proc/meminfo: memFree=2927128/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2416 CPUtime=0
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1118256073 2473984 274 4294967295 134512640 135169312 3217983536 3217982072 3085811438 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/2655/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2416
[startup+0.716229 s]
/proc/loadavg: 4.29 4.44 4.37 3/115 2655
/proc/meminfo: memFree=2927128/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 2420
[startup+1.51621 s]
/proc/loadavg: 4.29 4.44 4.37 5/120 2664
/proc/meminfo: memFree=2902992/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=51300 CPUtime=3.12
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 6399 0 0 0 309 3 0 0 18 0 4 0 1118256136 52531200 6335 4294967295 134512640 135305190 3217676256 3217674432 134528248 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 12825 6335 79 194 0 12629 0
[pid=2659/tid=2662] ppid=2655 vsize=51300 CPUtime=0.74
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 391 0 0 0 73 1 0 0 19 0 4 0 1118256149 52531200 6335 4294967295 134512640 135305190 3217676256 3084840128 134528235 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=51300 CPUtime=0.75
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 379 0 0 0 75 0 0 0 20 0 4 0 1118256149 52531200 6335 4294967295 134512640 135305190 3217676256 3076451520 134528224 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=51300 CPUtime=0.75
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 366 0 0 0 75 0 0 0 19 0 4 0 1118256149 52531200 6335 4294967295 134512640 135305190 3217676256 3068062912 134528329 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 53720
[startup+3.11614 s]
/proc/loadavg: 4.29 4.44 4.37 6/120 2664
/proc/meminfo: memFree=2898972/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=56292 CPUtime=9.52
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 7519 0 0 0 949 3 0 0 20 0 4 0 1118256136 57643008 7455 4294967295 134512640 135305190 3217676256 3217674304 134857151 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 14073 7455 79 194 0 13877 0
[pid=2659/tid=2662] ppid=2655 vsize=56292 CPUtime=2.34
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 639 0 0 0 233 1 0 0 23 0 4 0 1118256149 57643008 7455 4294967295 134512640 135305190 3217676256 3084840128 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=56292 CPUtime=2.35
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 652 0 0 0 235 0 0 0 25 0 4 0 1118256149 57643008 7455 4294967295 134512640 135305190 3217676256 3076451520 134528435 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=56292 CPUtime=2.35
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 724 0 0 0 235 0 0 0 22 0 4 0 1118256149 57643008 7455 4294967295 134512640 135305190 3217676256 3068062704 134547909 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.15
Current children cumulated vsize (KiB) 58712
[startup+6.31602 s]
/proc/loadavg: 4.26 4.43 4.37 5/120 2665
/proc/meminfo: memFree=2891448/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=63176 CPUtime=22.32
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 9148 0 0 0 2227 5 0 0 25 0 4 0 1118256136 64692224 9084 4294967295 134512640 135305190 3217676256 3217674432 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 15794 9084 79 194 0 15598 0
[pid=2659/tid=2662] ppid=2655 vsize=63176 CPUtime=5.54
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 957 0 0 0 551 3 0 0 25 0 4 0 1118256149 64692224 9084 4294967295 134512640 135305190 3217676256 3084840128 134528310 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=63176 CPUtime=5.55
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 1052 0 0 0 555 0 0 0 25 0 4 0 1118256149 64692224 9084 4294967295 134512640 135305190 3217676256 3076451520 134528562 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=63176 CPUtime=5.55
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 1184 0 0 0 555 0 0 0 25 0 4 0 1118256149 64692224 9084 4294967295 134512640 135305190 3217676256 3068062912 134528777 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 22.95
Current children cumulated vsize (KiB) 65596
[startup+12.7158 s]
/proc/loadavg: 4.24 4.42 4.36 6/120 2672
/proc/meminfo: memFree=2877808/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=76084 CPUtime=47.88
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 12214 0 0 0 4781 7 0 0 25 0 4 0 1118256136 77910016 12150 4294967295 134512640 135305190 3217676256 3217674432 134528274 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 19021 12150 79 194 0 18825 0
[pid=2659/tid=2662] ppid=2655 vsize=76084 CPUtime=11.94
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 1553 0 0 0 1191 3 0 0 25 0 4 0 1118256149 77910016 12150 4294967295 134512640 135305190 3217676256 3084840128 134528548 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=76084 CPUtime=11.95
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 1901 0 0 0 1194 1 0 0 25 0 4 0 1118256149 77910016 12150 4294967295 134512640 135305190 3217676256 3076451520 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=76084 CPUtime=11.91
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 1963 0 0 0 1190 1 0 0 25 0 4 0 1118256149 77910016 12150 4294967295 134512640 135305190 3217676256 3068062912 134528576 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 48.51
Current children cumulated vsize (KiB) 78504
[startup+25.5153 s]
/proc/loadavg: 4.41 4.45 4.37 5/120 2672
/proc/meminfo: memFree=2866144/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=88428 CPUtime=99.06
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 15244 0 0 0 9898 8 0 0 25 0 4 0 1118256136 90550272 15180 4294967295 134512640 135305190 3217676256 3217674432 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 22107 15180 79 194 0 21911 0
[pid=2659/tid=2662] ppid=2655 vsize=88428 CPUtime=24.74
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 2446 0 0 0 2470 4 0 0 25 0 4 0 1118256149 90550272 15180 4294967295 134512640 135305190 3217676256 3084840128 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=88428 CPUtime=24.75
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 2629 0 0 0 2474 1 0 0 25 0 4 0 1118256149 90550272 15180 4294967295 134512640 135305190 3217676256 3076451520 134528319 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=88428 CPUtime=24.69
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 2559 0 0 0 2468 1 0 0 25 0 4 0 1118256149 90550272 15180 4294967295 134512640 135305190 3217676256 3068062912 134528418 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.69
Current children cumulated vsize (KiB) 90848
[startup+51.1142 s]
/proc/loadavg: 4.52 4.48 4.38 6/120 2869
/proc/meminfo: memFree=2852552/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=102156 CPUtime=200.98
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 18475 0 0 0 20082 16 0 0 25 0 4 0 1118256136 104607744 18411 4294967295 134512640 135305190 3217676256 3217674160 134558376 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 25539 18411 79 194 0 25343 0
[pid=2659/tid=2662] ppid=2655 vsize=102156 CPUtime=50.31
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 3235 0 0 0 5026 5 0 0 25 0 4 0 1118256149 104607744 18411 4294967295 134512640 135305190 3217676256 3084840128 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=102156 CPUtime=50.17
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 3583 0 0 0 5011 6 0 0 25 0 4 0 1118256149 104607744 18411 4294967295 134512640 135305190 3217676256 3076451520 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=102156 CPUtime=50.15
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 3135 0 0 0 5013 2 0 0 25 0 4 0 1118256149 104607744 18411 4294967295 134512640 135305190 3217676256 3068062912 134528332 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 201.61
Current children cumulated vsize (KiB) 104576
[startup+102.312 s]
/proc/loadavg: 4.45 4.46 4.38 5/120 3059
/proc/meminfo: memFree=2825900/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=130600 CPUtime=405.26
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 25103 0 0 0 40483 43 0 0 25 0 4 0 1118256136 133734400 25039 4294967295 134512640 135305190 3217676256 3217674224 134547909 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 32650 25039 79 194 0 32454 0
[pid=2659/tid=2662] ppid=2655 vsize=130600 CPUtime=101.33
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 4844 0 0 0 10122 11 0 0 25 0 4 0 1118256149 133734400 25039 4294967295 134512640 135305190 3217676256 3084840128 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=130600 CPUtime=101.32
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 5374 0 0 0 10124 8 0 0 25 0 4 0 1118256149 133734400 25039 4294967295 134512640 135305190 3217676256 3076451520 134528402 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=130600 CPUtime=101.34
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 4727 0 0 0 10122 12 0 0 25 0 4 0 1118256149 133734400 25039 4294967295 134512640 135305190 3217676256 3068062912 134528425 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 405.89
Current children cumulated vsize (KiB) 133020
[startup+162.31 s]
/proc/loadavg: 4.59 4.48 4.39 6/120 3249
/proc/meminfo: memFree=2806348/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=150956 CPUtime=644.38
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 29783 0 0 0 64365 73 0 0 25 0 4 0 1118256136 154578944 29693 4294967295 134512640 135305190 3217676256 3217674432 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 37739 29693 79 194 0 37543 0
[pid=2659/tid=2662] ppid=2655 vsize=150956 CPUtime=161.21
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 5935 0 0 0 16101 20 0 0 25 0 4 0 1118256149 154578944 29693 4294967295 134512640 135305190 3217676256 3084840128 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=150956 CPUtime=160.98
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 6696 0 0 0 16084 14 0 0 25 0 4 0 1118256149 154578944 29693 4294967295 134512640 135305190 3217676256 3076451520 134528506 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=150956 CPUtime=161.18
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 5477 0 0 0 16104 14 0 0 25 0 4 0 1118256149 154578944 29693 4294967295 134512640 135305190 3217676256 3068062912 134528402 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 645.01
Current children cumulated vsize (KiB) 153376
[startup+222.317 s]
################
# More data... #
################
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 10290 0 0 0 51971 50 0 0 25 0 4 0 1118256149 243552256 49427 4294967295 134512640 135305190 3217676256 3068062912 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2081.21
Current children cumulated vsize (KiB) 240264
[startup+582.313 s]
/proc/loadavg: 4.75 4.63 4.48 7/121 4418
/proc/meminfo: memFree=2723268/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=243380 CPUtime=2319.96
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 50866 0 0 0 231740 256 0 0 25 0 4 0 1118256136 249221120 50760 4294967295 134512640 135305190 3217676256 3217674432 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 60845 50760 79 194 0 60649 0
[pid=2659/tid=2662] ppid=2655 vsize=243380 CPUtime=580.07
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 10486 0 0 0 57941 66 0 0 25 0 4 0 1118256149 249221120 50760 4294967295 134512640 135305190 3217676256 3084839856 134557150 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=243380 CPUtime=579.4
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 12765 0 0 0 57889 51 0 0 25 0 4 0 1118256149 249221120 50760 4294967295 134512640 135305190 3217676256 3076451520 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=243380 CPUtime=580.08
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 10795 0 0 0 57949 59 0 0 25 0 4 0 1118256149 249221120 50760 4294967295 134512640 135305190 3217676256 3068062912 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2320.59
Current children cumulated vsize (KiB) 245800
[startup+642.311 s]
/proc/loadavg: 4.65 4.64 4.49 5/120 4601
/proc/meminfo: memFree=2704444/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=265232 CPUtime=2559.72
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 55588 0 0 0 255695 277 0 0 25 0 4 0 1118256136 271597568 55482 4294967295 134512640 135305190 3217676256 3217674432 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 66308 55482 79 194 0 66112 0
[pid=2659/tid=2662] ppid=2655 vsize=265232 CPUtime=640.03
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 11991 0 0 0 63932 71 0 0 25 0 4 0 1118256149 271597568 55482 4294967295 134512640 135305190 3217676256 3084840128 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=265232 CPUtime=639.25
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 13195 0 0 0 63869 56 0 0 25 0 4 0 1118256149 271597568 55482 4294967295 134512640 135305190 3217676256 3076451520 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=265232 CPUtime=640.03
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 11628 0 0 0 63940 63 0 0 25 0 4 0 1118256149 271597568 55482 4294967295 134512640 135305190 3217676256 3068062912 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2560.35
Current children cumulated vsize (KiB) 267652
[startup+702.308 s]
/proc/loadavg: 4.81 4.68 4.51 5/120 4790
/proc/meminfo: memFree=2695516/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=274252 CPUtime=2799.27
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 57737 0 0 0 279629 298 0 0 25 0 4 0 1118256136 280834048 57631 4294967295 134512640 135305190 3217676256 3217674432 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 68563 57631 79 194 0 68367 0
[pid=2659/tid=2662] ppid=2655 vsize=274252 CPUtime=699.86
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 12381 0 0 0 69908 78 0 0 25 0 4 0 1118256149 280834048 57631 4294967295 134512640 135305190 3217676256 3084840128 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=274252 CPUtime=699.18
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 14458 0 0 0 69858 60 0 0 25 0 4 0 1118256149 280834048 57631 4294967295 134512640 135305190 3217676256 3076451408 134539426 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=274252 CPUtime=699.82
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 11993 0 0 0 69913 69 0 0 25 0 4 0 1118256149 280834048 57631 4294967295 134512640 135305190 3217676256 3068062912 134528224 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2799.9
Current children cumulated vsize (KiB) 276672
[startup+762.316 s]
/proc/loadavg: 4.69 4.68 4.52 5/120 4983
/proc/meminfo: memFree=2691632/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=278152 CPUtime=3038.88
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 58617 0 0 0 303572 316 0 0 25 0 4 0 1118256136 284827648 58511 4294967295 134512640 135305190 3217676256 3217674432 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 69538 58511 79 194 0 69342 0
[pid=2659/tid=2662] ppid=2655 vsize=278152 CPUtime=759.67
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 12575 0 0 0 75876 91 0 0 25 0 4 0 1118256149 284827648 58511 4294967295 134512640 135305190 3217676256 3084840128 134528777 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=278152 CPUtime=759.07
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 14748 0 0 0 75846 61 0 0 25 0 4 0 1118256149 284827648 58511 4294967295 134512640 135305190 3217676256 3076451520 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=278152 CPUtime=759.72
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 12278 0 0 0 75903 69 0 0 25 0 4 0 1118256149 284827648 58511 4294967295 134512640 135305190 3217676256 3068062912 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.51
Current children cumulated vsize (KiB) 280572
[startup+822.313 s]
/proc/loadavg: 4.56 4.66 4.53 5/120 5171
/proc/meminfo: memFree=2673312/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=296048 CPUtime=3278.42
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 63136 0 0 0 327502 340 0 0 25 0 4 0 1118256136 303153152 63030 4294967295 134512640 135305190 3217676256 3217674432 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 74012 63030 79 194 0 73816 0
[pid=2659/tid=2662] ppid=2655 vsize=296048 CPUtime=819.54
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 13373 0 0 0 81860 94 0 0 25 0 4 0 1118256149 303153152 63030 4294967295 134512640 135305190 3217676256 3084840128 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=296048 CPUtime=818.82
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 16380 0 0 0 81814 68 0 0 25 0 4 0 1118256149 303153152 63030 4294967295 134512640 135305190 3217676256 3076451520 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=296048 CPUtime=819.65
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 13759 0 0 0 81887 78 0 0 25 0 4 0 1118256149 303153152 63030 4294967295 134512640 135305190 3217676256 3068062912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.05
Current children cumulated vsize (KiB) 298468
[startup+882.311 s]
/proc/loadavg: 4.43 4.61 4.52 5/120 5359
/proc/meminfo: memFree=2666128/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=303560 CPUtime=3517.84
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 64835 0 0 0 351433 351 0 0 25 0 4 0 1118256136 310845440 64729 4294967295 134512640 135305190 3217676256 3217674432 134528520 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 75890 64729 79 194 0 75694 0
[pid=2659/tid=2662] ppid=2655 vsize=303560 CPUtime=879.22
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 13575 0 0 0 87825 97 0 0 25 0 4 0 1118256149 310845440 64729 4294967295 134512640 135305190 3217676256 3084840016 134539038 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=303560 CPUtime=878.71
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 16874 0 0 0 87802 69 0 0 25 0 4 0 1118256149 310845440 64729 4294967295 134512640 135305190 3217676256 3076451520 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=303560 CPUtime=879.53
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 14093 0 0 0 87873 80 0 0 25 0 4 0 1118256149 310845440 64729 4294967295 134512640 135305190 3217676256 3068062912 134528557 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.47
Current children cumulated vsize (KiB) 305980
[startup+942.309 s]
/proc/loadavg: 4.68 4.66 4.54 6/120 5547
/proc/meminfo: memFree=2663924/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=306264 CPUtime=3757.14
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 65600 0 0 0 375333 381 0 0 25 0 4 0 1118256136 313614336 65490 4294967295 134512640 135305190 3217676256 3217674432 134528289 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 76566 65490 79 194 0 76370 0
[pid=2659/tid=2662] ppid=2655 vsize=306264 CPUtime=938.94
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 13731 0 0 0 93793 101 0 0 25 0 4 0 1118256149 313614336 65490 4294967295 134512640 135305190 3217676256 3084840128 134528256 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=306264 CPUtime=938.39
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 16981 0 0 0 93759 80 0 0 25 0 4 0 1118256149 313614336 65490 4294967295 134512640 135305190 3217676256 3076451520 134528338 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=306264 CPUtime=939.46
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 14241 0 0 0 93863 83 0 0 25 0 4 0 1118256149 313614336 65490 4294967295 134512640 135305190 3217676256 3068062912 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.77
Current children cumulated vsize (KiB) 308684
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.66 4.66 4.55 5/120 5736
/proc/meminfo: memFree=2659928/3368532 swapFree=1941392/1959888
[pid=2655] ppid=2653 vsize=2420 CPUtime=0.63
/proc/2655/stat : 2655 (manysat.sh) S 2653 2655 12261 0 -1 4194304 370 2094 0 0 0 0 61 2 15 0 1 0 1118256073 2478080 275 4294967295 134512640 135169312 3217983536 3217979752 3085811438 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/2655/statm: 605 275 231 161 0 44 0
[pid=2659] ppid=2655 vsize=311228 CPUtime=3987.47
/proc/2659/stat : 2659 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202496 66597 0 0 0 398343 404 0 0 25 0 4 0 1118256136 318697472 66487 4294967295 134512640 135305190 3217676256 3217674432 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/2659/statm: 77807 66487 79 194 0 77611 0
[pid=2659/tid=2662] ppid=2655 vsize=311228 CPUtime=996.55
/proc/2659/task/2662/stat : 2662 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 13846 0 0 0 99547 108 0 0 25 0 4 0 1118256149 318697472 66487 4294967295 134512640 135305190 3217676256 3084840128 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=2659/tid=2663] ppid=2655 vsize=311228 CPUtime=996.05
/proc/2659/task/2663/stat : 2663 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 17168 0 0 0 99524 81 0 0 25 0 4 0 1118256149 318697472 66487 4294967295 134512640 135305190 3217676256 3076451520 134528506 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=2659/tid=2664] ppid=2655 vsize=311228 CPUtime=996.98
/proc/2659/task/2664/stat : 2664 (manysat1.1_stat) R 2655 2655 12261 0 -1 4202560 14564 0 0 0 99609 89 0 0 25 0 4 0 1118256149 318697472 66487 4294967295 134512640 135305190 3217676256 3068062912 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3988.1
Current children cumulated vsize (KiB) 313648
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 2655 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=610000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20000
# CPU time returned by wait4() is 0.63
# while last known CPU time is 3988.1
#
# 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): 3988.1
CPU user time (s): 3984.04
CPU system time (s): 4.06
CPU usage (%): 398.795
Max. virtual memory (cumulated for all children) (KiB): 313648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.61
system time used= 0.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2464
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= 5
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 20:36:03
IDJOB=1780762
IDBENCH=71065
IDSOLVER=626
FILE ID=/1780762-1243535763
PBS_JOBID=
Free space on /tmp= 15728 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780762-1243535763/watcher-1780762-1243535763 -o /tmp/evaluation-result-1780762-1243535763/solver-1780762-1243535763 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780762-1243535763.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 0b7170d33b896e8b879b19b65ac5c517
RANDOM SEED= 160086329
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.143
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.42
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.143
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.143
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.17
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.143
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: 2927524 kB
Buffers: 38740 kB
Cached: 321112 kB
SwapCached: 4320 kB
Active: 142048 kB
Inactive: 228600 kB
HighTotal: 2489216 kB
HighFree: 2155568 kB
LowTotal: 879316 kB
LowFree: 771956 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 2732 kB
Writeback: 12 kB
AnonPages: 9676 kB
Mapped: 4240 kB
Slab: 59600 kB
SReclaimable: 51108 kB
SUnreclaim: 8492 kB
PageTables: 808 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127444 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15726 MiB
End job on at 2009-05-28 20:52:45