0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 94348 222330 | 28304 0 0 nan | 0.000 % |
0.90/0.99 c | 0 | 56829 169094 | -- 0 -- -- | -- | -37179/-52260
0.90/0.99 c ==============================================================================
0.90/0.99 c Result : #vars: 13682 #clauses: 56829 #literals: 169094
0.90/0.99 c CPU time: 0.95 s
0.90/0.99 c ==============================================================================
3985.12/1000.03 HOME/manysat.sh: line 55: 10125 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-1779589-1243527904/watcher-1779589-1243527904 -o /tmp/evaluation-result-1779589-1243527904/solver-1779589-1243527904 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779589-1243527904.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.94 4.76 4.62 3/115 10122
/proc/meminfo: memFree=3023272/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2412 CPUtime=0
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117470266 2469888 274 4294967295 134512640 135169312 3214572784 3214571320 3085119214 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/10122/statm: 603 274 231 161 0 42 0
[pid=10123] ppid=10122 vsize=2464 CPUtime=0
/proc/10123/stat : 10123 (SatElite) R 10122 10122 12261 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 1117470266 2523136 448 4294967295 134512640 135034092 3214494880 3214491168 134544963 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10123/statm: 616 451 50 128 0 486 0
[startup+0.086764 s]
/proc/loadavg: 4.94 4.76 4.62 3/115 10122
/proc/meminfo: memFree=3023272/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2412 CPUtime=0
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117470266 2469888 274 4294967295 134512640 135169312 3214572784 3214571320 3085119214 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/10122/statm: 603 274 231 161 0 42 0
[pid=10123] ppid=10122 vsize=13404 CPUtime=0.08
/proc/10123/stat : 10123 (SatElite) R 10122 10122 12261 0 -1 4202496 3412 0 0 0 7 1 0 0 18 0 1 0 1117470266 13725696 3150 4294967295 134512640 135034092 3214494880 3214490876 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10123/statm: 3351 3150 67 128 0 3221 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15816
[startup+0.106754 s]
/proc/loadavg: 4.94 4.76 4.62 3/115 10122
/proc/meminfo: memFree=3023272/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2412 CPUtime=0
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117470266 2469888 274 4294967295 134512640 135169312 3214572784 3214571320 3085119214 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/10122/statm: 603 274 231 161 0 42 0
[pid=10123] ppid=10122 vsize=13828 CPUtime=0.1
/proc/10123/stat : 10123 (SatElite) R 10122 10122 12261 0 -1 4202496 3526 0 0 0 9 1 0 0 18 0 1 0 1117470266 14159872 3264 4294967295 134512640 135034092 3214494880 3214490876 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10123/statm: 3457 3264 67 128 0 3327 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16240
[startup+0.306746 s]
/proc/loadavg: 4.94 4.76 4.62 3/115 10122
/proc/meminfo: memFree=3023272/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2412 CPUtime=0
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117470266 2469888 274 4294967295 134512640 135169312 3214572784 3214571320 3085119214 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/10122/statm: 603 274 231 161 0 42 0
[pid=10123] ppid=10122 vsize=14536 CPUtime=0.3
/proc/10123/stat : 10123 (SatElite) R 10122 10122 12261 0 -1 4202496 3666 0 0 0 29 1 0 0 18 0 1 0 1117470266 14884864 3404 4294967295 134512640 135034092 3214494880 3214490876 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10123/statm: 3634 3404 67 128 0 3504 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16948
[startup+0.70673 s]
/proc/loadavg: 4.94 4.76 4.62 3/115 10122
/proc/meminfo: memFree=3023272/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2412 CPUtime=0
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 1117470266 2469888 274 4294967295 134512640 135169312 3214572784 3214571320 3085119214 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/10122/statm: 603 274 231 161 0 42 0
[pid=10123] ppid=10122 vsize=15768 CPUtime=0.7
/proc/10123/stat : 10123 (SatElite) R 10122 10122 12261 0 -1 4202496 3833 0 0 0 67 3 0 0 18 0 1 0 1117470266 16146432 3571 4294967295 134512640 135034092 3214494880 3214491120 134566565 0 0 0 3 0 0 0 17 2 0 0 0
/proc/10123/statm: 3942 3571 67 128 0 3812 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 18180
[startup+1.50671 s]
/proc/loadavg: 4.94 4.76 4.62 2/117 10124
/proc/meminfo: memFree=3005204/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 2416
[startup+3.10664 s]
/proc/loadavg: 4.87 4.75 4.62 5/120 10128
/proc/meminfo: memFree=2999580/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=48880 CPUtime=7.75
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 5337 0 0 0 768 7 0 0 20 0 4 0 1117470372 50053120 5270 4294967295 134512640 135305190 3215973936 3215972112 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10125/statm: 12220 5270 79 194 0 12024 0
[pid=10125/tid=10126] ppid=10122 vsize=48880 CPUtime=1.91
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 192 0 0 0 190 1 0 0 21 0 4 0 1117470384 50053120 5270 4294967295 134512640 135305190 3215973936 3081845616 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=48880 CPUtime=1.9
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 172 0 0 0 189 1 0 0 21 0 4 0 1117470384 50053120 5270 4294967295 134512640 135305190 3215973936 3073457344 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=48880 CPUtime=1.91
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 250 0 0 0 189 2 0 0 22 0 4 0 1117470384 50053120 5270 4294967295 134512640 135305190 3215973936 3065068736 134528283 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.81
Current children cumulated vsize (KiB) 51296
[startup+6.30652 s]
/proc/loadavg: 4.87 4.75 4.62 5/120 10128
/proc/meminfo: memFree=2998560/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=49404 CPUtime=20.55
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 5500 0 0 0 2048 7 0 0 25 0 4 0 1117470372 50589696 5433 4294967295 134512640 135305190 3215973936 3215971840 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10125/statm: 12351 5433 79 194 0 12155 0
[pid=10125/tid=10126] ppid=10122 vsize=49404 CPUtime=5.11
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 212 0 0 0 510 1 0 0 25 0 4 0 1117470384 50589696 5433 4294967295 134512640 135305190 3215973936 3081845952 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=49404 CPUtime=5.1
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 192 0 0 0 509 1 0 0 25 0 4 0 1117470384 50589696 5433 4294967295 134512640 135305190 3215973936 3073457344 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=49404 CPUtime=5.11
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 359 0 0 0 509 2 0 0 25 0 4 0 1117470384 50589696 5433 4294967295 134512640 135305190 3215973936 3065068736 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.61
Current children cumulated vsize (KiB) 51820
[startup+12.7063 s]
/proc/loadavg: 4.81 4.74 4.61 5/120 10128
/proc/meminfo: memFree=2997508/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=50456 CPUtime=46.12
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 5767 0 0 0 4601 11 0 0 25 0 4 0 1117470372 51666944 5700 4294967295 134512640 135305190 3215973936 3215972112 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10125/statm: 12614 5700 79 194 0 12418 0
[pid=10125/tid=10126] ppid=10122 vsize=50456 CPUtime=11.51
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 293 0 0 0 1147 4 0 0 25 0 4 0 1117470384 51666944 5700 4294967295 134512640 135305190 3215973936 3081845952 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=50456 CPUtime=11.5
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 251 0 0 0 1149 1 0 0 25 0 4 0 1117470384 51666944 5700 4294967295 134512640 135305190 3215973936 3073457344 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=50456 CPUtime=11.48
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 453 0 0 0 1145 3 0 0 25 0 4 0 1117470384 51666944 5700 4294967295 134512640 135305190 3215973936 3065068736 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.18
Current children cumulated vsize (KiB) 52872
[startup+25.5158 s]
/proc/loadavg: 4.69 4.71 4.61 5/120 10128
/proc/meminfo: memFree=2995752/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=52320 CPUtime=97.33
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 6249 0 0 0 9721 12 0 0 25 0 4 0 1117470372 53575680 6182 4294967295 134512640 135305190 3215973936 3215971840 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10125/statm: 13080 6182 79 194 0 12884 0
[pid=10125/tid=10126] ppid=10122 vsize=52320 CPUtime=24.32
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 389 0 0 0 2428 4 0 0 25 0 4 0 1117470384 53575680 6182 4294967295 134512640 135305190 3215973936 3081845952 134528501 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=52320 CPUtime=24.31
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 361 0 0 0 2430 1 0 0 25 0 4 0 1117470384 53575680 6182 4294967295 134512640 135305190 3215973936 3073457024 134552302 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=52320 CPUtime=24.26
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 614 0 0 0 2422 4 0 0 25 0 4 0 1117470384 53575680 6182 4294967295 134512640 135305190 3215973936 3065068736 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.39
Current children cumulated vsize (KiB) 54736
[startup+51.1147 s]
/proc/loadavg: 4.52 4.67 4.60 5/120 10130
/proc/meminfo: memFree=2991156/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=56708 CPUtime=199.63
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 7376 0 0 0 19945 18 0 0 25 0 4 0 1117470372 58068992 7309 4294967295 134512640 135305190 3215973936 3215971840 134558345 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10125/statm: 14177 7309 79 194 0 13981 0
[pid=10125/tid=10126] ppid=10122 vsize=56708 CPUtime=49.92
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 627 0 0 0 4987 5 0 0 25 0 4 0 1117470384 58068992 7309 4294967295 134512640 135305190 3215973936 3081845952 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=56708 CPUtime=49.9
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 530 0 0 0 4988 2 0 0 25 0 4 0 1117470384 58068992 7309 4294967295 134512640 135305190 3215973936 3073457344 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=56708 CPUtime=49.77
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 1108 0 0 0 4970 7 0 0 25 0 4 0 1117470384 58068992 7309 4294967295 134512640 135305190 3215973936 3065068736 134528872 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 200.69
Current children cumulated vsize (KiB) 59124
[startup+102.313 s]
/proc/loadavg: 4.62 4.68 4.60 5/120 10317
/proc/meminfo: memFree=2983204/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=64376 CPUtime=403.92
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 9372 0 0 0 40360 32 0 0 25 0 4 0 1117470372 65921024 9305 4294967295 134512640 135305190 3215973936 3215971840 134557557 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10125/statm: 16094 9305 79 194 0 15898 0
[pid=10125/tid=10126] ppid=10122 vsize=64376 CPUtime=100.79
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 985 0 0 0 10072 7 0 0 25 0 4 0 1117470384 65921024 9305 4294967295 134512640 135305190 3215973936 3081845952 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=64376 CPUtime=100.97
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 936 0 0 0 10091 6 0 0 25 0 4 0 1117470384 65921024 9305 4294967295 134512640 135305190 3215973936 3073456960 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=64376 CPUtime=100.92
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 1943 0 0 0 10082 10 0 0 25 0 4 0 1117470384 65921024 9305 4294967295 134512640 135305190 3215973936 3065068736 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.98
Current children cumulated vsize (KiB) 66792
[startup+162.31 s]
/proc/loadavg: 4.48 4.64 4.59 6/120 10510
/proc/meminfo: memFree=2976648/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=70284 CPUtime=643.3
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 10845 0 0 0 64285 45 0 0 25 0 4 0 1117470372 71970816 10778 4294967295 134512640 135305190 3215973936 3215971840 134557484 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/10125/statm: 17571 10778 79 194 0 17375 0
[pid=10125/tid=10126] ppid=10122 vsize=70284 CPUtime=160.39
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 1312 0 0 0 16029 10 0 0 25 0 4 0 1117470384 71970816 10778 4294967295 134512640 135305190 3215973936 3081845616 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=70284 CPUtime=160.79
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 1293 0 0 0 16068 11 0 0 25 0 4 0 1117470384 71970816 10778 4294967295 134512640 135305190 3215973936 3073457344 134528189 0 0 0 3 0 0 0 -1 3 0 0 0
################
# More data... #
################
Current children cumulated vsize (KiB) 94336
[startup+522.306 s]
/proc/loadavg: 4.74 4.67 4.61 7/121 11604
/proc/meminfo: memFree=2952728/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=95864 CPUtime=2078.02
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 16738 0 0 0 207630 172 0 0 25 0 4 0 1117470372 98164736 16671 4294967295 134512640 135305190 3215973936 3215972112 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/10125/statm: 23966 16671 79 194 0 23770 0
[pid=10125/tid=10126] ppid=10122 vsize=95864 CPUtime=517.41
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2512 0 0 0 51702 39 0 0 25 0 4 0 1117470384 98164736 16671 4294967295 134512640 135305190 3215973936 3081845680 134558382 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=95864 CPUtime=519.25
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2523 0 0 0 51862 63 0 0 25 0 4 0 1117470384 98164736 16671 4294967295 134512640 135305190 3215973936 3073457344 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=95864 CPUtime=520.57
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 4501 0 0 0 52014 43 0 0 25 0 4 0 1117470384 98164736 16671 4294967295 134512640 135305190 3215973936 3065068464 134557478 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2079.08
Current children cumulated vsize (KiB) 98280
[startup+582.314 s]
/proc/loadavg: 4.67 4.66 4.61 6/121 11735
/proc/meminfo: memFree=2951200/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=96872 CPUtime=2317.74
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 17034 0 0 0 231586 188 0 0 25 0 4 0 1117470372 99196928 16967 4294967295 134512640 135305190 3215973936 3215972112 134528851 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/10125/statm: 24218 16967 79 194 0 24022 0
[pid=10125/tid=10126] ppid=10122 vsize=96872 CPUtime=577.3
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2535 0 0 0 57690 40 0 0 25 0 4 0 1117470384 99196928 16967 4294967295 134512640 135305190 3215973936 3081845616 134551978 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=96872 CPUtime=579.08
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2533 0 0 0 57838 70 0 0 25 0 4 0 1117470384 99196928 16967 4294967295 134512640 135305190 3215973936 3073457344 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=96872 CPUtime=580.57
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 4627 0 0 0 58013 44 0 0 25 0 4 0 1117470384 99196928 16967 4294967295 134512640 135305190 3215973936 3065068736 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2318.8
Current children cumulated vsize (KiB) 99288
[startup+642.311 s]
/proc/loadavg: 4.58 4.63 4.60 6/121 11863
/proc/meminfo: memFree=2947636/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=101500 CPUtime=2557.24
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 18077 0 0 0 255515 209 0 0 25 0 4 0 1117470372 103936000 18010 4294967295 134512640 135305190 3215973936 3215972112 134528189 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/10125/statm: 25375 18010 79 194 0 25179 0
[pid=10125/tid=10126] ppid=10122 vsize=101500 CPUtime=637.1
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2745 0 0 0 63664 46 0 0 25 0 4 0 1117470384 103936000 18010 4294967295 134512640 135305190 3215973936 3081845680 134556734 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=101500 CPUtime=638.84
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2729 0 0 0 63808 76 0 0 25 0 4 0 1117470384 103936000 18010 4294967295 134512640 135305190 3215973936 3073457344 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=101500 CPUtime=640.55
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 4932 0 0 0 64005 50 0 0 25 0 4 0 1117470384 103936000 18010 4294967295 134512640 135305190 3215973936 3065068736 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2558.3
Current children cumulated vsize (KiB) 103916
[startup+702.309 s]
/proc/loadavg: 4.56 4.61 4.60 5/120 12022
/proc/meminfo: memFree=2946276/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=102040 CPUtime=2796.43
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 18235 0 0 0 279409 234 0 0 25 0 4 0 1117470372 104488960 18168 4294967295 134512640 135305190 3215973936 3215971840 134556558 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/10125/statm: 25510 18168 79 194 0 25314 0
[pid=10125/tid=10126] ppid=10122 vsize=102040 CPUtime=696.59
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2804 0 0 0 69606 53 0 0 25 0 4 0 1117470384 104488960 18168 4294967295 134512640 135305190 3215973936 3081845952 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=102040 CPUtime=698.81
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2828 0 0 0 69796 85 0 0 25 0 4 0 1117470384 104488960 18168 4294967295 134512640 135305190 3215973936 3073457344 134528548 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=102040 CPUtime=700.34
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 4932 0 0 0 69982 52 0 0 25 0 4 0 1117470384 104488960 18168 4294967295 134512640 135305190 3215973936 3065068736 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2797.49
Current children cumulated vsize (KiB) 104456
[startup+762.316 s]
/proc/loadavg: 4.57 4.62 4.60 5/120 12211
/proc/meminfo: memFree=2945780/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=103160 CPUtime=3035.77
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 18470 0 0 0 303327 250 0 0 25 0 4 0 1117470372 105635840 18399 4294967295 134512640 135305190 3215973936 3215972112 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/10125/statm: 25790 18399 79 194 0 25594 0
[pid=10125/tid=10126] ppid=10122 vsize=103160 CPUtime=756.29
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2834 0 0 0 75576 53 0 0 25 0 4 0 1117470384 105635840 18399 4294967295 134512640 135305190 3215973936 3081845952 134528837 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=103160 CPUtime=758.8
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2974 0 0 0 75789 91 0 0 25 0 4 0 1117470384 105635840 18399 4294967295 134512640 135305190 3215973936 3073457344 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=103160 CPUtime=760.31
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 4970 0 0 0 75976 55 0 0 25 0 4 0 1117470384 105635840 18399 4294967295 134512640 135305190 3215973936 3065068736 134528562 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3036.83
Current children cumulated vsize (KiB) 105576
[startup+822.314 s]
/proc/loadavg: 4.57 4.62 4.60 6/120 12403
/proc/meminfo: memFree=2944772/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=103844 CPUtime=3274.95
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 18634 0 0 0 327228 267 0 0 25 0 4 0 1117470372 106336256 18563 4294967295 134512640 135305190 3215973936 3215972112 134528341 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/10125/statm: 25961 18563 79 194 0 25765 0
[pid=10125/tid=10126] ppid=10122 vsize=103844 CPUtime=815.71
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2886 0 0 0 81517 54 0 0 25 0 4 0 1117470384 106336256 18563 4294967295 134512640 135305190 3215973936 3081845952 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=103844 CPUtime=818.77
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 2976 0 0 0 81783 94 0 0 25 0 4 0 1117470384 106336256 18563 4294967295 134512640 135305190 3215973936 3073457024 134555106 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=103844 CPUtime=820.15
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 5024 0 0 0 81949 66 0 0 25 0 4 0 1117470384 106336256 18563 4294967295 134512640 135305190 3215973936 3065068736 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3276.01
Current children cumulated vsize (KiB) 106260
[startup+882.312 s]
/proc/loadavg: 4.63 4.63 4.60 5/120 12588
/proc/meminfo: memFree=2941688/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=107252 CPUtime=3514.43
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 19465 0 0 0 351163 280 0 0 25 0 4 0 1117470372 109826048 19394 4294967295 134512640 135305190 3215973936 3215972112 134528376 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/10125/statm: 26813 19394 79 194 0 26617 0
[pid=10125/tid=10126] ppid=10122 vsize=107252 CPUtime=875.54
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 3051 0 0 0 87497 57 0 0 25 0 4 0 1117470384 109826048 19394 4294967295 134512640 135305190 3215973936 3081845952 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=107252 CPUtime=878.56
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 3095 0 0 0 87759 97 0 0 25 0 4 0 1117470384 109826048 19394 4294967295 134512640 135305190 3215973936 3073457344 134528319 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=107252 CPUtime=880.07
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 5294 0 0 0 87938 69 0 0 25 0 4 0 1117470384 109826048 19394 4294967295 134512640 135305190 3215973936 3065068736 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3515.49
Current children cumulated vsize (KiB) 109668
[startup+942.319 s]
/proc/loadavg: 4.51 4.59 4.59 5/120 12780
/proc/meminfo: memFree=2939704/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=108788 CPUtime=3753.76
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 19877 0 0 0 375079 297 0 0 25 0 4 0 1117470372 111398912 19806 4294967295 134512640 135305190 3215973936 3215972000 134538136 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/10125/statm: 27197 19806 79 194 0 27001 0
[pid=10125/tid=10126] ppid=10122 vsize=108788 CPUtime=935.54
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 3108 0 0 0 93490 64 0 0 25 0 4 0 1117470384 111398912 19806 4294967295 134512640 135305190 3215973936 3081845680 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=108788 CPUtime=938.38
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 3180 0 0 0 93739 99 0 0 25 0 4 0 1117470384 111398912 19806 4294967295 134512640 135305190 3215973936 3073457344 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=108788 CPUtime=939.96
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 5485 0 0 0 93923 73 0 0 25 0 4 0 1117470384 111398912 19806 4294967295 134512640 135305190 3215973936 3065068464 134556558 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3754.82
Current children cumulated vsize (KiB) 111204
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.70 4.62 4.60 5/120 12968
/proc/meminfo: memFree=2939796/3368532 swapFree=1941392/1959888
[pid=10122] ppid=10120 vsize=2416 CPUtime=1.06
/proc/10122/stat : 10122 (manysat.sh) S 10120 10122 12261 0 -1 4194304 372 4245 0 0 0 0 101 5 18 0 1 0 1117470266 2473984 275 4294967295 134512640 135169312 3214572784 3214569000 3085119214 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/10122/statm: 604 275 231 161 0 43 0
[pid=10125] ppid=10122 vsize=108980 CPUtime=3984.06
/proc/10125/stat : 10125 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202496 19896 0 0 0 398099 307 0 0 25 0 4 0 1117470372 111595520 19825 4294967295 134512640 135305190 3215973936 3215971840 134556770 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/10125/statm: 27245 19825 79 194 0 27049 0
[pid=10125/tid=10126] ppid=10122 vsize=108980 CPUtime=993.23
/proc/10125/task/10126/stat : 10126 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 3111 0 0 0 99256 67 0 0 25 0 4 0 1117470384 111595520 19825 4294967295 134512640 135305190 3215973936 3081845952 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=10125/tid=10127] ppid=10122 vsize=108980 CPUtime=995.97
/proc/10125/task/10127/stat : 10127 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 3181 0 0 0 99494 103 0 0 25 0 4 0 1117470384 111595520 19825 4294967295 134512640 135305190 3215973936 3073456960 134551651 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=10125/tid=10128] ppid=10122 vsize=108980 CPUtime=997.53
/proc/10125/task/10128/stat : 10128 (manysat1.1_stat) R 10122 10122 12261 0 -1 4202560 5500 0 0 0 99678 75 0 0 25 0 4 0 1117470384 111595520 19825 4294967295 134512640 135305190 3215973936 3065068736 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3985.12
Current children cumulated vsize (KiB) 111396
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1000.04
CPU time (s): 3985.18
CPU user time (s): 3982.06
CPU system time (s): 3.12
CPU usage (%): 398.504
Max. virtual memory (cumulated for all children) (KiB): 111396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3982.06
system time used= 3.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24789
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= 6079
involuntary context switches= 178360
runsolver used 0 second user time and 0 second system time
The end
Begin job on at 2009-05-28 18:25:04
IDJOB=1779589
IDBENCH=70880
IDSOLVER=623
FILE ID=/1779589-1243527904
PBS_JOBID=
Free space on /tmp= 15728 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-19-s100.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779589-1243527904/watcher-1779589-1243527904 -o /tmp/evaluation-result-1779589-1243527904/solver-1779589-1243527904 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779589-1243527904.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= e2d18d9d1a45d63e75556fb963e4ae47
RANDOM SEED= 1312038021
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.11
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.17
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3023272 kB
Buffers: 31500 kB
Cached: 232408 kB
SwapCached: 4320 kB
Active: 134972 kB
Inactive: 139556 kB
HighTotal: 2489216 kB
HighFree: 2243304 kB
LowTotal: 879316 kB
LowFree: 779968 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 2876 kB
Writeback: 0 kB
AnonPages: 9672 kB
Mapped: 4176 kB
Slab: 59556 kB
SReclaimable: 50356 kB
SUnreclaim: 9200 kB
PageTables: 764 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127452 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15728 MiB
End job on at 2009-05-28 18:41:45