0.05 c # Sugar v0-40 (/tmp/evaluation/203759-1170096019/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/203759-1170096019/unknown.xml [Mon Jan 29 19:40:20 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/203759-1170096019/unknown.xml /tmp/evaluation/203759-1170096019/sugar21023.csp [Mon Jan 29 19:40:20 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203759-1170096019/sugar-v0-40.jar -convert /tmp/evaluation/203759-1170096019/unknown.xml /tmp/evaluation/203759-1170096019/sugar21023.csp
0.20 c BEGIN convert /tmp/evaluation/203759-1170096019/unknown.xml
0.79 c END convert (0.586257 seconds)
0.84 c # CONVERT_XML END : /tmp/evaluation/203759-1170096019/sugar21023.csp 1860829 bytes (0 seconds) [Mon Jan 29 19:40:20 2007]
0.84 c # CONVERT_XML CPU : 0.69 = 0 + 0 + 0.64 + 0.05
0.84
0.84 c # GENERATE_SAT BEGIN : /tmp/evaluation/203759-1170096019/sugar21023.bcnf [Mon Jan 29 19:40:20 2007]
0.84 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203759-1170096019/sugar-v0-40.jar -bcnf -map /tmp/evaluation/203759-1170096019/sugar21023.map /tmp/evaluation/203759-1170096019/sugar21023.csp /tmp/evaluation/203759-1170096019/sugar21023.bcnf
0.96 c BEGIN parse /tmp/evaluation/203759-1170096019/sugar21023.csp
7.57 c END parse (6.612444 seconds)
7.57 c BEGIN simplify
7.60 c END simplify (0.028676 seconds)
7.60 c BEGIN encode /tmp/evaluation/203759-1170096019/sugar21023.bcnf
7.93 c END encode (0.329492 seconds)
7.96 c # GENERATE_SAT END : 702 variables 57888 clauses 1118660 bytes (7 seconds) [Mon Jan 29 19:40:27 2007]
7.96 c # GENERATE_SAT CPU : 0 = 0 + 0 + 0 + 0
7.96
7.96 c # SOLVE_SAT BEGIN : /tmp/evaluation/203759-1170096019/sugar21023.bcnf [Mon Jan 29 19:40:27 2007]
7.96 c # CMD : /tmp/evaluation/203759-1170096019/minisat /tmp/evaluation/203759-1170096019/sugar21023.bcnf /tmp/evaluation/203759-1170096019/sugar21023.out
7.99 c ==================================[MINISAT]===================================
7.99 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.99 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.99 c ==============================================================================
7.99 c | 0 | 57888 221771 | 19296 0 0 nan | 0.000 % |
8.03 c | 101 | 57888 221771 | 21225 101 998 9.9 | 0.000 % |
8.07 c | 251 | 57888 221771 | 23348 251 2371 9.4 | 0.007 % |
8.13 c | 476 | 57888 221771 | 25682 476 4471 9.4 | 0.008 % |
8.22 c | 813 | 57888 221771 | 28251 813 7494 9.2 | 0.007 % |
8.34 c | 1319 | 57888 221771 | 31076 1319 13513 10.2 | 0.007 % |
8.52 c | 2080 | 57888 221771 | 34184 2080 21570 10.4 | 0.007 % |
8.82 c | 3219 | 57888 221771 | 37602 3219 34504 10.7 | 0.008 % |
9.26 c | 4928 | 57888 221771 | 41362 4928 53959 10.9 | 0.007 % |
9.98 c | 7491 | 57889 221771 | 45498 7490 82594 11.0 | 0.005 % |
11.20 c | 11335 | 57889 221771 | 50048 11334 129862 11.5 | 0.008 % |
13.31 c | 17101 | 57889 221771 | 55053 17100 204256 11.9 | 0.004 % |
17.28 c | 25750 | 57889 221771 | 60559 25749 320124 12.4 | 0.008 % |
23.69 c | 38724 | 57893 221771 | 66615 38719 491509 12.7 | 0.008 % |
36.47 c | 58186 | 57893 221771 | 73276 58181 773834 13.3 | 0.008 % |
55.71 c | 87379 | 57893 221771 | 80604 28272 387728 13.7 | 0.008 % |
84.75 c | 131169 | 57897 221771 | 88664 72058 1058100 14.7 | 0.008 % |
135.69 c | 196854 | 57899 221771 | 97531 65713 944879 14.4 | 0.008 % |
213.42 c | 295382 | 57904 221771 | 107284 83075 1260046 15.2 | 0.008 % |
334.24 c | 443171 | 57906 221771 | 118012 47121 712112 15.1 | 0.008 % |
528.88 c | 664854 | 57910 221771 | 129813 64945 1100973 17.0 | 0.008 % |
834.59 c | 997384 | 57913 221771 | 142795 60652 964739 15.9 | 0.008 % |
1332.43 c | 1496173 | 57917 221771 | 157074 58841 994859 16.9 | 0.008 % |
1802.34
1802.34 s UNKNOWN
1802.34 c # INTERRUPTED
1802.34 c # MAIN END : (1802 seconds) [Mon Jan 29 20:10:22 2007]
1802.34 c # MAIN CPU : 0.69 = 0 + 0 + 0.64 + 0.05
1802.34
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node66/watcher-203759-1170096019 -o ROOT/results/node66/solver-203759-1170096019 -C 1800 -M 900 /tmp/evaluation/203759-1170096019/solver /tmp/evaluation/203759-1170096019 /tmp/evaluation/203759-1170096019/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.31 2.28 2.46 5/81 21024
/proc/meminfo: memFree=1293840/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=18540 CPUtime=0
/proc/21023/stat : 21023 (runsolver) R 21021 21023 20430 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 29559484 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21023/statm: 4635 279 244 17 0 2626 0
[startup+0.11007 s]
/proc/loadavg: 2.31 2.28 2.46 5/81 21024
/proc/meminfo: memFree=1293840/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.03
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29559484 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21023/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51815 s]
/proc/loadavg: 2.31 2.28 2.46 5/81 21024
/proc/meminfo: memFree=1293840/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.03
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 29559484 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.34132 s]
/proc/loadavg: 2.29 2.28 2.46 3/89 21040
/proc/meminfo: memFree=1274448/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1190 7757 0 1 3 0 64 5 15 0 1 0 29559484 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 809 371 3 0 531 0
[pid=21033] ppid=21023 vsize=807064 CPUtime=0.47
/proc/21033/stat : 21033 (java) R 21023 21023 20430 0 -1 0 7312 0 1 0 43 4 0 0 24 0 8 0 29559568 826433536 7061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21033/statm: 201766 7061 1494 14 0 189044 0
[pid=21033/tid=21034] ppid=21023 vsize=807064 CPUtime=0.06
/proc/21033/task/21034/stat : 21034 (java) S 21023 21023 20430 0 -1 64 1261 0 0 0 6 0 0 0 16 0 8 0 29559571 826433536 7061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21035] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21035/stat : 21035 (java) S 21023 21023 20430 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29559572 826433536 7061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21036] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21036/stat : 21036 (java) S 21023 21023 20430 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29559572 826433536 7061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21037] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21037/stat : 21037 (java) S 21023 21023 20430 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29559575 826433536 7061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21038] ppid=21023 vsize=807064 CPUtime=0.05
/proc/21033/task/21038/stat : 21038 (java) S 21023 21023 20430 0 -1 64 292 0 0 0 5 0 0 0 17 0 8 0 29559575 826433536 7061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21039] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21039/stat : 21039 (java) S 21023 21023 20430 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29559575 826433536 7061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21040] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21040/stat : 21040 (java) S 21023 21023 20430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29559575 826433536 7061 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 820788
[startup+2.99465 s]
/proc/loadavg: 2.29 2.28 2.46 4/89 21040
/proc/meminfo: memFree=1252368/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1190 7757 0 1 3 0 64 5 15 0 1 0 29559484 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 809 371 3 0 531 0
[pid=21033] ppid=21023 vsize=807064 CPUtime=2.12
/proc/21033/stat : 21033 (java) R 21023 21023 20430 0 -1 0 14120 0 1 0 204 8 0 0 25 0 8 0 29559568 826433536 13853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073482407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21033/statm: 201766 13853 1494 14 0 189044 0
[pid=21033/tid=21034] ppid=21023 vsize=807064 CPUtime=0.63
/proc/21033/task/21034/stat : 21034 (java) S 21023 21023 20430 0 -1 64 8053 0 0 0 59 4 0 0 16 0 8 0 29559571 826433536 13853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21035] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21035/stat : 21035 (java) S 21023 21023 20430 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29559572 826433536 13853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21036] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21036/stat : 21036 (java) S 21023 21023 20430 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29559572 826433536 13853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21037] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21037/stat : 21037 (java) S 21023 21023 20430 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29559575 826433536 13853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21038] ppid=21023 vsize=807064 CPUtime=0.05
/proc/21033/task/21038/stat : 21038 (java) S 21023 21023 20430 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29559575 826433536 13853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21039] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21039/stat : 21039 (java) S 21023 21023 20430 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29559575 826433536 13853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21040] ppid=21023 vsize=807064 CPUtime=0
/proc/21033/task/21040/stat : 21040 (java) S 21023 21023 20430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29559575 826433536 13853 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 820788
[startup+6.28631 s]
/proc/loadavg: 2.29 2.28 2.46 3/90 21041
/proc/meminfo: memFree=1215688/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1190 7757 0 1 3 0 64 5 15 0 1 0 29559484 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 809 371 3 0 531 0
[pid=21033] ppid=21023 vsize=807336 CPUtime=5.39
/proc/21033/stat : 21033 (java) R 21023 21023 20430 0 -1 0 21856 0 1 0 526 13 0 0 25 0 8 0 29559568 826712064 21557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21033/statm: 201834 21557 1506 14 0 189112 0
[pid=21033/tid=21034] ppid=21023 vsize=807336 CPUtime=1.07
/proc/21033/task/21034/stat : 21034 (java) S 21023 21023 20430 0 -1 64 15624 0 0 0 100 7 0 0 16 0 8 0 29559571 826712064 21557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21035] ppid=21023 vsize=807336 CPUtime=0
/proc/21033/task/21035/stat : 21035 (java) S 21023 21023 20430 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29559572 826712064 21557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21036] ppid=21023 vsize=807336 CPUtime=0
/proc/21033/task/21036/stat : 21036 (java) S 21023 21023 20430 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29559572 826712064 21557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21037] ppid=21023 vsize=807336 CPUtime=0
/proc/21033/task/21037/stat : 21037 (java) S 21023 21023 20430 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 29559575 826712064 21557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21038] ppid=21023 vsize=807336 CPUtime=0.11
/proc/21033/task/21038/stat : 21038 (java) S 21023 21023 20430 0 -1 64 401 0 0 0 11 0 0 0 17 0 8 0 29559575 826712064 21557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21039] ppid=21023 vsize=807336 CPUtime=0
/proc/21033/task/21039/stat : 21039 (java) S 21023 21023 20430 0 -1 64 3 0 0 0 0 0 0 0 24 0 8 0 29559575 826712064 21557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21033/tid=21040] ppid=21023 vsize=807336 CPUtime=0
/proc/21033/task/21040/stat : 21040 (java) S 21023 21023 20430 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29559575 826712064 21557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 821060
[startup+12.7696 s]
/proc/loadavg: 2.24 2.27 2.45 3/84 21107
/proc/meminfo: memFree=1839872/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=5296 CPUtime=4.77
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 1277 0 0 0 476 1 0 0 25 0 1 0 29560280 5423104 989 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/21056/statm: 1324 989 51 112 0 1208 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 19020
[startup+25.6192 s]
/proc/loadavg: 2.28 2.27 2.45 3/77 21108
/proc/meminfo: memFree=1892984/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=7728 CPUtime=17.55
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 1862 0 0 0 1754 1 0 0 25 0 1 0 29560280 7913472 1574 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 1932 1574 51 112 0 1816 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 21452
[startup+51.3144 s]
/proc/loadavg: 2.18 2.25 2.44 3/77 21108
/proc/meminfo: memFree=1886136/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=10632 CPUtime=43.22
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 2576 0 0 0 4320 2 0 0 25 0 1 0 29560280 10887168 2288 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528537 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 2658 2288 51 112 0 2542 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 24356
[startup+102.592 s]
/proc/loadavg: 2.11 2.22 2.42 3/77 21108
/proc/meminfo: memFree=1881720/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=13004 CPUtime=94.45
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 3186 0 0 0 9442 3 0 0 25 0 1 0 29560280 13316096 2898 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522287 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 3251 2898 51 112 0 3135 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 26728
[startup+162.607 s]
/proc/loadavg: 2.04 2.18 2.39 3/77 21108
/proc/meminfo: memFree=1879480/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=13972 CPUtime=154.38
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 3372 0 0 0 15435 3 0 0 25 0 1 0 29560280 14307328 3084 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 3493 3084 51 112 0 3377 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 27696
[startup+222.633 s]
/proc/loadavg: 2.12 2.17 2.37 3/77 21108
/proc/meminfo: memFree=1876216/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=15384 CPUtime=214.35
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 3699 0 0 0 21431 4 0 0 25 0 1 0 29560280 15753216 3411 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 3846 3411 51 112 0 3730 0
Current children cumulated CPU time (s) 222.09
################
# More data... #
################
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 6427 0 0 0 123353 10 0 0 25 0 1 0 29560280 27471872 6139 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528374 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 6707 6139 51 112 0 6591 0
Current children cumulated CPU time (s) 1241.37
Current children cumulated vsize (KiB) 40552
[startup+1303.11 s]
/proc/loadavg: 2.00 2.00 2.09 3/83 21246
/proc/meminfo: memFree=1851496/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=27260 CPUtime=1293.59
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 6544 0 0 0 129338 21 0 0 25 0 1 0 29560280 27914240 6256 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 6815 6256 51 112 0 6699 0
Current children cumulated CPU time (s) 1301.33
Current children cumulated vsize (KiB) 40984
[startup+1363.14 s]
/proc/loadavg: 2.00 2.00 2.08 3/77 21306
/proc/meminfo: memFree=1851824/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=27544 CPUtime=1353.55
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 6620 0 0 0 135328 27 0 0 25 0 1 0 29560280 28205056 6332 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 6886 6332 51 112 0 6770 0
Current children cumulated CPU time (s) 1361.29
Current children cumulated vsize (KiB) 41268
[startup+1423.17 s]
/proc/loadavg: 2.00 2.00 2.08 3/77 21306
/proc/meminfo: memFree=1851056/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=28468 CPUtime=1413.5
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 6818 0 0 0 141323 27 0 0 25 0 1 0 29560280 29151232 6530 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 7117 6530 51 112 0 7001 0
Current children cumulated CPU time (s) 1421.24
Current children cumulated vsize (KiB) 42192
[startup+1483.2 s]
/proc/loadavg: 2.00 2.00 2.07 3/77 21306
/proc/meminfo: memFree=1850352/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=29136 CPUtime=1473.48
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 6988 0 0 0 147320 28 0 0 25 0 1 0 29560280 29835264 6700 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 7284 6700 51 112 0 7168 0
Current children cumulated CPU time (s) 1481.22
Current children cumulated vsize (KiB) 42860
[startup+1543.22 s]
/proc/loadavg: 2.00 2.00 2.06 3/77 21306
/proc/meminfo: memFree=1849328/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=29276 CPUtime=1533.44
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 7038 0 0 0 153316 28 0 0 25 0 1 0 29560280 29978624 6750 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 7319 6750 51 112 0 7203 0
Current children cumulated CPU time (s) 1541.18
Current children cumulated vsize (KiB) 43000
[startup+1603.25 s]
/proc/loadavg: 2.00 2.00 2.06 3/77 21306
/proc/meminfo: memFree=1848176/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=30220 CPUtime=1593.39
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 7257 0 0 0 159311 28 0 0 25 0 1 0 29560280 30945280 6969 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134533208 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 7555 6969 51 112 0 7439 0
Current children cumulated CPU time (s) 1601.13
Current children cumulated vsize (KiB) 43944
[startup+1663.27 s]
/proc/loadavg: 2.08 2.02 2.06 3/77 21306
/proc/meminfo: memFree=1847224/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=30640 CPUtime=1653.35
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 7330 0 0 0 165307 28 0 0 25 0 1 0 29560280 31375360 7042 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 7660 7042 51 112 0 7544 0
Current children cumulated CPU time (s) 1661.09
Current children cumulated vsize (KiB) 44364
[startup+1723.29 s]
/proc/loadavg: 2.03 2.01 2.05 3/77 21306
/proc/meminfo: memFree=1846712/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=30936 CPUtime=1713.31
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 7406 0 0 0 171303 28 0 0 25 0 1 0 29560280 31678464 7118 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 7734 7118 51 112 0 7618 0
Current children cumulated CPU time (s) 1721.05
Current children cumulated vsize (KiB) 44660
[startup+1783.32 s]
/proc/loadavg: 2.15 2.05 2.06 3/77 21306
/proc/meminfo: memFree=1846392/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=31232 CPUtime=1773.26
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 7469 0 0 0 177298 28 0 0 25 0 1 0 29560280 31981568 7181 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 7808 7181 51 112 0 7692 0
Current children cumulated CPU time (s) 1781
Current children cumulated vsize (KiB) 44956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.34 s]
/proc/loadavg: 2.11 2.05 2.06 3/77 21306
/proc/meminfo: memFree=1846264/2055920 swapFree=4192812/4192956
[pid=21023] ppid=21021 vsize=13724 CPUtime=0.72
/proc/21023/stat : 21023 (sugar) S 21021 21023 20430 0 -1 4194304 1277 7757 0 1 3 0 64 5 16 0 1 0 29559484 14053376 816 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 227616534626 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/21023/statm: 3431 816 373 3 0 531 0
[pid=21033] ppid=21023 vsize=0 CPUtime=7.02
/proc/21033/stat : 21033 (java) Z 21023 21023 20430 0 -1 1036 26583 0 3 0 684 18 0 0 16 0 1 0 29559568 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/21033/statm: 0 0 0 0 0 0 0
[pid=21056] ppid=21023 vsize=31232 CPUtime=1792.27
/proc/21056/stat : 21056 (minisat) R 21023 21023 20430 0 -1 0 7483 0 0 0 179199 28 0 0 25 0 1 0 29560280 31981568 7195 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528379 0 0 4096 3 0 0 0 17 0 0 0
/proc/21056/statm: 7808 7195 51 112 0 7692 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 44956
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 21023 and gives childrusage.ru_utime.tv_sec=0 childrusage.ru_utime.tv_usec=688895 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=64990
CPU time returned by wait4() is 0.753885
while last known CPU time is 1800.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1803.35
CPU time (s): 1800.02
CPU user time (s): 1799.5
CPU system time (s): 0.52
CPU usage (%): 99.8151
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.688895
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9117
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= 680
involuntary context switches= 569
runsolver used 1.9807 s user time and 6.01209 s system time
The end
Begin job on node66 on Mon Jan 29 18:40:19 UTC 2007
IDJOB= 203759
IDBENCH= 3979
IDSOLVER= 86
FILE ID= node66/203759-1170096019
PBS_JOBID= 3689576
Free space on /tmp= 66544 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-55021_ext.xml
COMMAND LINE= /tmp/evaluation/203759-1170096019/solver /tmp/evaluation/203759-1170096019 /tmp/evaluation/203759-1170096019/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-203759-1170096019 -o ROOT/results/node66/solver-203759-1170096019 -C 1800 -M 900 /tmp/evaluation/203759-1170096019/solver /tmp/evaluation/203759-1170096019 /tmp/evaluation/203759-1170096019/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f8fb9ae66b90ba73795e8a335c4e455c
RANDOM SEED= 457177157
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.259
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 : 5931.00
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.259
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: 1294256 kB
Buffers: 25864 kB
Cached: 63080 kB
SwapCached: 0 kB
Active: 674764 kB
Inactive: 35892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1294256 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1100 kB
Writeback: 0 kB
Mapped: 638568 kB
Slab: 35044 kB
Committed_AS: 738768 kB
PageTables: 2968 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= 66560 MiB
End job on node66 on Mon Jan 29 19:10:23 UTC 2007