0.06 c # Sugar v0-40 (/tmp/evaluation/194920-1170092057/sugar-v0-40.jar)
0.06
0.06 c # MAIN BEGIN : /tmp/evaluation/194920-1170092057/unknown.xml [Mon Jan 29 18:34:17 2007]
0.06 c # CONVERT_XML BEGIN : /tmp/evaluation/194920-1170092057/unknown.xml /tmp/evaluation/194920-1170092057/sugar23502.csp [Mon Jan 29 18:34:17 2007]
0.06 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194920-1170092057/sugar-v0-40.jar -convert /tmp/evaluation/194920-1170092057/unknown.xml /tmp/evaluation/194920-1170092057/sugar23502.csp
0.19 c BEGIN convert /tmp/evaluation/194920-1170092057/unknown.xml
0.89 c END convert (0.702559 seconds)
0.93 c # CONVERT_XML END : /tmp/evaluation/194920-1170092057/sugar23502.csp 2166509 bytes (1 seconds) [Mon Jan 29 18:34:18 2007]
0.93 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.93
0.93 c # GENERATE_SAT BEGIN : /tmp/evaluation/194920-1170092057/sugar23502.bcnf [Mon Jan 29 18:34:18 2007]
0.93 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194920-1170092057/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194920-1170092057/sugar23502.map /tmp/evaluation/194920-1170092057/sugar23502.csp /tmp/evaluation/194920-1170092057/sugar23502.bcnf
1.23 c BEGIN parse /tmp/evaluation/194920-1170092057/sugar23502.csp
23.83 c END parse (22.605809 seconds)
23.83 c BEGIN simplify
23.93 c END simplify (0.096397 seconds)
23.93 c BEGIN encode /tmp/evaluation/194920-1170092057/sugar23502.bcnf
24.81 c END encode (0.878344 seconds)
24.91 c # GENERATE_SAT END : 6014 variables 76818 clauses 6813980 bytes (24 seconds) [Mon Jan 29 18:34:42 2007]
24.91 c # GENERATE_SAT CPU : 23.7 = 0.04 + 0.01 + 23.27 + 0.38
24.91
24.91 c # SOLVE_SAT BEGIN : /tmp/evaluation/194920-1170092057/sugar23502.bcnf [Mon Jan 29 18:34:42 2007]
24.91 c # CMD : /tmp/evaluation/194920-1170092057/minisat /tmp/evaluation/194920-1170092057/sugar23502.bcnf /tmp/evaluation/194920-1170092057/sugar23502.out
25.06 c ==================================[MINISAT]===================================
25.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
25.06 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
25.06 c ==============================================================================
25.06 c | 0 | 76818 1626669 | 25606 0 0 nan | 0.000 % |
25.09 c | 107 | 76818 1626669 | 28166 107 15435 144.3 | 0.000 % |
25.15 c | 259 | 76819 1626669 | 30983 258 17860 69.2 | 0.000 % |
25.24 c | 485 | 76821 1626669 | 34081 482 21624 44.9 | 0.000 % |
25.39 c | 823 | 76821 1626669 | 37489 820 27208 33.2 | 0.000 % |
25.61 c | 1329 | 76822 1626669 | 41238 1325 36640 27.7 | 0.000 % |
25.95 c | 2088 | 76823 1626669 | 45362 2083 50033 24.0 | 0.000 % |
26.47 c | 3227 | 76823 1626669 | 49898 3222 66883 20.8 | 0.000 % |
27.18 c | 4935 | 76823 1626669 | 54888 4930 94876 19.2 | 0.000 % |
28.47 c | 7498 | 76823 1626669 | 60377 7493 137467 18.3 | 0.001 % |
30.47 c | 11344 | 76823 1626669 | 66415 11339 210539 18.6 | 0.000 % |
33.93 c | 17112 | 76824 1626669 | 73056 17106 321115 18.8 | 0.001 % |
39.48 c | 25761 | 76824 1626669 | 80362 25755 483244 18.8 | 0.001 % |
48.67 c | 38735 | 76828 1626669 | 88398 38725 749429 19.4 | 0.001 % |
65.22 c | 58197 | 76829 1626669 | 97238 58186 1209619 20.8 | 0.000 % |
95.34 c | 87389 | 76836 1626669 | 106962 87371 1949769 22.3 | 0.000 % |
141.18 c | 131178 | 76841 1626669 | 117658 39922 973270 24.4 | 0.000 % |
214.50 c | 196863 | 76846 1626669 | 129424 105602 2564405 24.3 | 0.001 % |
325.36 c | 295390 | 76850 1626669 | 142367 92928 2433368 26.2 | 0.000 % |
512.73 c | 443179 | 76863 1626669 | 156603 117414 2708635 23.1 | 0.001 % |
798.27 c | 664862 | 76875 1626669 | 172264 61940 1878599 30.3 | 0.001 % |
1279.45 c | 997389 | 76882 1626669 | 189490 94029 2925510 31.1 | 0.000 % |
1809.84
1809.84 s UNKNOWN
1809.84 c # INTERRUPTED
1809.84 c # MAIN END : (1810 seconds) [Mon Jan 29 19:04:27 2007]
1809.84 c # MAIN CPU : 23.7 = 0.04 + 0.01 + 23.27 + 0.38
1809.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-194920-1170092057 -o ROOT/results/node7/solver-194920-1170092057 -C 1800 -M 900 /tmp/evaluation/194920-1170092057/solver /tmp/evaluation/194920-1170092057 /tmp/evaluation/194920-1170092057/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.92 1.97 1.73 3/87 23503
/proc/meminfo: memFree=1738240/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=880 CPUtime=0
/proc/23502/stat : 23502 (solver) R 23500 23502 22721 0 -1 4194304 41 0 0 0 0 0 0 0 20 0 1 0 29160422 901120 25 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 244668495241 0 0 4096 0 0 0 0 17 1 0 0
/proc/23502/statm: 220 25 18 169 0 8 0
[startup+0.102881 s]
/proc/loadavg: 1.92 1.97 1.73 3/87 23503
/proc/meminfo: memFree=1738240/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=13724 CPUtime=0.03
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29160422 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51092 s]
/proc/loadavg: 1.92 1.97 1.73 3/87 23503
/proc/meminfo: memFree=1738240/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=13724 CPUtime=0.03
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29160422 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33301 s]
/proc/loadavg: 1.92 1.97 1.73 3/89 23512
/proc/meminfo: memFree=1732272/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=13724 CPUtime=0.03
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29160422 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 3431 808 370 3 0 531 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23512] ppid=23502 vsize=807064 CPUtime=0.2
/proc/23512/stat : 23512 (java) S 23502 23502 22721 0 -1 0 3261 0 1 0 19 1 0 0 17 0 8 0 29160515 826433536 3012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23512/statm: 201766 3012 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 820788
[startup+2.98519 s]
/proc/loadavg: 1.92 1.97 1.73 4/96 23519
/proc/meminfo: memFree=1701112/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=13724 CPUtime=0.03
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29160422 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 3431 808 370 3 0 531 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23512] ppid=23502 vsize=807064 CPUtime=1.84
/proc/23512/stat : 23512 (java) R 23502 23502 22721 0 -1 0 12496 0 1 0 177 7 0 0 25 0 8 0 29160515 826433536 12233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073498034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23512/statm: 201766 12233 1494 14 0 189044 0
[pid=23512/tid=23513] ppid=23502 vsize=807064 CPUtime=0.49
/proc/23512/task/23513/stat : 23513 (java) S 23502 23502 22721 0 -1 64 6430 0 0 0 46 3 0 0 16 0 8 0 29160536 826433536 12233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23514] ppid=23502 vsize=807064 CPUtime=0
/proc/23512/task/23514/stat : 23514 (java) S 23502 23502 22721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29160537 826433536 12233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23515] ppid=23502 vsize=807064 CPUtime=0
/proc/23512/task/23515/stat : 23515 (java) S 23502 23502 22721 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29160537 826433536 12233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23516] ppid=23502 vsize=807064 CPUtime=0
/proc/23512/task/23516/stat : 23516 (java) S 23502 23502 22721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29160540 826433536 12233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23517] ppid=23502 vsize=807064 CPUtime=0.05
/proc/23512/task/23517/stat : 23517 (java) S 23502 23502 22721 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29160540 826433536 12233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23518] ppid=23502 vsize=807064 CPUtime=0
/proc/23512/task/23518/stat : 23518 (java) S 23502 23502 22721 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29160540 826433536 12233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23519] ppid=23502 vsize=807064 CPUtime=0
/proc/23512/task/23519/stat : 23519 (java) S 23502 23502 22721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29160540 826433536 12233 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 820788
[startup+6.28253 s]
/proc/loadavg: 1.93 1.97 1.73 2/97 23520
/proc/meminfo: memFree=1686192/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=13724 CPUtime=0.03
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29160422 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 3431 808 370 3 0 531 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23512] ppid=23502 vsize=807336 CPUtime=5.11
/proc/23512/stat : 23512 (java) S 23502 23502 22721 0 -1 0 32079 0 1 0 495 16 0 0 16 0 8 0 29160515 826712064 31732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23512/statm: 201834 31736 1506 14 0 189112 0
[pid=23512/tid=23513] ppid=23502 vsize=807336 CPUtime=1.48
/proc/23512/task/23513/stat : 23513 (java) R 23502 23502 22721 0 -1 64 25783 0 0 0 137 11 0 0 16 0 8 0 29160536 826712064 31737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23512/tid=23514] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23514/stat : 23514 (java) S 23502 23502 22721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29160537 826712064 31739 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23515] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23515/stat : 23515 (java) S 23502 23502 22721 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29160537 826712064 31741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23516] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23516/stat : 23516 (java) S 23502 23502 22721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29160540 826712064 31743 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23517] ppid=23502 vsize=807336 CPUtime=0.14
/proc/23512/task/23517/stat : 23517 (java) S 23502 23502 22721 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 29160540 826712064 31745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23518] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23518/stat : 23518 (java) S 23502 23502 22721 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29160540 826712064 31747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23519] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23519/stat : 23519 (java) S 23502 23502 22721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29160540 826712064 31748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 821060
[startup+12.6852 s]
/proc/loadavg: 1.78 1.94 1.72 2/87 23534
/proc/meminfo: memFree=1598072/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=13724 CPUtime=0.03
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29160422 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 3431 808 370 3 0 531 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23512] ppid=23502 vsize=807336 CPUtime=11.49
/proc/23512/stat : 23512 (java) S 23502 23502 22721 0 -1 0 54853 0 1 0 1121 28 0 0 16 0 8 0 29160515 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23512/statm: 201834 54113 1507 14 0 189112 0
[pid=23512/tid=23513] ppid=23502 vsize=807336 CPUtime=3.61
/proc/23512/task/23513/stat : 23513 (java) R 23502 23502 22721 0 -1 64 48346 0 0 0 339 22 0 0 16 0 8 0 29160536 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23512/tid=23514] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23514/stat : 23514 (java) S 23502 23502 22721 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29160537 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23515] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23515/stat : 23515 (java) S 23502 23502 22721 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29160537 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23516] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23516/stat : 23516 (java) S 23502 23502 22721 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29160540 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23517] ppid=23502 vsize=807336 CPUtime=0.14
/proc/23512/task/23517/stat : 23517 (java) S 23502 23502 22721 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 29160540 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23518] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23518/stat : 23518 (java) S 23502 23502 22721 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29160540 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23512/tid=23519] ppid=23502 vsize=807336 CPUtime=0
/proc/23512/task/23519/stat : 23519 (java) S 23502 23502 22721 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29160540 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 821060
[startup+25.5495 s]
/proc/loadavg: 1.66 1.91 1.71 2/80 23535
/proc/meminfo: memFree=1795056/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 15 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=10668 CPUtime=0.61
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 3362 0 0 0 60 1 0 0 24 0 1 0 29162913 10924032 2323 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 2667 2323 52 112 0 2551 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 27252
[startup+51.2032 s]
/proc/loadavg: 1.44 1.83 1.69 3/80 23535
/proc/meminfo: memFree=1786416/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=15296 CPUtime=26.26
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 4477 0 0 0 2623 3 0 0 25 0 1 0 29162913 15663104 3438 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525460 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 3824 3438 52 112 0 3708 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 31880
[startup+102.504 s]
/proc/loadavg: 1.19 1.70 1.65 2/80 23537
/proc/meminfo: memFree=1779952/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=22076 CPUtime=77.53
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 6166 0 0 0 7748 5 0 0 25 0 1 0 29162913 22605824 5127 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 5519 5127 52 112 0 5403 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 38660
[startup+162.559 s]
/proc/loadavg: 1.26 1.62 1.62 3/97 23620
/proc/meminfo: memFree=1530344/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=24244 CPUtime=137.51
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 6685 0 0 0 13738 13 0 0 25 0 1 0 29162913 24825856 5646 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 6061 5646 52 112 0 5945 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 40828
[startup+222.582 s]
/proc/loadavg: 2.02 1.76 1.67 3/97 23620
/proc/meminfo: memFree=507880/2055920 swapFree=4192956/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
################
# More data... #
################
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 11208 0 0 0 120950 392 0 0 25 0 1 0 29162913 43737088 10169 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23535/statm: 10678 10169 52 112 0 10562 0
Current children cumulated CPU time (s) 1237.96
Current children cumulated vsize (KiB) 59296
[startup+1303.65 s]
/proc/loadavg: 3.00 2.92 2.58 3/97 23620
/proc/meminfo: memFree=15664/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=43244 CPUtime=1273.1
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 11313 0 0 0 126890 420 0 0 25 0 1 0 29162913 44281856 10274 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23535/statm: 10811 10274 52 112 0 10695 0
Current children cumulated CPU time (s) 1297.64
Current children cumulated vsize (KiB) 59828
[startup+1363.66 s]
/proc/loadavg: 3.60 3.08 2.65 3/97 23620
/proc/meminfo: memFree=15600/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=43384 CPUtime=1332.64
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 11377 0 0 0 132822 442 0 0 25 0 1 0 29162913 44425216 10330 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 10846 10330 52 112 0 10730 0
Current children cumulated CPU time (s) 1357.18
Current children cumulated vsize (KiB) 59968
[startup+1423.76 s]
/proc/loadavg: 4.03 3.31 2.76 3/97 23620
/proc/meminfo: memFree=15472/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=43384 CPUtime=1392.31
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 11382 0 0 0 138769 462 0 0 25 0 1 0 29162913 44425216 10335 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134532241 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 10846 10335 52 112 0 10730 0
Current children cumulated CPU time (s) 1416.85
Current children cumulated vsize (KiB) 59968
[startup+1483.79 s]
/proc/loadavg: 3.18 3.19 2.75 3/97 23620
/proc/meminfo: memFree=15472/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=46080 CPUtime=1451.92
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 12052 0 0 0 144713 479 0 0 25 0 1 0 29162913 47185920 11005 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23535/statm: 11520 11005 52 112 0 11404 0
Current children cumulated CPU time (s) 1476.46
Current children cumulated vsize (KiB) 62664
[startup+1543.8 s]
/proc/loadavg: 2.72 3.05 2.72 3/97 23620
/proc/meminfo: memFree=16240/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=46080 CPUtime=1511.49
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 12053 0 0 0 150649 500 0 0 25 0 1 0 29162913 47185920 11006 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 11520 11006 52 112 0 11404 0
Current children cumulated CPU time (s) 1536.03
Current children cumulated vsize (KiB) 62664
[startup+1603.9 s]
/proc/loadavg: 2.56 2.93 2.70 3/97 23620
/proc/meminfo: memFree=15792/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=46556 CPUtime=1571.16
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 12143 0 0 0 156595 521 0 0 25 0 1 0 29162913 47673344 11096 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 11639 11096 52 112 0 11523 0
Current children cumulated CPU time (s) 1595.7
Current children cumulated vsize (KiB) 63140
[startup+1663.93 s]
/proc/loadavg: 2.76 2.91 2.71 3/103 23758
/proc/meminfo: memFree=16064/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=46556 CPUtime=1630.72
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 12176 0 0 0 162511 561 0 0 25 0 1 0 29162913 47673344 11129 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 11639 11129 52 112 0 11523 0
Current children cumulated CPU time (s) 1655.26
Current children cumulated vsize (KiB) 63140
[startup+1723.94 s]
/proc/loadavg: 3.06 2.96 2.74 3/97 23818
/proc/meminfo: memFree=15600/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=46720 CPUtime=1690.24
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 12206 0 0 0 168438 586 0 0 25 0 1 0 29162913 47841280 11159 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 11680 11159 52 112 0 11564 0
Current children cumulated CPU time (s) 1714.78
Current children cumulated vsize (KiB) 63304
[startup+1783.94 s]
/proc/loadavg: 4.18 3.27 2.86 3/97 23818
/proc/meminfo: memFree=15472/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=46720 CPUtime=1749.81
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 12209 0 0 0 174374 607 0 0 25 0 1 0 29162913 47841280 11162 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 11680 11162 52 112 0 11564 0
Current children cumulated CPU time (s) 1774.35
Current children cumulated vsize (KiB) 63304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.83 s]
/proc/loadavg: 4.11 3.33 2.88 3/97 23818
/proc/meminfo: memFree=15088/2055920 swapFree=4192812/4192956
[pid=23502] ppid=23500 vsize=16584 CPUtime=23.73
/proc/23502/stat : 23502 (sugar) S 23500 23502 22721 0 -1 4194304 1982 55925 0 1 7 1 2327 38 16 0 1 0 29160422 16982016 1492 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23502/statm: 4146 1492 373 3 0 1246 0
[pid=23504] ppid=23502 vsize=0 CPUtime=0.81
/proc/23504/stat : 23504 (java) Z 23502 23502 22721 0 -1 1036 7917 0 1 0 75 6 0 0 18 0 1 0 29160428 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23504/statm: 0 0 0 0 0 0 0
[pid=23535] ppid=23502 vsize=46720 CPUtime=1775.55
/proc/23535/stat : 23535 (minisat) R 23502 23502 22721 0 -1 0 12210 0 0 0 176941 614 0 0 25 0 1 0 29162913 47841280 11163 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525924 0 0 4096 3 0 0 0 17 0 0 0
/proc/23535/statm: 11680 11163 52 112 0 11564 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 63304
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23502 and gives childrusage.ru_utime.tv_sec=23 childrusage.ru_utime.tv_usec=353449 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=401938
CPU time returned by wait4() is 23.7554
while last known CPU time is 1800.1
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.89
CPU time (s): 1800.1
CPU user time (s): 1793.5
CPU system time (s): 6.6
CPU usage (%): 99.4039
Max. virtual memory (cumulated for all children) (KiB): 821564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.3534
system time used= 0.401938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57992
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= 2829
involuntary context switches= 1774
runsolver used 2.13167 s user time and 6.05308 s system time
The end
Begin job on node7 on Mon Jan 29 17:34:17 UTC 2007
IDJOB= 194920
IDBENCH= 3239
IDSOLVER= 86
FILE ID= node7/194920-1170092057
PBS_JOBID= 3689384
Free space on /tmp= 66551 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-22_ext.xml
COMMAND LINE= /tmp/evaluation/194920-1170092057/solver /tmp/evaluation/194920-1170092057 /tmp/evaluation/194920-1170092057/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-194920-1170092057 -o ROOT/results/node7/solver-194920-1170092057 -C 1800 -M 900 /tmp/evaluation/194920-1170092057/solver /tmp/evaluation/194920-1170092057 /tmp/evaluation/194920-1170092057/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 8562e9e8a5ace187915608298ca5a4f7
RANDOM SEED= 390148641
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.232
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.232
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: 1738720 kB
Buffers: 40028 kB
Cached: 106104 kB
SwapCached: 0 kB
Active: 172236 kB
Inactive: 99140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1738720 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1176 kB
Writeback: 0 kB
Mapped: 144100 kB
Slab: 30644 kB
Committed_AS: 285976 kB
PageTables: 2276 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= 39695 MiB
End job on node7 on Mon Jan 29 18:04:28 UTC 2007