0.00/0.00 c Parsing...
0.04/0.09 c ==============================================================================
0.04/0.09 c | | ORIGINAL | LEARNT | |
0.04/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.09 c ==============================================================================
0.04/0.09 c | 0 | 97093 229175 | 29127 0 0 nan | 0.000 % |
1.19/1.25 c | 0 | 60325 180482 | -- 0 -- -- | -- | -36648/-48269
1.19/1.25 c ==============================================================================
1.19/1.25 c Result : #vars: 14507 #clauses: 60325 #literals: 180482
1.19/1.25 c CPU time: 1.21681 s
1.19/1.25 c ==============================================================================
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774006-1241289675/watcher-1774006-1241289675 -o /tmp/evaluation-result-1774006-1241289675/solver-1774006-1241289675 -C 10000 -W 12000 -M 1800 manysat.sh HOME/instance-1774006-1241289675.cnf aimd 1
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.38 3.85 3.87 3/64 18911
/proc/meminfo: memFree=1946424/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=0
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157000892 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 235 195 169 0 50 0
[pid=18912] ppid=18911 vsize=1556 CPUtime=0
/proc/18912/stat : 18912 (SatElite) R 18911 18911 18874 0 -1 4194304 295 0 0 0 0 0 0 0 19 0 1 0 157000892 1593344 279 1992294400 134512640 135034092 4294956112 18446744073709551615 134544849 0 0 4096 3 0 0 0 17 0 0 0
/proc/18912/statm: 389 282 50 127 0 259 0
[startup+0.0595269 s]
/proc/loadavg: 3.38 3.85 3.87 3/64 18911
/proc/meminfo: memFree=1946424/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=0
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157000892 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 235 195 169 0 50 0
[pid=18912] ppid=18911 vsize=9176 CPUtime=0.04
/proc/18912/stat : 18912 (SatElite) R 18911 18911 18874 0 -1 4194304 2160 0 0 0 4 0 0 0 19 0 1 0 157000892 9396224 2144 1992294400 134512640 135034092 4294956112 18446744073709551615 134673244 0 0 4096 3 0 0 0 17 0 0 0
/proc/18912/statm: 2294 2146 51 127 0 2164 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14532
[startup+0.10153 s]
/proc/loadavg: 3.38 3.85 3.87 3/64 18911
/proc/meminfo: memFree=1946424/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=0
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157000892 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 235 195 169 0 50 0
[pid=18912] ppid=18911 vsize=13308 CPUtime=0.09
/proc/18912/stat : 18912 (SatElite) R 18911 18911 18874 0 -1 4194304 3279 0 0 0 8 1 0 0 19 0 1 0 157000892 13627392 3157 1992294400 134512640 135034092 4294956112 18446744073709551615 134558534 0 0 4096 3 0 0 0 17 0 0 0
/proc/18912/statm: 3327 3158 68 127 0 3197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18664
[startup+0.301547 s]
/proc/loadavg: 3.38 3.85 3.87 3/64 18911
/proc/meminfo: memFree=1946424/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=0
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157000892 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 235 195 169 0 50 0
[pid=18912] ppid=18911 vsize=14464 CPUtime=0.29
/proc/18912/stat : 18912 (SatElite) R 18911 18911 18874 0 -1 4194304 3544 0 0 0 27 2 0 0 21 0 1 0 157000892 14811136 3422 1992294400 134512640 135034092 4294956112 18446744073709551615 134566187 0 0 4096 3 0 0 0 17 0 0 0
/proc/18912/statm: 3616 3422 68 127 0 3486 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19820
[startup+0.701581 s]
/proc/loadavg: 3.38 3.85 3.87 3/64 18911
/proc/meminfo: memFree=1946424/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=0
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 157000892 5484544 235 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 235 195 169 0 50 0
[pid=18912] ppid=18911 vsize=15488 CPUtime=0.69
/proc/18912/stat : 18912 (SatElite) R 18911 18911 18874 0 -1 4194304 3795 0 0 0 66 3 0 0 24 0 1 0 157000892 15859712 3650 1992294400 134512640 135034092 4294956112 18446744073709551615 134529224 0 0 4096 3 0 0 0 17 0 0 0
/proc/18912/statm: 3872 3650 68 127 0 3742 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20844
[startup+1.50266 s]
/proc/loadavg: 3.38 3.85 3.87 2/66 18913
/proc/meminfo: memFree=1927144/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 5356
[startup+3.1018 s]
/proc/loadavg: 3.38 3.85 3.87 5/69 18917
/proc/meminfo: memFree=1919952/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=55548 CPUtime=3.33
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 5447 0 0 0 328 5 0 0 17 0 4 0 157001025 56881152 5418 1992294400 134512640 135305190 4294956160 18446744073709551615 134551651 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/18914/statm: 13887 5418 83 193 0 13691 0
[pid=18914/tid=18915] ppid=18911 vsize=55548 CPUtime=0.39
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 180 0 0 0 39 0 0 0 16 0 4 0 157001043 56881152 5418 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=55548 CPUtime=1.21
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 181 0 0 0 121 0 0 0 18 0 4 0 157001043 56881152 5418 1992294400 134512640 135305190 4294956160 18446744073709551615 134555036 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18911 vsize=55548 CPUtime=0.3
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 205 0 0 0 30 0 0 0 18 0 4 0 157001043 56881152 5418 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 60904
[startup+6.30107 s]
/proc/loadavg: 3.43 3.85 3.87 5/69 18917
/proc/meminfo: memFree=1918928/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=56144 CPUtime=9.71
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 5572 0 0 0 966 5 0 0 20 0 4 0 157001025 57491456 5543 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/18914/statm: 14036 5543 83 193 0 13840 0
[pid=18914/tid=18915] ppid=18911 vsize=56144 CPUtime=1.13
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 193 0 0 0 113 0 0 0 22 0 4 0 157001043 57491456 5543 1992294400 134512640 135305190 4294956160 18446744073709551615 134528875 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=56144 CPUtime=3.65
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 199 0 0 0 365 0 0 0 18 0 4 0 157001043 57491456 5543 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18911 vsize=56144 CPUtime=1.5
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 279 0 0 0 150 0 0 0 23 0 4 0 157001043 57491456 5543 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.03
Current children cumulated vsize (KiB) 61500
[startup+12.7016 s]
/proc/loadavg: 3.47 3.86 3.87 5/69 18917
/proc/meminfo: memFree=1918288/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=56796 CPUtime=22.49
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 5748 0 0 0 2243 6 0 0 25 0 4 0 157001025 58159104 5719 1992294400 134512640 135305190 4294956160 18446744073709551615 134551651 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/18914/statm: 14199 5719 83 193 0 14003 0
[pid=18914/tid=18915] ppid=18911 vsize=56796 CPUtime=4.15
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 218 0 0 0 415 0 0 0 25 0 4 0 157001043 58159104 5719 1992294400 134512640 135305190 4294956160 18446744073709551615 134556558 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=56796 CPUtime=7
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 228 0 0 0 700 0 0 0 25 0 4 0 157001043 58159104 5719 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18911 vsize=56796 CPUtime=4.69
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 365 0 0 0 469 0 0 0 25 0 4 0 157001043 58159104 5719 1992294400 134512640 135305190 4294956160 18446744073709551615 134528252 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.81
Current children cumulated vsize (KiB) 62152
[startup+25.5027 s]
/proc/loadavg: 3.59 3.86 3.87 5/69 18917
/proc/meminfo: memFree=1917136/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=58120 CPUtime=48.03
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 6076 0 0 0 4797 6 0 0 25 0 4 0 157001025 59514880 6047 1992294400 134512640 135305190 4294956160 18446744073709551615 134528576 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/18914/statm: 14530 6047 83 193 0 14334 0
[pid=18914/tid=18915] ppid=18911 vsize=58120 CPUtime=10.52
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 299 0 0 0 1052 0 0 0 25 0 4 0 157001043 59514880 6047 1992294400 134512640 135305190 4294956160 18446744073709551615 134556558 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=58120 CPUtime=13.38
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 283 0 0 0 1338 0 0 0 25 0 4 0 157001043 59514880 6047 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18911 vsize=58120 CPUtime=11.09
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 465 0 0 0 1109 0 0 0 25 0 4 0 157001043 59514880 6047 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 49.35
Current children cumulated vsize (KiB) 63476
[startup+51.1029 s]
/proc/loadavg: 3.73 3.87 3.87 5/69 18917
/proc/meminfo: memFree=1914768/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=60368 CPUtime=99.12
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 6648 0 0 0 9905 7 0 0 25 0 4 0 157001025 61816832 6619 1992294400 134512640 135305190 4294956160 18446744073709551615 134528744 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/18914/statm: 15092 6619 83 193 0 14896 0
[pid=18914/tid=18915] ppid=18911 vsize=60368 CPUtime=23.3
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 390 0 0 0 2330 0 0 0 25 0 4 0 157001043 61816832 6619 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=60368 CPUtime=26.11
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 388 0 0 0 2610 1 0 0 25 0 4 0 157001043 61816832 6619 1992294400 134512640 135305190 4294956160 18446744073709551615 134528872 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18911 vsize=60368 CPUtime=23.9
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 697 0 0 0 2389 1 0 0 25 0 4 0 157001043 61816832 6619 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 100.44
Current children cumulated vsize (KiB) 65724
[startup+102.306 s]
/proc/loadavg: 3.88 3.89 3.88 5/69 18917
/proc/meminfo: memFree=1910160/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=64876 CPUtime=201.3
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 7809 0 0 0 20120 10 0 0 25 0 4 0 157001025 66433024 7780 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/18914/statm: 16219 7780 83 193 0 16023 0
[pid=18914/tid=18915] ppid=18911 vsize=64876 CPUtime=48.81
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 631 0 0 0 4880 1 0 0 25 0 4 0 157001043 66433024 7780 1992294400 134512640 135305190 4294956160 18446744073709551615 134557466 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=64876 CPUtime=51.6
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 650 0 0 0 5159 1 0 0 25 0 4 0 157001043 66433024 7780 1992294400 134512640 135305190 4294956160 18446744073709551615 134528277 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18917] ppid=18911 vsize=64876 CPUtime=49.5
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 1141 0 0 0 4948 2 0 0 25 0 4 0 157001043 66433024 7780 1992294400 134512640 135305190 4294956160 18446744073709551615 134557489 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 202.62
Current children cumulated vsize (KiB) 70232
[startup+162.302 s]
/proc/loadavg: 3.95 3.91 3.88 5/69 18917
/proc/meminfo: memFree=1904656/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=70232 CPUtime=321.04
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 9168 0 0 0 32093 11 0 0 25 0 4 0 157001025 71917568 9139 1992294400 134512640 135305190 4294956160 18446744073709551615 134557263 0 0 4096 3 18446744073709551615 0 0 17 0 0 0
/proc/18914/statm: 17558 9139 83 193 0 17362 0
[pid=18914/tid=18915] ppid=18911 vsize=70232 CPUtime=78.67
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 876 0 0 0 7866 1 0 0 25 0 4 0 157001043 71917568 9139 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=70232 CPUtime=81.49
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 1070 0 0 0 8148 1 0 0 25 0 4 0 157001043 71917568 9139 1992294400 134512640 135305190 4294956160 18446744073709551615 134528406 0 0 4096 3 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10350 0 0 0 228717 18 0 0 25 0 4 0 157001043 181649408 35206 1992294400 134512640 135305190 4294956160 18446744073709551615 134528329 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9183.4
Current children cumulated vsize (KiB) 182748
[startup+4662.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/69 18925
/proc/meminfo: memFree=1796688/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=178476 CPUtime=9301.83
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 35492 0 0 0 930126 57 0 0 25 0 4 0 157001025 182759424 35463 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 44619 35463 83 193 0 44423 0
[pid=18914/tid=18915] ppid=18911 vsize=178476 CPUtime=2312.28
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 6132 0 0 0 231218 10 0 0 25 0 4 0 157001043 182759424 35463 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=178476 CPUtime=2334.15
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 7599 0 0 0 233403 12 0 0 25 0 4 0 157001043 182759424 35463 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18911 vsize=178476 CPUtime=2317.05
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10376 0 0 0 231687 18 0 0 25 0 4 0 157001043 182759424 35463 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9303.15
Current children cumulated vsize (KiB) 183832
[startup+4722.31 s]
/proc/loadavg: 4.00 4.00 3.94 5/69 18925
/proc/meminfo: memFree=1796240/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=178956 CPUtime=9421.58
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 35609 0 0 0 942100 58 0 0 18 0 4 0 157001025 183250944 35580 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 44739 35580 83 193 0 44543 0
[pid=18914/tid=18915] ppid=18911 vsize=178956 CPUtime=2341.47
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 6168 0 0 0 234137 10 0 0 25 0 4 0 157001043 183250944 35580 1992294400 134512640 135305190 4294956160 18446744073709551615 134528539 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=178956 CPUtime=2364.13
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 7642 0 0 0 236401 12 0 0 25 0 4 0 157001043 183250944 35580 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18911 vsize=178956 CPUtime=2347.04
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10376 0 0 0 234686 18 0 0 25 0 4 0 157001043 183250944 35580 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9422.9
Current children cumulated vsize (KiB) 184312
[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/69 18925
/proc/meminfo: memFree=1796240/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=178956 CPUtime=9541.31
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 35611 0 0 0 954073 58 0 0 25 0 4 0 157001025 183250944 35582 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 44739 35582 83 193 0 44543 0
[pid=18914/tid=18915] ppid=18911 vsize=178956 CPUtime=2371.06
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 6168 0 0 0 237096 10 0 0 25 0 4 0 157001043 183250944 35582 1992294400 134512640 135305190 4294956160 18446744073709551615 134528936 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=178956 CPUtime=2394.11
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 7644 0 0 0 239399 12 0 0 25 0 4 0 157001043 183250944 35582 1992294400 134512640 135305190 4294956160 18446744073709551615 134528341 0 0 4096 3 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18911 vsize=178956 CPUtime=2377.03
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10376 0 0 0 237685 18 0 0 25 0 4 0 157001043 183250944 35582 1992294400 134512640 135305190 4294956160 18446744073709551615 134556558 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9542.63
Current children cumulated vsize (KiB) 184312
[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/69 18931
/proc/meminfo: memFree=1795976/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=178956 CPUtime=9661.04
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 35611 0 0 0 966046 58 0 0 25 0 4 0 157001025 183250944 35582 1992294400 134512640 135305190 4294956160 18446744073709551615 134556558 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 44739 35582 83 193 0 44543 0
[pid=18914/tid=18915] ppid=18911 vsize=178956 CPUtime=2400.96
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 6168 0 0 0 240086 10 0 0 25 0 4 0 157001043 183250944 35582 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=178956 CPUtime=2424.09
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 7644 0 0 0 242397 12 0 0 25 0 4 0 157001043 183250944 35582 1992294400 134512640 135305190 4294956160 18446744073709551615 134528939 0 0 4096 3 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18911 vsize=178956 CPUtime=2407.03
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10376 0 0 0 240685 18 0 0 25 0 4 0 157001043 183250944 35582 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9662.36
Current children cumulated vsize (KiB) 184312
[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/69 18931
/proc/meminfo: memFree=1795976/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=178956 CPUtime=9780.79
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 35612 0 0 0 978021 58 0 0 25 0 4 0 157001025 183250944 35583 1992294400 134512640 135305190 4294956160 18446744073709551615 134528151 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 44739 35583 83 193 0 44543 0
[pid=18914/tid=18915] ppid=18911 vsize=178956 CPUtime=2430.85
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 6168 0 0 0 243075 10 0 0 25 0 4 0 157001043 183250944 35583 1992294400 134512640 135305190 4294956160 18446744073709551615 134528277 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=178956 CPUtime=2454.07
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 7645 0 0 0 245395 12 0 0 25 0 4 0 157001043 183250944 35583 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18911 vsize=178956 CPUtime=2437.03
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10376 0 0 0 243684 19 0 0 25 0 4 0 157001043 183250944 35583 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9782.11
Current children cumulated vsize (KiB) 184312
[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.94 5/69 18931
/proc/meminfo: memFree=1795976/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=179028 CPUtime=9900.52
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 35629 0 0 0 989994 58 0 0 25 0 4 0 157001025 183324672 35600 1992294400 134512640 135305190 4294956160 18446744073709551615 134558376 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 44757 35600 83 193 0 44561 0
[pid=18914/tid=18915] ppid=18911 vsize=179028 CPUtime=2460.72
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 6168 0 0 0 246062 10 0 0 25 0 4 0 157001043 183324672 35600 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=179028 CPUtime=2484.05
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 7662 0 0 0 248393 12 0 0 25 0 4 0 157001043 183324672 35600 1992294400 134512640 135305190 4294956160 18446744073709551615 134553375 0 0 4096 3 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18911 vsize=179028 CPUtime=2467.03
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10376 0 0 0 246684 19 0 0 25 0 4 0 157001043 183324672 35600 1992294400 134512640 135305190 4294956160 18446744073709551615 134528292 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9901.84
Current children cumulated vsize (KiB) 184384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5011.5 s]
/proc/loadavg: 4.00 4.00 3.94 5/69 18931
/proc/meminfo: memFree=1795976/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=179028 CPUtime=9998.72
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 35633 0 0 0 999814 58 0 0 25 0 4 0 157001025 183324672 35604 1992294400 134512640 135305190 4294956160 18446744073709551615 134556558 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 44757 35604 83 193 0 44561 0
[pid=18914/tid=18915] ppid=18911 vsize=179028 CPUtime=2485.23
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 6168 0 0 0 248513 10 0 0 25 0 4 0 157001043 183324672 35604 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=179028 CPUtime=2508.64
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 7666 0 0 0 250852 12 0 0 25 0 4 0 157001043 183324672 35604 1992294400 134512640 135305190 4294956160 18446744073709551615 134552302 0 0 4096 3 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18911 vsize=179028 CPUtime=2491.62
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10376 0 0 0 249143 19 0 0 25 0 4 0 157001043 183324672 35604 1992294400 134512640 135305190 4294956160 18446744073709551615 134528382 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 184384
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5011.5 s]
/proc/loadavg: 4.00 4.00 3.94 5/69 18931
/proc/meminfo: memFree=1795976/2055920 swapFree=4179764/4192956
[pid=18911] ppid=18909 vsize=5356 CPUtime=1.32
/proc/18911/stat : 18911 (manysat.sh) S 18909 18911 18874 0 -1 4194304 313 4014 0 0 0 0 128 4 19 0 1 0 157000892 5484544 238 1992294400 4194304 4889804 548682068800 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18911/statm: 1339 238 195 169 0 50 0
[pid=18914] ppid=18911 vsize=179028 CPUtime=9998.72
/proc/18914/stat : 18914 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194304 35633 0 0 0 999814 58 0 0 25 0 4 0 157001025 183324672 35604 1992294400 134512640 135305190 4294956160 18446744073709551615 134556558 0 0 4096 3 18446744073709551615 0 0 17 1 0 0
/proc/18914/statm: 44757 35604 83 193 0 44561 0
[pid=18914/tid=18915] ppid=18911 vsize=179028 CPUtime=2485.23
/proc/18914/task/18915/stat : 18915 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 6168 0 0 0 248513 10 0 0 25 0 4 0 157001043 183324672 35604 1992294400 134512640 135305190 4294956160 18446744073709551615 134528229 0 0 4096 3 0 0 0 -1 1 0 0
[pid=18914/tid=18916] ppid=18911 vsize=179028 CPUtime=2508.64
/proc/18914/task/18916/stat : 18916 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 7666 0 0 0 250852 12 0 0 25 0 4 0 157001043 183324672 35604 1992294400 134512640 135305190 4294956160 18446744073709551615 134552302 0 0 4096 3 0 0 0 -1 0 0 0
[pid=18914/tid=18917] ppid=18911 vsize=179028 CPUtime=2491.62
/proc/18914/task/18917/stat : 18917 (manysat1.1_stat) R 18911 18911 18874 0 -1 4194368 10376 0 0 0 249143 19 0 0 25 0 4 0 157001043 183324672 35604 1992294400 134512640 135305190 4294956160 18446744073709551615 134528382 0 0 4096 3 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 184384
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18911 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=289803
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=42993
# CPU time returned by wait4() is 1.3328
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 5011.52
CPU time (s): 10000
CPU user time (s): 9999.42
CPU system time (s): 0.62
CPU usage (%): 199.541
Max. virtual memory (cumulated for all children) (KiB): 184384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.2898
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4327
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= 5
involuntary context switches= 7
runsolver used 4.79727 second user time and 13.5439 second system time
The end
Begin job on node15 at 2009-05-02 20:41:15
IDJOB=1774006
IDBENCH=70843
IDSOLVER=612
FILE ID=node15/1774006-1241289675
PBS_JOBID= 9225107
Free space on /tmp= 66544 MiB
SOLVER NAME= ManySAT 1.1 aimd 1/2009-03-20
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-32-s100.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774006-1241289675/watcher-1774006-1241289675 -o /tmp/evaluation-result-1774006-1241289675/solver-1774006-1241289675 -C 10000 -W 12000 -M 1800 manysat.sh HOME/instance-1774006-1241289675.cnf aimd 1
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7785f51f4f3cb780b4d123215711f948
RANDOM SEED=686678345
node15.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1946968 kB
Buffers: 7208 kB
Cached: 30176 kB
SwapCached: 6952 kB
Active: 25104 kB
Inactive: 21240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1946968 kB
SwapTotal: 4192956 kB
SwapFree: 4179764 kB
Dirty: 3164 kB
Writeback: 0 kB
Mapped: 14416 kB
Slab: 48644 kB
Committed_AS: 662460 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66540 MiB
End job on node15 at 2009-05-02 22:04:48