0.00/0.01 c Parsing...
0.70/0.76 c ==============================================================================
0.70/0.76 c | | ORIGINAL | LEARNT | |
0.70/0.76 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.70/0.76 c ==============================================================================
0.70/0.76 c | 0 | 985541 2284533 | 295662 0 0 nan | 0.000 % |
5.29/5.34 c | 0 | 590731 1617848 | -- 0 -- -- | -- | -181197/-182944
5.29/5.34 c ==============================================================================
5.29/5.34 c Result : #vars: 105677 #clauses: 590731 #literals: 1617848
5.29/5.34 c CPU time: 5.1 s
5.29/5.34 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1775776-1243501500/watcher-1775776-1243501500 -o /tmp/evaluation-result-1775776-1243501500/solver-1775776-1243501500 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775776-1243501500.cnf aimd 0
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) R 604 606 19648 0 -1 4194304 334 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093628 3085162356 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=5172 CPUtime=0.02
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 1145 0 0 0 2 0 0 0 19 0 1 0 1114814557 5296128 1081 4294967295 134512640 135034092 3218569344 3218565336 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 1293 1081 49 128 0 1163 0
[startup+0.084816 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=22064 CPUtime=0.08
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 4796 0 0 0 5 3 0 0 23 0 1 0 1114814557 22593536 4732 4294967295 134512640 135034092 3218569344 3218565304 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 5516 4734 49 128 0 5386 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 24480
[startup+0.104812 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=37112 CPUtime=0.1
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 6200 0 0 0 7 3 0 0 23 0 1 0 1114814557 38002688 6136 4294967295 134512640 135034092 3218569344 3218565688 134691005 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 9278 6136 49 128 0 9148 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 39528
[startup+0.304795 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=58200 CPUtime=0.3
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 12891 0 0 0 23 7 0 0 24 0 1 0 1114814557 59596800 12827 4294967295 134512640 135034092 3218569344 3218565304 134673244 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 14550 12828 49 128 0 14420 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 60616
[startup+0.704756 s]
/proc/loadavg: 4.29 4.53 4.35 4/100 607
/proc/meminfo: memFree=3168744/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=93652 CPUtime=0.7
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 22280 0 0 0 60 10 0 0 25 0 1 0 1114814557 95899648 22216 4294967295 134512640 135034092 3218569344 3218566736 134542678 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 23413 22216 50 128 0 23283 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 96068
[startup+1.50468 s]
/proc/loadavg: 4.29 4.53 4.35 2/101 608
/proc/meminfo: memFree=3076984/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=115136 CPUtime=1.5
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 28205 0 0 0 135 15 0 0 25 0 1 0 1114814557 117899264 25716 4294967295 134512640 135034092 3218569344 3218565340 134691101 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 28784 25716 67 128 0 28654 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 117552
[startup+3.10453 s]
/proc/loadavg: 4.29 4.53 4.35 2/101 792
/proc/meminfo: memFree=3062716/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2416 CPUtime=0
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 350 0 0 0 0 0 0 0 19 0 1 0 1114814557 2473984 274 4294967295 134512640 135169312 3215095152 3215093688 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 604 274 231 161 0 43 0
[pid=607] ppid=606 vsize=134120 CPUtime=3.09
/proc/607/stat : 607 (SatElite) R 606 606 19648 0 -1 4202496 31605 0 0 0 292 17 0 0 25 0 1 0 1114814557 137338880 28563 4294967295 134512640 135034092 3218569344 3218565536 134541373 0 0 0 3 0 0 0 17 1 0 0 0
/proc/607/statm: 33530 28563 67 128 0 33400 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136536
[startup+6.30422 s]
/proc/loadavg: 4.02 4.47 4.34 2/101 793
/proc/meminfo: memFree=3057168/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 2420
[startup+12.7036 s]
/proc/loadavg: 4.02 4.46 4.33 8/104 798
/proc/meminfo: memFree=2989940/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=204272 CPUtime=22.62
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 41446 0 0 0 2222 40 0 0 16 0 4 0 1114815163 209174528 41293 4294967295 134512640 135305190 3216318096 3216315988 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 51068 41293 79 194 0 50872 0
[pid=794/tid=795] ppid=606 vsize=204272 CPUtime=5.36
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 758 0 0 0 532 4 0 0 17 0 4 0 1114815281 209174528 41293 4294967295 134512640 135305190 3216318096 3031780612 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=794/tid=796] ppid=606 vsize=204272 CPUtime=5.39
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 779 0 0 0 533 6 0 0 16 0 4 0 1114815281 209174528 41293 4294967295 134512640 135305190 3216318096 3023391616 134552874 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=797] ppid=606 vsize=204272 CPUtime=5.34
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 696 0 0 0 529 5 0 0 16 0 4 0 1114815283 209174528 41293 4294967295 134512640 135305190 3216318096 3015003328 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 206692
[startup+25.5024 s]
/proc/loadavg: 4.22 4.49 4.34 5/104 798
/proc/meminfo: memFree=2973604/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=220328 CPUtime=73.74
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 45658 0 0 0 7327 47 0 0 25 0 4 0 1114815163 225615872 45505 4294967295 134512640 135305190 3216318096 3216316272 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 55082 45505 79 194 0 54886 0
[pid=794/tid=795] ppid=606 vsize=220328 CPUtime=18.14
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 1548 0 0 0 1808 6 0 0 25 0 4 0 1114815281 225615872 45505 4294967295 134512640 135305190 3216318096 3031780020 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=794/tid=796] ppid=606 vsize=220328 CPUtime=18.16
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 1915 0 0 0 1806 10 0 0 25 0 4 0 1114815281 225615872 45505 4294967295 134512640 135305190 3216318096 3023391936 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=797] ppid=606 vsize=220328 CPUtime=18.14
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 1528 0 0 0 1809 5 0 0 25 0 4 0 1114815283 225615872 45505 4294967295 134512640 135305190 3216318096 3015003328 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (KiB) 222748
[startup+51.12 s]
/proc/loadavg: 4.22 4.46 4.34 5/104 805
/proc/meminfo: memFree=2922224/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=272548 CPUtime=176.05
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 58790 0 0 0 17537 68 0 0 25 0 4 0 1114815163 279089152 58637 4294967295 134512640 135305190 3216318096 3216316272 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 68137 58637 79 194 0 67941 0
[pid=794/tid=795] ppid=606 vsize=272548 CPUtime=43.76
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 3956 0 0 0 4370 6 0 0 25 0 4 0 1114815281 279089152 58637 4294967295 134512640 135305190 3216318096 3031780544 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=794/tid=796] ppid=606 vsize=272548 CPUtime=43.61
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 5055 0 0 0 4340 21 0 0 25 0 4 0 1114815281 279089152 58637 4294967295 134512640 135305190 3216318096 3023391936 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=797] ppid=606 vsize=272548 CPUtime=43.76
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 4517 0 0 0 4362 14 0 0 25 0 4 0 1114815283 279089152 58637 4294967295 134512640 135305190 3216318096 3015002992 134551653 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 182.09
Current children cumulated vsize (KiB) 274968
[startup+102.315 s]
/proc/loadavg: 4.40 4.47 4.35 5/104 1000
/proc/meminfo: memFree=2839268/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=353704 CPUtime=380.31
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 79015 0 0 0 37934 97 0 0 25 0 4 0 1114815163 362192896 78862 4294967295 134512640 135305190 3216318096 3216315936 134551653 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 88426 78862 79 194 0 88230 0
[pid=794/tid=795] ppid=606 vsize=353704 CPUtime=94.86
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 7427 0 0 0 9476 10 0 0 25 0 4 0 1114815281 362192896 78862 4294967295 134512640 135305190 3216318096 3031780544 134528195 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=796] ppid=606 vsize=353704 CPUtime=94.6
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 11304 0 0 0 9436 24 0 0 25 0 4 0 1114815281 362192896 78862 4294967295 134512640 135305190 3216318096 3023391936 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=797] ppid=606 vsize=353704 CPUtime=94.76
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 8786 0 0 0 9449 27 0 0 25 0 4 0 1114815283 362192896 78862 4294967295 134512640 135305190 3216318096 3015002980 134695249 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 386.35
Current children cumulated vsize (KiB) 356124
[startup+162.309 s]
/proc/loadavg: 4.41 4.46 4.35 5/104 1191
/proc/meminfo: memFree=2776168/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=418664 CPUtime=619.82
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 94967 0 0 0 61867 115 0 0 25 0 4 0 1114815163 428711936 94814 4294967295 134512640 135305190 3216318096 3216316216 134840070 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/794/statm: 104666 94814 79 194 0 104470 0
[pid=794/tid=795] ppid=606 vsize=418664 CPUtime=154.75
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 10256 0 0 0 15461 14 0 0 25 0 4 0 1114815281 428711936 94814 4294967295 134512640 135305190 3216318096 3031780272 134557342 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=796] ppid=606 vsize=418664 CPUtime=154.53
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 16206 0 0 0 15423 30 0 0 25 0 4 0 1114815281 428711936 94814 4294967295 134512640 135305190 3216318096 3023391880 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=418664 CPUtime=154.64
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 12239 0 0 0 15431 33 0 0 25 0 4 0 1114815283 428711936 94815 4294967295 134512640 135305190 3216318096 3015003076 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 625.86
Current children cumulated vsize (KiB) 421084
[startup+222.314 s]
/proc/loadavg: 4.48 4.46 4.36 5/104 1378
/proc/meminfo: memFree=2714360/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=481028 CPUtime=859.42
################
# More data... #
################
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 29370 0 0 0 51316 72 0 0 25 0 4 0 1114815283 772370432 178836 4294967295 134512640 135305190 3216318096 3015003328 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2063.13
Current children cumulated vsize (KiB) 756688
[startup+582.309 s]
/proc/loadavg: 4.45 4.46 4.38 5/104 2514
/proc/meminfo: memFree=2373308/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=821372 CPUtime=2296.39
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 195695 0 0 0 229337 302 0 0 25 0 4 0 1114815163 841084928 195542 4294967295 134512640 135305190 3216318096 3216316272 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/794/statm: 205343 195542 79 194 0 205147 0
[pid=794/tid=795] ppid=606 vsize=821372 CPUtime=573.74
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 28714 0 0 0 57310 64 0 0 25 0 4 0 1114815281 841084928 195542 4294967295 134512640 135305190 3216318096 3031780208 134551712 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=821372 CPUtime=573.84
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 49607 0 0 0 57309 75 0 0 25 0 4 0 1114815281 841084928 195542 4294967295 134512640 135305190 3216318096 3023391936 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=821372 CPUtime=573.62
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 33152 0 0 0 57284 78 0 0 25 0 4 0 1114815283 841084928 195542 4294967295 134512640 135305190 3216318096 3015003328 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2302.43
Current children cumulated vsize (KiB) 823792
[startup+642.314 s]
/proc/loadavg: 4.36 4.42 4.37 6/104 2709
/proc/meminfo: memFree=2318368/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=875736 CPUtime=2535.92
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 209073 0 0 0 253263 329 0 0 25 0 4 0 1114815163 896753664 208920 4294967295 134512640 135305190 3216318096 3216316272 134528410 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/794/statm: 218934 208920 79 194 0 218738 0
[pid=794/tid=795] ppid=606 vsize=875736 CPUtime=633.7
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 31403 0 0 0 63301 69 0 0 25 0 4 0 1114815281 896753664 208920 4294967295 134512640 135305190 3216318096 3031780544 134530579 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=875736 CPUtime=633.81
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 52819 0 0 0 63301 80 0 0 25 0 4 0 1114815281 896753664 208920 4294967295 134512640 135305190 3216318096 3023391936 134528195 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=875736 CPUtime=633.35
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 36605 0 0 0 63250 85 0 0 25 0 4 0 1114815283 896753664 208920 4294967295 134512640 135305190 3216318096 3015003328 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2541.96
Current children cumulated vsize (KiB) 878156
[startup+702.308 s]
/proc/loadavg: 4.44 4.43 4.37 5/104 2898
/proc/meminfo: memFree=2271756/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=923636 CPUtime=2775.47
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 221089 0 0 0 277189 358 0 0 25 0 4 0 1114815163 945803264 220936 4294967295 134512640 135305190 3216318096 3216315936 134551709 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/794/statm: 230909 220936 79 194 0 230713 0
[pid=794/tid=795] ppid=606 vsize=923636 CPUtime=693.64
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 33944 0 0 0 69284 80 0 0 25 0 4 0 1114815281 945803264 220936 4294967295 134512640 135305190 3216318096 3031780544 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=923636 CPUtime=693.66
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 55882 0 0 0 69281 85 0 0 25 0 4 0 1114815281 945803264 220936 4294967295 134512640 135305190 3216318096 3023391880 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=923636 CPUtime=693.17
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 39293 0 0 0 69226 91 0 0 25 0 4 0 1114815283 945803264 220936 4294967295 134512640 135305190 3216318096 3015003328 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2781.51
Current children cumulated vsize (KiB) 926056
[startup+762.312 s]
/proc/loadavg: 4.36 4.40 4.36 5/104 3090
/proc/meminfo: memFree=2246456/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=946944 CPUtime=3015.07
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 227112 0 0 0 301129 378 0 0 25 0 4 0 1114815163 969670656 226959 4294967295 134512640 135305190 3216318096 3216316260 134570388 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/794/statm: 236736 226959 79 194 0 236540 0
[pid=794/tid=795] ppid=606 vsize=946944 CPUtime=753.59
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 35200 0 0 0 75273 86 0 0 25 0 4 0 1114815281 969670656 226959 4294967295 134512640 135305190 3216318096 3031780544 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=946944 CPUtime=753.52
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 57392 0 0 0 75264 88 0 0 25 0 4 0 1114815281 969670656 226959 4294967295 134512640 135305190 3216318096 3023391936 134528410 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=946944 CPUtime=753.04
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 40757 0 0 0 75209 95 0 0 25 0 4 0 1114815283 969670656 226959 4294967295 134512640 135305190 3216318096 3015003328 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3021.11
Current children cumulated vsize (KiB) 949364
[startup+822.307 s]
/proc/loadavg: 4.38 4.40 4.36 5/104 3283
/proc/meminfo: memFree=2199608/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=995660 CPUtime=3254.51
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 239213 0 0 0 325051 400 0 0 25 0 4 0 1114815163 1019555840 239060 4294967295 134512640 135305190 3216318096 3216316272 134528341 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 248915 239060 79 194 0 248719 0
[pid=794/tid=795] ppid=606 vsize=995660 CPUtime=813.43
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 37374 0 0 0 81253 90 0 0 25 0 4 0 1114815281 1019555840 239060 4294967295 134512640 135305190 3216318096 3031780544 134528341 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=995660 CPUtime=813.37
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 61322 0 0 0 81241 96 0 0 25 0 4 0 1114815281 1019555840 239060 4294967295 134512640 135305190 3216318096 3023391880 134839991 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=794/tid=797] ppid=606 vsize=995660 CPUtime=812.97
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 43603 0 0 0 81196 101 0 0 25 0 4 0 1114815283 1019555840 239060 4294967295 134512640 135305190 3216318096 3015003328 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3260.55
Current children cumulated vsize (KiB) 998080
[startup+882.311 s]
/proc/loadavg: 4.49 4.42 4.37 5/104 3491
/proc/meminfo: memFree=2096004/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=1097676 CPUtime=3493.99
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 264585 0 0 0 348967 432 0 0 25 0 4 0 1114815163 1124020224 264432 4294967295 134512640 135305190 3216318096 3216316272 134528298 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/794/statm: 274419 264432 79 194 0 274223 0
[pid=794/tid=795] ppid=606 vsize=1097676 CPUtime=873.16
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 42520 0 0 0 87220 96 0 0 25 0 4 0 1114815281 1124020224 264432 4294967295 134512640 135305190 3216318096 3031780544 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=1097676 CPUtime=873.36
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 69071 0 0 0 87234 102 0 0 25 0 4 0 1114815281 1124020224 264432 4294967295 134512640 135305190 3216318096 3023391936 134528571 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=1097676 CPUtime=872.94
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 49034 0 0 0 87178 116 0 0 25 0 4 0 1114815283 1124020224 264432 4294967295 134512640 135305190 3216318096 3015003328 134528545 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3500.03
Current children cumulated vsize (KiB) 1100096
[startup+942.315 s]
/proc/loadavg: 4.53 4.44 4.38 5/104 3686
/proc/meminfo: memFree=2094672/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=1099684 CPUtime=3733.58
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 264920 0 0 0 372911 447 0 0 25 0 4 0 1114815163 1126076416 264767 4294967295 134512640 135305190 3216318096 3216315936 134551614 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/794/statm: 274921 264767 79 194 0 274725 0
[pid=794/tid=795] ppid=606 vsize=1099684 CPUtime=932.93
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 42533 0 0 0 93193 100 0 0 25 0 4 0 1114815281 1126076416 264767 4294967295 134512640 135305190 3216318096 3031780208 134551782 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=1099684 CPUtime=933.36
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 69371 0 0 0 93232 104 0 0 25 0 4 0 1114815281 1126076416 264767 4294967295 134512640 135305190 3216318096 3023391936 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=794/tid=797] ppid=606 vsize=1099684 CPUtime=932.86
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 49037 0 0 0 93164 122 0 0 25 0 4 0 1114815283 1126076416 264767 4294967295 134512640 135305190 3216318096 3015003328 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3739.62
Current children cumulated vsize (KiB) 1102104
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.35 4.41 4.36 5/104 3874
/proc/meminfo: memFree=2065640/3368532 swapFree=1953580/1959888
[pid=606] ppid=604 vsize=2420 CPUtime=6.04
/proc/606/stat : 606 (manysat.sh) S 604 606 19648 0 -1 4194304 369 42069 0 0 0 0 575 29 18 0 1 0 1114814557 2478080 275 4294967295 134512640 135169312 3215095152 3215091368 3085160174 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/606/statm: 605 275 231 161 0 44 0
[pid=794] ppid=606 vsize=1128364 CPUtime=3963.91
/proc/794/stat : 794 (manysat1.1_stat) R 606 606 19648 0 -1 4202496 272233 0 0 0 395917 474 0 0 25 0 4 0 1114815163 1155444736 272080 4294967295 134512640 135305190 3216318096 3216315936 134551671 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/794/statm: 282091 272080 79 194 0 281895 0
[pid=794/tid=795] ppid=606 vsize=1128364 CPUtime=990.54
/proc/794/task/795/stat : 795 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 44062 0 0 0 98944 110 0 0 25 0 4 0 1114815281 1155444736 272080 4294967295 134512640 135305190 3216318096 3031780544 134530638 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=794/tid=796] ppid=606 vsize=1128364 CPUtime=990.83
/proc/794/task/796/stat : 796 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 71208 0 0 0 98972 111 0 0 25 0 4 0 1114815281 1155444736 272080 4294967295 134512640 135305190 3216318096 3023391936 134530691 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=794/tid=797] ppid=606 vsize=1128364 CPUtime=990.57
/proc/794/task/797/stat : 797 (manysat1.1_stat) R 606 606 19648 0 -1 4202560 50839 0 0 0 98928 129 0 0 25 0 4 0 1114815283 1155444736 272080 4294967295 134512640 135305190 3216318096 3015003328 134528265 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3969.95
Current children cumulated vsize (KiB) 1130784
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 606 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=750000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=290000
# CPU time returned by wait4() is 6.04
# while last known CPU time is 3969.95
#
# 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): 3969.95
CPU user time (s): 3964.92
CPU system time (s): 5.03
CPU usage (%): 396.979
Max. virtual memory (cumulated for all children) (KiB): 1130784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.75
system time used= 0.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42438
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= 688
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 11:05:00
IDJOB=1775776
IDBENCH=20385
IDSOLVER=620
FILE ID=/1775776-1243501500
PBS_JOBID=
Free space on /tmp= 15867 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1775776-1243501500/watcher-1775776-1243501500 -o /tmp/evaluation-result-1775776-1243501500/solver-1775776-1243501500 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1775776-1243501500.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= c2f768afbb9db3d5f5133c3f48734894
RANDOM SEED= 1416882969
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.105
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.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.105
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.11
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.105
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.16
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.105
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3173036 kB
Buffers: 13684 kB
Cached: 108660 kB
SwapCached: 2424 kB
Active: 87600 kB
Inactive: 45504 kB
HighTotal: 2489216 kB
HighFree: 2367808 kB
LowTotal: 879316 kB
LowFree: 805228 kB
SwapTotal: 1959888 kB
SwapFree: 1953580 kB
Dirty: 19676 kB
Writeback: 0 kB
AnonPages: 10100 kB
Mapped: 4940 kB
Slab: 53316 kB
SReclaimable: 45284 kB
SUnreclaim: 8032 kB
PageTables: 536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 93920 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15850 MiB
End job on at 2009-05-28 11:21:44