0.05 c # Sugar v0-40 (/tmp/evaluation/231021-1170106412/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/231021-1170106412/unknown.xml [Mon Jan 29 22:33:32 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/231021-1170106412/unknown.xml /tmp/evaluation/231021-1170106412/sugar23395.csp [Mon Jan 29 22:33:32 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/231021-1170106412/sugar-v0-40.jar -convert /tmp/evaluation/231021-1170106412/unknown.xml /tmp/evaluation/231021-1170106412/sugar23395.csp
0.17 c BEGIN convert /tmp/evaluation/231021-1170106412/unknown.xml
0.80 c END convert (0.627486 seconds)
0.81 c # CONVERT_XML END : /tmp/evaluation/231021-1170106412/sugar23395.csp 1702227 bytes (1 seconds) [Mon Jan 29 22:33:33 2007]
0.81 c # CONVERT_XML CPU : 0.01 = 0 + 0.01 + 0 + 0
0.81
0.81 c # GENERATE_SAT BEGIN : /tmp/evaluation/231021-1170106412/sugar23395.bcnf [Mon Jan 29 22:33:33 2007]
0.81 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/231021-1170106412/sugar-v0-40.jar -bcnf -map /tmp/evaluation/231021-1170106412/sugar23395.map /tmp/evaluation/231021-1170106412/sugar23395.csp /tmp/evaluation/231021-1170106412/sugar23395.bcnf
0.93 c BEGIN parse /tmp/evaluation/231021-1170106412/sugar23395.csp
7.38 c END parse (6.452946 seconds)
7.38 c BEGIN simplify
7.41 c END simplify (0.028726 seconds)
7.41 c BEGIN encode /tmp/evaluation/231021-1170106412/sugar23395.bcnf
7.72 c END encode (0.309227 seconds)
7.78 c # GENERATE_SAT END : 950 variables 52823 clauses 1007500 bytes (7 seconds) [Mon Jan 29 22:33:40 2007]
7.78 c # GENERATE_SAT CPU : 6.88 = 0 + 0 + 6.72 + 0.16
7.78
7.78 c # SOLVE_SAT BEGIN : /tmp/evaluation/231021-1170106412/sugar23395.bcnf [Mon Jan 29 22:33:40 2007]
7.78 c # CMD : /tmp/evaluation/231021-1170106412/minisat /tmp/evaluation/231021-1170106412/sugar23395.bcnf /tmp/evaluation/231021-1170106412/sugar23395.out
7.81 c ==================================[MINISAT]===================================
7.81 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.81 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.81 c ==============================================================================
7.81 c | 0 | 52823 199046 | 17607 0 0 nan | 0.000 % |
7.84 c | 100 | 52823 199046 | 19367 100 964 9.6 | 0.000 % |
7.86 c | 250 | 52823 199046 | 21304 250 2393 9.6 | 0.004 % |
7.89 c | 475 | 52823 199046 | 23434 475 4385 9.2 | 0.004 % |
7.94 c | 813 | 52823 199046 | 25778 813 7365 9.1 | 0.004 % |
8.00 c | 1319 | 52823 199046 | 28356 1319 12079 9.2 | 0.004 % |
8.12 c | 2078 | 52823 199046 | 31191 2078 18882 9.1 | 0.002 % |
8.31 c | 3217 | 52823 199046 | 34311 3217 31154 9.7 | 0.004 % |
8.61 c | 4926 | 52825 199046 | 37742 4924 48610 9.9 | 0.004 % |
9.08 c | 7488 | 52828 199046 | 41516 7483 76179 10.2 | 0.004 % |
9.74 c | 11333 | 52829 199046 | 45668 11327 121931 10.8 | 0.004 % |
10.94 c | 17100 | 52830 199046 | 50234 17093 186651 10.9 | 0.004 % |
13.20 c | 25750 | 52834 199046 | 55258 25739 294572 11.4 | 0.004 % |
17.57 c | 38725 | 52836 199046 | 60784 38712 457494 11.8 | 0.005 % |
25.84 c | 58186 | 52841 199046 | 66862 58168 703691 12.1 | 0.005 % |
38.27 c | 87379 | 52842 199046 | 73548 35238 487566 13.8 | 0.005 % |
62.73 c | 131170 | 52846 199046 | 80903 22503 276023 12.3 | 0.005 % |
85.59 c | 196855 | 52753 198782 | 88994 37859 516997 13.7 | 0.105 % |
140.54 c | 295381 | 52775 198782 | 97893 62753 892059 14.2 | 0.107 % |
249.11 c | 443171 | 52786 198782 | 107682 46786 669197 14.3 | 0.107 % |
398.73 c | 664854 | 52676 198443 | 118451 32255 509354 15.8 | 0.211 % |
627.49 c | 997379 | 52497 197770 | 130296 73515 1130379 15.4 | 0.421 % |
1041.23 c | 1496167 | 52526 197770 | 143325 122198 1930405 15.8 | 0.425 % |
1641.42 c | 2244351 | 52438 197367 | 157658 108140 1853913 17.1 | 0.527 % |
1810.96
1810.96 s UNKNOWN
1810.96 c # INTERRUPTED
1810.96 c # MAIN END : (1811 seconds) [Mon Jan 29 23:03:43 2007]
1810.96 c # MAIN CPU : 6.89 = 0 + 0.01 + 6.72 + 0.16
1810.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node67/watcher-231021-1170106412 -o ROOT/results/node67/solver-231021-1170106412 -C 1800 -M 900 /tmp/evaluation/231021-1170106412/solver /tmp/evaluation/231021-1170106412 /tmp/evaluation/231021-1170106412/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.95 3.05 5/75 23396
/proc/meminfo: memFree=1895880/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=12128 CPUtime=0
/proc/23395/stat : 23395 (sugar) R 23393 23395 23042 0 -1 4194304 501 0 0 0 0 0 0 0 20 0 1 0 30598796 12419072 220 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271652170224 0 0 4224 0 0 0 0 17 1 0 0
/proc/23395/statm: 3032 220 166 3 0 132 0
[startup+0.106341 s]
/proc/loadavg: 1.96 2.95 3.05 5/75 23396
/proc/meminfo: memFree=1895880/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=0.04
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30598796 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.514383 s]
/proc/loadavg: 1.96 2.95 3.05 5/75 23396
/proc/meminfo: memFree=1895880/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=0.04
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30598796 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33748 s]
/proc/loadavg: 1.96 2.95 3.05 4/84 23412
/proc/meminfo: memFree=1874688/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=0.04
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30598796 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 809 371 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23405] ppid=23395 vsize=807064 CPUtime=0.51
/proc/23405/stat : 23405 (java) R 23395 23395 23042 0 -1 0 7316 0 1 0 47 4 0 0 18 0 8 0 30598877 826433536 7065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073522943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23405/statm: 201766 7065 1494 14 0 189044 0
[pid=23405/tid=23406] ppid=23395 vsize=807064 CPUtime=0.05
/proc/23405/task/23406/stat : 23406 (java) S 23395 23395 23042 0 -1 64 1263 0 0 0 5 0 0 0 16 0 8 0 30598881 826433536 7065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23407] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23407/stat : 23407 (java) S 23395 23395 23042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30598881 826433536 7065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23408] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23408/stat : 23408 (java) S 23395 23395 23042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30598881 826433536 7065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23409] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23409/stat : 23409 (java) S 23395 23395 23042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30598884 826433536 7065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23410] ppid=23395 vsize=807064 CPUtime=0.06
/proc/23405/task/23410/stat : 23410 (java) R 23395 23395 23042 0 -1 64 292 0 0 0 6 0 0 0 19 0 8 0 30598884 826433536 7065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23411] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23411/stat : 23411 (java) S 23395 23395 23042 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30598884 826433536 7065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23412] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23412/stat : 23412 (java) S 23395 23395 23042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30598884 826433536 7065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 820788
[startup+2.99064 s]
/proc/loadavg: 1.96 2.95 3.05 4/84 23412
/proc/meminfo: memFree=1855296/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=0.04
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30598796 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 809 371 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23405] ppid=23395 vsize=807064 CPUtime=2.15
/proc/23405/stat : 23405 (java) R 23395 23395 23042 0 -1 0 13725 0 1 0 207 8 0 0 25 0 8 0 30598877 826433536 13459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073481404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23405/statm: 201766 13459 1494 14 0 189044 0
[pid=23405/tid=23406] ppid=23395 vsize=807064 CPUtime=0.58
/proc/23405/task/23406/stat : 23406 (java) S 23395 23395 23042 0 -1 64 7657 0 0 0 54 4 0 0 16 0 8 0 30598881 826433536 13459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23407] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23407/stat : 23407 (java) S 23395 23395 23042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30598881 826433536 13459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23408] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23408/stat : 23408 (java) S 23395 23395 23042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30598881 826433536 13459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23409] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23409/stat : 23409 (java) S 23395 23395 23042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30598884 826433536 13459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23410] ppid=23395 vsize=807064 CPUtime=0.06
/proc/23405/task/23410/stat : 23410 (java) S 23395 23395 23042 0 -1 64 292 0 0 0 6 0 0 0 17 0 8 0 30598884 826433536 13459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23411] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23411/stat : 23411 (java) S 23395 23395 23042 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30598884 826433536 13459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23412] ppid=23395 vsize=807064 CPUtime=0
/proc/23405/task/23412/stat : 23412 (java) S 23395 23395 23042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30598884 826433536 13459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 820788
[startup+6.27899 s]
/proc/loadavg: 1.96 2.93 3.04 3/84 23412
/proc/meminfo: memFree=1820736/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=0.04
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30598796 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 809 371 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23405] ppid=23395 vsize=807336 CPUtime=5.43
/proc/23405/stat : 23405 (java) R 23395 23395 23042 0 -1 0 20659 0 1 0 531 12 0 0 25 0 8 0 30598877 826712064 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23405/statm: 201834 20363 1507 14 0 189112 0
[pid=23405/tid=23406] ppid=23395 vsize=807336 CPUtime=0.98
/proc/23405/task/23406/stat : 23406 (java) R 23395 23395 23042 0 -1 64 14429 0 0 0 92 6 0 0 16 0 8 0 30598881 826712064 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23407] ppid=23395 vsize=807336 CPUtime=0
/proc/23405/task/23407/stat : 23407 (java) S 23395 23395 23042 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30598881 826712064 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23408] ppid=23395 vsize=807336 CPUtime=0
/proc/23405/task/23408/stat : 23408 (java) S 23395 23395 23042 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30598881 826712064 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23409] ppid=23395 vsize=807336 CPUtime=0
/proc/23405/task/23409/stat : 23409 (java) S 23395 23395 23042 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30598884 826712064 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23410] ppid=23395 vsize=807336 CPUtime=0.13
/proc/23405/task/23410/stat : 23410 (java) S 23395 23395 23042 0 -1 64 400 0 0 0 13 0 0 0 17 0 8 0 30598884 826712064 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23411] ppid=23395 vsize=807336 CPUtime=0
/proc/23405/task/23411/stat : 23411 (java) S 23395 23395 23042 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30598884 826712064 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23405/tid=23412] ppid=23395 vsize=807336 CPUtime=0
/proc/23405/task/23412/stat : 23412 (java) S 23395 23395 23042 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 30598884 826712064 20363 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 821060
[startup+12.7465 s]
/proc/loadavg: 1.97 2.91 3.04 3/77 23413
/proc/meminfo: memFree=1886008/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=5760 CPUtime=4.95
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 1365 0 0 0 495 0 0 0 25 0 1 0 30599575 5898240 1105 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 1440 1105 51 112 0 1324 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 19484
[startup+25.5868 s]
/proc/loadavg: 1.97 2.87 3.02 3/77 23413
/proc/meminfo: memFree=1883256/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=8676 CPUtime=17.79
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 2062 0 0 0 1777 2 0 0 25 0 1 0 30599575 8884224 1802 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 2169 1802 51 112 0 2053 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 22400
[startup+51.2675 s]
/proc/loadavg: 1.98 2.80 2.99 3/72 23429
/proc/meminfo: memFree=1893280/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=9844 CPUtime=43.45
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 2359 0 0 0 4343 2 0 0 25 0 1 0 30599575 10080256 2099 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23413/statm: 2461 2099 51 112 0 2345 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 23568
[startup+102.569 s]
/proc/loadavg: 1.54 2.55 2.89 2/70 23508
/proc/meminfo: memFree=1895800/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=11760 CPUtime=94.6
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 2830 0 0 0 9457 3 0 0 25 0 1 0 30599575 12042240 2570 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 2940 2570 51 112 0 2824 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25484
[startup+162.573 s]
/proc/loadavg: 1.83 2.45 2.83 3/77 23559
/proc/meminfo: memFree=1180408/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=14224 CPUtime=153.92
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 3449 0 0 0 15384 8 0 0 25 0 1 0 30599575 14565376 3189 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23413/statm: 3556 3189 51 112 0 3440 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 27948
[startup+222.573 s]
/proc/loadavg: 1.94 2.36 2.78 3/77 23559
/proc/meminfo: memFree=1178872/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
################
# More data... #
################
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 6738 0 0 0 122543 190 0 0 25 0 1 0 30599575 28647424 6435 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 6994 6435 51 112 0 6878 0
Current children cumulated CPU time (s) 1234.99
Current children cumulated vsize (KiB) 41700
[startup+1303.52 s]
/proc/loadavg: 3.64 3.11 2.75 2/83 24721
/proc/meminfo: memFree=16248/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=28772 CPUtime=1287.27
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 6902 0 0 0 128516 211 0 0 25 0 1 0 30599575 29462528 6599 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7193 6599 51 112 0 7077 0
Current children cumulated CPU time (s) 1294.93
Current children cumulated vsize (KiB) 42496
[startup+1363.53 s]
/proc/loadavg: 3.44 3.18 2.80 3/83 24721
/proc/meminfo: memFree=15096/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=29496 CPUtime=1347.18
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7076 0 0 0 134487 231 0 0 25 0 1 0 30599575 30203904 6773 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7374 6773 51 112 0 7258 0
Current children cumulated CPU time (s) 1354.84
Current children cumulated vsize (KiB) 43220
[startup+1423.56 s]
/proc/loadavg: 2.84 3.06 2.78 3/83 24721
/proc/meminfo: memFree=15288/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=29648 CPUtime=1407.08
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7112 0 0 0 140455 253 0 0 25 0 1 0 30599575 30359552 6809 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7412 6809 51 112 0 7296 0
Current children cumulated CPU time (s) 1414.74
Current children cumulated vsize (KiB) 43372
[startup+1483.58 s]
/proc/loadavg: 2.60 2.95 2.75 3/83 24721
/proc/meminfo: memFree=15800/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=29808 CPUtime=1466.97
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7154 0 0 0 146421 276 0 0 25 0 1 0 30599575 30523392 6851 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525170 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7452 6851 51 112 0 7336 0
Current children cumulated CPU time (s) 1474.63
Current children cumulated vsize (KiB) 43532
[startup+1543.61 s]
/proc/loadavg: 2.98 2.99 2.78 3/83 24721
/proc/meminfo: memFree=15480/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=30080 CPUtime=1526.91
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7205 0 0 0 152391 300 0 0 25 0 1 0 30599575 30801920 6902 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7520 6902 51 112 0 7404 0
Current children cumulated CPU time (s) 1534.57
Current children cumulated vsize (KiB) 43804
[startup+1603.63 s]
/proc/loadavg: 3.61 3.13 2.84 3/83 24721
/proc/meminfo: memFree=15544/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=30232 CPUtime=1586.81
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7256 0 0 0 158364 317 0 0 25 0 1 0 30599575 30957568 6953 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528485 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7558 6953 51 112 0 7442 0
Current children cumulated CPU time (s) 1594.47
Current children cumulated vsize (KiB) 43956
[startup+1663.65 s]
/proc/loadavg: 3.26 3.11 2.84 3/95 24903
/proc/meminfo: memFree=887160/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=30540 CPUtime=1646.37
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7324 0 0 0 164288 349 0 0 25 0 1 0 30599575 31272960 7021 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7635 7021 51 112 0 7519 0
Current children cumulated CPU time (s) 1654.03
Current children cumulated vsize (KiB) 44264
[startup+1723.73 s]
/proc/loadavg: 3.68 3.22 2.89 3/94 25018
/proc/meminfo: memFree=14976/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=31216 CPUtime=1705.87
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7510 0 0 0 170205 382 0 0 25 0 1 0 30599575 31965184 7207 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7804 7207 51 112 0 7688 0
Current children cumulated CPU time (s) 1713.53
Current children cumulated vsize (KiB) 44940
[startup+1783.79 s]
/proc/loadavg: 8.22 4.72 3.43 4/86 25074
/proc/meminfo: memFree=16016/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=31508 CPUtime=1765.4
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7563 0 0 0 176122 418 0 0 25 0 1 0 30599575 32264192 7260 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7877 7260 51 112 0 7761 0
Current children cumulated CPU time (s) 1773.06
Current children cumulated vsize (KiB) 45232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.95 s]
/proc/loadavg: 7.95 4.93 3.54 3/90 25089
/proc/meminfo: memFree=16304/2055920 swapFree=4192812/4192956
[pid=23395] ppid=23393 vsize=13724 CPUtime=6.92
/proc/23395/stat : 23395 (sugar) S 23393 23395 23042 0 -1 4194304 1282 24844 0 1 3 1 672 16 16 0 1 0 30598796 14053376 821 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 271647289442 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23395/statm: 3431 821 373 3 0 531 0
[pid=23397] ppid=23395 vsize=0 CPUtime=0.74
/proc/23397/stat : 23397 (java) Z 23395 23395 23042 0 -1 1036 7783 0 1 0 68 6 0 0 19 0 1 0 30598801 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23397/statm: 0 0 0 0 0 0 0
[pid=23413] ppid=23395 vsize=31508 CPUtime=1792.37
/proc/23413/stat : 23413 (minisat) R 23395 23395 23042 0 -1 0 7567 0 0 0 178805 432 0 0 25 0 1 0 30599575 32264192 7264 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528537 0 0 4096 3 0 0 0 17 1 0 0
/proc/23413/statm: 7877 7264 51 112 0 7761 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 45232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23395 and gives childrusage.ru_utime.tv_sec=6 childrusage.ru_utime.tv_usec=765971 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=184971
CPU time returned by wait4() is 6.95094
while last known CPU time is 1800.04
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1812.46
CPU time (s): 1800.04
CPU user time (s): 1795.48
CPU system time (s): 4.56
CPU usage (%): 99.3147
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.76597
system time used= 0.184971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26210
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= 1099
involuntary context switches= 1097
runsolver used 1.91271 s user time and 5.41518 s system time
The end
Begin job on node67 on Mon Jan 29 21:33:32 UTC 2007
IDJOB= 231021
IDBENCH= 6444
IDSOLVER= 86
FILE ID= node67/231021-1170106412
PBS_JOBID= 3689863
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-12_ext.xml
COMMAND LINE= /tmp/evaluation/231021-1170106412/solver /tmp/evaluation/231021-1170106412 /tmp/evaluation/231021-1170106412/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-231021-1170106412 -o ROOT/results/node67/solver-231021-1170106412 -C 1800 -M 900 /tmp/evaluation/231021-1170106412/solver /tmp/evaluation/231021-1170106412 /tmp/evaluation/231021-1170106412/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 1e2a235a3c836e1c395f72c26b0a35d9
RANDOM SEED= 91188561
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.236
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.236
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: 1896360 kB
Buffers: 12584 kB
Cached: 62216 kB
SwapCached: 0 kB
Active: 70336 kB
Inactive: 36412 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1896360 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1148 kB
Writeback: 0 kB
Mapped: 42928 kB
Slab: 38020 kB
Committed_AS: 352052 kB
PageTables: 1856 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= 61823 MiB
End job on node67 on Mon Jan 29 22:03:45 UTC 2007