0.00/0.00 c Parsing...
1.20/1.28 c ==============================================================================
1.20/1.28 c | | ORIGINAL | LEARNT | |
1.20/1.28 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.20/1.28 c ==============================================================================
1.20/1.28 c | 0 | 1373915 3337034 | 412174 0 0 nan | 0.000 % |
6.70/6.74 c | 0 | 959954 2694138 | -- 0 -- -- | -- | -111844/44415
6.70/6.74 c ==============================================================================
6.70/6.74 c Result : #vars: 137915 #clauses: 959954 #literals: 2694138
6.70/6.74 c CPU time: 6.55 s
6.70/6.74 c ==============================================================================
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1780711-1243534757/watcher-1780711-1243534757 -o /tmp/evaluation-result-1780711-1243534757/solver-1780711-1243534757 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780711-1243534757.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.35 4.29 4.31 3/115 32041
/proc/meminfo: memFree=2902376/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2412 CPUtime=0
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118155728 2469888 273 4294967295 134512640 135169312 3213177744 3213176280 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 603 273 231 161 0 42 0
[pid=32042] ppid=32041 vsize=2424 CPUtime=0
/proc/32042/stat : 32042 (SatElite) R 32041 32041 12261 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 1118155728 2482176 447 4294967295 134512640 135034092 3213829120 3213825408 134544963 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32042/statm: 606 450 49 128 0 476 0
[startup+0.108921 s]
/proc/loadavg: 4.35 4.29 4.31 3/115 32041
/proc/meminfo: memFree=2902376/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2412 CPUtime=0
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118155728 2469888 273 4294967295 134512640 135169312 3213177744 3213176280 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 603 273 231 161 0 42 0
[pid=32042] ppid=32041 vsize=32076 CPUtime=0.1
/proc/32042/stat : 32042 (SatElite) R 32041 32041 12261 0 -1 4202496 7127 0 0 0 7 3 0 0 18 0 1 0 1118155728 32845824 6896 4294967295 134512640 135034092 3213829120 3213825464 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32042/statm: 8019 6897 49 128 0 7889 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 34488
[startup+0.208917 s]
/proc/loadavg: 4.35 4.29 4.31 3/115 32041
/proc/meminfo: memFree=2902376/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2412 CPUtime=0
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118155728 2469888 273 4294967295 134512640 135169312 3213177744 3213176280 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 603 273 231 161 0 42 0
[pid=32042] ppid=32041 vsize=46316 CPUtime=0.2
/proc/32042/stat : 32042 (SatElite) R 32041 32041 12261 0 -1 4202496 10660 0 0 0 16 4 0 0 18 0 1 0 1118155728 47427584 10429 4294967295 134512640 135034092 3213829120 3213825080 134673244 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32042/statm: 11579 10430 49 128 0 11449 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 48728
[startup+0.308913 s]
/proc/loadavg: 4.35 4.29 4.31 3/115 32041
/proc/meminfo: memFree=2902376/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2412 CPUtime=0
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118155728 2469888 273 4294967295 134512640 135169312 3213177744 3213176280 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 603 273 231 161 0 42 0
[pid=32042] ppid=32041 vsize=53412 CPUtime=0.3
/proc/32042/stat : 32042 (SatElite) R 32041 32041 12261 0 -1 4202496 12343 0 0 0 26 4 0 0 18 0 1 0 1118155728 54693888 12112 4294967295 134512640 135034092 3213829120 3213825464 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32042/statm: 13353 12112 49 128 0 13223 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 55824
[startup+0.708897 s]
/proc/loadavg: 4.35 4.29 4.31 3/115 32041
/proc/meminfo: memFree=2902376/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2412 CPUtime=0
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118155728 2469888 273 4294967295 134512640 135169312 3213177744 3213176280 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 603 273 231 161 0 42 0
[pid=32042] ppid=32041 vsize=79220 CPUtime=0.7
/proc/32042/stat : 32042 (SatElite) R 32041 32041 12261 0 -1 4202496 18807 0 0 0 63 7 0 0 18 0 1 0 1118155728 81121280 18576 4294967295 134512640 135034092 3213829120 3213825464 134691005 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32042/statm: 19805 18576 49 128 0 19675 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 81632
[startup+1.50886 s]
/proc/loadavg: 4.35 4.29 4.31 2/117 32043
/proc/meminfo: memFree=2787676/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2412 CPUtime=0
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118155728 2469888 273 4294967295 134512640 135169312 3213177744 3213176280 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 603 273 231 161 0 42 0
[pid=32042] ppid=32041 vsize=129252 CPUtime=1.5
/proc/32042/stat : 32042 (SatElite) R 32041 32041 12261 0 -1 4202496 30884 0 0 0 139 11 0 0 20 0 1 0 1118155728 132354048 30653 4294967295 134512640 135034092 3213829120 3213825920 134539656 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32042/statm: 32313 30653 63 128 0 32183 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 131664
[startup+3.1088 s]
/proc/loadavg: 4.08 4.24 4.29 2/117 32043
/proc/meminfo: memFree=2761092/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2412 CPUtime=0
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118155728 2469888 273 4294967295 134512640 135169312 3213177744 3213176280 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 603 273 231 161 0 42 0
[pid=32042] ppid=32041 vsize=150940 CPUtime=3.1
/proc/32042/stat : 32042 (SatElite) R 32041 32041 12261 0 -1 4202496 39621 0 0 0 295 15 0 0 25 0 1 0 1118155728 154562560 35818 4294967295 134512640 135034092 3213829120 3213825408 134529233 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32042/statm: 37735 35818 67 128 0 37605 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 153352
[startup+6.30867 s]
/proc/loadavg: 4.08 4.24 4.29 2/117 32043
/proc/meminfo: memFree=2751784/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2412 CPUtime=0
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 1118155728 2469888 273 4294967295 134512640 135169312 3213177744 3213176280 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 603 273 231 161 0 42 0
[pid=32042] ppid=32041 vsize=151668 CPUtime=6.3
/proc/32042/stat : 32042 (SatElite) R 32041 32041 12261 0 -1 4202496 45753 0 0 0 612 18 0 0 25 0 1 0 1118155728 155308032 36132 4294967295 134512640 135034092 3213829120 3213825360 134566212 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32042/statm: 37917 36132 67 128 0 37787 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 154080
[startup+12.7086 s]
/proc/loadavg: 3.93 4.19 4.27 5/120 32047
/proc/meminfo: memFree=2613664/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=291932 CPUtime=12.33
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 65571 0 0 0 1161 72 0 0 15 0 4 0 1118156518 298938368 65467 4294967295 134512640 135305190 3218106432 3218104352 134541935 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/32044/statm: 72983 65467 79 194 0 72787 0
[pid=32044/tid=32045] ppid=32041 vsize=291932 CPUtime=2.55
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 1489 0 0 0 240 15 0 0 16 0 4 0 1118156732 298938368 65467 4294967295 134512640 135305190 3218106432 3018091712 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=291932 CPUtime=2.52
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 1305 0 0 0 235 17 0 0 15 0 4 0 1118156733 298938368 65467 4294967295 134512640 135305190 3218106432 3009703104 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=291932 CPUtime=2.55
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 1392 0 0 0 241 14 0 0 16 0 4 0 1118156733 298938368 65467 4294967295 134512640 135305190 3218106432 3001314496 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 20.23
Current children cumulated vsize (KiB) 294348
[startup+25.5081 s]
/proc/loadavg: 4.01 4.20 4.27 5/120 32048
/proc/meminfo: memFree=2606412/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=298136 CPUtime=63.32
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 67318 0 0 0 6252 80 0 0 25 0 4 0 1118156518 305291264 67214 4294967295 134512640 135305190 3218106432 3218104336 134556558 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/32044/statm: 74534 67214 79 194 0 74338 0
[pid=32044/tid=32045] ppid=32041 vsize=298136 CPUtime=15.32
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 1913 0 0 0 1515 17 0 0 25 0 4 0 1118156732 305291264 67214 4294967295 134512640 135305190 3218106432 3018091712 134528189 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=298136 CPUtime=15.27
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 1985 0 0 0 1507 20 0 0 25 0 4 0 1118156733 305291264 67214 4294967295 134512640 135305190 3218106432 3009702852 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=298136 CPUtime=15.29
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 1772 0 0 0 1514 15 0 0 25 0 4 0 1118156733 305291264 67214 4294967295 134512640 135305190 3218106432 3001314496 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 71.22
Current children cumulated vsize (KiB) 300552
[startup+51.1071 s]
/proc/loadavg: 4.01 4.19 4.27 5/120 32052
/proc/meminfo: memFree=2578404/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=326372 CPUtime=165.52
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 74463 0 0 0 16458 94 0 0 25 0 4 0 1118156518 334204928 74359 4294967295 134512640 135305190 3218106432 3218104608 134528229 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/32044/statm: 81593 74359 79 194 0 81397 0
[pid=32044/tid=32045] ppid=32041 vsize=326372 CPUtime=40.92
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 3462 0 0 0 4066 26 0 0 25 0 4 0 1118156732 334204928 74359 4294967295 134512640 135305190 3218106432 3018091456 134541935 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=326372 CPUtime=40.74
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 4781 0 0 0 4053 21 0 0 25 0 4 0 1118156733 334204928 74359 4294967295 134512640 135305190 3218106432 3009703104 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=326372 CPUtime=40.88
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 3165 0 0 0 4070 18 0 0 25 0 4 0 1118156733 334204928 74359 4294967295 134512640 135305190 3218106432 3001314496 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 173.42
Current children cumulated vsize (KiB) 328788
[startup+102.315 s]
/proc/loadavg: 4.22 4.21 4.27 5/120 32237
/proc/meminfo: memFree=2532588/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=372320 CPUtime=369.83
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 85777 0 0 0 36869 114 0 0 25 0 4 0 1118156518 381255680 85656 4294967295 134512640 135305190 3218106432 3218104272 134551651 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/32044/statm: 93080 85656 79 194 0 92884 0
[pid=32044/tid=32045] ppid=32041 vsize=372320 CPUtime=91.81
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 5727 0 0 0 9148 33 0 0 25 0 4 0 1118156732 381255680 85656 4294967295 134512640 135305190 3218106432 3018091440 134557484 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=372320 CPUtime=91.95
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 8652 0 0 0 9171 24 0 0 25 0 4 0 1118156733 381255680 85656 4294967295 134512640 135305190 3218106432 3009703048 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=372320 CPUtime=92.01
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 5541 0 0 0 9176 25 0 0 25 0 4 0 1118156733 381255680 85656 4294967295 134512640 135305190 3218106432 3001314440 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 377.73
Current children cumulated vsize (KiB) 374736
[startup+162.313 s]
/proc/loadavg: 4.38 4.26 4.28 6/120 32425
/proc/meminfo: memFree=2480532/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=424528 CPUtime=609.32
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 98790 0 0 0 60792 140 0 0 25 0 4 0 1118156518 434716672 98669 4294967295 134512640 135305190 3218106432 3218104608 134528229 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/32044/statm: 106132 98669 79 194 0 105936 0
[pid=32044/tid=32045] ppid=32041 vsize=424528 CPUtime=151.57
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 8236 0 0 0 15107 50 0 0 25 0 4 0 1118156732 434716672 98669 4294967295 134512640 135305190 3218106432 3018091712 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=424528 CPUtime=151.85
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 12568 0 0 0 15158 27 0 0 25 0 4 0 1118156733 434716672 98669 4294967295 134512640 135305190 3218106432 3009703104 134530561 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=424528 CPUtime=151.95
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 8461 0 0 0 15168 27 0 0 25 0 4 0 1118156733 434716672 98669 4294967295 134512640 135305190 3218106432 3001314224 134558570 0 0 0 3 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 617.22
Current children cumulated vsize (KiB) 426944
[startup+222.31 s]
/proc/loadavg: 4.32 4.28 4.29 5/120 32613
/proc/meminfo: memFree=2438628/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
################
# More data... #
################
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 23849 0 0 0 56954 66 0 0 25 0 4 0 1118156733 677580800 157925 4294967295 134512640 135305190 3218106432 3001314496 134528630 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2292.77
Current children cumulated vsize (KiB) 664116
[startup+642.313 s]
/proc/loadavg: 4.55 4.44 4.34 6/120 1479
/proc/meminfo: memFree=2207312/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=696652 CPUtime=2524.4
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 166809 0 0 0 252112 328 0 0 25 0 4 0 1118156518 713371648 166671 4294967295 134512640 135305190 3218106432 3218104608 134528551 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/32044/statm: 174163 166671 79 194 0 173967 0
[pid=32044/tid=32045] ppid=32041 vsize=696652 CPUtime=630.27
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 21643 0 0 0 62932 95 0 0 25 0 4 0 1118156732 713371648 166671 4294967295 134512640 135305190 3218106432 3018091456 134546059 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=696652 CPUtime=630.91
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 31941 0 0 0 63029 62 0 0 25 0 4 0 1118156733 713371648 166671 4294967295 134512640 135305190 3218106432 3009703104 134528224 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=696652 CPUtime=630
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 26501 0 0 0 62927 73 0 0 25 0 4 0 1118156733 713371648 166671 4294967295 134512640 135305190 3218106432 3001314496 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2532.3
Current children cumulated vsize (KiB) 699068
[startup+702.311 s]
/proc/loadavg: 4.59 4.47 4.36 5/120 1664
/proc/meminfo: memFree=2205384/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=699104 CPUtime=2763.64
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 167387 0 0 0 276013 351 0 0 25 0 4 0 1118156518 715882496 167249 4294967295 134512640 135305190 3218106432 3218104608 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/32044/statm: 174776 167249 79 194 0 174580 0
[pid=32044/tid=32045] ppid=32041 vsize=699104 CPUtime=690.19
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 21810 0 0 0 68922 97 0 0 25 0 4 0 1118156732 715882496 167249 4294967295 134512640 135305190 3218106432 3018091712 134528480 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=699104 CPUtime=690.67
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 32092 0 0 0 69003 64 0 0 25 0 4 0 1118156733 715882496 167249 4294967295 134512640 135305190 3218106432 3009703104 134528252 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=699104 CPUtime=689.57
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 26628 0 0 0 68873 84 0 0 25 0 4 0 1118156733 715882496 167249 4294967295 134512640 135305190 3218106432 3001314496 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2771.54
Current children cumulated vsize (KiB) 701520
[startup+762.309 s]
/proc/loadavg: 4.27 4.40 4.34 5/120 1856
/proc/meminfo: memFree=2153768/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=749964 CPUtime=3002.92
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 180267 0 0 0 299917 375 0 0 25 0 4 0 1118156518 767963136 180129 4294967295 134512640 135305190 3218106432 3218104272 134551998 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/32044/statm: 187491 180129 79 194 0 187295 0
[pid=32044/tid=32045] ppid=32041 vsize=749964 CPUtime=750.13
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 24456 0 0 0 74915 98 0 0 25 0 4 0 1118156732 767963136 180129 4294967295 134512640 135305190 3218106432 3018091656 134840070 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=749964 CPUtime=750.23
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 36174 0 0 0 74953 70 0 0 25 0 4 0 1118156733 767963136 180129 4294967295 134512640 135305190 3218106432 3009703048 134840070 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=749964 CPUtime=749.44
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 30224 0 0 0 74851 93 0 0 25 0 4 0 1118156733 767963136 180129 4294967295 134512640 135305190 3218106432 3001314496 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3010.82
Current children cumulated vsize (KiB) 752380
[startup+822.316 s]
/proc/loadavg: 4.43 4.42 4.35 6/120 2044
/proc/meminfo: memFree=2093056/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=811588 CPUtime=3242.28
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 195608 0 0 0 323817 411 0 0 25 0 4 0 1118156518 831066112 195470 4294967295 134512640 135305190 3218106432 3218104608 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/32044/statm: 202897 195470 79 194 0 202701 0
[pid=32044/tid=32045] ppid=32041 vsize=811588 CPUtime=810.11
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 27118 0 0 0 80904 107 0 0 25 0 4 0 1118156732 831066112 195470 4294967295 134512640 135305190 3218106432 3018091712 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=811588 CPUtime=809.87
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 40768 0 0 0 80910 77 0 0 25 0 4 0 1118156733 831066112 195470 4294967295 134512640 135305190 3218106432 3009703104 134528229 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=811588 CPUtime=809.32
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 35101 0 0 0 80827 105 0 0 25 0 4 0 1118156733 831066112 195470 4294967295 134512640 135305190 3218106432 3001314496 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3250.18
Current children cumulated vsize (KiB) 814004
[startup+882.314 s]
/proc/loadavg: 4.68 4.50 4.38 5/120 2234
/proc/meminfo: memFree=2079788/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=822768 CPUtime=3481.87
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 198233 0 0 0 347755 432 0 0 25 0 4 0 1118156518 842514432 198095 4294967295 134512640 135305190 3218106432 3218104608 134530561 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/32044/statm: 205692 198095 79 194 0 205496 0
[pid=32044/tid=32045] ppid=32041 vsize=822768 CPUtime=870.01
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 27563 0 0 0 86888 113 0 0 25 0 4 0 1118156732 842514432 198095 4294967295 134512640 135305190 3218106432 3018091712 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=822768 CPUtime=869.8
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 41555 0 0 0 86899 81 0 0 25 0 4 0 1118156733 842514432 198095 4294967295 134512640 135305190 3218106432 3009703104 134528768 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=822768 CPUtime=869.1
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 35812 0 0 0 86800 110 0 0 25 0 4 0 1118156733 842514432 198095 4294967295 134512640 135305190 3218106432 3001314224 134556558 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3489.77
Current children cumulated vsize (KiB) 825184
[startup+942.312 s]
/proc/loadavg: 4.48 4.47 4.38 5/120 2423
/proc/meminfo: memFree=2074516/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=828204 CPUtime=3721.18
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 199771 0 0 0 371655 463 0 0 25 0 4 0 1118156518 848080896 199633 4294967295 134512640 135305190 3218106432 3218104608 134528229 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/32044/statm: 207051 199633 79 194 0 206855 0
[pid=32044/tid=32045] ppid=32041 vsize=828204 CPUtime=929.77
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 27845 0 0 0 92852 125 0 0 25 0 4 0 1118156732 848080896 199633 4294967295 134512640 135305190 3218106432 3018091440 134557484 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=828204 CPUtime=929.73
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 42042 0 0 0 92888 85 0 0 25 0 4 0 1118156733 848080896 199633 4294967295 134512640 135305190 3218106432 3009702720 134551697 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=828204 CPUtime=928.78
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 36299 0 0 0 92758 120 0 0 25 0 4 0 1118156733 848080896 199633 4294967295 134512640 135305190 3218106432 3001314496 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3729.08
Current children cumulated vsize (KiB) 830620
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1000.02 s]
/proc/loadavg: 4.66 4.51 4.39 6/120 2610
/proc/meminfo: memFree=2034588/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=869400 CPUtime=3951.41
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 209983 0 0 0 394654 487 0 0 25 0 4 0 1118156518 890265600 209845 4294967295 134512640 135305190 3218106432 3218104272 134551808 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/32044/statm: 217350 209845 79 194 0 217154 0
[pid=32044/tid=32045] ppid=32041 vsize=869400 CPUtime=987.43
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 29858 0 0 0 98612 131 0 0 25 0 4 0 1118156732 890265600 209845 4294967295 134512640 135305190 3218106432 3018091680 134570397 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=869400 CPUtime=987.22
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 45206 0 0 0 98629 93 0 0 25 0 4 0 1118156733 890265600 209845 4294967295 134512640 135305190 3218106432 3009702720 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=869400 CPUtime=986.23
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 39231 0 0 0 98498 125 0 0 25 0 4 0 1118156733 890265600 209845 4294967295 134512640 135305190 3218106432 3001314496 134530638 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3959.31
Current children cumulated vsize (KiB) 871816
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.66 4.51 4.39 6/120 2610
/proc/meminfo: memFree=2034588/3368532 swapFree=1941392/1959888
[pid=32041] ppid=32039 vsize=2416 CPUtime=7.9
/proc/32041/stat : 32041 (manysat.sh) S 32039 32041 12261 0 -1 4194304 370 48074 0 0 0 0 762 28 18 0 1 0 1118155728 2473984 274 4294967295 134512640 135169312 3213177744 3213173960 3085610734 0 65536 4 65538 3222376037 0 0 17 3 0 0 0
/proc/32041/statm: 604 274 231 161 0 43 0
[pid=32044] ppid=32041 vsize=869400 CPUtime=3951.41
/proc/32044/stat : 32044 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202496 209983 0 0 0 394654 487 0 0 25 0 4 0 1118156518 890265600 209845 4294967295 134512640 135305190 3218106432 3218104272 134551808 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/32044/statm: 217350 209845 79 194 0 217154 0
[pid=32044/tid=32045] ppid=32041 vsize=869400 CPUtime=987.43
/proc/32044/task/32045/stat : 32045 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 29858 0 0 0 98612 131 0 0 25 0 4 0 1118156732 890265600 209845 4294967295 134512640 135305190 3218106432 3018091680 134570397 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=32044/tid=32046] ppid=32041 vsize=869400 CPUtime=987.22
/proc/32044/task/32046/stat : 32046 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 45206 0 0 0 98629 93 0 0 25 0 4 0 1118156733 890265600 209845 4294967295 134512640 135305190 3218106432 3009702720 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=32044/tid=32047] ppid=32041 vsize=869400 CPUtime=986.23
/proc/32044/task/32047/stat : 32047 (manysat1.1_stat) R 32041 32041 12261 0 -1 4202560 39231 0 0 0 98498 125 0 0 25 0 4 0 1118156733 890265600 209845 4294967295 134512640 135305190 3218106432 3001314496 134530638 0 0 0 3 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3959.31
Current children cumulated vsize (KiB) 871816
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32041 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=620000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=280000
# CPU time returned by wait4() is 7.9
# while last known CPU time is 3959.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1000.06
CPU time (s): 3959.31
CPU user time (s): 3954.16
CPU system time (s): 5.15
CPU usage (%): 395.907
Max. virtual memory (cumulated for all children) (KiB): 871816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.62
system time used= 0.28
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48444
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= 7
involuntary context switches= 293
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on at 2009-05-28 20:19:17
IDJOB=1780711
IDBENCH=71055
IDSOLVER=620
FILE ID=/1780711-1243534757
PBS_JOBID=
Free space on /tmp= 15704 MiB
SOLVER NAME= ManySAT 1.1 aimd 0/2009-03-20 (4 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 0
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1780711-1243534757/watcher-1780711-1243534757 -o /tmp/evaluation-result-1780711-1243534757/solver-1780711-1243534757 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1780711-1243534757.cnf aimd 0
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998
RANDOM SEED= 1076623392
Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.11
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.17
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.143
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.15
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 2902672 kB
Buffers: 38476 kB
Cached: 346140 kB
SwapCached: 4320 kB
Active: 167004 kB
Inactive: 228412 kB
HighTotal: 2489216 kB
HighFree: 2130360 kB
LowTotal: 879316 kB
LowFree: 772312 kB
SwapTotal: 1959888 kB
SwapFree: 1941392 kB
Dirty: 28396 kB
Writeback: 0 kB
AnonPages: 9628 kB
Mapped: 4212 kB
Slab: 60392 kB
SReclaimable: 51100 kB
SUnreclaim: 9292 kB
PageTables: 776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 127452 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15676 MiB
End job on at 2009-05-28 20:36:01