0.04 c # Sugar v0-40 (/tmp/evaluation/208532-1170097150/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/208532-1170097150/unknown.xml [Mon Jan 29 19:59:10 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/208532-1170097150/unknown.xml /tmp/evaluation/208532-1170097150/sugar22769.csp [Mon Jan 29 19:59:10 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208532-1170097150/sugar-v0-40.jar -convert /tmp/evaluation/208532-1170097150/unknown.xml /tmp/evaluation/208532-1170097150/sugar22769.csp
0.17 c BEGIN convert /tmp/evaluation/208532-1170097150/unknown.xml
0.64 c END convert (0.473917 seconds)
0.65 c # CONVERT_XML END : /tmp/evaluation/208532-1170097150/sugar22769.csp 1092245 bytes (1 seconds) [Mon Jan 29 19:59:11 2007]
0.65 c # CONVERT_XML CPU : 0.57 = 0 + 0 + 0.52 + 0.05
0.65
0.65 c # GENERATE_SAT BEGIN : /tmp/evaluation/208532-1170097150/sugar22769.bcnf [Mon Jan 29 19:59:11 2007]
0.65 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208532-1170097150/sugar-v0-40.jar -bcnf -map /tmp/evaluation/208532-1170097150/sugar22769.map /tmp/evaluation/208532-1170097150/sugar22769.csp /tmp/evaluation/208532-1170097150/sugar22769.bcnf
0.76 c BEGIN parse /tmp/evaluation/208532-1170097150/sugar22769.csp
12.22 c END parse (11.461887 seconds)
12.22 c BEGIN simplify
12.29 c END simplify (0.063711 seconds)
12.29 c BEGIN encode /tmp/evaluation/208532-1170097150/sugar22769.bcnf
12.78 c END encode (0.494657 seconds)
12.90 c # GENERATE_SAT END : 5166 variables 42943 clauses 4194992 bytes (12 seconds) [Mon Jan 29 19:59:23 2007]
12.90 c # GENERATE_SAT CPU : 12.2 = 0.04 + 0 + 11.8 + 0.36
12.90
12.90 c # SOLVE_SAT BEGIN : /tmp/evaluation/208532-1170097150/sugar22769.bcnf [Mon Jan 29 19:59:23 2007]
12.90 c # CMD : /tmp/evaluation/208532-1170097150/minisat /tmp/evaluation/208532-1170097150/sugar22769.bcnf /tmp/evaluation/208532-1170097150/sugar22769.out
13.00 c ==================================[MINISAT]===================================
13.00 c | Conflicts | ORIGINAL | LEARNT | Progress |
13.00 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
13.00 c ==============================================================================
13.00 c | 0 | 42943 1005797 | 14314 0 0 nan | 0.000 % |
13.02 c | 110 | 42945 1005797 | 15745 108 12271 113.6 | 0.000 % |
13.05 c | 261 | 42947 1005797 | 17319 257 14186 55.2 | 0.000 % |
13.10 c | 486 | 42947 1005797 | 19051 482 17137 35.6 | 0.000 % |
13.19 c | 823 | 42947 1005797 | 20957 819 21689 26.5 | 0.000 % |
13.32 c | 1330 | 42947 1005797 | 23052 1326 29020 21.9 | 0.000 % |
13.51 c | 2089 | 42947 1005797 | 25358 2085 37885 18.2 | 0.001 % |
13.81 c | 3230 | 42947 1005797 | 27893 3226 53363 16.5 | 0.000 % |
14.22 c | 4938 | 42947 1005797 | 30683 4934 76187 15.4 | 0.000 % |
14.92 c | 7500 | 42948 1005797 | 33751 7495 112599 15.0 | 0.000 % |
16.00 c | 11344 | 42951 1005797 | 37126 11336 176476 15.6 | 0.000 % |
17.91 c | 17110 | 42951 1005797 | 40839 17102 269296 15.7 | 0.000 % |
20.97 c | 25762 | 42952 1005797 | 44923 25753 417043 16.2 | 0.000 % |
27.02 c | 38736 | 42954 1005797 | 49415 38725 679264 17.5 | 0.000 % |
37.09 c | 58197 | 42965 1005797 | 54357 22441 444990 19.8 | 0.000 % |
52.18 c | 87390 | 42978 1005797 | 59793 51621 1137587 22.0 | 0.000 % |
78.56 c | 131179 | 42988 1005797 | 65772 50565 1465721 29.0 | 0.000 % |
123.96 c | 196864 | 43004 1005797 | 72349 16094 387198 24.1 | 0.000 % |
191.17 c | 295390 | 43026 1005797 | 79584 59176 1456805 24.6 | 0.000 % |
298.92 c | 443180 | 43055 1005797 | 87543 18962 410490 21.6 | 0.000 % |
467.03 c | 664863 | 43079 1005797 | 96297 33567 787052 23.4 | 0.000 % |
737.83 c | 997388 | 43104 1005797 | 105927 56618 1392907 24.6 | 0.000 % |
1207.66 c | 1496176 | 43139 1005797 | 116519 31247 857706 27.4 | 0.000 % |
1815.14
1815.14 s UNKNOWN
1815.14 c # INTERRUPTED
1815.14 c # MAIN END : (1815 seconds) [Mon Jan 29 20:29:25 2007]
1815.14 c # MAIN CPU : 12.77 = 0.04 + 0 + 12.32 + 0.41
1815.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-208532-1170097150 -o ROOT/results/node75/solver-208532-1170097150 -C 1800 -M 900 /tmp/evaluation/208532-1170097150/solver /tmp/evaluation/208532-1170097150 /tmp/evaluation/208532-1170097150/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 1.76 1.71 3/81 22770
/proc/meminfo: memFree=817200/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=3004 CPUtime=0
/proc/22769/stat : 22769 (solver) R 22767 22769 22558 0 -1 4194304 56 0 0 0 0 0 0 0 20 0 1 0 29680841 3076096 40 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 231880062345 0 0 4096 0 0 0 0 17 1 0 0
/proc/22769/statm: 751 40 30 169 0 9 0
[startup+0.102159 s]
/proc/loadavg: 2.00 1.76 1.71 3/81 22770
/proc/meminfo: memFree=817200/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=13724 CPUtime=0.04
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1112 0 0 0 3 1 0 0 21 0 1 0 29680841 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.510206 s]
/proc/loadavg: 2.00 1.76 1.71 3/81 22770
/proc/meminfo: memFree=817200/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=13724 CPUtime=0.04
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29680841 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.3313 s]
/proc/loadavg: 2.00 1.76 1.71 2/76 22798
/proc/meminfo: memFree=1453848/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=13724 CPUtime=0.61
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1190 7499 0 1 3 1 52 5 15 0 1 0 29680841 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 3431 809 371 3 0 531 0
[pid=22791] ppid=22769 vsize=807064 CPUtime=0.66
/proc/22791/stat : 22791 (java) R 22769 22769 22558 0 -1 0 8177 0 1 0 62 4 0 0 17 0 8 0 29680906 826433536 7924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073484447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22791/statm: 201766 7924 1494 14 0 189044 0
[pid=22791/tid=22792] ppid=22769 vsize=807064 CPUtime=0.11
/proc/22791/task/22792/stat : 22792 (java) S 22769 22769 22558 0 -1 64 2123 0 0 0 11 0 0 0 17 0 8 0 29680909 826433536 7924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22791/tid=22793] ppid=22769 vsize=807064 CPUtime=0
/proc/22791/task/22793/stat : 22793 (java) S 22769 22769 22558 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29680909 826433536 7924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22794] ppid=22769 vsize=807064 CPUtime=0
/proc/22791/task/22794/stat : 22794 (java) S 22769 22769 22558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29680909 826433536 7924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22795] ppid=22769 vsize=807064 CPUtime=0
/proc/22791/task/22795/stat : 22795 (java) S 22769 22769 22558 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29680912 826433536 7924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22796] ppid=22769 vsize=807064 CPUtime=0.04
/proc/22791/task/22796/stat : 22796 (java) S 22769 22769 22558 0 -1 64 292 0 0 0 4 0 0 0 16 0 8 0 29680912 826433536 7924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22797] ppid=22769 vsize=807064 CPUtime=0
/proc/22791/task/22797/stat : 22797 (java) S 22769 22769 22558 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29680912 826433536 7924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22798] ppid=22769 vsize=807064 CPUtime=0
/proc/22791/task/22798/stat : 22798 (java) S 22769 22769 22558 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29680912 826433536 7924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820788
[startup+2.9705 s]
/proc/loadavg: 2.00 1.76 1.71 5/89 22841
/proc/meminfo: memFree=1425968/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=13724 CPUtime=0.61
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1190 7499 0 1 3 1 52 5 15 0 1 0 29680841 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 3431 809 371 3 0 531 0
[pid=22791] ppid=22769 vsize=807336 CPUtime=2.3
/proc/22791/stat : 22791 (java) R 22769 22769 22558 0 -1 0 16698 0 1 0 221 9 0 0 17 0 8 0 29680906 826712064 16410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22791/statm: 201834 16410 1506 14 0 189112 0
[pid=22791/tid=22792] ppid=22769 vsize=807336 CPUtime=0.56
/proc/22791/task/22792/stat : 22792 (java) S 22769 22769 22558 0 -1 64 10463 0 0 0 52 4 0 0 16 0 8 0 29680909 826712064 16410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22791/tid=22793] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22793/stat : 22793 (java) S 22769 22769 22558 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29680909 826712064 16410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22794] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22794/stat : 22794 (java) S 22769 22769 22558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29680909 826712064 16410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22795] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22795/stat : 22795 (java) S 22769 22769 22558 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29680912 826712064 16410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22796] ppid=22769 vsize=807336 CPUtime=0.12
/proc/22791/task/22796/stat : 22796 (java) S 22769 22769 22558 0 -1 64 400 0 0 0 12 0 0 0 16 0 8 0 29680912 826712064 16410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22791/tid=22797] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22797/stat : 22797 (java) S 22769 22769 22558 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29680912 826712064 16410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22798] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22798/stat : 22798 (java) S 22769 22769 22558 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29680912 826712064 16410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 821060
[startup+6.17788 s]
/proc/loadavg: 2.00 1.76 1.71 3/89 22849
/proc/meminfo: memFree=1273712/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=13724 CPUtime=0.61
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1190 7499 0 1 3 1 52 5 15 0 1 0 29680841 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 3431 809 371 3 0 531 0
[pid=22791] ppid=22769 vsize=807336 CPUtime=5.5
/proc/22791/stat : 22791 (java) R 22769 22769 22558 0 -1 0 36092 0 1 0 531 19 0 0 25 0 8 0 29680906 826712064 35704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22791/statm: 201834 35704 1506 14 0 189112 0
[pid=22791/tid=22792] ppid=22769 vsize=807336 CPUtime=1.46
/proc/22791/task/22792/stat : 22792 (java) R 22769 22769 22558 0 -1 64 29754 0 0 0 132 14 0 0 15 0 8 0 29680909 826712064 35704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22791/tid=22793] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22793/stat : 22793 (java) S 22769 22769 22558 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29680909 826712064 35704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22794] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22794/stat : 22794 (java) S 22769 22769 22558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29680909 826712064 35704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22795] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22795/stat : 22795 (java) S 22769 22769 22558 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29680912 826712064 35704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22796] ppid=22769 vsize=807336 CPUtime=0.13
/proc/22791/task/22796/stat : 22796 (java) S 22769 22769 22558 0 -1 64 403 0 0 0 13 0 0 0 16 0 8 0 29680912 826712064 35704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22791/tid=22797] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22797/stat : 22797 (java) S 22769 22769 22558 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29680912 826712064 35704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22798] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22798/stat : 22798 (java) S 22769 22769 22558 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29680912 826712064 35704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 821060
[startup+12.5866 s]
/proc/loadavg: 2.07 1.78 1.72 3/89 22849
/proc/meminfo: memFree=1049280/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=13724 CPUtime=0.61
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1190 7499 0 1 3 1 52 5 16 0 1 0 29680841 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22769/statm: 3431 809 371 3 0 531 0
[pid=22791] ppid=22769 vsize=807336 CPUtime=11.91
/proc/22791/stat : 22791 (java) R 22769 22769 22558 0 -1 0 54728 0 1 0 1161 30 0 0 25 0 8 0 29680906 826712064 54109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22791/statm: 201834 54109 1511 14 0 189112 0
[pid=22791/tid=22792] ppid=22769 vsize=807336 CPUtime=3.34
/proc/22791/task/22792/stat : 22792 (java) R 22769 22769 22558 0 -1 64 48209 0 0 0 310 24 0 0 15 0 8 0 29680909 826712064 54109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822875 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22791/tid=22793] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22793/stat : 22793 (java) S 22769 22769 22558 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 29680909 826712064 54109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22794] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22794/stat : 22794 (java) S 22769 22769 22558 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29680909 826712064 54109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22795] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22795/stat : 22795 (java) S 22769 22769 22558 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 29680912 826712064 54109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22796] ppid=22769 vsize=807336 CPUtime=0.14
/proc/22791/task/22796/stat : 22796 (java) S 22769 22769 22558 0 -1 64 411 0 0 0 14 0 0 0 16 0 8 0 29680912 826712064 54109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22791/tid=22797] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22797/stat : 22797 (java) S 22769 22769 22558 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29680912 826712064 54109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22791/tid=22798] ppid=22769 vsize=807336 CPUtime=0
/proc/22791/task/22798/stat : 22798 (java) S 22769 22769 22558 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29680912 826712064 54109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 821060
[startup+25.4402 s]
/proc/loadavg: 2.06 1.79 1.73 3/75 22851
/proc/meminfo: memFree=1440240/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=10820 CPUtime=12.4
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 3373 0 0 0 1238 2 0 0 25 0 1 0 29682131 11079680 2334 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528768 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 2705 2334 52 112 0 2589 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 27132
[startup+51.1032 s]
/proc/loadavg: 2.04 1.81 1.73 3/75 22851
/proc/meminfo: memFree=1434928/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=13624 CPUtime=37.86
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 4067 0 0 0 3783 3 0 0 25 0 1 0 29682131 13950976 3028 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 3406 3028 52 112 0 3290 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 29936
[startup+102.324 s]
/proc/loadavg: 2.02 1.83 1.74 3/75 22851
/proc/meminfo: memFree=1426608/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=17960 CPUtime=88.67
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 5116 0 0 0 8863 4 0 0 25 0 1 0 29682131 18391040 4077 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 4490 4077 52 112 0 4374 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 34272
[startup+162.395 s]
/proc/loadavg: 2.00 1.86 1.75 3/81 22967
/proc/meminfo: memFree=1423216/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=18876 CPUtime=148.08
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 5361 0 0 0 14794 14 0 0 25 0 1 0 29682131 19329024 4322 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 4719 4322 52 112 0 4603 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 35188
[startup+222.46 s]
/proc/loadavg: 2.03 1.90 1.77 3/75 23049
/proc/meminfo: memFree=1422440/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=19416 CPUtime=207.53
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 5492 0 0 0 20732 21 0 0 25 0 1 0 29682131 19881984 4453 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 4854 4453 52 112 0 4738 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 35728
[startup+282.515 s]
/proc/loadavg: 2.01 1.91 1.78 3/75 23049
################
# More data... #
################
/proc/loadavg: 2.06 2.00 1.89 3/75 23049
/proc/meminfo: memFree=1401648/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=31356 CPUtime=1101
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 8353 0 0 0 110074 26 0 0 25 0 1 0 29682131 32108544 7314 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528412 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 7839 7314 52 112 0 7723 0
Current children cumulated CPU time (s) 1113.81
Current children cumulated vsize (KiB) 47668
[startup+1183.28 s]
/proc/loadavg: 2.02 2.00 1.90 3/75 23049
/proc/meminfo: memFree=1398640/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=34408 CPUtime=1160.57
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9132 0 0 0 116030 27 0 0 25 0 1 0 29682131 35233792 8093 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 8602 8093 52 112 0 8486 0
Current children cumulated CPU time (s) 1173.38
Current children cumulated vsize (KiB) 50720
[startup+1243.33 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 23049
/proc/meminfo: memFree=1396272/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=36628 CPUtime=1220.12
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9654 0 0 0 121983 29 0 0 25 0 1 0 29682131 37507072 8615 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9157 8615 52 112 0 9041 0
Current children cumulated CPU time (s) 1232.93
Current children cumulated vsize (KiB) 52940
[startup+1303.39 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 23049
/proc/meminfo: memFree=1391536/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=36808 CPUtime=1279.68
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9715 0 0 0 127939 29 0 0 25 0 1 0 29682131 37691392 8676 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9202 8676 52 112 0 9086 0
Current children cumulated CPU time (s) 1292.49
Current children cumulated vsize (KiB) 53120
[startup+1363.44 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 23049
/proc/meminfo: memFree=1390320/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=36948 CPUtime=1339.26
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9731 0 0 0 133896 30 0 0 25 0 1 0 29682131 37834752 8692 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9237 8692 52 112 0 9121 0
Current children cumulated CPU time (s) 1352.07
Current children cumulated vsize (KiB) 53260
[startup+1423.49 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 23049
/proc/meminfo: memFree=1389040/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=36948 CPUtime=1398.8
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9746 0 0 0 139850 30 0 0 25 0 1 0 29682131 37834752 8707 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9237 8707 52 112 0 9121 0
Current children cumulated CPU time (s) 1411.61
Current children cumulated vsize (KiB) 53260
[startup+1483.55 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 23049
/proc/meminfo: memFree=1388848/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=37088 CPUtime=1458.38
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9758 0 0 0 145808 30 0 0 25 0 1 0 29682131 37978112 8719 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9272 8719 52 112 0 9156 0
Current children cumulated CPU time (s) 1471.19
Current children cumulated vsize (KiB) 53400
[startup+1543.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 23049
/proc/meminfo: memFree=1388464/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=37256 CPUtime=1517.94
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9791 0 0 0 151764 30 0 0 25 0 1 0 29682131 38150144 8752 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9314 8752 52 112 0 9198 0
Current children cumulated CPU time (s) 1530.75
Current children cumulated vsize (KiB) 53568
[startup+1603.66 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 23049
/proc/meminfo: memFree=1388400/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=37256 CPUtime=1577.49
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9811 0 0 0 157719 30 0 0 25 0 1 0 29682131 38150144 8772 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134524975 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9314 8772 52 112 0 9198 0
Current children cumulated CPU time (s) 1590.3
Current children cumulated vsize (KiB) 53568
[startup+1663.71 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 23049
/proc/meminfo: memFree=1388336/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=37396 CPUtime=1637.06
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9821 0 0 0 163675 31 0 0 25 0 1 0 29682131 38293504 8782 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528572 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9349 8782 52 112 0 9233 0
Current children cumulated CPU time (s) 1649.87
Current children cumulated vsize (KiB) 53708
[startup+1723.77 s]
/proc/loadavg: 2.07 2.01 1.91 3/75 23049
/proc/meminfo: memFree=1388144/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=37396 CPUtime=1696.62
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9848 0 0 0 169631 31 0 0 25 0 1 0 29682131 38293504 8809 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9349 8809 52 112 0 9233 0
Current children cumulated CPU time (s) 1709.43
Current children cumulated vsize (KiB) 53708
[startup+1783.82 s]
/proc/loadavg: 2.02 2.01 1.91 3/75 23049
/proc/meminfo: memFree=1388016/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=37312 CPUtime=1756.18
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9871 0 0 0 175587 31 0 0 25 0 1 0 29682131 38207488 8789 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528319 0 0 4096 3 0 0 0 17 0 0 0
/proc/22850/statm: 9328 8789 52 112 0 9212 0
Current children cumulated CPU time (s) 1768.99
Current children cumulated vsize (KiB) 53624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.14 s]
/proc/loadavg: 2.01 2.00 1.91 3/82 23113
/proc/meminfo: memFree=1271728/2055920 swapFree=4192956/4192956
[pid=22769] ppid=22767 vsize=16312 CPUtime=12.81
/proc/22769/stat : 22769 (sugar) S 22767 22769 22558 0 -1 4194304 1923 62245 0 2 7 1 1232 41 16 0 1 0 29680841 16703488 1434 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231891578978 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22769/statm: 4078 1434 373 3 0 1178 0
[pid=22850] ppid=22769 vsize=37312 CPUtime=1787.27
/proc/22850/stat : 22850 (minisat) R 22769 22769 22558 0 -1 0 9873 0 0 0 178695 32 0 0 25 0 1 0 29682131 38207488 8791 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/22850/statm: 9328 8791 52 112 0 9212 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 53624
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22769 and gives childrusage.ru_utime.tv_sec=12 childrusage.ru_utime.tv_usec=393115 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=438933
CPU time returned by wait4() is 12.832
while last known CPU time is 1800.09
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1816.16
CPU time (s): 1800.09
CPU user time (s): 1799.34
CPU system time (s): 0.75
CPU usage (%): 99.1154
Max. virtual memory (cumulated for all children) (KiB): 821312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3931
system time used= 0.438933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64252
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3401
involuntary context switches= 2837
runsolver used 1.65875 s user time and 4.95525 s system time
The end
Begin job on node75 on Mon Jan 29 18:59:10 UTC 2007
IDJOB= 208532
IDBENCH= 4401
IDSOLVER= 86
FILE ID= node75/208532-1170097150
PBS_JOBID= 3689680
Free space on /tmp= 66525 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-33_ext.xml
COMMAND LINE= /tmp/evaluation/208532-1170097150/solver /tmp/evaluation/208532-1170097150 /tmp/evaluation/208532-1170097150/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-208532-1170097150 -o ROOT/results/node75/solver-208532-1170097150 -C 1800 -M 900 /tmp/evaluation/208532-1170097150/solver /tmp/evaluation/208532-1170097150 /tmp/evaluation/208532-1170097150/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 91844d68f905c60e332aa1a67b93aa9d
RANDOM SEED= 973186184
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.218
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 : 5914.62
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 817680 kB
Buffers: 52608 kB
Cached: 470652 kB
SwapCached: 0 kB
Active: 841956 kB
Inactive: 322004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 817680 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1036 kB
Writeback: 0 kB
Mapped: 657432 kB
Slab: 58280 kB
Committed_AS: 777328 kB
PageTables: 3076 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= 66419 MiB
End job on node75 on Mon Jan 29 19:29:26 UTC 2007