0.00/0.00 c Parsing...
0.05/0.09 c ==============================================================================
0.05/0.09 c | | ORIGINAL | LEARNT | |
0.05/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.05/0.09 c ==============================================================================
0.05/0.09 c | 0 | 160694 478924 | 48208 0 0 nan | 0.000 % |
1.11/1.19 c | 0 | 159558 690102 | -- 0 -- -- | -- | -1136/211178
1.11/1.19 c ==============================================================================
1.11/1.19 c Result : #vars: 1437 #clauses: 159558 #literals: 690102
1.11/1.19 c CPU time: 1.19 s
1.11/1.19 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781104-1243542292/watcher-1781104-1243542292 -o /tmp/evaluation-result-1781104-1243542292/solver-1781104-1243542292 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781104-1243542292.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.37 4.51 4.45 3/98 10137
/proc/meminfo: memFree=2782888/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2416 CPUtime=0
/proc/10137/stat : 10137 (manysat.sh) R 10135 10137 28360 0 -1 4194304 334 0 0 0 0 0 0 0 18 0 1 0 935805986 2473984 274 4294967295 134512640 135169312 3217016640 3217015116 3085662068 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/10137/statm: 604 274 231 161 0 43 0
[pid=10138] ppid=10137 vsize=1300 CPUtime=0
/proc/10138/stat : 10138 (SatElite) R 10137 10137 28360 0 -1 4202496 257 0 0 0 0 0 0 0 18 0 1 0 935805986 1331200 193 4294967295 134512640 135034092 3213360016 3213355976 134673244 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10138/statm: 325 193 49 128 0 195 0
[startup+0.045864 s]
/proc/loadavg: 4.37 4.51 4.45 3/98 10137
/proc/meminfo: memFree=2782888/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2416 CPUtime=0
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 935805986 2473984 274 4294967295 134512640 135169312 3217016640 3217015176 3085659886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/10137/statm: 604 274 231 161 0 43 0
[pid=10138] ppid=10137 vsize=5128 CPUtime=0.05
/proc/10138/stat : 10138 (SatElite) R 10137 10137 28360 0 -1 4202496 1154 0 0 0 5 0 0 0 19 0 1 0 935805986 5251072 1090 4294967295 134512640 135034092 3213360016 3213356360 134691005 0 0 0 3 0 0 0 17 0 0 0 0
/proc/10138/statm: 1282 1090 49 128 0 1152 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7544
[startup+0.115858 s]
/proc/loadavg: 4.37 4.51 4.45 3/98 10137
/proc/meminfo: memFree=2782888/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2416 CPUtime=0
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 935805986 2473984 274 4294967295 134512640 135169312 3217016640 3217015176 3085659886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/10137/statm: 604 274 231 161 0 43 0
[pid=10138] ppid=10137 vsize=12620 CPUtime=0.11
/proc/10138/stat : 10138 (SatElite) R 10137 10137 28360 0 -1 4202496 2992 0 0 0 11 0 0 0 19 0 1 0 935805986 12922880 2928 4294967295 134512640 135034092 3213360016 3213355884 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10138/statm: 3155 2928 67 128 0 3025 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15036
[startup+0.315839 s]
/proc/loadavg: 4.37 4.51 4.45 3/98 10137
/proc/meminfo: memFree=2782888/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2416 CPUtime=0
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 935805986 2473984 274 4294967295 134512640 135169312 3217016640 3217015176 3085659886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/10137/statm: 604 274 231 161 0 43 0
[pid=10138] ppid=10137 vsize=15892 CPUtime=0.31
/proc/10138/stat : 10138 (SatElite) R 10137 10137 28360 0 -1 4202496 3638 0 0 0 30 1 0 0 20 0 1 0 935805986 16273408 3574 4294967295 134512640 135034092 3213360016 3213356012 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10138/statm: 3973 3574 67 128 0 3843 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 18308
[startup+0.715807 s]
/proc/loadavg: 4.37 4.51 4.45 3/98 10137
/proc/meminfo: memFree=2782888/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2416 CPUtime=0
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 935805986 2473984 274 4294967295 134512640 135169312 3217016640 3217015176 3085659886 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/10137/statm: 604 274 231 161 0 43 0
[pid=10138] ppid=10137 vsize=18612 CPUtime=0.71
/proc/10138/stat : 10138 (SatElite) R 10137 10137 28360 0 -1 4202496 4136 0 0 0 70 1 0 0 21 0 1 0 935805986 19058688 4071 4294967295 134512640 135034092 3213360016 3213356320 134569618 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10138/statm: 4653 4071 69 128 0 4523 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 21028
[startup+1.51575 s]
/proc/loadavg: 4.37 4.51 4.45 2/100 10139
/proc/meminfo: memFree=2766552/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 2420
[startup+3.11562 s]
/proc/loadavg: 4.37 4.51 4.45 5/103 10143
/proc/meminfo: memFree=2731624/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=84820 CPUtime=5.82
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 14512 0 0 0 574 8 0 0 16 0 4 0 935806128 86855680 14448 4294967295 134512640 135305190 3217805296 3217803540 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10140/statm: 21205 14448 79 194 0 21009 0
[pid=10140/tid=10141] ppid=10137 vsize=84820 CPUtime=1.35
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 1101 0 0 0 135 0 0 0 19 0 4 0 935806156 86855680 14448 4294967295 134512640 135305190 3217805296 3082460080 134558844 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=84820 CPUtime=1.39
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 1228 0 0 0 139 0 0 0 19 0 4 0 935806156 86855680 14448 4294967295 134512640 135305190 3217805296 3074071744 134528506 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=84820 CPUtime=1.4
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 1034 0 0 0 140 0 0 0 18 0 4 0 935806156 86855680 14448 4294967295 134512640 135305190 3217805296 3065683136 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 87240
[startup+6.31536 s]
/proc/loadavg: 4.34 4.50 4.45 5/103 10143
/proc/meminfo: memFree=2705892/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=107268 CPUtime=18.61
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 19942 0 0 0 1849 12 0 0 17 0 4 0 935806128 109842432 19878 4294967295 134512640 135305190 3217805296 3217803220 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10140/statm: 26817 19878 79 194 0 26621 0
[pid=10140/tid=10141] ppid=10137 vsize=107268 CPUtime=4.54
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 2287 0 0 0 451 3 0 0 25 0 4 0 935806156 109842432 19878 4294967295 134512640 135305190 3217805296 3082460352 134528341 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=107268 CPUtime=4.59
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 2754 0 0 0 459 0 0 0 25 0 4 0 935806156 109842432 19878 4294967295 134512640 135305190 3217805296 3074071744 134528520 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=107268 CPUtime=4.6
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 2443 0 0 0 460 0 0 0 19 0 4 0 935806156 109842432 19878 4294967295 134512640 135305190 3217805296 3065683136 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.03
Current children cumulated vsize (KiB) 109688
[startup+12.7149 s]
/proc/loadavg: 4.31 4.49 4.45 5/103 10144
/proc/meminfo: memFree=2684772/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=123964 CPUtime=44.19
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 24261 0 0 0 4400 19 0 0 20 0 4 0 935806128 126939136 24197 4294967295 134512640 135305190 3217805296 3217803012 134839991 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10140/statm: 30991 24197 79 194 0 30795 0
[pid=10140/tid=10141] ppid=10137 vsize=123964 CPUtime=10.93
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 3276 0 0 0 1086 7 0 0 25 0 4 0 935806156 126939136 24197 4294967295 134512640 135305190 3217805296 3082460352 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=123964 CPUtime=10.99
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 3637 0 0 0 1098 1 0 0 25 0 4 0 935806156 126939136 24197 4294967295 134512640 135305190 3217805296 3074071744 134528428 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=123964 CPUtime=11
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 3612 0 0 0 1098 2 0 0 25 0 4 0 935806156 126939136 24197 4294967295 134512640 135305190 3217805296 3065683136 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.61
Current children cumulated vsize (KiB) 126384
[startup+25.5138 s]
/proc/loadavg: 4.32 4.48 4.45 5/103 10146
/proc/meminfo: memFree=2649540/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=157484 CPUtime=95.31
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 32488 0 0 0 9500 31 0 0 25 0 4 0 935806128 161263616 32424 4294967295 134512640 135305190 3217805296 3217803176 134695249 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10140/statm: 39371 32424 79 194 0 39175 0
[pid=10140/tid=10141] ppid=10137 vsize=157484 CPUtime=23.65
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 5145 0 0 0 2352 13 0 0 25 0 4 0 935806156 161263616 32424 4294967295 134512640 135305190 3217805296 3082460352 134528536 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=157484 CPUtime=23.79
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 5678 0 0 0 2376 3 0 0 25 0 4 0 935806156 161263616 32424 4294967295 134512640 135305190 3217805296 3074071744 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=157484 CPUtime=23.8
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 5617 0 0 0 2376 4 0 0 23 0 4 0 935806156 161263616 32424 4294967295 134512640 135305190 3217805296 3065683136 134528329 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.73
Current children cumulated vsize (KiB) 159904
[startup+51.1118 s]
/proc/loadavg: 4.27 4.46 4.44 5/103 10331
/proc/meminfo: memFree=2598024/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=209128 CPUtime=197.35
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 45380 0 0 0 19685 50 0 0 18 0 4 0 935806128 214147072 45316 4294967295 134512640 135305190 3217805296 3217803472 134528559 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10140/statm: 52282 45316 79 194 0 52086 0
[pid=10140/tid=10141] ppid=10137 vsize=209128 CPUtime=49.08
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 8137 0 0 0 4888 20 0 0 25 0 4 0 935806156 214147072 45316 4294967295 134512640 135305190 3217805296 3082460352 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=209128 CPUtime=49.23
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 9068 0 0 0 4917 6 0 0 25 0 4 0 935806156 214147072 45316 4294967295 134512640 135305190 3217805296 3074071744 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=209128 CPUtime=49.39
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 8569 0 0 0 4932 7 0 0 25 0 4 0 935806156 214147072 45316 4294967295 134512640 135305190 3217805296 3065683136 134528392 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 198.77
Current children cumulated vsize (KiB) 211548
[startup+102.318 s]
/proc/loadavg: 4.52 4.48 4.45 6/104 10500
/proc/meminfo: memFree=2542592/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=265068 CPUtime=401.7
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 58789 0 0 0 40079 91 0 0 25 0 4 0 935806128 271429632 58725 4294967295 134512640 135305190 3217805296 3217803200 134556572 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10140/statm: 66267 58725 79 194 0 66071 0
[pid=10140/tid=10141] ppid=10137 vsize=265068 CPUtime=100.09
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 11234 0 0 0 9980 29 0 0 25 0 4 0 935806156 271429632 58725 4294967295 134512640 135305190 3217805296 3082460352 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=265068 CPUtime=100.31
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 12034 0 0 0 10009 22 0 0 25 0 4 0 935806156 271429632 58725 4294967295 134512640 135305190 3217805296 3074071744 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=265068 CPUtime=100.46
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 11418 0 0 0 10026 20 0 0 25 0 4 0 935806156 271429632 58725 4294967295 134512640 135305190 3217805296 3065683136 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 403.12
Current children cumulated vsize (KiB) 267488
[startup+162.313 s]
/proc/loadavg: 4.41 4.45 4.44 5/103 10705
/proc/meminfo: memFree=2484764/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=325348 CPUtime=641.08
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 73449 0 0 0 63992 116 0 0 25 0 4 0 935806128 333156352 73385 4294967295 134512640 135305190 3217805296 3217803472 134528406 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/10140/statm: 81337 73385 79 194 0 81141 0
[pid=10140/tid=10141] ppid=10137 vsize=325348 CPUtime=160.02
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 15565 0 0 0 15965 37 0 0 25 0 4 0 935806156 333156352 73385 4294967295 134512640 135305190 3217805296 3082460352 134528576 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=325348 CPUtime=159.96
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 14502 0 0 0 15970 26 0 0 25 0 4 0 935806156 333156352 73385 4294967295 134512640 135305190 3217805296 3074071744 134528418 0 0 0 3 0 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 24265 0 0 0 51857 72 0 0 25 0 4 0 935806156 480923648 107832 4294967295 134512640 135305190 3217805296 3065682928 134549123 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2079.13
Current children cumulated vsize (KiB) 472072
[startup+582.309 s]
/proc/loadavg: 4.39 4.48 4.45 5/103 11844
/proc/meminfo: memFree=2336988/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=481640 CPUtime=2317.22
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 110589 0 0 0 231428 294 0 0 25 0 4 0 935806128 493199360 110504 4294967295 134512640 135305190 3217805296 3217803472 134528392 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10140/statm: 120410 110504 79 194 0 120214 0
[pid=10140/tid=10141] ppid=10137 vsize=481640 CPUtime=579.51
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 24707 0 0 0 57886 65 0 0 25 0 4 0 935806156 493199360 110504 4294967295 134512640 135305190 3217805296 3082460352 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=481640 CPUtime=578.42
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 23868 0 0 0 57774 68 0 0 25 0 4 0 935806156 493199360 110504 4294967295 134512640 135305190 3217805296 3074071744 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=481640 CPUtime=579.27
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 25183 0 0 0 57848 79 0 0 25 0 4 0 935806156 493199360 110504 4294967295 134512640 135305190 3217805296 3065683136 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2318.64
Current children cumulated vsize (KiB) 484060
[startup+642.304 s]
/proc/loadavg: 4.30 4.45 4.44 5/103 12035
/proc/meminfo: memFree=2287492/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=531332 CPUtime=2556.72
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 122842 0 0 0 255335 337 0 0 25 0 4 0 935806128 544083968 122757 4294967295 134512640 135305190 3217805296 3217803472 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10140/statm: 132833 122757 79 194 0 132637 0
[pid=10140/tid=10141] ppid=10137 vsize=531332 CPUtime=639.46
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 27131 0 0 0 63875 71 0 0 25 0 4 0 935806156 544083968 122757 4294967295 134512640 135305190 3217805296 3082460352 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=531332 CPUtime=638.32
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 26915 0 0 0 63751 81 0 0 25 0 4 0 935806156 544083968 122757 4294967295 134512640 135305190 3217805296 3074071744 134528406 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=531332 CPUtime=639.1
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 30434 0 0 0 63820 90 0 0 25 0 4 0 935806156 544083968 122757 4294967295 134512640 135305190 3217805296 3065683136 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2558.14
Current children cumulated vsize (KiB) 533752
[startup+702.319 s]
/proc/loadavg: 4.38 4.45 4.44 5/103 12223
/proc/meminfo: memFree=2273520/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=546268 CPUtime=2796.29
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 126226 0 0 0 279265 364 0 0 25 0 4 0 935806128 559378432 126141 4294967295 134512640 135305190 3217805296 3217803472 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10140/statm: 136567 126141 79 194 0 136371 0
[pid=10140/tid=10141] ppid=10137 vsize=546268 CPUtime=699.37
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 27441 0 0 0 69862 75 0 0 25 0 4 0 935806156 559378432 126141 4294967295 134512640 135305190 3217805296 3082460352 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=546268 CPUtime=698.34
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 27885 0 0 0 69748 86 0 0 25 0 4 0 935806156 559378432 126141 4294967295 134512640 135305190 3217805296 3074071744 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=546268 CPUtime=698.76
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 32153 0 0 0 69774 102 0 0 25 0 4 0 935806156 559378432 126141 4294967295 134512640 135305190 3217805296 3065683136 134528392 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2797.71
Current children cumulated vsize (KiB) 548688
[startup+762.315 s]
/proc/loadavg: 4.36 4.45 4.44 6/103 12410
/proc/meminfo: memFree=2270304/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=550552 CPUtime=3035.59
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 127023 0 0 0 303161 398 0 0 25 0 4 0 935806128 563765248 126938 4294967295 134512640 135305190 3217805296 3217803472 134528559 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10140/statm: 137638 126938 79 194 0 137442 0
[pid=10140/tid=10141] ppid=10137 vsize=550552 CPUtime=759.26
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 27616 0 0 0 75845 81 0 0 25 0 4 0 935806156 563765248 126938 4294967295 134512640 135305190 3217805296 3082460352 134528376 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=550552 CPUtime=757.85
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 28232 0 0 0 75681 104 0 0 25 0 4 0 935806156 563765248 126938 4294967295 134512640 135305190 3217805296 3074071744 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=550552 CPUtime=758.68
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 32197 0 0 0 75759 109 0 0 25 0 4 0 935806156 563765248 126938 4294967295 134512640 135305190 3217805296 3065683136 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3037.01
Current children cumulated vsize (KiB) 552972
[startup+822.31 s]
/proc/loadavg: 4.25 4.41 4.43 5/103 12598
/proc/meminfo: memFree=2241664/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=581736 CPUtime=3275.36
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 134605 0 0 0 327094 442 0 0 25 0 4 0 935806128 595697664 134520 4294967295 134512640 135305190 3217805296 3217803472 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10140/statm: 145434 134520 79 194 0 145238 0
[pid=10140/tid=10141] ppid=10137 vsize=581736 CPUtime=819.23
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 30023 0 0 0 81824 99 0 0 25 0 4 0 935806156 595697664 134520 4294967295 134512640 135305190 3217805296 3082460352 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=581736 CPUtime=817.67
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 30462 0 0 0 81651 116 0 0 25 0 4 0 935806156 595697664 134520 4294967295 134512640 135305190 3217805296 3074071744 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=581736 CPUtime=818.66
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 34679 0 0 0 81748 118 0 0 25 0 4 0 935806156 595697664 134520 4294967295 134512640 135305190 3217805296 3065683136 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3276.78
Current children cumulated vsize (KiB) 584156
[startup+882.315 s]
/proc/loadavg: 4.45 4.45 4.44 5/103 12787
/proc/meminfo: memFree=2195232/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=628732 CPUtime=3514.89
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 146093 0 0 0 351013 476 0 0 25 0 4 0 935806128 643821568 146008 4294967295 134512640 135305190 3217805296 3217803472 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10140/statm: 157183 146008 79 194 0 156987 0
[pid=10140/tid=10141] ppid=10137 vsize=628732 CPUtime=879.02
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 32336 0 0 0 87795 107 0 0 25 0 4 0 935806156 643821568 146008 4294967295 134512640 135305190 3217805296 3082460352 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=628732 CPUtime=877.65
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 33562 0 0 0 87642 123 0 0 25 0 4 0 935806156 643821568 146008 4294967295 134512640 135305190 3217805296 3074071744 134528410 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=628732 CPUtime=878.41
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 39890 0 0 0 87709 132 0 0 25 0 4 0 935806156 643821568 146008 4294967295 134512640 135305190 3217805296 3065683136 134528248 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3516.31
Current children cumulated vsize (KiB) 631152
[startup+942.31 s]
/proc/loadavg: 4.56 4.49 4.45 5/103 12974
/proc/meminfo: memFree=2167164/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=657356 CPUtime=3754.4
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 153233 0 0 0 374933 507 0 0 25 0 4 0 935806128 673132544 153148 4294967295 134512640 135305190 3217805296 3217803360 134538298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10140/statm: 164339 153148 79 194 0 164143 0
[pid=10140/tid=10141] ppid=10137 vsize=657356 CPUtime=938.74
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 34034 0 0 0 93759 115 0 0 25 0 4 0 935806156 673132544 153148 4294967295 134512640 135305190 3217805296 3082460352 134528410 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=657356 CPUtime=937.64
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 35610 0 0 0 93628 136 0 0 25 0 4 0 935806156 673132544 153149 4294967295 134512640 135305190 3217805296 3074071744 134528559 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=657356 CPUtime=938.23
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 42836 0 0 0 93686 137 0 0 25 0 4 0 935806156 673132544 153149 4294967295 134512640 135305190 3217805296 3065682676 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3755.82
Current children cumulated vsize (KiB) 659776
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.54 4.50 4.46 5/103 13166
/proc/meminfo: memFree=2141184/3368532 swapFree=1959840/1959888
[pid=10137] ppid=10135 vsize=2420 CPUtime=1.42
/proc/10137/stat : 10137 (manysat.sh) S 10135 10137 28360 0 -1 4194304 370 4141 0 0 0 0 140 2 18 0 1 0 935805986 2478080 275 4294967295 134512640 135169312 3217016640 3217012856 3085659886 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10137/statm: 605 275 231 161 0 44 0
[pid=10140] ppid=10137 vsize=684428 CPUtime=3984.63
/proc/10140/stat : 10140 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202496 159550 0 0 0 397929 534 0 0 25 0 4 0 935806128 700854272 159465 4294967295 134512640 135305190 3217805296 3217803472 134530636 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10140/statm: 171107 159465 79 194 0 170911 0
[pid=10140/tid=10141] ppid=10137 vsize=684428 CPUtime=996.29
/proc/10140/task/10141/stat : 10141 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 34699 0 0 0 99510 119 0 0 25 0 4 0 935806156 700854272 159465 4294967295 134512640 135305190 3217805296 3082460352 134528418 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10140/tid=10142] ppid=10137 vsize=684428 CPUtime=995.32
/proc/10140/task/10142/stat : 10142 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 36514 0 0 0 99389 143 0 0 25 0 4 0 935806156 700854272 159465 4294967295 134512640 135305190 3217805296 3074071632 134538142 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10140/tid=10143] ppid=10137 vsize=684428 CPUtime=995.66
/proc/10140/task/10143/stat : 10143 (manysat1.1_stat) R 10137 10137 28360 0 -1 4202560 45457 0 0 0 99423 143 0 0 25 0 4 0 935806156 700854272 159465 4294967295 134512640 135305190 3217805296 3065683136 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3986.05
Current children cumulated vsize (KiB) 686848
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 10137 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=400000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=20000
# CPU time returned by wait4() is 1.42
# while last known CPU time is 3986.05
#
# 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): 3986.05
CPU user time (s): 3980.69
CPU system time (s): 5.36
CPU usage (%): 398.591
Max. virtual memory (cumulated for all children) (KiB): 686848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.4
system time used= 0.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 10
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi39 at 2009-05-28 22:24:52
IDJOB=1781104
IDBENCH=71097
IDSOLVER=623
FILE ID=tipi39/1781104-1243542292
PBS_JOBID=
Free space on /tmp= 5741 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_14_UNKNOWN.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781104-1243542292/watcher-1781104-1243542292 -o /tmp/evaluation-result-1781104-1243542292/solver-1781104-1243542292 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781104-1243542292.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 74b3bf25aa16f613ee15d6b4b9bc9486
RANDOM SEED= 895465086
Linux tipi39 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.067
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.067
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.067
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.067
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: 2782888 kB
Buffers: 52252 kB
Cached: 428244 kB
SwapCached: 0 kB
Active: 44712 kB
Inactive: 452232 kB
HighTotal: 2489216 kB
HighFree: 2047484 kB
LowTotal: 879316 kB
LowFree: 735404 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 3984 kB
Writeback: 0 kB
AnonPages: 16252 kB
Mapped: 6020 kB
Slab: 79384 kB
SReclaimable: 68144 kB
SUnreclaim: 11240 kB
PageTables: 560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 95164 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 5737 MiB
End job on tipi39 at 2009-05-28 22:41:35