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 | 94904 223730 | 28471 0 0 nan | 0.000 % |
0.91/1.00 c | 0 | 57479 171136 | -- 0 -- -- | -- | -37085/-51618
0.91/1.00 c ==============================================================================
0.91/1.00 c Result : #vars: 13839 #clauses: 57479 #literals: 171136
0.91/1.00 c CPU time: 0.95 s
0.91/1.00 c ==============================================================================
3986.24/1000.04 HOME/manysat.sh: line 55: 24305 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-1779526-1243526641/watcher-1779526-1243526641 -o /tmp/evaluation-result-1779526-1243526641/solver-1779526-1243526641 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779526-1243526641.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.39 4.54 4.53 3/109 24302
/proc/meminfo: memFree=2274152/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2416 CPUtime=0.01
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117326930 2473984 274 4294967295 134512640 135169312 3220806368 3220804904 3085201134 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24302/statm: 604 274 231 161 0 43 0
[pid=24303] ppid=24302 vsize=2464 CPUtime=0
/proc/24303/stat : 24303 (SatElite) R 24302 24302 29143 0 -1 4202496 492 0 0 0 0 0 0 0 18 0 1 0 1117326930 2523136 429 4294967295 134512640 135034092 3221123824 3221120112 134544849 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24303/statm: 616 431 50 128 0 486 0
[startup+0.110654 s]
/proc/loadavg: 4.39 4.54 4.53 3/109 24302
/proc/meminfo: memFree=2274152/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2416 CPUtime=0.01
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117326930 2473984 274 4294967295 134512640 135169312 3220806368 3220804904 3085201134 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24302/statm: 604 274 231 161 0 43 0
[pid=24303] ppid=24302 vsize=13888 CPUtime=0.1
/proc/24303/stat : 24303 (SatElite) R 24302 24302 29143 0 -1 4202496 3547 0 0 0 8 2 0 0 18 0 1 0 1117326930 14221312 3283 4294967295 134512640 135034092 3221123824 3221119820 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24303/statm: 3472 3283 67 128 0 3342 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 16304
[startup+0.210648 s]
/proc/loadavg: 4.39 4.54 4.53 3/109 24302
/proc/meminfo: memFree=2274152/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2416 CPUtime=0.01
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117326930 2473984 274 4294967295 134512640 135169312 3220806368 3220804904 3085201134 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24302/statm: 604 274 231 161 0 43 0
[pid=24303] ppid=24302 vsize=14336 CPUtime=0.2
/proc/24303/stat : 24303 (SatElite) R 24302 24302 29143 0 -1 4202496 3633 0 0 0 18 2 0 0 18 0 1 0 1117326930 14680064 3369 4294967295 134512640 135034092 3221123824 3221119820 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24303/statm: 3584 3369 67 128 0 3454 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 16752
[startup+0.310643 s]
/proc/loadavg: 4.39 4.54 4.53 3/109 24302
/proc/meminfo: memFree=2274152/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2416 CPUtime=0.01
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117326930 2473984 274 4294967295 134512640 135169312 3220806368 3220804904 3085201134 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24302/statm: 604 274 231 161 0 43 0
[pid=24303] ppid=24302 vsize=14468 CPUtime=0.3
/proc/24303/stat : 24303 (SatElite) R 24302 24302 29143 0 -1 4202496 3683 0 0 0 27 3 0 0 18 0 1 0 1117326930 14815232 3419 4294967295 134512640 135034092 3221123824 3221119820 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24303/statm: 3617 3419 67 128 0 3487 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 16884
[startup+0.710622 s]
/proc/loadavg: 4.39 4.54 4.53 3/109 24302
/proc/meminfo: memFree=2274152/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2416 CPUtime=0.01
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 349 0 0 0 0 1 0 0 18 0 1 0 1117326930 2473984 274 4294967295 134512640 135169312 3220806368 3220804904 3085201134 0 65536 4 65538 3222376037 0 0 17 0 0 0 0
/proc/24302/statm: 604 274 231 161 0 43 0
[pid=24303] ppid=24302 vsize=15848 CPUtime=0.7
/proc/24303/stat : 24303 (SatElite) R 24302 24302 29143 0 -1 4202496 3849 0 0 0 66 4 0 0 18 0 1 0 1117326930 16228352 3585 4294967295 134512640 135034092 3221123824 3221120064 134566354 0 0 0 3 0 0 0 17 3 0 0 0
/proc/24303/statm: 3962 3585 67 128 0 3832 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 18264
[startup+1.51059 s]
/proc/loadavg: 4.39 4.54 4.53 2/111 24305
/proc/meminfo: memFree=2260344/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=48700 CPUtime=1.19
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 5224 0 0 0 115 4 0 0 18 0 4 0 1117327038 49868800 5160 4294967295 134512640 135305190 3216211568 3216209744 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 12175 5160 79 194 0 11979 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 51120
[startup+3.11051 s]
/proc/loadavg: 4.39 4.54 4.53 6/114 24308
/proc/meminfo: memFree=2249244/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=49624 CPUtime=7.59
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 5459 0 0 0 755 4 0 0 19 0 4 0 1117327038 50814976 5395 4294967295 134512640 135305190 3216211568 3216209472 134556558 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 12406 5395 79 194 0 12210 0
[pid=24305/tid=24306] ppid=24302 vsize=49624 CPUtime=1.9
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 206 0 0 0 188 2 0 0 21 0 4 0 1117327051 50814976 5395 4294967295 134512640 135305190 3216211568 3082362048 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=49624 CPUtime=1.87
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 176 0 0 0 187 0 0 0 23 0 4 0 1117327051 50814976 5395 4294967295 134512640 135305190 3216211568 3073973120 134554256 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=49624 CPUtime=1.82
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 322 0 0 0 181 1 0 0 21 0 4 0 1117327051 50814976 5395 4294967295 134512640 135305190 3216211568 3065584560 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 52044
[startup+6.31034 s]
/proc/loadavg: 4.36 4.53 4.53 5/114 24308
/proc/meminfo: memFree=2248020/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=50432 CPUtime=20.39
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 5682 0 0 0 2034 5 0 0 25 0 4 0 1117327038 51642368 5618 4294967295 134512640 135305190 3216211568 3216209744 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 12608 5618 79 194 0 12412 0
[pid=24305/tid=24306] ppid=24302 vsize=50432 CPUtime=5.1
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 241 0 0 0 507 3 0 0 25 0 4 0 1117327051 51642368 5618 4294967295 134512640 135305190 3216211568 3082362048 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=50432 CPUtime=5.07
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 200 0 0 0 507 0 0 0 25 0 4 0 1117327051 51642368 5618 4294967295 134512640 135305190 3216211568 3073973440 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=50432 CPUtime=5.02
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 468 0 0 0 501 1 0 0 25 0 4 0 1117327051 51642368 5618 4294967295 134512640 135305190 3216211568 3065584560 134557506 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 21.47
Current children cumulated vsize (KiB) 52852
[startup+12.71 s]
/proc/loadavg: 4.33 4.52 4.53 5/114 24310
/proc/meminfo: memFree=2246532/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=51620 CPUtime=45.97
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 6007 0 0 0 4590 7 0 0 25 0 4 0 1117327038 52858880 5943 4294967295 134512640 135305190 3216211568 3216209744 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 12905 5943 79 194 0 12709 0
[pid=24305/tid=24306] ppid=24302 vsize=51620 CPUtime=11.5
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 304 0 0 0 1147 3 0 0 25 0 4 0 1117327051 52858880 5943 4294967295 134512640 135305190 3216211568 3082362048 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=51620 CPUtime=11.47
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 278 0 0 0 1146 1 0 0 25 0 4 0 1117327051 52858880 5943 4294967295 134512640 135305190 3216211568 3073973056 134551620 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=51620 CPUtime=11.42
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 579 0 0 0 1141 1 0 0 25 0 4 0 1117327051 52858880 5943 4294967295 134512640 135305190 3216211568 3065584580 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 47.05
Current children cumulated vsize (KiB) 54040
[startup+25.5093 s]
/proc/loadavg: 4.40 4.53 4.53 6/115 24339
/proc/meminfo: memFree=2243372/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=53872 CPUtime=97.07
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 6586 0 0 0 9699 8 0 0 25 0 4 0 1117327038 55164928 6522 4294967295 134512640 135305190 3216211568 3216209472 134557163 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 13468 6522 79 194 0 13272 0
[pid=24305/tid=24306] ppid=24302 vsize=53872 CPUtime=24.27
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 435 0 0 0 2424 3 0 0 25 0 4 0 1117327051 55164928 6522 4294967295 134512640 135305190 3216211568 3082362048 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=53872 CPUtime=24.26
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 463 0 0 0 2425 1 0 0 25 0 4 0 1117327051 55164928 6522 4294967295 134512640 135305190 3216211568 3073973120 134552302 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=53872 CPUtime=24.22
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 724 0 0 0 2421 1 0 0 25 0 4 0 1117327051 55164928 6522 4294967295 134512640 135305190 3216211568 3065584832 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 98.15
Current children cumulated vsize (KiB) 56292
[startup+51.108 s]
/proc/loadavg: 4.66 4.58 4.55 5/114 24495
/proc/meminfo: memFree=2239388/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=57956 CPUtime=199.28
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 7653 0 0 0 19913 15 0 0 25 0 4 0 1117327038 59346944 7589 4294967295 134512640 135305190 3216211568 3216209744 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 14489 7589 79 194 0 14293 0
[pid=24305/tid=24306] ppid=24302 vsize=57956 CPUtime=49.75
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 679 0 0 0 4971 4 0 0 25 0 4 0 1117327051 59346944 7589 4294967295 134512640 135305190 3216211568 3082362048 134528480 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=57956 CPUtime=49.86
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 718 0 0 0 4981 5 0 0 25 0 4 0 1117327051 59346944 7589 4294967295 134512640 135305190 3216211568 3073973440 134528861 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=57956 CPUtime=49.81
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 1032 0 0 0 4978 3 0 0 25 0 4 0 1117327051 59346944 7589 4294967295 134512640 135305190 3216211568 3065584560 134556843 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 200.36
Current children cumulated vsize (KiB) 60376
[startup+102.305 s]
/proc/loadavg: 4.77 4.62 4.56 7/115 24628
/proc/meminfo: memFree=2230700/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=65844 CPUtime=403.67
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 9672 0 0 0 40339 28 0 0 25 0 4 0 1117327038 67424256 9608 4294967295 134512640 135305190 3216211568 3216209408 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 16461 9608 79 194 0 16265 0
[pid=24305/tid=24306] ppid=24302 vsize=65844 CPUtime=100.74
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 1067 0 0 0 10067 7 0 0 25 0 4 0 1117327051 67424256 9608 4294967295 134512640 135305190 3216211568 3082362160 134565764 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=65844 CPUtime=101.05
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 1151 0 0 0 10096 9 0 0 25 0 4 0 1117327051 67424256 9608 4294967295 134512640 135305190 3216211568 3073973120 134552667 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=65844 CPUtime=100.85
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 1781 0 0 0 10079 6 0 0 25 0 4 0 1117327051 67424256 9608 4294967295 134512640 135305190 3216211568 3065584832 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 404.75
Current children cumulated vsize (KiB) 68264
[startup+162.312 s]
/proc/loadavg: 4.65 4.61 4.55 6/115 24768
/proc/meminfo: memFree=2223228/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=72976 CPUtime=642.86
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 11434 0 0 0 64247 39 0 0 25 0 4 0 1117327038 74727424 11370 4294967295 134512640 135305190 3216211568 3216209744 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 18244 11370 79 194 0 18048 0
[pid=24305/tid=24306] ppid=24302 vsize=72976 CPUtime=160.23
################
# More data... #
################
[startup+582.31 s]
/proc/loadavg: 4.51 4.57 4.54 5/114 26015
/proc/meminfo: memFree=2201656/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=96704 CPUtime=2317.88
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 17099 0 0 0 231667 121 0 0 25 0 4 0 1117327038 99024896 16986 4294967295 134512640 135305190 3216211568 3216209408 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 24176 16986 79 194 0 23980 0
[pid=24305/tid=24306] ppid=24302 vsize=96704 CPUtime=577.09
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 2463 0 0 0 57679 30 0 0 25 0 4 0 1117327051 99024896 16986 4294967295 134512640 135305190 3216211568 3082362048 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=96704 CPUtime=580.75
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3162 0 0 0 58043 32 0 0 25 0 4 0 1117327051 99024896 16986 4294967295 134512640 135305190 3216211568 3073973120 134555045 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=96704 CPUtime=579.75
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 4157 0 0 0 57943 32 0 0 25 0 4 0 1117327051 99024896 16986 4294967295 134512640 135305190 3216211568 3065584832 134528341 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2318.96
Current children cumulated vsize (KiB) 99124
[startup+642.317 s]
/proc/loadavg: 4.66 4.59 4.55 5/114 26203
/proc/meminfo: memFree=2197300/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=100616 CPUtime=2557.18
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 18053 0 0 0 255586 132 0 0 25 0 4 0 1117327038 103030784 17940 4294967295 134512640 135305190 3216211568 3216209744 134528559 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 25154 17940 79 194 0 24958 0
[pid=24305/tid=24306] ppid=24302 vsize=100616 CPUtime=636.71
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 2678 0 0 0 63641 30 0 0 25 0 4 0 1117327051 103030784 17940 4294967295 134512640 135305190 3216211568 3082362048 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=100616 CPUtime=640.43
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3217 0 0 0 64005 38 0 0 25 0 4 0 1117327051 103030784 17940 4294967295 134512640 135305190 3216211568 3073973440 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=100616 CPUtime=639.74
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 4656 0 0 0 63938 36 0 0 25 0 4 0 1117327051 103030784 17940 4294967295 134512640 135305190 3216211568 3065584624 134550968 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2558.26
Current children cumulated vsize (KiB) 103036
[startup+702.314 s]
/proc/loadavg: 4.46 4.54 4.53 5/114 26392
/proc/meminfo: memFree=2196448/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=101436 CPUtime=2796.98
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 18257 0 0 0 279554 144 0 0 25 0 4 0 1117327038 103870464 18144 4294967295 134512640 135305190 3216211568 3216209744 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 25359 18144 79 194 0 25163 0
[pid=24305/tid=24306] ppid=24302 vsize=101436 CPUtime=696.6
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 2701 0 0 0 69625 35 0 0 25 0 4 0 1117327051 103870464 18144 4294967295 134512640 135305190 3216211568 3082362048 134528406 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=101436 CPUtime=700.36
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3371 0 0 0 69997 39 0 0 25 0 4 0 1117327051 103870464 18144 4294967295 134512640 135305190 3216211568 3073973440 134528277 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=101436 CPUtime=699.74
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 4667 0 0 0 69934 40 0 0 25 0 4 0 1117327051 103870464 18144 4294967295 134512640 135305190 3216211568 3065584832 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2798.06
Current children cumulated vsize (KiB) 103856
[startup+762.311 s]
/proc/loadavg: 4.43 4.50 4.52 5/114 26580
/proc/meminfo: memFree=2196648/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=101852 CPUtime=3036.47
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 18432 0 0 0 303498 149 0 0 25 0 4 0 1117327038 104296448 18319 4294967295 134512640 135305190 3216211568 3216209408 134551651 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 25463 18319 79 194 0 25267 0
[pid=24305/tid=24306] ppid=24302 vsize=101852 CPUtime=756.27
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 2762 0 0 0 75591 36 0 0 25 0 4 0 1117327051 104296448 18319 4294967295 134512640 135305190 3216211568 3082361776 134556734 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=101852 CPUtime=760.19
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3409 0 0 0 75979 40 0 0 25 0 4 0 1117327051 104296448 18319 4294967295 134512640 135305190 3216211568 3073973440 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=101852 CPUtime=759.74
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 4694 0 0 0 75933 41 0 0 25 0 4 0 1117327051 104296448 18319 4294967295 134512640 135305190 3216211568 3065584832 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3037.55
Current children cumulated vsize (KiB) 104272
[startup+822.308 s]
/proc/loadavg: 4.61 4.52 4.52 5/114 26770
/proc/meminfo: memFree=2195360/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=102972 CPUtime=3275.66
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 18648 0 0 0 327410 156 0 0 25 0 4 0 1117327038 105443328 18535 4294967295 134512640 135305190 3216211568 3216209744 134528268 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 25743 18535 79 194 0 25547 0
[pid=24305/tid=24306] ppid=24302 vsize=102972 CPUtime=815.72
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 2887 0 0 0 81536 36 0 0 25 0 4 0 1117327051 105443328 18535 4294967295 134512640 135305190 3216211568 3082362048 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=102972 CPUtime=819.97
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3417 0 0 0 81957 40 0 0 25 0 4 0 1117327051 105443328 18535 4294967295 134512640 135305190 3216211568 3073973440 134528329 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=102972 CPUtime=819.73
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 4734 0 0 0 81931 42 0 0 25 0 4 0 1117327051 105443328 18535 4294967295 134512640 135305190 3216211568 3065584496 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3276.74
Current children cumulated vsize (KiB) 105392
[startup+882.315 s]
/proc/loadavg: 4.65 4.53 4.53 6/115 26935
/proc/meminfo: memFree=2193664/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=104236 CPUtime=3515.47
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 18974 0 0 0 351378 169 0 0 25 0 4 0 1117327038 106737664 18861 4294967295 134512640 135305190 3216211568 3216209744 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 26059 18861 79 194 0 25863 0
[pid=24305/tid=24306] ppid=24302 vsize=104236 CPUtime=875.51
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 2926 0 0 0 87513 38 0 0 25 0 4 0 1117327051 106737664 18861 4294967295 134512640 135305190 3216211568 3082362048 134528189 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=104236 CPUtime=879.98
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3473 0 0 0 87952 46 0 0 25 0 4 0 1117327051 106737664 18861 4294967295 134512640 135305190 3216211568 3073973440 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=104236 CPUtime=879.74
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 4813 0 0 0 87928 46 0 0 25 0 4 0 1117327051 106737664 18861 4294967295 134512640 135305190 3216211568 3065584496 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3516.55
Current children cumulated vsize (KiB) 106656
[startup+942.312 s]
/proc/loadavg: 4.56 4.51 4.52 5/114 27149
/proc/meminfo: memFree=2190568/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=106572 CPUtime=3754.93
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 19587 0 0 0 375315 178 0 0 25 0 4 0 1117327038 109129728 19474 4294967295 134512640 135305190 3216211568 3216209744 134528410 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 26643 19474 79 194 0 26447 0
[pid=24305/tid=24306] ppid=24302 vsize=106572 CPUtime=935.08
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3014 0 0 0 93467 41 0 0 25 0 4 0 1117327051 109129728 19474 4294967295 134512640 135305190 3216211568 3082362048 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=106572 CPUtime=939.98
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3612 0 0 0 93949 49 0 0 25 0 4 0 1117327051 109129728 19474 4294967295 134512640 135305190 3216211568 3073973440 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=106572 CPUtime=939.66
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 5069 0 0 0 93917 49 0 0 25 0 4 0 1117327051 109129728 19474 4294967295 134512640 135305190 3216211568 3065584832 134528768 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3756.01
Current children cumulated vsize (KiB) 108992
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.64 4.53 4.52 6/115 27251
/proc/meminfo: memFree=2191052/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=106716 CPUtime=3985.16
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 19630 0 0 0 398330 186 0 0 25 0 4 0 1117327038 109277184 19517 4294967295 134512640 135305190 3216211568 3216209408 134551919 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 26679 19517 79 194 0 26483 0
[pid=24305/tid=24306] ppid=24302 vsize=106716 CPUtime=992.77
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3048 0 0 0 99235 42 0 0 25 0 4 0 1117327051 109277184 19517 4294967295 134512640 135305190 3216211568 3082361776 134558834 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=106716 CPUtime=997.69
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3617 0 0 0 99719 50 0 0 25 0 4 0 1117327051 109277184 19517 4294967295 134512640 135305190 3216211568 3073973440 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=106716 CPUtime=996.79
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 5073 0 0 0 99628 51 0 0 25 0 4 0 1117327051 109277184 19517 4294967295 134512640 135305190 3216211568 3065584832 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3986.24
Current children cumulated vsize (KiB) 109136
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1000.02 s]
/proc/loadavg: 4.64 4.53 4.52 6/115 27251
/proc/meminfo: memFree=2191052/3368532 swapFree=1959840/1959888
[pid=24302] ppid=24300 vsize=2420 CPUtime=1.08
/proc/24302/stat : 24302 (manysat.sh) S 24300 24302 29143 0 -1 4194304 370 4255 0 0 0 1 102 5 18 0 1 0 1117326930 2478080 275 4294967295 134512640 135169312 3220806368 3220802584 3085201134 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/24302/statm: 605 275 231 161 0 44 0
[pid=24305] ppid=24302 vsize=106716 CPUtime=3985.16
/proc/24305/stat : 24305 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202496 19630 0 0 0 398330 186 0 0 25 0 4 0 1117327038 109277184 19517 4294967295 134512640 135305190 3216211568 3216209408 134551919 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/24305/statm: 26679 19517 79 194 0 26483 0
[pid=24305/tid=24306] ppid=24302 vsize=106716 CPUtime=992.77
/proc/24305/task/24306/stat : 24306 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3048 0 0 0 99235 42 0 0 25 0 4 0 1117327051 109277184 19517 4294967295 134512640 135305190 3216211568 3082361776 134558834 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=24305/tid=24307] ppid=24302 vsize=106716 CPUtime=997.69
/proc/24305/task/24307/stat : 24307 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 3617 0 0 0 99719 50 0 0 25 0 4 0 1117327051 109277184 19517 4294967295 134512640 135305190 3216211568 3073973440 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=24305/tid=24308] ppid=24302 vsize=106716 CPUtime=996.79
/proc/24305/task/24308/stat : 24308 (manysat1.1_stat) R 24302 24302 29143 0 -1 4202560 5073 0 0 0 99628 51 0 0 25 0 4 0 1117327051 109277184 19517 4294967295 134512640 135305190 3216211568 3065584832 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3986.24
Current children cumulated vsize (KiB) 109136
Child status: 143
Real time (s): 1000.05
CPU time (s): 3986.31
CPU user time (s): 3984.38
CPU system time (s): 1.93
CPU usage (%): 398.612
Max. virtual memory (cumulated for all children) (KiB): 109136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3984.38
system time used= 1.93
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24531
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= 3812
involuntary context switches= 205144
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on at 2009-05-28 18:04:01
IDJOB=1779526
IDBENCH=70873
IDSOLVER=620
FILE ID=/1779526-1243526641
PBS_JOBID=
Free space on /tmp= 7986 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-21-s100.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779526-1243526641/watcher-1779526-1243526641 -o /tmp/evaluation-result-1779526-1243526641/solver-1779526-1243526641 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779526-1243526641.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= d34c45eae853ce60c342643824196dbf
RANDOM SEED= 2042501717
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.073
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.073
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.12
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.073
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2274596 kB
Buffers: 33960 kB
Cached: 939820 kB
SwapCached: 0 kB
Active: 49912 kB
Inactive: 942888 kB
HighTotal: 2489216 kB
HighFree: 1643776 kB
LowTotal: 879316 kB
LowFree: 630820 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 2836 kB
Writeback: 0 kB
AnonPages: 19240 kB
Mapped: 7752 kB
Slab: 91512 kB
SReclaimable: 78656 kB
SUnreclaim: 12856 kB
PageTables: 688 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 111072 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 7986 MiB
End job on at 2009-05-28 18:20:41