0.12 c # Sugar v0-40 (/tmp/evaluation/217232-1170101009/sugar-v0-40.jar)
0.12
0.13 c # MAIN BEGIN : /tmp/evaluation/217232-1170101009/unknown.xml [Mon Jan 29 21:03:29 2007]
0.13 c # CONVERT_XML BEGIN : /tmp/evaluation/217232-1170101009/unknown.xml /tmp/evaluation/217232-1170101009/sugar18024.csp [Mon Jan 29 21:03:29 2007]
0.13 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217232-1170101009/sugar-v0-40.jar -convert /tmp/evaluation/217232-1170101009/unknown.xml /tmp/evaluation/217232-1170101009/sugar18024.csp
0.33 c BEGIN convert /tmp/evaluation/217232-1170101009/unknown.xml
0.96 c END convert (0.626965 seconds)
0.98 c # CONVERT_XML END : /tmp/evaluation/217232-1170101009/sugar18024.csp 1551529 bytes (1 seconds) [Mon Jan 29 21:03:30 2007]
0.98 c # CONVERT_XML CPU : 0.7 = 0 + 0 + 0.64 + 0.06
0.98
0.98 c # GENERATE_SAT BEGIN : /tmp/evaluation/217232-1170101009/sugar18024.bcnf [Mon Jan 29 21:03:30 2007]
0.98 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217232-1170101009/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217232-1170101009/sugar18024.map /tmp/evaluation/217232-1170101009/sugar18024.csp /tmp/evaluation/217232-1170101009/sugar18024.bcnf
1.10 c BEGIN parse /tmp/evaluation/217232-1170101009/sugar18024.csp
19.60 c END parse (18.492723 seconds)
19.60 c BEGIN simplify
19.70 c END simplify (0.103627 seconds)
19.70 c BEGIN encode /tmp/evaluation/217232-1170101009/sugar18024.bcnf
20.46 c END encode (0.758471 seconds)
20.60 c # GENERATE_SAT END : 6756 variables 59815 clauses 6261632 bytes (20 seconds) [Mon Jan 29 21:03:50 2007]
20.60 c # GENERATE_SAT CPU : 19.4 = 0.05 + 0.01 + 18.94 + 0.4
20.60
20.60 c # SOLVE_SAT BEGIN : /tmp/evaluation/217232-1170101009/sugar18024.bcnf [Mon Jan 29 21:03:50 2007]
20.60 c # CMD : /tmp/evaluation/217232-1170101009/minisat /tmp/evaluation/217232-1170101009/sugar18024.bcnf /tmp/evaluation/217232-1170101009/sugar18024.out
20.75 c ==================================[MINISAT]===================================
20.75 c | Conflicts | ORIGINAL | LEARNT | Progress |
20.75 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
20.75 c ==============================================================================
20.75 c | 0 | 59815 1505585 | 19938 0 0 nan | 0.000 % |
20.78 c | 101 | 59818 1505585 | 21931 98 2629 26.8 | 0.000 % |
20.82 c | 251 | 59820 1505585 | 24124 246 4275 17.4 | 0.000 % |
20.90 c | 477 | 59820 1505585 | 26537 472 8046 17.0 | 0.000 % |
21.00 c | 814 | 59820 1505585 | 29191 809 12638 15.6 | 0.000 % |
21.18 c | 1320 | 59821 1505585 | 32110 1314 18562 14.1 | 0.000 % |
21.42 c | 2079 | 59823 1505585 | 35321 2071 30597 14.8 | 0.000 % |
21.82 c | 3218 | 59823 1505585 | 38853 3210 61205 19.1 | 0.000 % |
22.51 c | 4926 | 59823 1505585 | 42738 4918 94234 19.2 | 0.000 % |
23.75 c | 7489 | 59824 1505585 | 47012 7480 179884 24.0 | 0.000 % |
25.42 c | 11333 | 59824 1505585 | 51714 11324 345675 30.5 | 0.000 % |
27.93 c | 17099 | 59827 1505585 | 56885 17087 461397 27.0 | 0.000 % |
32.06 c | 25749 | 59830 1505585 | 62573 25734 630598 24.5 | 0.000 % |
40.46 c | 38724 | 59834 1505585 | 68831 38705 946567 24.5 | 0.000 % |
56.17 c | 58185 | 59841 1505585 | 75714 58159 1431222 24.6 | 0.000 % |
75.67 c | 87378 | 59848 1505585 | 83285 25553 764936 29.9 | 0.000 % |
109.63 c | 131173 | 59855 1505585 | 91614 69341 2162591 31.2 | 0.000 % |
168.20 c | 196857 | 59866 1505585 | 100776 58832 2107362 35.8 | 0.000 % |
252.94 c | 295384 | 59874 1505585 | 110853 72668 2686768 37.0 | 0.000 % |
413.13 c | 443177 | 59886 1505585 | 121938 42201 2085819 49.4 | 0.000 % |
660.24 c | 664861 | 59903 1505585 | 134132 57417 1836515 32.0 | 0.000 % |
1059.75 c | 997388 | 59918 1505585 | 147546 54417 1754369 32.2 | 0.000 % |
1635.67 c | 1496176 | 59809 1505060 | 162300 118079 3799705 32.2 | 0.252 % |
1808.61
1808.61 s UNKNOWN
1808.61 c # INTERRUPTED
1808.61 c # MAIN END : (1809 seconds) [Mon Jan 29 21:33:38 2007]
1808.61 c # MAIN CPU : 20.1 = 0.05 + 0.01 + 19.58 + 0.46
1808.61
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-217232-1170101009 -o ROOT/results/node41/solver-217232-1170101009 -C 1800 -M 900 /tmp/evaluation/217232-1170101009/solver /tmp/evaluation/217232-1170101009 /tmp/evaluation/217232-1170101009/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: 1.97 2.60 3.38 3/74 18025
/proc/meminfo: memFree=1895952/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=18540 CPUtime=0
/proc/18024/stat : 18024 (runsolver) R 18022 18024 16686 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30056855 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18024/statm: 4635 279 244 17 0 2626 0
[startup+0.102336 s]
/proc/loadavg: 1.97 2.60 3.38 3/74 18025
/proc/meminfo: memFree=1895952/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=12800 CPUtime=0.02
/proc/18024/stat : 18024 (sugar) R 18022 18024 16686 0 -1 4194304 826 0 3 0 1 1 0 0 18 0 1 0 30056855 13107200 548 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238409875018 0 0 4224 0 0 0 0 17 1 0 0
/proc/18024/statm: 3200 548 316 3 0 300 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12800
[startup+0.512373 s]
/proc/loadavg: 1.97 2.60 3.38 3/74 18025
/proc/meminfo: memFree=1895952/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=13724 CPUtime=0.04
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 1118 0 3 0 3 1 0 0 15 0 1 0 30056855 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34145 s]
/proc/loadavg: 1.97 2.60 3.38 3/82 18041
/proc/meminfo: memFree=1879632/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=13724 CPUtime=0.74
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 1187 7627 3 34 3 1 64 6 15 0 1 0 30056855 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 3431 809 371 3 0 531 0
[pid=18034] ppid=18024 vsize=807064 CPUtime=0.34
/proc/18034/stat : 18034 (java) R 18024 18024 16686 0 -1 0 6510 0 1 0 31 3 0 0 20 0 8 0 30056954 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073507715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18034/statm: 201766 6260 1494 14 0 189044 0
[pid=18034/tid=18035] ppid=18024 vsize=807064 CPUtime=0.02
/proc/18034/task/18035/stat : 18035 (java) S 18024 18024 16686 0 -1 64 458 0 0 0 2 0 0 0 16 0 8 0 30056957 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18036] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18036/stat : 18036 (java) S 18024 18024 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056957 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18037] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18037/stat : 18037 (java) S 18024 18024 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30056957 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18038] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18038/stat : 18038 (java) S 18024 18024 16686 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30056961 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18039] ppid=18024 vsize=807064 CPUtime=0.05
/proc/18034/task/18039/stat : 18039 (java) S 18024 18024 16686 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30056961 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18040] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18040/stat : 18040 (java) S 18024 18024 16686 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30056961 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18041] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18041/stat : 18041 (java) S 18024 18024 16686 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056961 826433536 6260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 820788
[startup+2.98359 s]
/proc/loadavg: 1.97 2.60 3.38 3/82 18041
/proc/meminfo: memFree=1850192/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=13724 CPUtime=0.74
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 1187 7627 3 34 3 1 64 6 15 0 1 0 30056855 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 3431 809 371 3 0 531 0
[pid=18034] ppid=18024 vsize=807064 CPUtime=1.96
/proc/18034/stat : 18034 (java) R 18024 18024 16686 0 -1 0 13322 0 1 0 189 7 0 0 25 0 8 0 30056954 826433536 13057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18034/statm: 201766 13057 1494 14 0 189044 0
[pid=18034/tid=18035] ppid=18024 vsize=807064 CPUtime=0.51
/proc/18034/task/18035/stat : 18035 (java) R 18024 18024 16686 0 -1 64 7255 0 0 0 48 3 0 0 16 0 8 0 30056957 826433536 13057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153822849 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18036] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18036/stat : 18036 (java) S 18024 18024 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056957 826433536 13057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18037] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18037/stat : 18037 (java) S 18024 18024 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30056957 826433536 13057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18038] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18038/stat : 18038 (java) S 18024 18024 16686 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30056961 826433536 13057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18039] ppid=18024 vsize=807064 CPUtime=0.05
/proc/18034/task/18039/stat : 18039 (java) S 18024 18024 16686 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30056961 826433536 13057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18040] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18040/stat : 18040 (java) S 18024 18024 16686 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30056961 826433536 13057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18041] ppid=18024 vsize=807064 CPUtime=0
/proc/18034/task/18041/stat : 18041 (java) S 18024 18024 16686 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056961 826433536 13057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 820788
[startup+6.28727 s]
/proc/loadavg: 2.05 2.61 3.38 3/82 18041
/proc/meminfo: memFree=1774160/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=13724 CPUtime=0.74
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 1187 7627 3 34 3 1 64 6 15 0 1 0 30056855 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 3431 809 371 3 0 531 0
[pid=18034] ppid=18024 vsize=807336 CPUtime=5.23
/proc/18034/stat : 18034 (java) R 18024 18024 16686 0 -1 0 34174 0 1 0 506 17 0 0 25 0 8 0 30056954 826712064 33820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18034/statm: 201834 33820 1506 14 0 189112 0
[pid=18034/tid=18035] ppid=18024 vsize=807336 CPUtime=1.43
/proc/18034/task/18035/stat : 18035 (java) S 18024 18024 16686 0 -1 64 27870 0 0 0 131 12 0 0 15 0 8 0 30056957 826712064 33820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18036] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18036/stat : 18036 (java) S 18024 18024 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056957 826712064 33820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18037] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18037/stat : 18037 (java) S 18024 18024 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30056957 826712064 33820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18038] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18038/stat : 18038 (java) S 18024 18024 16686 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30056961 826712064 33820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18039] ppid=18024 vsize=807336 CPUtime=0.12
/proc/18034/task/18039/stat : 18039 (java) S 18024 18024 16686 0 -1 64 400 0 0 0 12 0 0 0 16 0 8 0 30056961 826712064 33820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18040] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18040/stat : 18040 (java) S 18024 18024 16686 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30056961 826712064 33820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18041] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18041/stat : 18041 (java) S 18024 18024 16686 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056961 826712064 33820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 821060
[startup+12.7564 s]
/proc/loadavg: 2.12 2.60 3.37 3/82 18041
/proc/meminfo: memFree=1673616/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=13724 CPUtime=0.74
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 1187 7627 3 34 3 1 64 6 15 0 1 0 30056855 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 3431 809 371 3 0 531 0
[pid=18034] ppid=18024 vsize=807336 CPUtime=11.64
/proc/18034/stat : 18034 (java) R 18024 18024 16686 0 -1 0 54729 0 1 0 1135 29 0 0 25 0 8 0 30056954 826712064 54110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18034/statm: 201834 54110 1507 14 0 189112 0
[pid=18034/tid=18035] ppid=18024 vsize=807336 CPUtime=3.73
/proc/18034/task/18035/stat : 18035 (java) R 18024 18024 16686 0 -1 64 48215 0 0 0 351 22 0 0 15 0 8 0 30056957 826712064 54110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155528742 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18036] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18036/stat : 18036 (java) S 18024 18024 16686 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056957 826712064 54110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18037] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18037/stat : 18037 (java) S 18024 18024 16686 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30056957 826712064 54110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18038] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18038/stat : 18038 (java) S 18024 18024 16686 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 30056961 826712064 54110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18039] ppid=18024 vsize=807336 CPUtime=0.14
/proc/18034/task/18039/stat : 18039 (java) S 18024 18024 16686 0 -1 64 403 0 0 0 13 1 0 0 17 0 8 0 30056961 826712064 54110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18040] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18040/stat : 18040 (java) S 18024 18024 16686 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30056961 826712064 54110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18034/tid=18041] ppid=18024 vsize=807336 CPUtime=0
/proc/18034/task/18041/stat : 18041 (java) S 18024 18024 16686 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30056961 826712064 54110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 821060
[startup+25.6074 s]
/proc/loadavg: 2.10 2.58 3.36 3/75 18042
/proc/meminfo: memFree=1865480/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=11392 CPUtime=4.96
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 3545 0 0 0 494 2 0 0 25 0 1 0 30058915 11665408 2506 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18042/statm: 2848 2506 52 112 0 2732 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 28368
[startup+51.2736 s]
/proc/loadavg: 2.07 2.53 3.32 3/75 18042
/proc/meminfo: memFree=1860552/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=16508 CPUtime=30.51
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 4799 0 0 0 3047 4 0 0 25 0 1 0 30058915 16904192 3760 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/18042/statm: 4127 3760 52 112 0 4011 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 33484
[startup+102.503 s]
/proc/loadavg: 2.03 2.45 3.25 3/75 18042
/proc/meminfo: memFree=1856904/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=20256 CPUtime=81.5
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 5708 0 0 0 8144 6 0 0 25 0 1 0 30058915 20742144 4669 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/18042/statm: 5064 4669 52 112 0 4948 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 37232
[startup+162.555 s]
/proc/loadavg: 2.01 2.37 3.17 3/76 18107
/proc/meminfo: memFree=1856072/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=25580 CPUtime=141.26
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 7011 0 0 0 14118 8 0 0 25 0 1 0 30058915 26193920 5972 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528371 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 6395 5972 52 112 0 6279 0
Current children cumulated CPU time (s) 161.4
Current children cumulated vsize (KiB) 42556
[startup+222.606 s]
/proc/loadavg: 2.04 2.31 3.09 3/76 18107
/proc/meminfo: memFree=1851464/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=27768 CPUtime=201.06
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 7571 0 0 0 20097 9 0 0 25 0 1 0 30058915 28434432 6532 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 6942 6532 52 112 0 6826 0
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (KiB) 44744
[startup+282.661 s]
/proc/loadavg: 2.01 2.25 3.02 3/76 18107
################
# More data... #
################
/proc/loadavg: 2.09 2.05 2.41 3/76 18107
/proc/meminfo: memFree=1830280/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=40100 CPUtime=1097.81
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10617 0 0 0 109766 15 0 0 25 0 1 0 30058915 41062400 9578 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10025 9578 52 112 0 9909 0
Current children cumulated CPU time (s) 1117.95
Current children cumulated vsize (KiB) 57076
[startup+1183.49 s]
/proc/loadavg: 2.03 2.04 2.38 3/76 18107
/proc/meminfo: memFree=1829640/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=40556 CPUtime=1157.59
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10672 0 0 0 115744 15 0 0 25 0 1 0 30058915 41529344 9633 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10139 9633 52 112 0 10023 0
Current children cumulated CPU time (s) 1177.73
Current children cumulated vsize (KiB) 57532
[startup+1243.55 s]
/proc/loadavg: 2.01 2.03 2.35 3/76 18107
/proc/meminfo: memFree=1827464/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=40724 CPUtime=1217.38
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10697 0 0 0 121723 15 0 0 25 0 1 0 30058915 41701376 9658 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10181 9658 52 112 0 10065 0
Current children cumulated CPU time (s) 1237.52
Current children cumulated vsize (KiB) 57700
[startup+1303.6 s]
/proc/loadavg: 2.00 2.02 2.33 3/76 18107
/proc/meminfo: memFree=1827208/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=40724 CPUtime=1277.17
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10707 0 0 0 127702 15 0 0 25 0 1 0 30058915 41701376 9668 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10181 9668 52 112 0 10065 0
Current children cumulated CPU time (s) 1297.31
Current children cumulated vsize (KiB) 57700
[startup+1363.66 s]
/proc/loadavg: 2.00 2.01 2.31 3/76 18107
/proc/meminfo: memFree=1826312/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=41028 CPUtime=1336.94
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10778 0 0 0 133679 15 0 0 25 0 1 0 30058915 42012672 9739 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10257 9739 52 112 0 10141 0
Current children cumulated CPU time (s) 1357.08
Current children cumulated vsize (KiB) 58004
[startup+1423.71 s]
/proc/loadavg: 2.00 2.01 2.28 3/76 18107
/proc/meminfo: memFree=1825416/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=41196 CPUtime=1396.73
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10796 0 0 0 139658 15 0 0 25 0 1 0 30058915 42184704 9757 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10299 9757 52 112 0 10183 0
Current children cumulated CPU time (s) 1416.87
Current children cumulated vsize (KiB) 58172
[startup+1483.77 s]
/proc/loadavg: 2.00 2.00 2.26 3/76 18107
/proc/meminfo: memFree=1824904/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=41384 CPUtime=1456.53
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10843 0 0 0 145637 16 0 0 25 0 1 0 30058915 42377216 9804 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527284 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10346 9804 52 112 0 10230 0
Current children cumulated CPU time (s) 1476.67
Current children cumulated vsize (KiB) 58360
[startup+1543.83 s]
/proc/loadavg: 2.00 2.00 2.24 3/76 18107
/proc/meminfo: memFree=1824648/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=41384 CPUtime=1516.3
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10857 0 0 0 151614 16 0 0 25 0 1 0 30058915 42377216 9818 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10346 9818 52 112 0 10230 0
Current children cumulated CPU time (s) 1536.44
Current children cumulated vsize (KiB) 58360
[startup+1603.89 s]
/proc/loadavg: 2.04 2.01 2.23 3/76 18107
/proc/meminfo: memFree=1824584/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=41528 CPUtime=1576.1
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 10885 0 0 0 157594 16 0 0 25 0 1 0 30058915 42524672 9846 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10382 9846 52 112 0 10266 0
Current children cumulated CPU time (s) 1596.24
Current children cumulated vsize (KiB) 58504
[startup+1663.95 s]
/proc/loadavg: 2.01 2.01 2.21 3/76 18107
/proc/meminfo: memFree=1823624/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=42364 CPUtime=1635.89
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 11057 0 0 0 163573 16 0 0 25 0 1 0 30058915 43380736 10018 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528768 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 10591 10018 52 112 0 10475 0
Current children cumulated CPU time (s) 1656.03
Current children cumulated vsize (KiB) 59340
[startup+1724.01 s]
/proc/loadavg: 2.00 2.00 2.20 3/76 18107
/proc/meminfo: memFree=1819784/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=46008 CPUtime=1695.66
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 12011 0 0 0 169549 17 0 0 25 0 1 0 30058915 47112192 10972 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 11502 10972 52 112 0 11386 0
Current children cumulated CPU time (s) 1715.8
Current children cumulated vsize (KiB) 62984
[startup+1784.06 s]
/proc/loadavg: 2.00 2.00 2.18 3/76 18107
/proc/meminfo: memFree=1819656/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=46164 CPUtime=1755.45
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 12026 0 0 0 175528 17 0 0 25 0 1 0 30058915 47271936 10987 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528543 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 11541 10987 52 112 0 11425 0
Current children cumulated CPU time (s) 1775.59
Current children cumulated vsize (KiB) 63140
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.6 s]
/proc/loadavg: 2.00 2.00 2.18 3/76 18107
/proc/meminfo: memFree=1819656/2055920 swapFree=4192812/4192956
[pid=18024] ppid=18022 vsize=16976 CPUtime=20.14
/proc/18024/stat : 18024 (sugar) S 18022 18024 16686 0 -1 4194304 2088 63056 3 38 8 2 1958 46 16 0 1 0 30056855 17383424 1602 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 238399041634 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/18024/statm: 4244 1602 373 3 0 1344 0
[pid=18042] ppid=18024 vsize=46164 CPUtime=1779.86
/proc/18042/stat : 18042 (minisat) R 18024 18024 16686 0 -1 0 12038 0 0 0 177969 17 0 0 25 0 1 0 30058915 47271936 10999 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528105 0 0 4096 3 0 0 0 17 0 0 0
/proc/18042/statm: 11541 10999 52 112 0 11425 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 63140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 18024 and gives childrusage.ru_utime.tv_sec=19 childrusage.ru_utime.tv_usec=668010 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=496924
CPU time returned by wait4() is 20.1649
while last known CPU time is 1800.01
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1809.62
CPU time (s): 1800.01
CPU user time (s): 1799.35
CPU system time (s): 0.66
CPU usage (%): 99.4688
Max. virtual memory (cumulated for all children) (KiB): 821564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.668
system time used= 0.496924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65229
page faults= 41
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5247
involuntary context switches= 5248
runsolver used 1.64575 s user time and 4.82827 s system time
The end
Begin job on node41 on Mon Jan 29 20:03:29 UTC 2007
IDJOB= 217232
IDBENCH= 5124
IDSOLVER= 86
FILE ID= node41/217232-1170101009
PBS_JOBID= 3689685
Free space on /tmp= 66562 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb45-21/frb45-21-3-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/217232-1170101009/solver /tmp/evaluation/217232-1170101009 /tmp/evaluation/217232-1170101009/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-217232-1170101009 -o ROOT/results/node41/solver-217232-1170101009 -C 1800 -M 900 /tmp/evaluation/217232-1170101009/solver /tmp/evaluation/217232-1170101009 /tmp/evaluation/217232-1170101009/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 4fc0de1fe7668cda0890d78503cd01e0
RANDOM SEED= 23487017
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.231
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.231
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: 1896560 kB
Buffers: 36424 kB
Cached: 29400 kB
SwapCached: 0 kB
Active: 67488 kB
Inactive: 37324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1896560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1620 kB
Writeback: 0 kB
Mapped: 49940 kB
Slab: 39828 kB
Committed_AS: 190648 kB
PageTables: 1928 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= 66562 MiB
End job on node41 on Mon Jan 29 20:33:39 UTC 2007