0.00/0.00 c Parsing...
0.12/0.18 c ==============================================================================
0.12/0.18 c | | ORIGINAL | LEARNT | |
0.12/0.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.18 c ==============================================================================
0.12/0.18 c | 0 | 227991 590788 | 68397 0 0 nan | 0.000 % |
0.82/0.89 c | 0 | 164401 556548 | -- 0 -- -- | -- | -63590/-34240
0.82/0.89 c ==============================================================================
0.82/0.89 c Result : #vars: 28657 #clauses: 164401 #literals: 556548
0.82/0.89 c CPU time: 0.85 s
0.82/0.89 c ==============================================================================
3986.12/1000.04 HOME/manysat.sh: line 55: 12890 Terminated $MS -verbosity=0 $TMP.cnf $TMP.result -$AIMD $AIMD_FLAG "$@"
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1779184-1243521346/watcher-1779184-1243521346 -o /tmp/evaluation-result-1779184-1243521346/solver-1779184-1243521346 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779184-1243521346.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.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=2460 CPUtime=0.01
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 439 0 0 0 1 0 0 0 18 0 1 0 1106235784 2519040 376 4294967295 134512640 135034092 3221105392 3221101680 134544849 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 615 378 50 128 0 485 0
[startup+0.013668 s]
/proc/loadavg: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=7136 CPUtime=0.02
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 1666 0 0 0 2 0 0 0 18 0 1 0 1106235784 7307264 1556 4294967295 134512640 135034092 3221105392 3221101680 134544856 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 1784 1558 50 128 0 1654 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9552
[startup+0.113658 s]
/proc/loadavg: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=26416 CPUtime=0.12
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 5244 0 0 0 11 1 0 0 18 0 1 0 1106235784 27049984 5034 4294967295 134512640 135034092 3221105392 3221101384 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 6604 5034 50 128 0 6474 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 28832
[startup+0.313645 s]
/proc/loadavg: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=38348 CPUtime=0.32
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 8454 0 0 0 30 2 0 0 18 0 1 0 1106235784 39268352 8040 4294967295 134512640 135034092 3221105392 3221101388 134691101 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 9587 8041 67 128 0 9457 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 40764
[startup+0.713617 s]
/proc/loadavg: 4.20 4.34 4.39 3/96 12887
/proc/meminfo: memFree=2932020/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2416 CPUtime=0
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1106235784 2473984 273 4294967295 134512640 135169312 3216129648 3216128184 3085184750 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/12887/statm: 604 273 231 161 0 43 0
[pid=12888] ppid=12887 vsize=43108 CPUtime=0.72
/proc/12888/stat : 12888 (SatElite) R 12887 12887 1628 0 -1 4202496 9684 0 0 0 67 5 0 0 18 0 1 0 1106235784 44142592 9132 4294967295 134512640 135034092 3221105392 3221101628 134670022 0 0 0 3 0 0 0 17 0 0 0 0
/proc/12888/statm: 10777 9132 67 128 0 10647 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 45524
[startup+1.51357 s]
/proc/loadavg: 3.95 4.28 4.37 2/98 12889
/proc/meminfo: memFree=2890184/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2420
[startup+3.13346 s]
/proc/loadavg: 3.95 4.28 4.37 6/101 12893
/proc/meminfo: memFree=2872152/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=87412 CPUtime=6.5
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 14475 0 0 0 606 44 0 0 16 0 4 0 1106235896 89509888 14385 4294967295 134512640 135305190 3215670768 3215668608 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 21853 14385 79 194 0 21657 0
[pid=12890/tid=12891] ppid=12887 vsize=87412 CPUtime=1.57
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 723 0 0 0 145 12 0 0 15 0 4 0 1106235932 89509888 14385 4294967295 134512640 135305190 3215670768 3073518448 134551799 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=87412 CPUtime=1.57
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 576 0 0 0 150 7 0 0 16 0 4 0 1106235932 89509888 14385 4294967295 134512640 135305190 3215670768 3065130176 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=87412 CPUtime=1.45
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 832 0 0 0 134 11 0 0 16 0 4 0 1106235932 89509888 14385 4294967295 134512640 135305190 3215670768 3056741568 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.62
Current children cumulated vsize (KiB) 89832
[startup+6.31325 s]
/proc/loadavg: 3.95 4.28 4.37 6/101 12893
/proc/meminfo: memFree=2866060/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=90040 CPUtime=19.21
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 15166 0 0 0 1876 45 0 0 18 0 4 0 1106235896 92200960 15076 4294967295 134512640 135305190 3215670768 3215668608 134551945 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 22510 15076 79 194 0 22314 0
[pid=12890/tid=12891] ppid=12887 vsize=90040 CPUtime=4.74
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 912 0 0 0 462 12 0 0 18 0 4 0 1106235932 92200960 15076 4294967295 134512640 135305190 3215670768 3073518448 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=90040 CPUtime=4.75
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 692 0 0 0 468 7 0 0 18 0 4 0 1106235932 92200960 15076 4294967295 134512640 135305190 3215670768 3065129856 134552932 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=90040 CPUtime=4.63
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1037 0 0 0 451 12 0 0 18 0 4 0 1106235932 92200960 15076 4294967295 134512640 135305190 3215670768 3056741568 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20.33
Current children cumulated vsize (KiB) 92460
[startup+12.7128 s]
/proc/loadavg: 4.10 4.31 4.38 5/101 12894
/proc/meminfo: memFree=2862216/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=92924 CPUtime=44.79
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 15983 0 0 0 4432 47 0 0 25 0 4 0 1106235896 95154176 15893 4294967295 134512640 135305190 3215670768 3215668944 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 23231 15893 79 194 0 23035 0
[pid=12890/tid=12891] ppid=12887 vsize=92924 CPUtime=11.14
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1104 0 0 0 1102 12 0 0 25 0 4 0 1106235932 95154176 15893 4294967295 134512640 135305190 3215670768 3073518784 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=92924 CPUtime=11.15
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 905 0 0 0 1107 8 0 0 25 0 4 0 1106235932 95154176 15893 4294967295 134512640 135305190 3215670768 3065129856 134552885 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=92924 CPUtime=11.01
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1296 0 0 0 1089 12 0 0 25 0 4 0 1106235932 95154176 15893 4294967295 134512640 135305190 3215670768 3056741568 134528489 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 45.91
Current children cumulated vsize (KiB) 95344
[startup+25.5119 s]
/proc/loadavg: 4.39 4.36 4.40 6/101 13080
/proc/meminfo: memFree=2856648/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=97776 CPUtime=95.52
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 17238 0 0 0 9500 52 0 0 25 0 4 0 1106235896 100122624 17148 4294967295 134512640 135305190 3215670768 3215668944 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 24444 17148 79 194 0 24248 0
[pid=12890/tid=12891] ppid=12887 vsize=97776 CPUtime=23.92
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1432 0 0 0 2379 13 0 0 25 0 4 0 1106235932 100122624 17148 4294967295 134512640 135305190 3215670768 3073518784 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=97776 CPUtime=23.83
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1088 0 0 0 2374 9 0 0 25 0 4 0 1106235932 100122624 17148 4294967295 134512640 135305190 3215670768 3065130176 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=97776 CPUtime=23.55
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1718 0 0 0 2341 14 0 0 25 0 4 0 1106235932 100122624 17148 4294967295 134512640 135305190 3215670768 3056741568 134528545 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 96.64
Current children cumulated vsize (KiB) 100196
[startup+51.1102 s]
/proc/loadavg: 4.33 4.35 4.39 5/101 13081
/proc/meminfo: memFree=2849004/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=106400 CPUtime=197.85
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 19333 0 0 0 19726 59 0 0 25 0 4 0 1106235896 108953600 19243 4294967295 134512640 135305190 3215670768 3215668944 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 26600 19243 79 194 0 26404 0
[pid=12890/tid=12891] ppid=12887 vsize=106400 CPUtime=49.52
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1910 0 0 0 4936 16 0 0 25 0 4 0 1106235932 108953600 19243 4294967295 134512640 135305190 3215670768 3073518784 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=106400 CPUtime=49.43
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 1559 0 0 0 4934 9 0 0 25 0 4 0 1106235932 108953600 19243 4294967295 134512640 135305190 3215670768 3065129792 134551860 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=106400 CPUtime=49.15
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2410 0 0 0 4898 17 0 0 25 0 4 0 1106235932 108953600 19243 4294967295 134512640 135305190 3215670768 3056741296 134556734 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 198.97
Current children cumulated vsize (KiB) 108820
[startup+102.317 s]
/proc/loadavg: 4.65 4.43 4.41 6/101 13269
/proc/meminfo: memFree=2833192/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=122428 CPUtime=402.18
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 23246 0 0 0 40144 74 0 0 25 0 4 0 1106235896 125366272 23156 4294967295 134512640 135305190 3215670768 3215668608 134551860 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 30607 23156 79 194 0 30411 0
[pid=12890/tid=12891] ppid=12887 vsize=122428 CPUtime=100.71
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2618 0 0 0 10051 20 0 0 25 0 4 0 1106235932 125366272 23156 4294967295 134512640 135305190 3215670768 3073518784 134528418 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=122428 CPUtime=100.61
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2125 0 0 0 10048 13 0 0 25 0 4 0 1106235932 125366272 23156 4294967295 134512640 135305190 3215670768 3065130176 134528301 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=122428 CPUtime=100
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 3879 0 0 0 9980 20 0 0 25 0 4 0 1106235932 125366272 23156 4294967295 134512640 135305190 3215670768 3056741568 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 403.3
Current children cumulated vsize (KiB) 124848
[startup+162.313 s]
/proc/loadavg: 4.34 4.38 4.39 5/101 13455
/proc/meminfo: memFree=2823508/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=130716 CPUtime=641.55
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 25310 0 0 0 64064 91 0 0 25 0 4 0 1106235896 133853184 25220 4294967295 134512640 135305190 3215670768 3215668672 134557414 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/12890/statm: 32679 25220 79 194 0 32483 0
[pid=12890/tid=12891] ppid=12887 vsize=130716 CPUtime=160.46
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2946 0 0 0 16021 25 0 0 25 0 4 0 1106235932 133853184 25220 4294967295 134512640 135305190 3215670768 3073518512 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=130716 CPUtime=160.54
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 2693 0 0 0 16034 20 0 0 25 0 4 0 1106235932 133853184 25220 4294967295 134512640 135305190 3215670768 3065130176 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
################
# More data... #
################
[startup+522.308 s]
/proc/loadavg: 4.49 4.49 4.43 6/101 14588
/proc/meminfo: memFree=2743068/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=211344 CPUtime=2078.35
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 45509 0 0 0 207634 201 0 0 25 0 4 0 1106235896 216416256 45419 4294967295 134512640 135305190 3215670768 3215668944 134528418 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 52836 45419 79 194 0 52640 0
[pid=12890/tid=12891] ppid=12887 vsize=211344 CPUtime=519.85
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 7040 0 0 0 51935 50 0 0 25 0 4 0 1106235932 216416256 45419 4294967295 134512640 135305190 3215670768 3073518448 134551697 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=211344 CPUtime=519.82
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8570 0 0 0 51929 53 0 0 25 0 4 0 1106235932 216416256 45419 4294967295 134512640 135305190 3215670768 3065130176 134528289 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=211344 CPUtime=518.59
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 9816 0 0 0 51815 44 0 0 25 0 4 0 1106235932 216416256 45419 4294967295 134512640 135305190 3215670768 3056741568 134528755 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2079.47
Current children cumulated vsize (KiB) 213764
[startup+582.314 s]
/proc/loadavg: 4.73 4.54 4.44 5/101 14776
/proc/meminfo: memFree=2742036/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=212256 CPUtime=2317.76
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 45748 0 0 0 231553 223 0 0 25 0 4 0 1106235896 217350144 45658 4294967295 134512640 135305190 3215670768 3215668944 134528536 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 53064 45658 79 194 0 52868 0
[pid=12890/tid=12891] ppid=12887 vsize=212256 CPUtime=579.86
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 7053 0 0 0 57932 54 0 0 25 0 4 0 1106235932 217350144 45658 4294967295 134512640 135305190 3215670768 3073518784 134528245 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=212256 CPUtime=579.83
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8782 0 0 0 57923 60 0 0 25 0 4 0 1106235932 217350144 45658 4294967295 134512640 135305190 3215670768 3065130176 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=212256 CPUtime=578.57
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 9820 0 0 0 57808 49 0 0 25 0 4 0 1106235932 217350144 45658 4294967295 134512640 135305190 3215670768 3056741568 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2318.88
Current children cumulated vsize (KiB) 214676
[startup+642.31 s]
/proc/loadavg: 4.65 4.54 4.45 5/101 14968
/proc/meminfo: memFree=2735248/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=219192 CPUtime=2557.38
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 47515 0 0 0 255505 233 0 0 25 0 4 0 1106235896 224452608 47425 4294967295 134512640 135305190 3215670768 3215668944 134528406 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 54798 47425 79 194 0 54602 0
[pid=12890/tid=12891] ppid=12887 vsize=219192 CPUtime=639.8
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 7446 0 0 0 63923 57 0 0 25 0 4 0 1106235932 224452608 47425 4294967295 134512640 135305190 3215670768 3073518512 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=219192 CPUtime=639.83
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 9072 0 0 0 63921 62 0 0 25 0 4 0 1106235932 224452608 47425 4294967295 134512640 135305190 3215670768 3065130176 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=219192 CPUtime=638.38
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 10411 0 0 0 63787 51 0 0 25 0 4 0 1106235932 224452608 47425 4294967295 134512640 135305190 3215670768 3056741568 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2558.5
Current children cumulated vsize (KiB) 221612
[startup+702.306 s]
/proc/loadavg: 4.75 4.57 4.46 5/101 15157
/proc/meminfo: memFree=2723188/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=231784 CPUtime=2796.82
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 50298 0 0 0 279440 242 0 0 25 0 4 0 1106235896 237346816 50208 4294967295 134512640 135305190 3215670768 3215668672 134556558 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 57946 50208 79 194 0 57750 0
[pid=12890/tid=12891] ppid=12887 vsize=231784 CPUtime=699.64
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8043 0 0 0 69905 59 0 0 25 0 4 0 1106235932 237346816 50208 4294967295 134512640 135305190 3215670768 3073518784 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=231784 CPUtime=699.81
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 9571 0 0 0 69917 64 0 0 25 0 4 0 1106235932 237346816 50208 4294967295 134512640 135305190 3215670768 3065130176 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=231784 CPUtime=698.21
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 11333 0 0 0 69766 55 0 0 25 0 4 0 1106235932 237346816 50208 4294967295 134512640 135305190 3215670768 3056741232 134551651 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2797.94
Current children cumulated vsize (KiB) 234204
[startup+762.322 s]
/proc/loadavg: 4.79 4.59 4.47 5/101 15343
/proc/meminfo: memFree=2705184/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=249528 CPUtime=3036.51
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 54774 0 0 0 303391 260 0 0 25 0 4 0 1106235896 255516672 54684 4294967295 134512640 135305190 3215670768 3215668608 134551668 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/12890/statm: 62382 54684 79 194 0 62186 0
[pid=12890/tid=12891] ppid=12887 vsize=249528 CPUtime=759.65
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8790 0 0 0 75903 62 0 0 25 0 4 0 1106235932 255516672 54684 4294967295 134512640 135305190 3215670768 3073518784 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=249528 CPUtime=759.82
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 10759 0 0 0 75913 69 0 0 25 0 4 0 1106235932 255516672 54684 4294967295 134512640 135305190 3215670768 3065130176 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=249528 CPUtime=758
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12720 0 0 0 75738 62 0 0 25 0 4 0 1106235932 255516672 54684 4294967295 134512640 135305190 3215670768 3056741568 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3037.63
Current children cumulated vsize (KiB) 251948
[startup+822.307 s]
/proc/loadavg: 4.48 4.53 4.45 5/101 15531
/proc/meminfo: memFree=2704648/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=249820 CPUtime=3275.81
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 54887 0 0 0 327293 288 0 0 25 0 4 0 1106235896 255815680 54797 4294967295 134512640 135305190 3215670768 3215668672 134557414 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 62455 54797 79 194 0 62259 0
[pid=12890/tid=12891] ppid=12887 vsize=249820 CPUtime=819.33
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8806 0 0 0 81865 68 0 0 25 0 4 0 1106235932 255815680 54797 4294967295 134512640 135305190 3215670768 3073518512 134556770 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=249820 CPUtime=819.81
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 10831 0 0 0 81909 72 0 0 25 0 4 0 1106235932 255815680 54797 4294967295 134512640 135305190 3215670768 3065130176 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=249820 CPUtime=817.97
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12720 0 0 0 81726 71 0 0 25 0 4 0 1106235932 255815680 54797 4294967295 134512640 135305190 3215670768 3056741568 134528503 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3276.93
Current children cumulated vsize (KiB) 252240
[startup+882.313 s]
/proc/loadavg: 4.55 4.52 4.46 6/102 15681
/proc/meminfo: memFree=2704312/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=250528 CPUtime=3515.68
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 55067 0 0 0 351267 301 0 0 25 0 4 0 1106235896 256540672 54977 4294967295 134512640 135305190 3215670768 3215668944 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 62632 54977 79 194 0 62436 0
[pid=12890/tid=12891] ppid=12887 vsize=250528 CPUtime=879.34
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8831 0 0 0 87864 70 0 0 25 0 4 0 1106235932 256540672 54977 4294967295 134512640 135305190 3215670768 3073518784 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=250528 CPUtime=879.82
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 10986 0 0 0 87907 75 0 0 25 0 4 0 1106235932 256540672 54977 4294967295 134512640 135305190 3215670768 3065129856 134553353 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=250528 CPUtime=877.97
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12720 0 0 0 87725 72 0 0 25 0 4 0 1106235932 256540672 54977 4294967295 134512640 135305190 3215670768 3056741568 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3516.8
Current children cumulated vsize (KiB) 252948
[startup+942.319 s]
/proc/loadavg: 4.50 4.51 4.45 5/101 15907
/proc/meminfo: memFree=2702680/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=251160 CPUtime=3754.82
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 55325 0 0 0 375169 313 0 0 25 0 4 0 1106235896 257187840 55235 4294967295 134512640 135305190 3215670768 3215668944 134528480 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 62790 55235 79 194 0 62594 0
[pid=12890/tid=12891] ppid=12887 vsize=251160 CPUtime=939.32
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8882 0 0 0 93859 73 0 0 25 0 4 0 1106235932 257187840 55235 4294967295 134512640 135305190 3215670768 3073518512 134557200 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=251160 CPUtime=939.63
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 11119 0 0 0 93884 79 0 0 25 0 4 0 1106235932 257187840 55235 4294967295 134512640 135305190 3215670768 3065130176 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=251160 CPUtime=937.62
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12754 0 0 0 93688 74 0 0 25 0 4 0 1106235932 257187840 55235 4294967295 134512640 135305190 3215670768 3056741568 134528455 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3755.94
Current children cumulated vsize (KiB) 253580
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.39 4.47 4.44 6/102 16015
/proc/meminfo: memFree=2702192/3368532 swapFree=1954076/1959888
[pid=12887] ppid=12885 vsize=2420 CPUtime=1.12
/proc/12887/stat : 12887 (manysat.sh) S 12885 12887 1628 0 -1 4194304 370 9983 0 0 0 0 106 6 18 0 1 0 1106235784 2478080 275 4294967295 134512640 135169312 3216129648 3216125864 3085184750 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/12887/statm: 605 275 231 161 0 44 0
[pid=12890] ppid=12887 vsize=251764 CPUtime=3985
/proc/12890/stat : 12890 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202496 55465 0 0 0 398175 325 0 0 25 0 4 0 1106235896 257806336 55375 4294967295 134512640 135305190 3215670768 3215668944 134528576 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/12890/statm: 62941 55375 79 194 0 62745 0
[pid=12890/tid=12891] ppid=12887 vsize=251764 CPUtime=996.92
/proc/12890/task/12891/stat : 12891 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 8882 0 0 0 99617 75 0 0 25 0 4 0 1106235932 257806336 55375 4294967295 134512640 135305190 3215670768 3073518784 134528771 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=12890/tid=12892] ppid=12887 vsize=251764 CPUtime=997
/proc/12890/task/12892/stat : 12892 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 11223 0 0 0 99618 82 0 0 25 0 4 0 1106235932 257806336 55375 4294967295 134512640 135305190 3215670768 3065130176 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=12890/tid=12893] ppid=12887 vsize=251764 CPUtime=995.14
/proc/12890/task/12893/stat : 12893 (manysat1.1_stat) R 12887 12887 1628 0 -1 4202560 12772 0 0 0 99434 80 0 0 25 0 4 0 1106235932 257806336 55375 4294967295 134512640 135305190 3215670768 3056741568 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3986.12
Current children cumulated vsize (KiB) 254184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1000.05
CPU time (s): 3986.21
CPU user time (s): 3982.89
CPU system time (s): 3.32
CPU usage (%): 398.6
Max. virtual memory (cumulated for all children) (KiB): 254184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3982.89
system time used= 3.32
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66092
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= 36596
involuntary context switches= 204154
runsolver used 0.02 second user time and 0 second system time
The end
Begin job on tipi44 at 2009-05-28 16:35:46
IDJOB=1779184
IDBENCH=70820
IDSOLVER=623
FILE ID=tipi44/1779184-1243521346
PBS_JOBID=
Free space on /tmp= 15889 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-16.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779184-1243521346/watcher-1779184-1243521346 -o /tmp/evaluation-result-1779184-1243521346/solver-1779184-1243521346 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779184-1243521346.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 3cb14750de2495357cf28b8ab826b9e3
RANDOM SEED= 28810000
Linux tipi44 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.116
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.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.10
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
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.116
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.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2932464 kB
Buffers: 141120 kB
Cached: 187736 kB
SwapCached: 2180 kB
Active: 109188 kB
Inactive: 229596 kB
HighTotal: 2489216 kB
HighFree: 2289460 kB
LowTotal: 879316 kB
LowFree: 643004 kB
SwapTotal: 1959888 kB
SwapFree: 1954076 kB
Dirty: 5840 kB
Writeback: 0 kB
AnonPages: 9000 kB
Mapped: 3280 kB
Slab: 87316 kB
SReclaimable: 77272 kB
SUnreclaim: 10044 kB
PageTables: 492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 88080 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15889 MiB
End job on tipi44 at 2009-05-28 16:52:26