0.00/0.00 c Parsing...
0.03/0.07 c ==============================================================================
0.03/0.07 c | | ORIGINAL | LEARNT | |
0.03/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.03/0.07 c ==============================================================================
0.03/0.07 c | 0 | 133055 396210 | 39916 0 0 nan | 0.000 % |
0.71/0.73 c | 0 | 132150 561686 | -- 0 -- -- | -- | -905/165476
0.71/0.73 c ==============================================================================
0.71/0.73 c Result : #vars: 1298 #clauses: 132150 #literals: 561686
0.71/0.73 c CPU time: 0.73 s
0.71/0.73 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781137-1243542950/watcher-1781137-1243542950 -o /tmp/evaluation-result-1781137-1243542950/solver-1781137-1243542950 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781137-1243542950.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.60 4.58 4.50 5/97 11936
/proc/meminfo: memFree=2930176/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2412 CPUtime=0
/proc/11935/stat : 11935 (manysat.sh) R 11933 11935 27966 0 -1 4194304 334 0 0 0 0 0 0 0 19 0 1 0 1118959133 2469888 273 4294967295 134512640 135169312 3218200672 3218199148 3085805428 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/11935/statm: 603 273 231 161 0 42 0
[pid=11936] ppid=11935 vsize=1040 CPUtime=0.01
/proc/11936/stat : 11936 (SatElite) R 11935 11935 27966 0 -1 4202496 221 0 0 0 1 0 0 0 19 0 1 0 1118959133 1064960 158 4294967295 134512640 135034092 3220599408 3220595776 134522766 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11936/statm: 260 158 49 128 0 130 0
[startup+0.022975 s]
/proc/loadavg: 4.60 4.58 4.50 5/97 11936
/proc/meminfo: memFree=2930176/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2412 CPUtime=0
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 349 0 0 0 0 0 0 0 19 0 1 0 1118959133 2469888 273 4294967295 134512640 135169312 3218200672 3218199208 3085803246 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/11935/statm: 603 273 231 161 0 42 0
[pid=11936] ppid=11935 vsize=2804 CPUtime=0.03
/proc/11936/stat : 11936 (SatElite) R 11935 11935 27966 0 -1 4202496 618 0 0 0 3 0 0 0 23 0 1 0 1118959133 2871296 555 4294967295 134512640 135034092 3220599408 3220595504 134543255 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11936/statm: 701 555 49 128 0 571 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5216
[startup+0.112969 s]
/proc/loadavg: 4.60 4.58 4.50 5/97 11936
/proc/meminfo: memFree=2930176/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2412 CPUtime=0
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 349 0 0 0 0 0 0 0 19 0 1 0 1118959133 2469888 273 4294967295 134512640 135169312 3218200672 3218199208 3085803246 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/11935/statm: 603 273 231 161 0 42 0
[pid=11936] ppid=11935 vsize=11316 CPUtime=0.12
/proc/11936/stat : 11936 (SatElite) R 11935 11935 27966 0 -1 4202496 2628 0 0 0 12 0 0 0 23 0 1 0 1118959133 11587584 2565 4294967295 134512640 135034092 3220599408 3220595404 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/11936/statm: 2829 2565 67 128 0 2699 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13728
[startup+0.312949 s]
/proc/loadavg: 4.60 4.58 4.50 5/97 11936
/proc/meminfo: memFree=2930176/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2412 CPUtime=0
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 349 0 0 0 0 0 0 0 19 0 1 0 1118959133 2469888 273 4294967295 134512640 135169312 3218200672 3218199208 3085803246 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/11935/statm: 603 273 231 161 0 42 0
[pid=11936] ppid=11935 vsize=15744 CPUtime=0.31
/proc/11936/stat : 11936 (SatElite) R 11935 11935 27966 0 -1 4202496 3478 0 0 0 31 0 0 0 23 0 1 0 1118959133 16121856 3415 4294967295 134512640 135034092 3220599408 3220595712 134569271 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11936/statm: 3936 3415 67 128 0 3806 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 18156
[startup+0.712916 s]
/proc/loadavg: 4.60 4.58 4.50 5/97 11936
/proc/meminfo: memFree=2930176/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2412 CPUtime=0
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 349 0 0 0 0 0 0 0 19 0 1 0 1118959133 2469888 273 4294967295 134512640 135169312 3218200672 3218199208 3085803246 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/11935/statm: 603 273 231 161 0 42 0
[pid=11936] ppid=11935 vsize=15744 CPUtime=0.71
/proc/11936/stat : 11936 (SatElite) R 11935 11935 27966 0 -1 4202496 3478 0 0 0 71 0 0 0 25 0 1 0 1118959133 16121856 3415 4294967295 134512640 135034092 3220599408 3220595712 134569613 0 0 0 3 0 0 0 17 0 0 0 0
/proc/11936/statm: 3936 3415 67 128 0 3806 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 18156
[startup+1.51286 s]
/proc/loadavg: 4.60 4.58 4.50 2/98 11939
/proc/meminfo: memFree=2909880/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=65836 CPUtime=1.56
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 10124 0 0 0 151 5 0 0 16 0 4 0 1118959224 67416064 10060 4294967295 134512640 135305190 3215885856 3215884032 134528376 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/11939/statm: 16459 10060 79 194 0 16263 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 68252
[startup+3.11273 s]
/proc/loadavg: 4.32 4.52 4.48 8/101 11942
/proc/meminfo: memFree=2881168/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=81580 CPUtime=7.93
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 13679 0 0 0 786 7 0 0 15 0 4 0 1118959224 83537920 13615 4294967295 134512640 135305190 3215885856 3215884032 134530561 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/11939/statm: 20395 13615 79 194 0 20199 0
[pid=11939/tid=11940] ppid=11935 vsize=81580 CPUtime=1.93
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 1374 0 0 0 193 0 0 0 17 0 4 0 1118959248 83537920 13615 4294967295 134512640 135305190 3215885856 3083566272 134528237 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=81580 CPUtime=1.95
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 1302 0 0 0 193 2 0 0 20 0 4 0 1118959248 83537920 13615 4294967295 134512640 135305190 3215885856 3075177664 134528319 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=81580 CPUtime=1.88
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 1304 0 0 0 188 0 0 0 15 0 4 0 1118959248 83537920 13615 4294967295 134512640 135305190 3215885856 3066788736 134843311 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.84
Current children cumulated vsize (KiB) 83996
[startup+6.31246 s]
/proc/loadavg: 4.32 4.52 4.48 5/101 11942
/proc/meminfo: memFree=2857824/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=102808 CPUtime=20.72
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 19279 0 0 0 2063 9 0 0 18 0 4 0 1118959224 105275392 19215 4294967295 134512640 135305190 3215885856 3215883976 134839991 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/11939/statm: 25702 19215 79 194 0 25506 0
[pid=11939/tid=11940] ppid=11935 vsize=102808 CPUtime=5.13
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 2641 0 0 0 513 0 0 0 20 0 4 0 1118959248 105275392 19215 4294967295 134512640 135305190 3215885856 3083566272 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=102808 CPUtime=5.15
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 2514 0 0 0 513 2 0 0 25 0 4 0 1118959248 105275392 19215 4294967295 134512640 135305190 3215885856 3075177664 134528402 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=102808 CPUtime=5.08
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 2769 0 0 0 507 1 0 0 16 0 4 0 1118959248 105275392 19215 4294967295 134512640 135305190 3215885856 3066788848 134548531 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.63
Current children cumulated vsize (KiB) 105224
[startup+12.7119 s]
/proc/loadavg: 4.50 4.55 4.49 7/101 11942
/proc/meminfo: memFree=2837924/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=120752 CPUtime=46.29
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 23565 0 0 0 4617 12 0 0 25 0 4 0 1118959224 123650048 23501 4294967295 134512640 135305190 3215885856 3215884032 134528379 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/11939/statm: 30188 23501 79 194 0 29992 0
[pid=11939/tid=11940] ppid=11935 vsize=120752 CPUtime=11.51
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 3816 0 0 0 1150 1 0 0 25 0 4 0 1118959248 123650048 23501 4294967295 134512640 135305190 3215885856 3083566272 134528438 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=120752 CPUtime=11.55
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 3516 0 0 0 1152 3 0 0 25 0 4 0 1118959248 123650048 23501 4294967295 134512640 135305190 3215885856 3075177664 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=120752 CPUtime=11.47
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 4017 0 0 0 1146 1 0 0 19 0 4 0 1118959248 123650048 23501 4294967295 134512640 135305190 3215885856 3066789056 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.2
Current children cumulated vsize (KiB) 123168
[startup+25.5109 s]
/proc/loadavg: 4.42 4.53 4.48 5/101 12127
/proc/meminfo: memFree=2805680/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=149372 CPUtime=97.16
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 30744 0 0 0 9688 28 0 0 20 0 4 0 1118959224 152956928 30680 4294967295 134512640 135305190 3215885856 3215884032 134528548 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/11939/statm: 37343 30680 79 194 0 37147 0
[pid=11939/tid=11940] ppid=11935 vsize=149372 CPUtime=24.25
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 5308 0 0 0 2422 3 0 0 24 0 4 0 1118959248 152956928 30680 4294967295 134512640 135305190 3215885856 3083566272 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=149372 CPUtime=24.13
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 4800 0 0 0 2401 12 0 0 25 0 4 0 1118959248 152956928 30680 4294967295 134512640 135305190 3215885856 3075177664 134528418 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=149372 CPUtime=24.24
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 5818 0 0 0 2419 5 0 0 25 0 4 0 1118959248 152956928 30680 4294967295 134512640 135305190 3215885856 3066789056 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 98.07
Current children cumulated vsize (KiB) 151788
[startup+51.1087 s]
/proc/loadavg: 4.36 4.50 4.47 5/101 12128
/proc/meminfo: memFree=2773640/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=183152 CPUtime=199.43
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 38788 0 0 0 19908 35 0 0 25 0 4 0 1118959224 187547648 38721 4294967295 134512640 135305190 3215885856 3215884032 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/11939/statm: 45788 38721 79 194 0 45592 0
[pid=11939/tid=11940] ppid=11935 vsize=183152 CPUtime=49.84
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 7386 0 0 0 4979 5 0 0 25 0 4 0 1118959248 187547648 38721 4294967295 134512640 135305190 3215885856 3083566384 134563880 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=183152 CPUtime=49.63
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 6250 0 0 0 4949 14 0 0 25 0 4 0 1118959248 187547648 38721 4294967295 134512640 135305190 3215885856 3075177408 134541974 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=183152 CPUtime=49.83
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 7758 0 0 0 4976 7 0 0 25 0 4 0 1118959248 187547648 38721 4294967295 134512640 135305190 3215885856 3066789056 134528341 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 200.34
Current children cumulated vsize (KiB) 185568
[startup+102.315 s]
/proc/loadavg: 4.49 4.51 4.47 5/101 12320
/proc/meminfo: memFree=2723232/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=233780 CPUtime=403.5
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 51154 0 0 0 40298 52 0 0 25 0 4 0 1118959224 239390720 51081 4294967295 134512640 135305190 3215885856 3215884032 134528392 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/11939/statm: 58445 51081 79 194 0 58249 0
[pid=11939/tid=11940] ppid=11935 vsize=233780 CPUtime=100.89
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 10453 0 0 0 10078 11 0 0 25 0 4 0 1118959248 239390720 51081 4294967295 134512640 135305190 3215885856 3083566272 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=233780 CPUtime=100.42
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 9559 0 0 0 10024 18 0 0 25 0 4 0 1118959248 239390720 51081 4294967295 134512640 135305190 3215885856 3075177664 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=233780 CPUtime=100.91
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 10775 0 0 0 10079 12 0 0 25 0 4 0 1118959248 239390720 51081 4294967295 134512640 135305190 3215885856 3066789056 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 404.41
Current children cumulated vsize (KiB) 236196
[startup+162.31 s]
/proc/loadavg: 4.49 4.51 4.47 5/101 12507
/proc/meminfo: memFree=2685296/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=275404 CPUtime=643.05
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 61008 0 0 0 64232 73 0 0 25 0 4 0 1118959224 282013696 60935 4294967295 134512640 135305190 3215885856 3215884032 134528402 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 68851 60935 79 194 0 68655 0
[pid=11939/tid=11940] ppid=11935 vsize=275404 CPUtime=160.66
################
# More data... #
################
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 33767 0 0 0 51970 64 0 0 25 0 4 0 1118959248 501252096 112637 4294967295 134512640 135305190 3215885856 3066789056 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2080.82
Current children cumulated vsize (KiB) 491920
[startup+582.315 s]
/proc/loadavg: 4.65 4.58 4.49 7/102 13787
/proc/meminfo: memFree=2462336/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=504032 CPUtime=2319.56
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 116266 0 0 0 231669 287 0 0 25 0 4 0 1118959224 516128768 116193 4294967295 134512640 135305190 3215885856 3215884032 134528690 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 126008 116193 79 194 0 125812 0
[pid=11939/tid=11940] ppid=11935 vsize=504032 CPUtime=580.41
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 33779 0 0 0 57971 70 0 0 25 0 4 0 1118959248 516128768 116193 4294967295 134512640 135305190 3215885856 3083566272 134528777 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=504032 CPUtime=579.07
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 15622 0 0 0 57832 75 0 0 25 0 4 0 1118959248 516128768 116193 4294967295 134512640 135305190 3215885856 3075177664 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=504032 CPUtime=580.35
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 35162 0 0 0 57957 78 0 0 25 0 4 0 1118959248 516128768 116193 4294967295 134512640 135305190 3215885856 3066789056 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2320.47
Current children cumulated vsize (KiB) 506448
[startup+642.31 s]
/proc/loadavg: 4.81 4.61 4.51 6/102 13948
/proc/meminfo: memFree=2433784/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=533052 CPUtime=2559.12
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 123381 0 0 0 255597 315 0 0 25 0 4 0 1118959224 545845248 123308 4294967295 134512640 135305190 3215885856 3215884032 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 133263 123308 79 194 0 133067 0
[pid=11939/tid=11940] ppid=11935 vsize=533052 CPUtime=640.38
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 36123 0 0 0 63959 79 0 0 25 0 4 0 1118959248 545845248 123308 4294967295 134512640 135305190 3215885856 3083566216 134839991 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=533052 CPUtime=638.78
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 16630 0 0 0 63801 77 0 0 25 0 4 0 1118959248 545845248 123308 4294967295 134512640 135305190 3215885856 3075177664 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=533052 CPUtime=640.34
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 37945 0 0 0 63951 83 0 0 25 0 4 0 1118959248 545845248 123308 4294967295 134512640 135305190 3215885856 3066789056 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2560.03
Current children cumulated vsize (KiB) 535468
[startup+702.305 s]
/proc/loadavg: 4.71 4.60 4.50 6/102 14113
/proc/meminfo: memFree=2401992/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=565528 CPUtime=2798.59
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 131221 0 0 0 279515 344 0 0 25 0 4 0 1118959224 579100672 131148 4294967295 134512640 135305190 3215885856 3215884032 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 141382 131148 79 194 0 141186 0
[pid=11939/tid=11940] ppid=11935 vsize=565528 CPUtime=700.32
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 37703 0 0 0 69949 83 0 0 25 0 4 0 1118959248 579100672 131148 4294967295 134512640 135305190 3215885856 3083566272 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=565528 CPUtime=698.53
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 19848 0 0 0 69765 88 0 0 25 0 4 0 1118959248 579100672 131148 4294967295 134512640 135305190 3215885856 3075177664 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=565528 CPUtime=700.32
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 40376 0 0 0 69939 93 0 0 25 0 4 0 1118959248 579100672 131148 4294967295 134512640 135305190 3215885856 3066789056 134528428 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2799.5
Current children cumulated vsize (KiB) 567944
[startup+762.31 s]
/proc/loadavg: 4.62 4.59 4.51 6/102 14272
/proc/meminfo: memFree=2394276/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=572360 CPUtime=3038.18
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 133177 0 0 0 303458 360 0 0 25 0 4 0 1118959224 586096640 133104 4294967295 134512640 135305190 3215885856 3215884032 134528392 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 143090 133104 79 194 0 142894 0
[pid=11939/tid=11940] ppid=11935 vsize=572360 CPUtime=760.31
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 38410 0 0 0 75945 86 0 0 25 0 4 0 1118959248 586096640 133104 4294967295 134512640 135305190 3215885856 3083566272 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=572360 CPUtime=758.49
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 20436 0 0 0 75756 93 0 0 25 0 4 0 1118959248 586096640 133104 4294967295 134512640 135305190 3215885856 3075177664 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=572360 CPUtime=760.3
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 40936 0 0 0 75932 98 0 0 25 0 4 0 1118959248 586096640 133104 4294967295 134512640 135305190 3215885856 3066789056 134528248 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3039.09
Current children cumulated vsize (KiB) 574776
[startup+822.315 s]
/proc/loadavg: 4.48 4.55 4.50 6/102 14431
/proc/meminfo: memFree=2384180/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=583912 CPUtime=3277.83
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 135785 0 0 0 327411 372 0 0 25 0 4 0 1118959224 597925888 135712 4294967295 134512640 135305190 3215885856 3215884032 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 145978 135712 79 194 0 145782 0
[pid=11939/tid=11940] ppid=11935 vsize=583912 CPUtime=820.32
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 39075 0 0 0 81943 89 0 0 25 0 4 0 1118959248 597925888 135712 4294967295 134512640 135305190 3215885856 3083566272 134528418 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=583912 CPUtime=818.33
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 20968 0 0 0 81733 100 0 0 25 0 4 0 1118959248 597925888 135712 4294967295 134512640 135305190 3215885856 3075177664 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=583912 CPUtime=820.3
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 42094 0 0 0 81931 99 0 0 25 0 4 0 1118959248 597925888 135712 4294967295 134512640 135305190 3215885856 3066789056 134528571 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3278.74
Current children cumulated vsize (KiB) 586328
[startup+882.31 s]
/proc/loadavg: 4.45 4.55 4.50 6/101 14587
/proc/meminfo: memFree=2342872/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=628612 CPUtime=3517.51
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 146383 0 0 0 351346 405 0 0 25 0 4 0 1118959224 643698688 146174 4294967295 134512640 135305190 3215885856 3215883760 134557923 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 157153 146174 79 194 0 156957 0
[pid=11939/tid=11940] ppid=11935 vsize=628612 CPUtime=880.16
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 41024 0 0 0 87921 95 0 0 25 0 4 0 1118959248 643698688 146174 4294967295 134512640 135305190 3215885856 3083566272 134530613 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=628612 CPUtime=878.27
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 21754 0 0 0 87726 101 0 0 25 0 4 0 1118959248 643698688 146174 4294967295 134512640 135305190 3215885856 3075177664 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=628612 CPUtime=880.29
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 45516 0 0 0 87916 113 0 0 25 0 4 0 1118959248 643698688 146174 4294967295 134512640 135305190 3215885856 3066789056 134528523 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.42
Current children cumulated vsize (KiB) 631028
[startup+942.315 s]
/proc/loadavg: 4.91 4.66 4.54 5/101 14776
/proc/meminfo: memFree=2335184/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=637676 CPUtime=3757.05
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 148411 0 0 0 375288 417 0 0 25 0 4 0 1118959224 652980224 148202 4294967295 134512640 135305190 3215885856 3215884032 134528777 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 159419 148202 79 194 0 159223 0
[pid=11939/tid=11940] ppid=11935 vsize=637676 CPUtime=940.06
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 42009 0 0 0 93907 99 0 0 25 0 4 0 1118959248 652980224 148202 4294967295 134512640 135305190 3215885856 3083566272 134528512 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=637676 CPUtime=938.07
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 22020 0 0 0 93702 105 0 0 25 0 4 0 1118959248 652980224 148202 4294967295 134512640 135305190 3215885856 3075177664 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=637676 CPUtime=940.29
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 46118 0 0 0 93915 114 0 0 25 0 4 0 1118959248 652980224 148202 4294967295 134512640 135305190 3215885856 3066789056 134528410 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3757.96
Current children cumulated vsize (KiB) 640092
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.91 4.71 4.56 5/101 14964
/proc/meminfo: memFree=2327488/3368532 swapFree=1953788/1959888
[pid=11935] ppid=11933 vsize=2416 CPUtime=0.91
/proc/11935/stat : 11935 (manysat.sh) S 11933 11935 27966 0 -1 4194304 370 3484 0 0 0 0 90 1 18 0 1 0 1118959133 2473984 274 4294967295 134512640 135169312 3218200672 3218196888 3085803246 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/11935/statm: 604 274 231 161 0 43 0
[pid=11939] ppid=11935 vsize=644996 CPUtime=3987.53
/proc/11939/stat : 11939 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202496 150120 0 0 0 398307 446 0 0 25 0 4 0 1118959224 660475904 149890 4294967295 134512640 135305190 3215885856 3215884032 134528768 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/11939/statm: 161249 149890 79 194 0 161053 0
[pid=11939/tid=11940] ppid=11935 vsize=644996 CPUtime=997.75
/proc/11939/task/11940/stat : 11940 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 42064 0 0 0 99672 103 0 0 25 0 4 0 1118959248 660475904 149890 4294967295 134512640 135305190 3215885856 3083566272 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=11939/tid=11941] ppid=11935 vsize=644996 CPUtime=995.65
/proc/11939/task/11941/stat : 11941 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 22168 0 0 0 99448 117 0 0 25 0 4 0 1118959248 660475904 149890 4294967295 134512640 135305190 3215885856 3075177664 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=11939/tid=11942] ppid=11935 vsize=644996 CPUtime=997.91
/proc/11939/task/11942/stat : 11942 (manysat1.1_stat) R 11935 11935 27966 0 -1 4202560 46675 0 0 0 99672 119 0 0 25 0 4 0 1118959248 660475904 149890 4294967295 134512640 135305190 3215885856 3066789056 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3988.44
Current children cumulated vsize (KiB) 647412
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 11935 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=900000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=10000
# CPU time returned by wait4() is 0.91
# while last known CPU time is 3988.44
#
# 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): 3988.44
CPU user time (s): 3983.97
CPU system time (s): 4.47
CPU usage (%): 398.824
Max. virtual memory (cumulated for all children) (KiB): 647412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.9
system time used= 0.01
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3854
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= 4
involuntary context switches= 5
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 22:35:50
IDJOB=1781137
IDBENCH=71100
IDSOLVER=626
FILE ID=/1781137-1243542950
PBS_JOBID=
Free space on /tmp= 6474 MiB
SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_13_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781137-1243542950/watcher-1781137-1243542950 -o /tmp/evaluation-result-1781137-1243542950/solver-1781137-1243542950 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781137-1243542950.cnf aimd 2
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 604e1311b2fcb3c933399ca7195c63f1
RANDOM SEED= 1502669047
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: 2930472 kB
Buffers: 58984 kB
Cached: 278900 kB
SwapCached: 2256 kB
Active: 127980 kB
Inactive: 219240 kB
HighTotal: 2489216 kB
HighFree: 2199420 kB
LowTotal: 879316 kB
LowFree: 731052 kB
SwapTotal: 1959888 kB
SwapFree: 1953788 kB
Dirty: 3796 kB
Writeback: 0 kB
AnonPages: 8840 kB
Mapped: 3228 kB
Slab: 81052 kB
SReclaimable: 67812 kB
SUnreclaim: 13240 kB
PageTables: 476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88684 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 6471 MiB
End job on at 2009-05-28 22:52:33