0.00/0.00 c Parsing...
0.11/0.16 c ==============================================================================
0.11/0.16 c | | ORIGINAL | LEARNT | |
0.11/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.11/0.16 c ==============================================================================
0.11/0.16 c | 0 | 271393 550328 | 81417 0 0 nan | 0.000 % |
1.31/1.33 c | 0 | 269998 945031 | -- 0 -- -- | -- | -1395/394703
1.31/1.33 c ==============================================================================
1.31/1.33 c Result : #vars: 8694 #clauses: 269998 #literals: 945031
1.31/1.33 c CPU time: 1.3 s
1.31/1.33 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1781491-1243545178/watcher-1781491-1243545178 -o /tmp/evaluation-result-1781491-1243545178/solver-1781491-1243545178 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781491-1243545178.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: 3.67 4.19 4.30 3/98 19699
/proc/meminfo: memFree=2744696/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2412 CPUtime=0
/proc/19699/stat : 19699 (manysat.sh) R 19697 19699 28360 0 -1 4194304 332 0 0 0 0 0 0 0 18 0 1 0 936094570 2469888 272 4294967295 134512640 135169312 3220542112 3220540588 3085920116 0 65538 4 65536 0 0 0 17 2 0 0 0
/proc/19699/statm: 603 272 231 161 0 42 0
[pid=19700] ppid=19699 vsize=2464 CPUtime=0
/proc/19700/stat : 19700 (SatElite) R 19699 19699 28360 0 -1 4202496 445 0 0 0 0 0 0 0 18 0 1 0 936094570 2523136 382 4294967295 134512640 135034092 3215338864 3215335208 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19700/statm: 616 382 49 128 0 486 0
[startup+0.078939 s]
/proc/loadavg: 3.67 4.19 4.30 3/98 19699
/proc/meminfo: memFree=2744696/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2412 CPUtime=0
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 936094570 2469888 272 4294967295 134512640 135169312 3220542112 3220540648 3085917934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/19699/statm: 603 272 231 161 0 42 0
[pid=19700] ppid=19699 vsize=8828 CPUtime=0.08
/proc/19700/stat : 19700 (SatElite) R 19699 19699 28360 0 -1 4202496 1946 0 0 0 8 0 0 0 19 0 1 0 936094570 9039872 1883 4294967295 134512640 135034092 3215338864 3215334856 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19700/statm: 2207 1884 49 128 0 2077 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11240
[startup+0.108937 s]
/proc/loadavg: 3.67 4.19 4.30 3/98 19699
/proc/meminfo: memFree=2744696/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2412 CPUtime=0
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 936094570 2469888 272 4294967295 134512640 135169312 3220542112 3220540648 3085917934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/19699/statm: 603 272 231 161 0 42 0
[pid=19700] ppid=19699 vsize=10940 CPUtime=0.11
/proc/19700/stat : 19700 (SatElite) R 19699 19699 28360 0 -1 4202496 2510 0 0 0 10 1 0 0 19 0 1 0 936094570 11202560 2447 4294967295 134512640 135034092 3215338864 3215334780 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19700/statm: 2735 2447 49 128 0 2605 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13352
[startup+0.30892 s]
/proc/loadavg: 3.67 4.19 4.30 3/98 19699
/proc/meminfo: memFree=2744696/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2412 CPUtime=0
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 936094570 2469888 272 4294967295 134512640 135169312 3220542112 3220540648 3085917934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/19699/statm: 603 272 231 161 0 42 0
[pid=19700] ppid=19699 vsize=22220 CPUtime=0.31
/proc/19700/stat : 19700 (SatElite) R 19699 19699 28360 0 -1 4202496 5153 0 0 0 29 2 0 0 20 0 1 0 936094570 22753280 5090 4294967295 134512640 135034092 3215338864 3215334892 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19700/statm: 5555 5091 67 128 0 5425 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 24632
[startup+0.708888 s]
/proc/loadavg: 3.67 4.19 4.30 3/98 19699
/proc/meminfo: memFree=2744696/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2412 CPUtime=0
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 936094570 2469888 272 4294967295 134512640 135169312 3220542112 3220540648 3085917934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/19699/statm: 603 272 231 161 0 42 0
[pid=19700] ppid=19699 vsize=29752 CPUtime=0.71
/proc/19700/stat : 19700 (SatElite) R 19699 19699 28360 0 -1 4202496 6539 0 0 0 68 3 0 0 21 0 1 0 936094570 30466048 6476 4294967295 134512640 135034092 3215338864 3215335120 134563465 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19700/statm: 7438 6476 67 128 0 7308 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 32164
[startup+1.50882 s]
/proc/loadavg: 3.67 4.19 4.30 2/100 19701
/proc/meminfo: memFree=2718544/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2412 CPUtime=0
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 347 0 0 0 0 0 0 0 18 0 1 0 936094570 2469888 272 4294967295 134512640 135169312 3220542112 3220540648 3085917934 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/19699/statm: 603 272 231 161 0 42 0
[pid=19700] ppid=19699 vsize=25140 CPUtime=1.51
/proc/19700/stat : 19700 (SatElite) R 19699 19699 28360 0 -1 4202496 6540 0 0 0 147 4 0 0 24 0 1 0 936094570 25743360 5853 4294967295 134512640 135034092 3215338864 3215333748 134691101 0 0 0 3 0 0 0 17 2 0 0 0
/proc/19700/statm: 6285 5853 67 128 0 6155 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 27552
[startup+3.1087 s]
/proc/loadavg: 3.67 4.19 4.30 2/100 19702
/proc/meminfo: memFree=2693236/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=97064 CPUtime=3.58
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 17521 0 0 0 349 9 0 0 19 0 4 0 936094738 99393536 17456 4294967295 134512640 135305190 3219243344 3219241520 134528252 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19702/statm: 24266 17456 79 194 0 24070 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 99480
[startup+6.30844 s]
/proc/loadavg: 3.77 4.20 4.30 5/103 19706
/proc/meminfo: memFree=2664576/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=104712 CPUtime=16.37
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 19170 0 0 0 1627 10 0 0 25 0 4 0 936094738 107225088 19105 4294967295 134512640 135305190 3219243344 3219241520 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19702/statm: 26178 19105 79 194 0 25982 0
[pid=19702/tid=19703] ppid=19699 vsize=104712 CPUtime=3.92
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 965 0 0 0 390 2 0 0 25 0 4 0 936094807 107225088 19105 4294967295 134512640 135305190 3219243344 3078687936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=104712 CPUtime=3.91
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 867 0 0 0 391 0 0 0 25 0 4 0 936094808 107225088 19105 4294967295 134512640 135305190 3219243344 3070299328 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=104712 CPUtime=3.91
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 983 0 0 0 390 1 0 0 25 0 4 0 936094808 107225088 19105 4294967295 134512640 135305190 3219243344 3061910448 134559176 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 18.04
Current children cumulated vsize (KiB) 107128
[startup+12.7079 s]
/proc/loadavg: 3.79 4.20 4.30 5/103 19706
/proc/meminfo: memFree=2656084/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=111368 CPUtime=41.96
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 21151 0 0 0 4182 14 0 0 25 0 4 0 936094738 114040832 21086 4294967295 134512640 135305190 3219243344 3219241520 134528851 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19702/statm: 27842 21086 79 194 0 27646 0
[pid=19702/tid=19703] ppid=19699 vsize=111368 CPUtime=10.31
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 1391 0 0 0 1029 2 0 0 25 0 4 0 936094807 114040832 21086 4294967295 134512640 135305190 3219243344 3078687936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=111368 CPUtime=10.31
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 1286 0 0 0 1029 2 0 0 25 0 4 0 936094808 114040832 21086 4294967295 134512640 135305190 3219243344 3070299328 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=111368 CPUtime=10.31
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 1633 0 0 0 1028 3 0 0 25 0 4 0 936094808 114040832 21086 4294967295 134512640 135305190 3219243344 3061910720 134528421 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 43.63
Current children cumulated vsize (KiB) 113784
[startup+25.5069 s]
/proc/loadavg: 3.92 4.20 4.30 5/103 19708
/proc/meminfo: memFree=2648616/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=118244 CPUtime=93.09
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 22875 0 0 0 9283 26 0 0 25 0 4 0 936094738 121081856 22810 4294967295 134512640 135305190 3219243344 3219241520 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19702/statm: 29561 22810 79 194 0 29365 0
[pid=19702/tid=19703] ppid=19699 vsize=118244 CPUtime=23.04
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 1727 0 0 0 2302 2 0 0 25 0 4 0 936094807 121081856 22810 4294967295 134512640 135305190 3219243344 3078687880 134839991 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=118244 CPUtime=23.11
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 1789 0 0 0 2301 10 0 0 25 0 4 0 936094808 121081856 22810 4294967295 134512640 135305190 3219243344 3070299328 134528224 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=118244 CPUtime=23.11
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 2090 0 0 0 2306 5 0 0 25 0 4 0 936094808 121081856 22810 4294967295 134512640 135305190 3219243344 3061910720 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 94.76
Current children cumulated vsize (KiB) 120660
[startup+51.1048 s]
/proc/loadavg: 4.22 4.25 4.31 5/103 19892
/proc/meminfo: memFree=2632688/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=134044 CPUtime=195.1
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 26767 0 0 0 19466 44 0 0 25 0 4 0 936094738 137261056 26702 4294967295 134512640 135305190 3219243344 3219241520 134528837 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19702/statm: 33511 26702 79 194 0 33315 0
[pid=19702/tid=19703] ppid=19699 vsize=134044 CPUtime=48.52
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 2536 0 0 0 4846 6 0 0 25 0 4 0 936094807 137261056 26702 4294967295 134512640 135305190 3219243344 3078687664 134558326 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=134044 CPUtime=48.59
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 2982 0 0 0 4845 14 0 0 25 0 4 0 936094808 137261056 26702 4294967295 134512640 135305190 3219243344 3070299076 134840070 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=134044 CPUtime=48.64
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 3007 0 0 0 4859 5 0 0 25 0 4 0 936094808 137261056 26702 4294967295 134512640 135305190 3219243344 3061910720 134528341 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 196.77
Current children cumulated vsize (KiB) 136460
[startup+102.321 s]
/proc/loadavg: 4.44 4.29 4.32 5/103 20080
/proc/meminfo: memFree=2608108/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=157988 CPUtime=399.46
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 32541 0 0 0 39881 65 0 0 25 0 4 0 936094738 161779712 32476 4294967295 134512640 135305190 3219243344 3219241520 134528229 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19702/statm: 39497 32476 79 194 0 39301 0
[pid=19702/tid=19703] ppid=19699 vsize=157988 CPUtime=99.64
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 3789 0 0 0 9953 11 0 0 25 0 4 0 936094807 161779712 32476 4294967295 134512640 135305190 3219243344 3078687936 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=157988 CPUtime=99.73
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 4619 0 0 0 9954 19 0 0 25 0 4 0 936094808 161779712 32476 4294967295 134512640 135305190 3219243344 3070299328 134528376 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=157988 CPUtime=99.72
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 4404 0 0 0 9960 12 0 0 25 0 4 0 936094808 161779712 32476 4294967295 134512640 135305190 3219243344 3061910720 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 401.13
Current children cumulated vsize (KiB) 160404
[startup+162.316 s]
/proc/loadavg: 4.50 4.31 4.32 6/103 20267
/proc/meminfo: memFree=2588632/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=177156 CPUtime=638.88
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 37423 0 0 0 63806 82 0 0 25 0 4 0 936094738 181407744 37358 4294967295 134512640 135305190 3219243344 3219241520 134528224 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19702/statm: 44289 37358 79 194 0 44093 0
[pid=19702/tid=19703] ppid=19699 vsize=177156 CPUtime=159.22
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 4776 0 0 0 15902 20 0 0 25 0 4 0 936094807 181407744 37358 4294967295 134512640 135305190 3219243344 3078687936 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=177156 CPUtime=159.72
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 6197 0 0 0 15949 23 0 0 25 0 4 0 936094808 181407744 37358 4294967295 134512640 135305190 3219243344 3070299328 134528512 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=177156 CPUtime=159.61
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 5560 0 0 0 15946 15 0 0 25 0 4 0 936094808 181407744 37358 4294967295 134512640 135305190 3219243344 3061910720 134528248 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 640.55
################
# More data... #
################
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 10092 0 0 0 51864 46 0 0 25 0 4 0 936094808 265945088 57354 4294967295 134512640 135305190 3219243344 3061910720 134528768 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2077.63
Current children cumulated vsize (KiB) 262128
[startup+582.312 s]
/proc/loadavg: 4.52 4.54 4.42 7/104 21476
/proc/meminfo: memFree=2501192/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=267264 CPUtime=2315.73
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 59367 0 0 0 231374 199 0 0 25 0 4 0 936094738 273678336 59302 4294967295 134512640 135305190 3219243344 3219241520 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19702/statm: 66816 59302 79 194 0 66620 0
[pid=19702/tid=19703] ppid=19699 vsize=267264 CPUtime=578.46
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 9790 0 0 0 57804 42 0 0 25 0 4 0 936094807 273678336 59302 4294967295 134512640 135305190 3219243344 3078687936 134528520 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=267264 CPUtime=579.13
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 12829 0 0 0 57862 51 0 0 25 0 4 0 936094808 273678336 59302 4294967295 134512640 135305190 3219243344 3070299328 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=267264 CPUtime=578.89
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 10466 0 0 0 57837 52 0 0 25 0 4 0 936094808 273678336 59302 4294967295 134512640 135305190 3219243344 3061910448 134556770 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2317.4
Current children cumulated vsize (KiB) 269680
[startup+642.307 s]
/proc/loadavg: 4.44 4.51 4.42 7/104 21656
/proc/meminfo: memFree=2485788/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=283224 CPUtime=2555.34
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 63122 0 0 0 255311 223 0 0 25 0 4 0 936094738 290021376 63057 4294967295 134512640 135305190 3219243344 3219241520 134528559 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19702/statm: 70806 63057 79 194 0 70610 0
[pid=19702/tid=19703] ppid=19699 vsize=283224 CPUtime=638.46
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 10968 0 0 0 63798 48 0 0 25 0 4 0 936094807 290021376 63057 4294967295 134512640 135305190 3219243344 3078687936 134528263 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=283224 CPUtime=639.13
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 13698 0 0 0 63854 59 0 0 25 0 4 0 936094808 290021376 63057 4294967295 134512640 135305190 3219243344 3070299328 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=283224 CPUtime=638.53
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 11292 0 0 0 63796 57 0 0 25 0 4 0 936094808 290021376 63057 4294967295 134512640 135305190 3219243344 3061910448 134556787 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2557.01
Current children cumulated vsize (KiB) 285640
[startup+702.312 s]
/proc/loadavg: 4.51 4.53 4.43 7/104 21832
/proc/meminfo: memFree=2476824/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=292500 CPUtime=2794.67
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 65355 0 0 0 279223 244 0 0 25 0 4 0 936094738 299520000 65290 4294967295 134512640 135305190 3219243344 3219241520 134528480 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19702/statm: 73125 65290 79 194 0 72929 0
[pid=19702/tid=19703] ppid=19699 vsize=292500 CPUtime=698.25
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 11450 0 0 0 69766 59 0 0 25 0 4 0 936094807 299520000 65290 4294967295 134512640 135305190 3219243344 3078687936 134528480 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=292500 CPUtime=698.88
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 14308 0 0 0 69828 60 0 0 25 0 4 0 936094808 299520000 65290 4294967295 134512640 135305190 3219243344 3070299328 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=292500 CPUtime=698.44
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 11877 0 0 0 69779 65 0 0 25 0 4 0 936094808 299520000 65290 4294967295 134512640 135305190 3219243344 3061910720 134528289 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2796.34
Current children cumulated vsize (KiB) 294916
[startup+762.308 s]
/proc/loadavg: 4.40 4.49 4.42 7/104 22020
/proc/meminfo: memFree=2463264/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=305964 CPUtime=3034.32
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 68684 0 0 0 303165 267 0 0 25 0 4 0 936094738 313307136 68619 4294967295 134512640 135305190 3219243344 3219241520 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19702/statm: 76491 68619 79 194 0 76295 0
[pid=19702/tid=19703] ppid=19699 vsize=305964 CPUtime=758.05
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 12358 0 0 0 75742 63 0 0 25 0 4 0 936094807 313307136 68619 4294967295 134512640 135305190 3219243344 3078687936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=305964 CPUtime=758.88
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 15116 0 0 0 75822 66 0 0 25 0 4 0 936094808 313307136 68619 4294967295 134512640 135305190 3219243344 3070299328 134528571 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=305964 CPUtime=758.36
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 12670 0 0 0 75765 71 0 0 25 0 4 0 936094808 313307136 68619 4294967295 134512640 135305190 3219243344 3061910720 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3035.99
Current children cumulated vsize (KiB) 308380
[startup+822.313 s]
/proc/loadavg: 4.55 4.52 4.44 7/104 22185
/proc/meminfo: memFree=2454752/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=315336 CPUtime=3273.7
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 71113 0 0 0 327088 282 0 0 25 0 4 0 936094738 322904064 71048 4294967295 134512640 135305190 3219243344 3219241520 134528252 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/19702/statm: 78834 71048 79 194 0 78638 0
[pid=19702/tid=19703] ppid=19699 vsize=315336 CPUtime=817.81
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 12838 0 0 0 81711 70 0 0 25 0 4 0 936094807 322904064 71048 4294967295 134512640 135305190 3219243344 3078687936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=315336 CPUtime=818.87
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 15686 0 0 0 81818 69 0 0 25 0 4 0 936094808 322904064 71048 4294967295 134512640 135305190 3219243344 3070299328 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=315336 CPUtime=818.33
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 13446 0 0 0 81761 72 0 0 25 0 4 0 936094808 322904064 71048 4294967295 134512640 135305190 3219243344 3061910720 134528392 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3275.37
Current children cumulated vsize (KiB) 317752
[startup+882.318 s]
/proc/loadavg: 4.35 4.47 4.42 6/104 22401
/proc/meminfo: memFree=2443688/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=326416 CPUtime=3513.1
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 73845 0 0 0 351014 296 0 0 25 0 4 0 936094738 334249984 73780 4294967295 134512640 135305190 3219243344 3219241520 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/19702/statm: 81604 73780 79 194 0 81408 0
[pid=19702/tid=19703] ppid=19699 vsize=326416 CPUtime=877.55
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 13530 0 0 0 87680 75 0 0 25 0 4 0 936094807 334249984 73780 4294967295 134512640 135305190 3219243344 3078687936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=326416 CPUtime=878.82
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 16207 0 0 0 87812 70 0 0 25 0 4 0 936094808 334249984 73780 4294967295 134512640 135305190 3219243344 3070299216 134538524 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=326416 CPUtime=878.1
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 14094 0 0 0 87732 78 0 0 25 0 4 0 936094808 334249984 73780 4294967295 134512640 135305190 3219243344 3061910720 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3514.77
Current children cumulated vsize (KiB) 328832
[startup+942.313 s]
/proc/loadavg: 4.41 4.46 4.42 6/104 22552
/proc/meminfo: memFree=2441708/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=327752 CPUtime=3752.58
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 74204 0 0 0 374942 316 0 0 25 0 4 0 936094738 335618048 74139 4294967295 134512640 135305190 3219243344 3219241520 134528298 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19702/statm: 81938 74139 79 194 0 81742 0
[pid=19702/tid=19703] ppid=19699 vsize=327752 CPUtime=937.52
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 13803 0 0 0 93674 78 0 0 25 0 4 0 936094807 335618048 74139 4294967295 134512640 135305190 3219243344 3078687936 134530561 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=327752 CPUtime=938.43
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 16208 0 0 0 93765 78 0 0 25 0 4 0 936094808 335618048 74139 4294967295 134512640 135305190 3219243344 3070299328 134528428 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=327752 CPUtime=938.06
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 14095 0 0 0 93725 81 0 0 25 0 4 0 936094808 335618048 74139 4294967295 134512640 135305190 3219243344 3061910720 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3754.25
Current children cumulated vsize (KiB) 330168
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.01 s]
/proc/loadavg: 4.52 4.49 4.43 6/103 22727
/proc/meminfo: memFree=2437608/3368532 swapFree=1959840/1959888
[pid=19699] ppid=19697 vsize=2416 CPUtime=1.67
/proc/19699/stat : 19699 (manysat.sh) S 19697 19699 28360 0 -1 4194304 368 6544 0 0 0 0 162 5 18 0 1 0 936094570 2473984 273 4294967295 134512640 135169312 3220542112 3220538328 3085917934 0 65536 4 65538 3222376037 0 0 17 2 0 0 0
/proc/19699/statm: 604 273 231 161 0 43 0
[pid=19702] ppid=19699 vsize=332148 CPUtime=3982.69
/proc/19702/stat : 19702 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202496 75340 0 0 0 397930 339 0 0 25 0 4 0 936094738 340119552 75275 4294967295 134512640 135305190 3219243344 3219241520 134528480 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/19702/statm: 83037 75275 79 194 0 82841 0
[pid=19702/tid=19703] ppid=19699 vsize=332148 CPUtime=994.97
/proc/19702/task/19703/stat : 19703 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 14122 0 0 0 99411 86 0 0 25 0 4 0 936094807 340119552 75275 4294967295 134512640 135305190 3219243344 3078687936 134528298 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=19702/tid=19704] ppid=19699 vsize=332148 CPUtime=996.07
/proc/19702/task/19704/stat : 19704 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 16559 0 0 0 99521 86 0 0 25 0 4 0 936094808 340119552 75275 4294967295 134512640 135305190 3219243344 3070299328 134528252 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=19702/tid=19705] ppid=19699 vsize=332148 CPUtime=995.41
/proc/19702/task/19705/stat : 19705 (manysat1.1_stat) R 19699 19699 28360 0 -1 4202560 14264 0 0 0 99456 85 0 0 25 0 4 0 936094808 340119552 75275 4294967295 134512640 135305190 3219243344 3061910720 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3984.36
Current children cumulated vsize (KiB) 334564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19699 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=620000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=50000
# CPU time returned by wait4() is 1.67
# while last known CPU time is 3984.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.04
CPU time (s): 3984.36
CPU user time (s): 3980.92
CPU system time (s): 3.44
CPU usage (%): 398.421
Max. virtual memory (cumulated for all children) (KiB): 334564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.62
system time used= 0.05
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6912
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= 6
involuntary context switches= 33
runsolver used 0 second user time and 0 second system time
The end
Begin job on tipi39 at 2009-05-28 23:12:58
IDJOB=1781491
IDBENCH=71764
IDSOLVER=620
FILE ID=tipi39/1781491-1243545178
PBS_JOBID=
Free space on /tmp= 5740 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT_RACE06/simon-s02b-k2f-gr-rcs-w8.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1781491-1243545178/watcher-1781491-1243545178 -o /tmp/evaluation-result-1781491-1243545178/solver-1781491-1243545178 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1781491-1243545178.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 5da8899feefc5a4bb9db99e983e30f52
RANDOM SEED= 954806294
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: 2745140 kB
Buffers: 55796 kB
Cached: 462036 kB
SwapCached: 0 kB
Active: 53968 kB
Inactive: 480280 kB
HighTotal: 2489216 kB
HighFree: 2013308 kB
LowTotal: 879316 kB
LowFree: 731832 kB
SwapTotal: 1959888 kB
SwapFree: 1959840 kB
Dirty: 4892 kB
Writeback: 0 kB
AnonPages: 16308 kB
Mapped: 6020 kB
Slab: 79432 kB
SReclaimable: 68232 kB
SUnreclaim: 11200 kB
PageTables: 472 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= 5734 MiB
End job on tipi39 at 2009-05-28 23:29:40