0.05 c # Sugar v0-40 (/tmp/evaluation/232008-1170106491/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/232008-1170106491/unknown.xml [Mon Jan 29 22:34:56 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/232008-1170106491/unknown.xml /tmp/evaluation/232008-1170106491/sugar20348.csp [Mon Jan 29 22:34:56 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232008-1170106491/sugar-v0-40.jar -convert /tmp/evaluation/232008-1170106491/unknown.xml /tmp/evaluation/232008-1170106491/sugar20348.csp
0.27 c BEGIN convert /tmp/evaluation/232008-1170106491/unknown.xml
0.83 c END convert (0.560261 seconds)
0.85 c # CONVERT_XML END : /tmp/evaluation/232008-1170106491/sugar20348.csp 1429232 bytes (1 seconds) [Mon Jan 29 22:34:57 2007]
0.85 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.85
0.85 c # GENERATE_SAT BEGIN : /tmp/evaluation/232008-1170106491/sugar20348.bcnf [Mon Jan 29 22:34:57 2007]
0.85 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/232008-1170106491/sugar-v0-40.jar -bcnf -map /tmp/evaluation/232008-1170106491/sugar20348.map /tmp/evaluation/232008-1170106491/sugar20348.csp /tmp/evaluation/232008-1170106491/sugar20348.bcnf
0.97 c BEGIN parse /tmp/evaluation/232008-1170106491/sugar20348.csp
6.61 c END parse (5.640688 seconds)
6.61 c BEGIN simplify
6.65 c END simplify (0.03604 seconds)
6.65 c BEGIN encode /tmp/evaluation/232008-1170106491/sugar20348.bcnf
6.92 c END encode (0.275593 seconds)
6.98 c # GENERATE_SAT END : 600 variables 44675 clauses 860728 bytes (6 seconds) [Mon Jan 29 22:35:03 2007]
6.98 c # GENERATE_SAT CPU : 6.01 = 0 + 0 + 5.86 + 0.15
6.98
6.98 c # SOLVE_SAT BEGIN : /tmp/evaluation/232008-1170106491/sugar20348.bcnf [Mon Jan 29 22:35:03 2007]
6.98 c # CMD : /tmp/evaluation/232008-1170106491/minisat /tmp/evaluation/232008-1170106491/sugar20348.bcnf /tmp/evaluation/232008-1170106491/sugar20348.out
7.01 c ==================================[MINISAT]===================================
7.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.01 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.01 c ==============================================================================
7.01 c | 0 | 44675 170501 | 14891 0 0 nan | 0.000 % |
7.03 c | 101 | 44675 170501 | 16380 101 904 9.0 | 0.000 % |
7.06 c | 251 | 44675 170501 | 18018 251 2208 8.8 | 0.009 % |
7.10 c | 476 | 44675 170501 | 19819 476 4378 9.2 | 0.009 % |
7.16 c | 813 | 44675 170501 | 21801 813 7588 9.3 | 0.012 % |
7.25 c | 1319 | 44675 170501 | 23982 1319 12674 9.6 | 0.009 % |
7.39 c | 2078 | 44675 170501 | 26380 2078 20322 9.8 | 0.003 % |
7.60 c | 3217 | 44675 170501 | 29018 3217 32953 10.2 | 0.012 % |
7.92 c | 4926 | 44675 170501 | 31920 4926 53050 10.8 | 0.011 % |
8.40 c | 7488 | 44675 170501 | 35112 7488 84390 11.3 | 0.011 % |
9.20 c | 11332 | 44676 170501 | 38623 11331 133258 11.8 | 0.006 % |
10.74 c | 17098 | 44676 170501 | 42485 17097 205899 12.0 | 0.011 % |
13.34 c | 25747 | 44676 170501 | 46734 25746 318708 12.4 | 0.012 % |
18.65 c | 38722 | 44676 170501 | 51407 38721 488337 12.6 | 0.011 % |
27.40 c | 58184 | 44677 170501 | 56548 19677 246640 12.5 | 0.011 % |
39.99 c | 87376 | 44678 170501 | 62203 48868 648809 13.3 | 0.012 % |
62.31 c | 131167 | 44680 170501 | 68423 43732 629937 14.4 | 0.000 % |
99.19 c | 196851 | 44686 170501 | 75266 55910 819730 14.7 | 0.011 % |
158.89 c | 295377 | 44688 170501 | 82792 33574 438727 13.1 | 0.012 % |
249.60 c | 443170 | 44693 170501 | 91072 47627 677395 14.2 | 0.012 % |
394.17 c | 664854 | 44699 170501 | 100179 42742 673661 15.8 | 0.013 % |
641.96 c | 997380 | 44701 170501 | 110197 45536 669229 14.7 | 0.013 % |
1006.83 c | 1496169 | 44567 170087 | 121216 19367 265785 13.7 | 0.167 % |
1628.66 c | 2244351 | 44586 170087 | 133338 52353 772894 14.8 | 0.176 % |
1816.66 s UNKNOWN
1816.66 c # ERROR No such file or directory /tmp/evaluation/232008-1170106491/sugar20348.out, at /tmp/evaluation/232008-1170106491/sugar line 393.
1816.66
1816.66 c # MAIN END : (1817 seconds) [Mon Jan 29 23:05:13 2007]
1816.66 c # MAIN CPU : 1799.38 = 0 + 0 + 1798.71 + 0.67
1816.66
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-232008-1170106491 -o ROOT/results/node39/solver-232008-1170106491 -C 1800 -M 900 /tmp/evaluation/232008-1170106491/solver /tmp/evaluation/232008-1170106491 /tmp/evaluation/232008-1170106491/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.96 2.29 2.58 5/74 20349
/proc/meminfo: memFree=1906112/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=18540 CPUtime=0
/proc/20348/stat : 20348 (runsolver) R 20346 20348 20283 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30605524 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 231493659943 0 0 4096 24578 0 0 0 17 1 0 0
/proc/20348/statm: 4635 279 244 17 0 2626 0
[startup+0.109689 s]
/proc/loadavg: 1.96 2.29 2.58 5/74 20349
/proc/meminfo: memFree=1906112/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=0.04
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30605524 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.517761 s]
/proc/loadavg: 1.96 2.29 2.58 5/74 20349
/proc/meminfo: memFree=1906112/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=0.04
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30605524 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34091 s]
/proc/loadavg: 1.96 2.29 2.58 4/83 20365
/proc/meminfo: memFree=1889976/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=0.04
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30605524 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 808 370 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20358] ppid=20348 vsize=807064 CPUtime=0.46
/proc/20358/stat : 20358 (java) R 20348 20348 20283 0 -1 0 7313 0 1 0 42 4 0 0 16 0 8 0 30605609 826433536 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073540407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20358/statm: 201766 7062 1494 14 0 189044 0
[pid=20358/tid=20359] ppid=20348 vsize=807064 CPUtime=0.05
/proc/20358/task/20359/stat : 20359 (java) S 20348 20348 20283 0 -1 64 1260 0 0 0 5 0 0 0 16 0 8 0 30605612 826433536 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20360] ppid=20348 vsize=807064 CPUtime=0
/proc/20358/task/20360/stat : 20360 (java) S 20348 20348 20283 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30605612 826433536 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20361] ppid=20348 vsize=807064 CPUtime=0
/proc/20358/task/20361/stat : 20361 (java) S 20348 20348 20283 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30605612 826433536 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20362] ppid=20348 vsize=807064 CPUtime=0
/proc/20358/task/20362/stat : 20362 (java) S 20348 20348 20283 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30605616 826433536 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20363] ppid=20348 vsize=807064 CPUtime=0.05
/proc/20358/task/20363/stat : 20363 (java) R 20348 20348 20283 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 30605616 826433536 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20364] ppid=20348 vsize=807064 CPUtime=0
/proc/20358/task/20364/stat : 20364 (java) S 20348 20348 20283 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30605616 826433536 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20365] ppid=20348 vsize=807064 CPUtime=0
/proc/20358/task/20365/stat : 20365 (java) S 20348 20348 20283 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30605616 826433536 7062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 820788
[startup+2.99419 s]
/proc/loadavg: 2.04 2.30 2.58 3/83 20365
/proc/meminfo: memFree=1866232/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=0.04
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30605524 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 808 370 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20358] ppid=20348 vsize=807336 CPUtime=2.11
/proc/20358/stat : 20358 (java) R 20348 20348 20283 0 -1 0 12991 0 1 0 204 7 0 0 23 0 8 0 30605609 826712064 12727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770840 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20358/statm: 201834 12727 1506 14 0 189112 0
[pid=20358/tid=20359] ppid=20348 vsize=807336 CPUtime=0.52
/proc/20358/task/20359/stat : 20359 (java) S 20348 20348 20283 0 -1 64 6800 0 0 0 50 2 0 0 16 0 8 0 30605612 826712064 12727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20360] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20360/stat : 20360 (java) S 20348 20348 20283 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30605612 826712064 12727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20361] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20361/stat : 20361 (java) S 20348 20348 20283 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30605612 826712064 12727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20362] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20362/stat : 20362 (java) S 20348 20348 20283 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30605616 826712064 12727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20363] ppid=20348 vsize=807336 CPUtime=0.12
/proc/20358/task/20363/stat : 20363 (java) S 20348 20348 20283 0 -1 64 393 0 0 0 12 0 0 0 16 0 8 0 30605616 826712064 12727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20364] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20364/stat : 20364 (java) S 20348 20348 20283 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30605616 826712064 12727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20365] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20365/stat : 20365 (java) S 20348 20348 20283 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30605616 826712064 12727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 821060
[startup+6.28876 s]
/proc/loadavg: 2.04 2.30 2.58 3/83 20365
/proc/meminfo: memFree=1834104/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=0.04
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 30605524 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 808 370 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20358] ppid=20348 vsize=807336 CPUtime=5.37
/proc/20358/stat : 20358 (java) R 20348 20348 20283 0 -1 0 19875 0 1 0 526 11 0 0 25 0 8 0 30605609 826712064 19581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20358/statm: 201834 19581 1506 14 0 189112 0
[pid=20358/tid=20359] ppid=20348 vsize=807336 CPUtime=0.9
/proc/20358/task/20359/stat : 20359 (java) S 20348 20348 20283 0 -1 64 13646 0 0 0 84 6 0 0 16 0 8 0 30605612 826712064 19581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20360] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20360/stat : 20360 (java) S 20348 20348 20283 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30605612 826712064 19581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20361] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20361/stat : 20361 (java) S 20348 20348 20283 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30605612 826712064 19581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20362] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20362/stat : 20362 (java) S 20348 20348 20283 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30605616 826712064 19581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20363] ppid=20348 vsize=807336 CPUtime=0.13
/proc/20358/task/20363/stat : 20363 (java) S 20348 20348 20283 0 -1 64 400 0 0 0 13 0 0 0 17 0 8 0 30605616 826712064 19581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20364] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20364/stat : 20364 (java) S 20348 20348 20283 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30605616 826712064 19581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20358/tid=20365] ppid=20348 vsize=807336 CPUtime=0
/proc/20358/task/20365/stat : 20365 (java) S 20348 20348 20283 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30605616 826712064 19581 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821060
[startup+12.7659 s]
/proc/loadavg: 2.11 2.31 2.58 3/76 20366
/proc/meminfo: memFree=1897584/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=5468 CPUtime=5.71
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 1250 0 0 0 570 1 0 0 25 0 1 0 30606222 5599232 1025 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 1367 1025 51 112 0 1251 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 19192
[startup+25.6191 s]
/proc/loadavg: 2.09 2.30 2.57 3/76 20366
/proc/meminfo: memFree=1895152/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=7924 CPUtime=18.46
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 1834 0 0 0 1844 2 0 0 25 0 1 0 30606222 8114176 1609 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 1981 1609 51 112 0 1865 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 21648
[startup+51.3075 s]
/proc/loadavg: 2.06 2.27 2.56 3/76 20368
/proc/meminfo: memFree=1892016/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=9592 CPUtime=43.9
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 2226 0 0 0 4387 3 0 0 25 0 1 0 30606222 9822208 2001 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 2398 2001 51 112 0 2282 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 23316
[startup+102.591 s]
/proc/loadavg: 2.02 2.23 2.52 3/76 20368
/proc/meminfo: memFree=1889008/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=11364 CPUtime=94.71
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 2666 0 0 0 9468 3 0 0 25 0 1 0 30606222 11636736 2441 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528545 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 2841 2441 51 112 0 2725 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 25088
[startup+162.621 s]
/proc/loadavg: 2.01 2.18 2.49 3/76 20368
/proc/meminfo: memFree=1886768/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=12764 CPUtime=154.2
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 2995 0 0 0 15416 4 0 0 25 0 1 0 30606222 13070336 2770 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 3191 2770 51 112 0 3075 0
Current children cumulated CPU time (s) 160.92
Current children cumulated vsize (KiB) 26488
[startup+222.64 s]
/proc/loadavg: 2.06 2.16 2.46 3/76 20368
/proc/meminfo: memFree=1884144/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
################
# More data... #
################
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 5996 0 0 0 122446 10 0 0 25 0 1 0 30606222 25755648 5771 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6288 5771 51 112 0 6172 0
Current children cumulated CPU time (s) 1231.28
Current children cumulated vsize (KiB) 38876
[startup+1302.93 s]
/proc/loadavg: 2.00 2.01 2.13 3/76 20368
/proc/meminfo: memFree=1863664/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=25572 CPUtime=1284.02
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6079 0 0 0 128392 10 0 0 25 0 1 0 30606222 26185728 5854 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6393 5854 51 112 0 6277 0
Current children cumulated CPU time (s) 1290.74
Current children cumulated vsize (KiB) 39296
[startup+1362.95 s]
/proc/loadavg: 2.00 2.00 2.12 3/76 20368
/proc/meminfo: memFree=1862960/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=26004 CPUtime=1343.49
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6190 0 0 0 134339 10 0 0 25 0 1 0 30606222 26628096 5965 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6501 5965 51 112 0 6385 0
Current children cumulated CPU time (s) 1350.21
Current children cumulated vsize (KiB) 39728
[startup+1422.97 s]
/proc/loadavg: 2.04 2.01 2.11 3/76 20368
/proc/meminfo: memFree=1862576/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=26152 CPUtime=1402.95
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6230 0 0 0 140285 10 0 0 25 0 1 0 30606222 26779648 6005 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6538 6005 51 112 0 6422 0
Current children cumulated CPU time (s) 1409.67
Current children cumulated vsize (KiB) 39876
[startup+1482.99 s]
/proc/loadavg: 2.01 2.01 2.10 3/76 20368
/proc/meminfo: memFree=1862256/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=26420 CPUtime=1462.43
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6278 0 0 0 146232 11 0 0 25 0 1 0 30606222 27054080 6053 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6605 6053 51 112 0 6489 0
Current children cumulated CPU time (s) 1469.15
Current children cumulated vsize (KiB) 40144
[startup+1543 s]
/proc/loadavg: 2.00 2.00 2.09 3/76 20368
/proc/meminfo: memFree=1861488/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=26876 CPUtime=1521.89
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6386 0 0 0 152178 11 0 0 25 0 1 0 30606222 27521024 6161 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6719 6161 51 112 0 6603 0
Current children cumulated CPU time (s) 1528.61
Current children cumulated vsize (KiB) 40600
[startup+1603.02 s]
/proc/loadavg: 2.00 2.00 2.08 3/82 20476
/proc/meminfo: memFree=1859296/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=27028 CPUtime=1581.24
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6438 0 0 0 158113 11 0 0 25 0 1 0 30606222 27676672 6213 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6757 6213 51 112 0 6641 0
Current children cumulated CPU time (s) 1587.96
Current children cumulated vsize (KiB) 40752
[startup+1663.07 s]
/proc/loadavg: 2.00 2.00 2.08 3/76 20566
/proc/meminfo: memFree=1859992/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=27188 CPUtime=1640.62
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6478 0 0 0 164051 11 0 0 25 0 1 0 30606222 27840512 6253 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528433 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6797 6253 51 112 0 6681 0
Current children cumulated CPU time (s) 1647.34
Current children cumulated vsize (KiB) 40912
[startup+1723.09 s]
/proc/loadavg: 2.00 2.00 2.07 3/76 20566
/proc/meminfo: memFree=1859056/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=27624 CPUtime=1700.09
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6578 0 0 0 169998 11 0 0 25 0 1 0 30606222 28286976 6353 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/20366/statm: 6906 6353 51 112 0 6790 0
Current children cumulated CPU time (s) 1706.81
Current children cumulated vsize (KiB) 41348
[startup+1783.14 s]
/proc/loadavg: 2.55 2.14 2.11 3/83 20643
/proc/meminfo: memFree=566008/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=28200 CPUtime=1759.94
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6724 0 0 0 175959 35 0 0 25 0 1 0 30606222 28876800 6499 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/20366/statm: 7050 6499 51 112 0 6934 0
Current children cumulated CPU time (s) 1766.66
Current children cumulated vsize (KiB) 41924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.65 s]
/proc/loadavg: 2.86 2.25 2.15 3/84 20652
/proc/meminfo: memFree=14896/2055920 swapFree=4192812/4192956
[pid=20348] ppid=20346 vsize=13724 CPUtime=6.05
/proc/20348/stat : 20348 (sugar) S 20346 20348 20283 0 -1 4194304 1277 22350 0 1 3 1 586 15 16 0 1 0 30605524 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/20348/statm: 3431 815 373 3 0 531 0
[pid=20350] ppid=20348 vsize=0 CPUtime=0.67
/proc/20350/stat : 20350 (java) Z 20348 20348 20283 0 -1 1036 7599 0 1 0 61 6 0 0 18 0 1 0 30605529 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/20350/statm: 0 0 0 0 0 0 0
[pid=20366] ppid=20348 vsize=28932 CPUtime=1793.36
/proc/20366/stat : 20366 (minisat) R 20348 20348 20283 0 -1 0 6885 0 0 0 179285 51 0 0 25 0 1 0 30606222 29626368 6660 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/20366/statm: 7233 6660 51 112 0 7117 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 42656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 20348 and gives childrusage.ru_utime.tv_sec=1798 childrusage.ru_utime.tv_usec=754547 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=690894
CPU time returned by wait4() is 1799.45
while last known CPU time is 1800.08
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1816.66
CPU time (s): 1800.08
CPU user time (s): 1799.35
CPU system time (s): 0.73
CPU usage (%): 99.0872
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 0.690894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30601
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1030
involuntary context switches= 34563
runsolver used 2.10468 s user time and 5.95309 s system time
The end
Begin job on node39 on Mon Jan 29 21:34:53 UTC 2007
IDJOB= 232008
IDBENCH= 6495
IDSOLVER= 86
FILE ID= node39/232008-1170106491
PBS_JOBID= 3689874
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-53021_ext.xml
COMMAND LINE= /tmp/evaluation/232008-1170106491/solver /tmp/evaluation/232008-1170106491 /tmp/evaluation/232008-1170106491/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-232008-1170106491 -o ROOT/results/node39/solver-232008-1170106491 -C 1800 -M 900 /tmp/evaluation/232008-1170106491/solver /tmp/evaluation/232008-1170106491 /tmp/evaluation/232008-1170106491/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= ccbc5fe274413461137b9457c39e5a3f
RANDOM SEED= 950958174
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.285
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.285
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: 1906720 kB
Buffers: 20400 kB
Cached: 49232 kB
SwapCached: 0 kB
Active: 68848 kB
Inactive: 32248 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1906720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1328 kB
Writeback: 0 kB
Mapped: 42464 kB
Slab: 33320 kB
Committed_AS: 354104 kB
PageTables: 1812 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= 64536 MiB
End job on node39 on Mon Jan 29 22:05:14 UTC 2007