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 | 95961 226361 | 28788 0 0 nan | 0.000 % |
1.01/1.01 c | 0 | 59330 176425 | -- 0 -- -- | -- | -36291/-48960
1.01/1.01 c ==============================================================================
1.01/1.01 c Result : #vars: 14275 #clauses: 59330 #literals: 176425
1.01/1.01 c CPU time: 0.96 s
1.01/1.01 c ==============================================================================
3984.44/1000.03 HOME/manysat.sh: line 55: 15766 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-1779391-1243523730/watcher-1779391-1243523730 -o /tmp/evaluation-result-1779391-1243523730/solver-1779391-1243523730 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779391-1243523730.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.66 4.64 4.57 3/98 15763
/proc/meminfo: memFree=2934420/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2412 CPUtime=0
/proc/15763/stat : 15763 (manysat.sh) R 15761 15763 28360 0 -1 4194304 333 0 0 0 0 0 0 0 18 0 1 0 933949780 2469888 273 4294967295 134512640 135169312 3221136176 3221134652 3085879156 0 65538 4 65536 0 0 0 17 3 0 0 0
/proc/15763/statm: 603 273 231 161 0 42 0
[pid=15764] ppid=15763 vsize=2464 CPUtime=0
/proc/15764/stat : 15764 (SatElite) R 15763 15763 28360 0 -1 4202496 462 0 0 0 0 0 0 0 18 0 1 0 933949780 2523136 399 4294967295 134512640 135034092 3214128192 3214124480 134544963 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15764/statm: 616 401 50 128 0 486 0
[startup+0.075031 s]
/proc/loadavg: 4.66 4.64 4.57 3/98 15763
/proc/meminfo: memFree=2934420/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2412 CPUtime=0
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 933949780 2469888 273 4294967295 134512640 135169312 3221136176 3221134712 3085876974 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15763/statm: 603 273 231 161 0 42 0
[pid=15764] ppid=15763 vsize=12588 CPUtime=0.07
/proc/15764/stat : 15764 (SatElite) R 15763 15763 28360 0 -1 4202496 3051 0 0 0 4 3 0 0 19 0 1 0 933949780 12890112 2988 4294967295 134512640 135034092 3214128192 3214124940 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15764/statm: 3147 2988 63 128 0 3017 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15000
[startup+0.105025 s]
/proc/loadavg: 4.66 4.64 4.57 3/98 15763
/proc/meminfo: memFree=2934420/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2412 CPUtime=0
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 933949780 2469888 273 4294967295 134512640 135169312 3221136176 3221134712 3085876974 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15763/statm: 603 273 231 161 0 42 0
[pid=15764] ppid=15763 vsize=13992 CPUtime=0.1
/proc/15764/stat : 15764 (SatElite) R 15763 15763 28360 0 -1 4202496 3565 0 0 0 7 3 0 0 19 0 1 0 933949780 14327808 3298 4294967295 134512640 135034092 3214128192 3214124060 134673244 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15764/statm: 3498 3298 67 128 0 3368 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16404
[startup+0.305006 s]
/proc/loadavg: 4.66 4.64 4.57 3/98 15763
/proc/meminfo: memFree=2934420/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2412 CPUtime=0
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 933949780 2469888 273 4294967295 134512640 135169312 3221136176 3221134712 3085876974 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15763/statm: 603 273 231 161 0 42 0
[pid=15764] ppid=15763 vsize=14696 CPUtime=0.3
/proc/15764/stat : 15764 (SatElite) R 15763 15763 28360 0 -1 4202496 3717 0 0 0 27 3 0 0 20 0 1 0 933949780 15048704 3450 4294967295 134512640 135034092 3214128192 3214124188 134691101 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15764/statm: 3674 3450 67 128 0 3544 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 17108
[startup+0.704976 s]
/proc/loadavg: 4.66 4.64 4.57 3/98 15763
/proc/meminfo: memFree=2934420/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2412 CPUtime=0
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 933949780 2469888 273 4294967295 134512640 135169312 3221136176 3221134712 3085876974 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/15763/statm: 603 273 231 161 0 42 0
[pid=15764] ppid=15763 vsize=15460 CPUtime=0.7
/proc/15764/stat : 15764 (SatElite) R 15763 15763 28360 0 -1 4202496 3862 0 0 0 65 5 0 0 21 0 1 0 933949780 15831040 3595 4294967295 134512640 135034092 3214128192 3214124432 134566432 0 0 0 3 0 0 0 17 3 0 0 0
/proc/15764/statm: 3865 3595 67 128 0 3735 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 17872
[startup+1.50492 s]
/proc/loadavg: 4.66 4.64 4.57 2/100 15765
/proc/meminfo: memFree=2916116/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 2416
[startup+3.10479 s]
/proc/loadavg: 4.66 4.64 4.57 6/103 15769
/proc/meminfo: memFree=2908784/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=49620 CPUtime=7.59
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 5555 0 0 0 752 7 0 0 18 0 4 0 933949888 50810880 5471 4294967295 134512640 135305190 3214480592 3214478496 134556770 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 12405 5471 79 194 0 12209 0
[pid=15766/tid=15767] ppid=15763 vsize=49620 CPUtime=1.84
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 175 0 0 0 182 2 0 0 20 0 4 0 933949900 50810880 5471 4294967295 134512640 135305190 3214480592 3082083520 134528435 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=49620 CPUtime=1.87
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 198 0 0 0 187 0 0 0 19 0 4 0 933949900 50810880 5471 4294967295 134512640 135305190 3214480592 3073694592 134552302 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=49620 CPUtime=1.86
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 327 0 0 0 184 2 0 0 20 0 4 0 933949900 50810880 5471 4294967295 134512640 135305190 3214480592 3065306032 134556558 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.67
Current children cumulated vsize (KiB) 52036
[startup+6.30452 s]
/proc/loadavg: 4.61 4.63 4.57 5/103 15769
/proc/meminfo: memFree=2908048/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=50280 CPUtime=20.37
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 5750 0 0 0 2030 7 0 0 25 0 4 0 933949888 51486720 5666 4294967295 134512640 135305190 3214480592 3214478768 134528344 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 12570 5666 79 194 0 12374 0
[pid=15766/tid=15767] ppid=15763 vsize=50280 CPUtime=5.04
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 228 0 0 0 502 2 0 0 25 0 4 0 933949900 51486720 5666 4294967295 134512640 135305190 3214480592 3082083520 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=50280 CPUtime=5.07
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 251 0 0 0 507 0 0 0 25 0 4 0 933949900 51486720 5666 4294967295 134512640 135305190 3214480592 3073694912 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=50280 CPUtime=5.04
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 366 0 0 0 502 2 0 0 25 0 4 0 933949900 51486720 5666 4294967295 134512640 135305190 3214480592 3065306304 134528338 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.45
Current children cumulated vsize (KiB) 52696
[startup+12.704 s]
/proc/loadavg: 4.56 4.62 4.56 5/103 15770
/proc/meminfo: memFree=2906020/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=51720 CPUtime=45.94
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 6120 0 0 0 4587 7 0 0 25 0 4 0 933949888 52961280 6036 4294967295 134512640 135305190 3214480592 3214478768 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 12930 6036 79 194 0 12734 0
[pid=15766/tid=15767] ppid=15763 vsize=51720 CPUtime=11.44
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 318 0 0 0 1142 2 0 0 25 0 4 0 933949900 52961280 6036 4294967295 134512640 135305190 3214480592 3082083520 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=51720 CPUtime=11.47
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 300 0 0 0 1147 0 0 0 25 0 4 0 933949900 52961280 6036 4294967295 134512640 135305190 3214480592 3073694912 134528341 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=51720 CPUtime=11.41
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 537 0 0 0 1139 2 0 0 25 0 4 0 933949900 52961280 6036 4294967295 134512640 135305190 3214480592 3065306304 134528872 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.02
Current children cumulated vsize (KiB) 54136
[startup+25.503 s]
/proc/loadavg: 4.52 4.60 4.56 5/103 15771
/proc/meminfo: memFree=2903480/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=54412 CPUtime=97.04
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 6831 0 0 0 9694 10 0 0 25 0 4 0 933949888 55717888 6747 4294967295 134512640 135305190 3214480592 3214478496 134556837 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 13603 6747 79 194 0 13407 0
[pid=15766/tid=15767] ppid=15763 vsize=54412 CPUtime=24.24
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 469 0 0 0 2422 2 0 0 25 0 4 0 933949900 55717888 6747 4294967295 134512640 135305190 3214480592 3082083520 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=54412 CPUtime=24.27
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 473 0 0 0 2426 1 0 0 25 0 4 0 933949900 55717888 6747 4294967295 134512640 135305190 3214480592 3073694912 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=54412 CPUtime=24.11
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 765 0 0 0 2407 4 0 0 25 0 4 0 933949900 55717888 6747 4294967295 134512640 135305190 3214480592 3065306304 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 98.12
Current children cumulated vsize (KiB) 56828
[startup+51.1109 s]
/proc/loadavg: 4.70 4.63 4.57 7/104 15925
/proc/meminfo: memFree=2897728/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=58660 CPUtime=198.72
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 7932 0 0 0 19852 20 0 0 25 0 4 0 933949888 60067840 7848 4294967295 134512640 135305190 3214480592 3214478768 134528301 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 14665 7848 79 194 0 14469 0
[pid=15766/tid=15767] ppid=15763 vsize=58660 CPUtime=49.8
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 700 0 0 0 4976 4 0 0 25 0 4 0 933949900 60067840 7848 4294967295 134512640 135305190 3214480592 3082083520 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=58660 CPUtime=49.23
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 647 0 0 0 4919 4 0 0 25 0 4 0 933949900 60067840 7848 4294967295 134512640 135305190 3214480592 3073694912 134528559 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=58660 CPUtime=49.69
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 1238 0 0 0 4963 6 0 0 25 0 4 0 933949900 60067840 7848 4294967295 134512640 135305190 3214480592 3065306304 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 199.8
Current children cumulated vsize (KiB) 61076
[startup+102.317 s]
/proc/loadavg: 4.60 4.61 4.56 6/104 16022
/proc/meminfo: memFree=2887644/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=70144 CPUtime=403.07
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 10607 0 0 0 40278 29 0 0 25 0 4 0 933949888 71827456 10523 4294967295 134512640 135305190 3214480592 3214478768 134528548 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 17536 10523 79 194 0 17340 0
[pid=15766/tid=15767] ppid=15763 vsize=70144 CPUtime=100.88
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 1216 0 0 0 10082 6 0 0 25 0 4 0 933949900 71827456 10523 4294967295 134512640 135305190 3214480592 3082083520 134528237 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=70144 CPUtime=100.11
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 1382 0 0 0 10005 6 0 0 25 0 4 0 933949900 71827456 10523 4294967295 134512640 135305190 3214480592 3073694592 134555097 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=70144 CPUtime=100.88
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 1990 0 0 0 10079 9 0 0 25 0 4 0 933949900 71827456 10523 4294967295 134512640 135305190 3214480592 3065306032 134556752 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 404.15
Current children cumulated vsize (KiB) 72560
[startup+162.312 s]
/proc/loadavg: 4.42 4.57 4.55 7/104 16186
/proc/meminfo: memFree=2881936/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=75764 CPUtime=642.25
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 12011 0 0 0 64178 47 0 0 25 0 4 0 933949888 77582336 11927 4294967295 134512640 135305190 3214480592 3214478768 134528406 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 18941 11927 79 194 0 18745 0
[pid=15766/tid=15767] ppid=15763 vsize=75764 CPUtime=160.87
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 1508 0 0 0 16076 11 0 0 25 0 4 0 933949900 77582336 11927 4294967295 134512640 135305190 3214480592 3082083520 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=75764 CPUtime=159.32
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 1697 0 0 0 15920 12 0 0 25 0 4 0 933949900 77582336 11927 4294967295 134512640 135305190 3214480592 3073694912 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
################
# More data... #
################
[startup+522.312 s]
/proc/loadavg: 4.41 4.63 4.59 6/103 17287
/proc/meminfo: memFree=2858136/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=100240 CPUtime=2077.36
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 17905 0 0 0 207611 125 0 0 25 0 4 0 933949888 102645760 17821 4294967295 134512640 135305190 3214480592 3214478768 134528428 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 25060 17821 79 194 0 24864 0
[pid=15766/tid=15767] ppid=15763 vsize=100240 CPUtime=520.34
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 2556 0 0 0 52000 34 0 0 25 0 4 0 933949900 102645760 17821 4294967295 134512640 135305190 3214480592 3082083520 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=100240 CPUtime=515.71
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3090 0 0 0 51539 32 0 0 25 0 4 0 933949900 102645760 17821 4294967295 134512640 135305190 3214480592 3073694912 134528283 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=100240 CPUtime=520.69
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 4627 0 0 0 52035 34 0 0 25 0 4 0 933949900 102645760 17821 4294967295 134512640 135305190 3214480592 3065306304 134528277 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2078.44
Current children cumulated vsize (KiB) 102656
[startup+582.307 s]
/proc/loadavg: 4.47 4.61 4.58 6/103 17476
/proc/meminfo: memFree=2853796/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=105468 CPUtime=2316.96
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 19277 0 0 0 231555 141 0 0 25 0 4 0 933949888 107999232 19193 4294967295 134512640 135305190 3214480592 3214478656 134538919 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 26367 19193 79 194 0 26171 0
[pid=15766/tid=15767] ppid=15763 vsize=105468 CPUtime=580.27
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 2757 0 0 0 57990 37 0 0 25 0 4 0 933949900 107999232 19193 4294967295 134512640 135305190 3214480592 3082083520 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=105468 CPUtime=575.55
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3318 0 0 0 57521 34 0 0 25 0 4 0 933949900 107999232 19193 4294967295 134512640 135305190 3214480592 3073694912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=105468 CPUtime=580.63
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 5190 0 0 0 58024 39 0 0 25 0 4 0 933949900 107999232 19193 4294967295 134512640 135305190 3214480592 3065306096 134550968 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2318.04
Current children cumulated vsize (KiB) 107884
[startup+642.312 s]
/proc/loadavg: 4.44 4.58 4.57 6/103 17663
/proc/meminfo: memFree=2851680/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=105956 CPUtime=2556.11
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 19414 0 0 0 255456 155 0 0 25 0 4 0 933949888 108498944 19330 4294967295 134512640 135305190 3214480592 3214478768 134528768 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 26489 19330 79 194 0 26293 0
[pid=15766/tid=15767] ppid=15763 vsize=105956 CPUtime=640.15
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 2869 0 0 0 63969 46 0 0 25 0 4 0 933949900 108498944 19330 4294967295 134512640 135305190 3214480592 3082083520 134530592 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=105956 CPUtime=635.56
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3343 0 0 0 63522 34 0 0 25 0 4 0 933949900 108498944 19330 4294967295 134512640 135305190 3214480592 3073694912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=105956 CPUtime=640.09
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 5190 0 0 0 63965 44 0 0 25 0 4 0 933949900 108498944 19330 4294967295 134512640 135305190 3214480592 3065306032 134557163 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2557.19
Current children cumulated vsize (KiB) 108372
[startup+702.307 s]
/proc/loadavg: 4.66 4.62 4.59 6/103 17851
/proc/meminfo: memFree=2849084/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=108000 CPUtime=2795.39
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 19842 0 0 0 279369 170 0 0 25 0 4 0 933949888 110592000 19754 4294967295 134512640 135305190 3214480592 3214478768 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 27000 19754 79 194 0 26804 0
[pid=15766/tid=15767] ppid=15763 vsize=108000 CPUtime=699.92
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 2869 0 0 0 69944 48 0 0 25 0 4 0 933949900 110592000 19754 4294967295 134512640 135305190 3214480592 3082083520 134528224 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=108000 CPUtime=695.55
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3769 0 0 0 69520 35 0 0 25 0 4 0 933949900 110592000 19754 4294967295 134512640 135305190 3214480592 3073694592 134552738 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=108000 CPUtime=699.7
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 5190 0 0 0 69920 50 0 0 25 0 4 0 933949900 110592000 19754 4294967295 134512640 135305190 3214480592 3065306304 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2796.47
Current children cumulated vsize (KiB) 110416
[startup+762.313 s]
/proc/loadavg: 4.58 4.61 4.58 5/103 18039
/proc/meminfo: memFree=2847836/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=111628 CPUtime=3034.48
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 20578 0 0 0 303268 180 0 0 25 0 4 0 933949888 114307072 20490 4294967295 134512640 135305190 3214480592 3214478768 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 27907 20490 79 194 0 27711 0
[pid=15766/tid=15767] ppid=15763 vsize=111628 CPUtime=759.75
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3031 0 0 0 75926 49 0 0 25 0 4 0 933949900 114307072 20490 4294967295 134512640 135305190 3214480592 3082083248 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=111628 CPUtime=755.56
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3994 0 0 0 75520 36 0 0 25 0 4 0 933949900 114307072 20490 4294967295 134512640 135305190 3214480592 3073694912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=111628 CPUtime=759.04
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 5392 0 0 0 75850 54 0 0 25 0 4 0 933949900 114307072 20490 4294967295 134512640 135305190 3214480592 3065306304 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3035.56
Current children cumulated vsize (KiB) 114044
[startup+822.318 s]
/proc/loadavg: 4.69 4.62 4.58 5/103 18226
/proc/meminfo: memFree=2845860/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=113372 CPUtime=3273.86
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 20992 0 0 0 327192 194 0 0 25 0 4 0 933949888 116092928 20904 4294967295 134512640 135305190 3214480592 3214478768 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 28343 20904 79 194 0 28147 0
[pid=15766/tid=15767] ppid=15763 vsize=113372 CPUtime=819.75
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3169 0 0 0 81923 52 0 0 25 0 4 0 933949900 116092928 20904 4294967295 134512640 135305190 3214480592 3082083248 134556558 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=113372 CPUtime=815.55
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 4052 0 0 0 81517 38 0 0 25 0 4 0 933949900 116092928 20904 4294967295 134512640 135305190 3214480592 3073694912 134528753 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=113372 CPUtime=818.8
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 5519 0 0 0 81825 55 0 0 25 0 4 0 933949900 116092928 20904 4294967295 134512640 135305190 3214480592 3065306304 134528559 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3274.94
Current children cumulated vsize (KiB) 115788
[startup+882.313 s]
/proc/loadavg: 4.82 4.64 4.59 5/103 18419
/proc/meminfo: memFree=2844408/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=114236 CPUtime=3513.21
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 21244 0 0 0 351097 224 0 0 25 0 4 0 933949888 116977664 21156 4294967295 134512640 135305190 3214480592 3214478768 134528579 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 28559 21156 79 194 0 28363 0
[pid=15766/tid=15767] ppid=15763 vsize=114236 CPUtime=879.59
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3193 0 0 0 87904 55 0 0 25 0 4 0 933949900 116977664 21156 4294967295 134512640 135305190 3214480592 3082083520 134528562 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=114236 CPUtime=875.54
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 4075 0 0 0 87506 48 0 0 25 0 4 0 933949900 116977664 21156 4294967295 134512640 135305190 3214480592 3073694912 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=114236 CPUtime=878.48
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 5634 0 0 0 87786 62 0 0 25 0 4 0 933949900 116977664 21156 4294967295 134512640 135305190 3214480592 3065306304 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3514.29
Current children cumulated vsize (KiB) 116652
[startup+942.308 s]
/proc/loadavg: 4.82 4.64 4.59 5/103 18606
/proc/meminfo: memFree=2843812/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=114604 CPUtime=3752.9
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 21327 0 0 0 375052 238 0 0 25 0 4 0 933949888 117354496 21239 4294967295 134512640 135305190 3214480592 3214478496 134556720 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 28651 21239 79 194 0 28455 0
[pid=15766/tid=15767] ppid=15763 vsize=114604 CPUtime=939.43
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3193 0 0 0 93882 61 0 0 25 0 4 0 933949900 117354496 21239 4294967295 134512640 135305190 3214480592 3082083520 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=114604 CPUtime=935.54
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 4106 0 0 0 93502 52 0 0 25 0 4 0 933949900 117354496 21239 4294967295 134512640 135305190 3214480592 3073694912 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=114604 CPUtime=938.4
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 5636 0 0 0 93777 63 0 0 25 0 4 0 933949900 117354496 21239 4294967295 134512640 135305190 3214480592 3065306304 134528248 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3753.98
Current children cumulated vsize (KiB) 117020
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.84 4.65 4.59 6/104 18755
/proc/meminfo: memFree=2843292/3368532 swapFree=1959840/1959888
[pid=15763] ppid=15761 vsize=2416 CPUtime=1.08
/proc/15763/stat : 15763 (manysat.sh) S 15761 15763 28360 0 -1 4194304 369 4284 0 0 0 0 103 5 18 0 1 0 933949780 2473984 274 4294967295 134512640 135169312 3221136176 3221132392 3085876974 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/15763/statm: 604 274 231 161 0 43 0
[pid=15766] ppid=15763 vsize=114740 CPUtime=3983.36
/proc/15766/stat : 15766 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202496 21361 0 0 0 398085 251 0 0 25 0 4 0 933949888 117493760 21273 4294967295 134512640 135305190 3214480592 3214478768 134528858 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/15766/statm: 28685 21273 79 194 0 28489 0
[pid=15766/tid=15767] ppid=15763 vsize=114740 CPUtime=997.13
/proc/15766/task/15767/stat : 15767 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 3225 0 0 0 99649 64 0 0 25 0 4 0 933949900 117493760 21273 4294967295 134512640 135305190 3214480592 3082083520 134528503 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=15766/tid=15768] ppid=15763 vsize=114740 CPUtime=993.23
/proc/15766/task/15768/stat : 15768 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 4108 0 0 0 99270 53 0 0 25 0 4 0 933949900 117493760 21273 4294967295 134512640 135305190 3214480592 3073694912 134528301 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=15766/tid=15769] ppid=15763 vsize=114740 CPUtime=996.01
/proc/15766/task/15769/stat : 15769 (manysat1.1_stat) R 15763 15763 28360 0 -1 4202560 5636 0 0 0 99535 66 0 0 25 0 4 0 933949900 117493760 21273 4294967295 134512640 135305190 3214480592 3065305968 134551651 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3984.44
Current children cumulated vsize (KiB) 117156
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1000.04
CPU time (s): 3984.51
CPU user time (s): 3981.95
CPU system time (s): 2.56
CPU usage (%): 398.435
Max. virtual memory (cumulated for all children) (KiB): 117156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3981.95
system time used= 2.56
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26291
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= 7342
involuntary context switches= 174475
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi39 at 2009-05-28 17:15:30
IDJOB=1779391
IDBENCH=70849
IDSOLVER=620
FILE ID=tipi39/1779391-1243523730
PBS_JOBID=
Free space on /tmp= 5742 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-27-s100.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1779391-1243523730/watcher-1779391-1243523730 -o /tmp/evaluation-result-1779391-1243523730/solver-1779391-1243523730 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1779391-1243523730.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= f47c33d2a9a327da4633207adfef7b77
RANDOM SEED= 194605581
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: 2934420 kB
Buffers: 51048 kB
Cached: 283124 kB
SwapCached: 0 kB
Active: 193148 kB
Inactive: 157260 kB
HighTotal: 2489216 kB
HighFree: 2192296 kB
LowTotal: 879316 kB
LowFree: 742124 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 3124 kB
Writeback: 0 kB
AnonPages: 16320 kB
Mapped: 6052 kB
Slab: 74248 kB
SReclaimable: 61776 kB
SUnreclaim: 12472 kB
PageTables: 528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 95168 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 5742 MiB
End job on tipi39 at 2009-05-28 17:32:10