0.05 c # Sugar v0-40 (/tmp/evaluation/202866-1170095800/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/202866-1170095800/unknown.xml [Mon Jan 29 19:36:40 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/202866-1170095800/unknown.xml /tmp/evaluation/202866-1170095800/sugar19477.csp [Mon Jan 29 19:36:40 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202866-1170095800/sugar-v0-40.jar -convert /tmp/evaluation/202866-1170095800/unknown.xml /tmp/evaluation/202866-1170095800/sugar19477.csp
0.17 c BEGIN convert /tmp/evaluation/202866-1170095800/unknown.xml
0.67 c END convert (0.506845 seconds)
0.70 c # CONVERT_XML END : /tmp/evaluation/202866-1170095800/sugar19477.csp 1109972 bytes (0 seconds) [Mon Jan 29 19:36:40 2007]
0.70 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.70
0.70 c # GENERATE_SAT BEGIN : /tmp/evaluation/202866-1170095800/sugar19477.bcnf [Mon Jan 29 19:36:40 2007]
0.70 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202866-1170095800/sugar-v0-40.jar -bcnf -map /tmp/evaluation/202866-1170095800/sugar19477.map /tmp/evaluation/202866-1170095800/sugar19477.csp /tmp/evaluation/202866-1170095800/sugar19477.bcnf
0.82 c BEGIN parse /tmp/evaluation/202866-1170095800/sugar19477.csp
12.07 c END parse (11.252984 seconds)
12.08 c BEGIN simplify
12.14 c END simplify (0.063461 seconds)
12.14 c BEGIN encode /tmp/evaluation/202866-1170095800/sugar19477.bcnf
12.67 c END encode (0.530485 seconds)
12.76 c # GENERATE_SAT END : 4616 variables 42399 clauses 3790244 bytes (12 seconds) [Mon Jan 29 19:36:52 2007]
12.76 c # GENERATE_SAT CPU : 11.97 = 0.04 + 0.01 + 11.58 + 0.34
12.76
12.76 c # SOLVE_SAT BEGIN : /tmp/evaluation/202866-1170095800/sugar19477.bcnf [Mon Jan 29 19:36:52 2007]
12.76 c # CMD : /tmp/evaluation/202866-1170095800/minisat /tmp/evaluation/202866-1170095800/sugar19477.bcnf /tmp/evaluation/202866-1170095800/sugar19477.out
12.86 c ==================================[MINISAT]===================================
12.86 c | Conflicts | ORIGINAL | LEARNT | Progress |
12.86 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
12.86 c ==============================================================================
12.86 c | 0 | 42399 905156 | 14133 0 0 nan | 0.000 % |
12.90 c | 136 | 42399 905156 | 15546 136 10786 79.3 | 0.000 % |
12.94 c | 286 | 42400 905156 | 17100 285 13895 48.8 | 0.000 % |
12.99 c | 511 | 42400 905156 | 18811 510 16923 33.2 | 0.000 % |
13.08 c | 849 | 42400 905156 | 20692 848 22159 26.1 | 0.000 % |
13.19 c | 1356 | 42401 905156 | 22761 1354 29567 21.8 | 0.000 % |
13.38 c | 2115 | 42402 905156 | 25037 2112 38648 18.3 | 0.000 % |
13.65 c | 3255 | 42402 905156 | 27541 3252 54316 16.7 | 0.000 % |
14.09 c | 4964 | 42403 905156 | 30295 4960 77288 15.6 | 0.001 % |
14.79 c | 7528 | 42403 905156 | 33324 7524 111796 14.9 | 0.001 % |
15.89 c | 11373 | 42403 905156 | 36657 11369 168629 14.8 | 0.000 % |
17.77 c | 17139 | 42406 905156 | 40323 17132 260867 15.2 | 0.001 % |
21.22 c | 25788 | 42410 905156 | 44355 25777 404635 15.7 | 0.001 % |
27.69 c | 38762 | 42414 905156 | 48790 38747 623467 16.1 | 0.001 % |
36.97 c | 58223 | 42420 905156 | 53670 21953 390034 17.8 | 0.001 % |
54.84 c | 87416 | 42430 905156 | 59037 51136 1039678 20.3 | 0.001 % |
81.69 c | 131205 | 42442 905156 | 64940 51432 1081207 21.0 | 0.001 % |
127.40 c | 196891 | 42450 905156 | 71434 19006 379442 20.0 | 0.001 % |
200.58 c | 295417 | 42458 905156 | 78578 63797 1502954 23.6 | 0.001 % |
303.52 c | 443206 | 42311 904021 | 86436 70923 2063143 29.1 | 0.412 % |
470.36 c | 664889 | 42328 904021 | 95079 21020 526682 25.1 | 0.412 % |
727.45 c | 997417 | 42346 904021 | 104587 50604 1336727 26.4 | 0.413 % |
1147.54 c | 1496205 | 42269 903651 | 115046 75422 2077712 27.5 | 0.780 % |
1802.62
1802.62 s UNKNOWN
1802.62 c # INTERRUPTED
1802.62 c # MAIN END : (1802 seconds) [Mon Jan 29 20:06:42 2007]
1802.62 c # MAIN CPU : 11.97 = 0.04 + 0.01 + 11.58 + 0.34
1802.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node69/watcher-202866-1170095800 -o ROOT/results/node69/solver-202866-1170095800 -C 1800 -M 900 /tmp/evaluation/202866-1170095800/solver /tmp/evaluation/202866-1170095800 /tmp/evaluation/202866-1170095800/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.00 2.00 2.03 5/76 19478
/proc/meminfo: memFree=1492464/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=12128 CPUtime=0
/proc/19477/stat : 19477 (sugar) R 19475 19477 18779 0 -1 4194304 504 0 0 0 0 0 0 0 20 0 1 0 29537676 12419072 223 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237947525099 0 0 4224 0 0 0 0 17 1 0 0
/proc/19477/statm: 3032 223 169 3 0 132 0
[startup+0.105514 s]
/proc/loadavg: 2.00 2.00 2.03 5/76 19478
/proc/meminfo: memFree=1492464/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=13724 CPUtime=0.03
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 29537676 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.513583 s]
/proc/loadavg: 2.00 2.00 2.03 5/76 19478
/proc/meminfo: memFree=1492464/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=13724 CPUtime=0.03
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29537676 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33672 s]
/proc/loadavg: 2.00 2.00 2.03 5/85 19494
/proc/meminfo: memFree=1469608/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=13724 CPUtime=0.03
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29537676 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3431 808 370 3 0 531 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19487] ppid=19477 vsize=807064 CPUtime=0.62
/proc/19487/stat : 19487 (java) R 19477 19477 18779 0 -1 0 7740 0 1 0 58 4 0 0 18 0 8 0 29537747 826433536 7488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19487/statm: 201766 7488 1494 14 0 189044 0
[pid=19487/tid=19488] ppid=19477 vsize=807064 CPUtime=0.09
/proc/19487/task/19488/stat : 19488 (java) S 19477 19477 18779 0 -1 64 1686 0 0 0 9 0 0 0 16 0 8 0 29537750 826433536 7488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19489] ppid=19477 vsize=807064 CPUtime=0
/proc/19487/task/19489/stat : 19489 (java) S 19477 19477 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29537751 826433536 7488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19490] ppid=19477 vsize=807064 CPUtime=0
/proc/19487/task/19490/stat : 19490 (java) S 19477 19477 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29537751 826433536 7488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19491] ppid=19477 vsize=807064 CPUtime=0
/proc/19487/task/19491/stat : 19491 (java) S 19477 19477 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29537754 826433536 7488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19492] ppid=19477 vsize=807064 CPUtime=0.05
/proc/19487/task/19492/stat : 19492 (java) R 19477 19477 18779 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 29537754 826433536 7488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19493] ppid=19477 vsize=807064 CPUtime=0
/proc/19487/task/19493/stat : 19493 (java) S 19477 19477 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29537754 826433536 7488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19494] ppid=19477 vsize=807064 CPUtime=0
/proc/19487/task/19494/stat : 19494 (java) S 19477 19477 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29537754 826433536 7488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 820788
[startup+2.98999 s]
/proc/loadavg: 2.00 2.00 2.03 4/85 19494
/proc/meminfo: memFree=1451112/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=13724 CPUtime=0.03
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29537676 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3431 808 370 3 0 531 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19487] ppid=19477 vsize=807336 CPUtime=2.26
/proc/19487/stat : 19487 (java) R 19477 19477 18779 0 -1 0 13520 0 1 0 218 8 0 0 25 0 8 0 29537747 826712064 13250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073489627 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19487/statm: 201834 13250 1506 14 0 189112 0
[pid=19487/tid=19488] ppid=19477 vsize=807336 CPUtime=0.48
/proc/19487/task/19488/stat : 19488 (java) S 19477 19477 18779 0 -1 64 7303 0 0 0 44 4 0 0 16 0 8 0 29537750 826712064 13250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19489] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19489/stat : 19489 (java) S 19477 19477 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29537751 826712064 13250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19490] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19490/stat : 19490 (java) S 19477 19477 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29537751 826712064 13250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19491] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19491/stat : 19491 (java) S 19477 19477 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29537754 826712064 13250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19492] ppid=19477 vsize=807336 CPUtime=0.14
/proc/19487/task/19492/stat : 19492 (java) S 19477 19477 18779 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 29537754 826712064 13250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19493] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19493/stat : 19493 (java) S 19477 19477 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29537754 826712064 13250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19494] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19494/stat : 19494 (java) S 19477 19477 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29537754 826712064 13250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 821060
[startup+6.29053 s]
/proc/loadavg: 2.00 2.00 2.03 3/85 19494
/proc/meminfo: memFree=1385960/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=13724 CPUtime=0.03
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1188 0 0 0 3 0 0 0 15 0 1 0 29537676 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3431 808 370 3 0 531 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19487] ppid=19477 vsize=807336 CPUtime=5.54
/proc/19487/stat : 19487 (java) R 19477 19477 18779 0 -1 0 32613 0 1 0 538 16 0 0 25 0 8 0 29537747 826712064 32254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073584294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19487/statm: 201834 32254 1506 14 0 189112 0
[pid=19487/tid=19488] ppid=19477 vsize=807336 CPUtime=1.37
/proc/19487/task/19488/stat : 19488 (java) S 19477 19477 18779 0 -1 64 26305 0 0 0 125 12 0 0 16 0 8 0 29537750 826712064 32254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19489] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19489/stat : 19489 (java) S 19477 19477 18779 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29537751 826712064 32254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19490] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19490/stat : 19490 (java) S 19477 19477 18779 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29537751 826712064 32254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19491] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19491/stat : 19491 (java) S 19477 19477 18779 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 29537754 826712064 32254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19492] ppid=19477 vsize=807336 CPUtime=0.15
/proc/19487/task/19492/stat : 19492 (java) S 19477 19477 18779 0 -1 64 401 0 0 0 15 0 0 0 16 0 8 0 29537754 826712064 32254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19493] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19493/stat : 19493 (java) S 19477 19477 18779 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29537754 826712064 32254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19487/tid=19494] ppid=19477 vsize=807336 CPUtime=0
/proc/19487/task/19494/stat : 19494 (java) S 19477 19477 18779 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 29537754 826712064 32254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 821060
[startup+12.7386 s]
/proc/loadavg: 2.00 2.00 2.02 3/85 19494
/proc/meminfo: memFree=1278248/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=14252 CPUtime=11.96
/proc/19477/stat : 19477 (sugar) R 19475 19477 18779 0 -1 4194304 1363 54862 0 1 4 0 1158 34 16 0 1 0 29537676 14594048 934 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237947522373 0 0 4224 16386 0 0 0 17 1 0 0
/proc/19477/statm: 3563 934 370 3 0 663 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 14252
[startup+25.5817 s]
/proc/loadavg: 2.00 2.00 2.02 3/78 19495
/proc/meminfo: memFree=1474848/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=10184 CPUtime=12.75
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 3102 0 0 0 1273 2 0 0 25 0 1 0 29538953 10428416 2161 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/19495/statm: 2546 2161 52 112 0 2430 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 26100
[startup+51.2779 s]
/proc/loadavg: 2.00 2.00 2.02 3/78 19495
/proc/meminfo: memFree=1472480/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=12484 CPUtime=38.31
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 3693 0 0 0 3828 3 0 0 25 0 1 0 29538953 12783616 2752 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/19495/statm: 3121 2752 52 112 0 3005 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 28400
[startup+102.559 s]
/proc/loadavg: 2.00 2.00 2.02 3/78 19495
/proc/meminfo: memFree=1469600/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=15404 CPUtime=89.35
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 4391 0 0 0 8931 4 0 0 25 0 1 0 29538953 15773696 3450 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/19495/statm: 3851 3450 52 112 0 3735 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 31320
[startup+162.652 s]
/proc/loadavg: 2.08 2.02 2.02 4/83 19559
/proc/meminfo: memFree=1279536/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=16864 CPUtime=149.19
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 4744 0 0 0 14913 6 0 0 25 0 1 0 29538953 17268736 3803 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525628 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 4216 3803 52 112 0 4100 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 32780
[startup+222.746 s]
/proc/loadavg: 2.12 2.04 2.02 3/76 19560
/proc/meminfo: memFree=1455720/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
################
# More data... #
################
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 8303 0 0 0 122824 14 0 0 25 0 1 0 29538953 32038912 7362 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 7822 7362 52 112 0 7706 0
Current children cumulated CPU time (s) 1241
Current children cumulated vsize (KiB) 47204
[startup+1302.96 s]
/proc/loadavg: 2.00 2.02 2.00 3/76 19560
/proc/meminfo: memFree=1406696/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=32908 CPUtime=1288.32
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 8715 0 0 0 128818 14 0 0 25 0 1 0 29538953 33697792 7774 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8227 7774 52 112 0 8111 0
Current children cumulated CPU time (s) 1300.94
Current children cumulated vsize (KiB) 48824
[startup+1362.96 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 19560
/proc/meminfo: memFree=1406376/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=33340 CPUtime=1348.27
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 8795 0 0 0 134813 14 0 0 25 0 1 0 29538953 34140160 7854 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8335 7854 52 112 0 8219 0
Current children cumulated CPU time (s) 1360.89
Current children cumulated vsize (KiB) 49256
[startup+1422.98 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 19560
/proc/meminfo: memFree=1405928/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=33812 CPUtime=1408.22
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 8909 0 0 0 140807 15 0 0 25 0 1 0 29538953 34623488 7968 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8453 7968 52 112 0 8337 0
Current children cumulated CPU time (s) 1420.84
Current children cumulated vsize (KiB) 49728
[startup+1483 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19642
/proc/meminfo: memFree=1403320/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=35000 CPUtime=1468.17
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 9199 0 0 0 146791 26 0 0 25 0 1 0 29538953 35840000 8258 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8750 8258 52 112 0 8634 0
Current children cumulated CPU time (s) 1480.79
Current children cumulated vsize (KiB) 50916
[startup+1543.04 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19730
/proc/meminfo: memFree=1402728/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=35312 CPUtime=1528.14
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 9294 0 0 0 152776 38 0 0 25 0 1 0 29538953 36159488 8353 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8828 8353 52 112 0 8712 0
Current children cumulated CPU time (s) 1540.76
Current children cumulated vsize (KiB) 51228
[startup+1603.06 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19758
/proc/meminfo: memFree=1403624/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=35468 CPUtime=1588.08
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 9309 0 0 0 158767 41 0 0 25 0 1 0 29538953 36319232 8368 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8867 8368 52 112 0 8751 0
Current children cumulated CPU time (s) 1600.7
Current children cumulated vsize (KiB) 51384
[startup+1663.06 s]
/proc/loadavg: 2.06 2.01 2.00 3/76 19758
/proc/meminfo: memFree=1403624/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=35656 CPUtime=1648.02
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 9348 0 0 0 164761 41 0 0 25 0 1 0 29538953 36511744 8407 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8914 8407 52 112 0 8798 0
Current children cumulated CPU time (s) 1660.64
Current children cumulated vsize (KiB) 51572
[startup+1723.07 s]
/proc/loadavg: 2.02 2.01 2.00 3/76 19758
/proc/meminfo: memFree=1403624/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=35656 CPUtime=1707.97
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 9348 0 0 0 170756 41 0 0 25 0 1 0 29538953 36511744 8407 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525562 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8914 8407 52 112 0 8798 0
Current children cumulated CPU time (s) 1720.59
Current children cumulated vsize (KiB) 51572
[startup+1783.09 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19758
/proc/meminfo: memFree=1403496/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=35656 CPUtime=1767.91
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 9371 0 0 0 176750 41 0 0 25 0 1 0 29538953 36511744 8430 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134522262 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8914 8430 52 112 0 8798 0
Current children cumulated CPU time (s) 1780.53
Current children cumulated vsize (KiB) 51572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 19758
/proc/meminfo: memFree=1403304/2055920 swapFree=4192956/4192956
[pid=19477] ppid=19475 vsize=15916 CPUtime=12
/proc/19477/stat : 19477 (sugar) S 19475 19477 18779 0 -1 4194304 1841 54862 0 1 7 1 1158 34 16 0 1 0 29537676 16297984 1351 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19477/statm: 3979 1351 373 3 0 1079 0
[pid=19479] ppid=19477 vsize=0 CPUtime=0.62
/proc/19479/stat : 19479 (java) Z 19477 19477 18779 0 -1 1036 7511 0 1 0 57 5 0 0 18 0 1 0 29537681 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/19479/statm: 0 0 0 0 0 0 0
[pid=19495] ppid=19477 vsize=35656 CPUtime=1787.43
/proc/19495/stat : 19495 (minisat) R 19477 19477 18779 0 -1 0 9371 0 0 0 178702 41 0 0 25 0 1 0 29538953 36511744 8430 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528429 0 0 4096 3 0 0 0 17 0 0 0
/proc/19495/statm: 8914 8430 52 112 0 8798 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 51572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 19477 and gives childrusage.ru_utime.tv_sec=11 childrusage.ru_utime.tv_usec=659227 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=361944
CPU time returned by wait4() is 12.0212
while last known CPU time is 1800.06
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1803.63
CPU time (s): 1800.06
CPU user time (s): 1799.24
CPU system time (s): 0.82
CPU usage (%): 99.802
Max. virtual memory (cumulated for all children) (KiB): 821312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6592
system time used= 0.361944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56787
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= 2765
involuntary context switches= 2788
runsolver used 2.16467 s user time and 5.85211 s system time
The end
Begin job on node69 on Mon Jan 29 18:36:40 UTC 2007
IDJOB= 202866
IDBENCH= 3889
IDSOLVER= 86
FILE ID= node69/202866-1170095800
PBS_JOBID= 3689602
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-49_ext.xml
COMMAND LINE= /tmp/evaluation/202866-1170095800/solver /tmp/evaluation/202866-1170095800 /tmp/evaluation/202866-1170095800/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-202866-1170095800 -o ROOT/results/node69/solver-202866-1170095800 -C 1800 -M 900 /tmp/evaluation/202866-1170095800/solver /tmp/evaluation/202866-1170095800 /tmp/evaluation/202866-1170095800/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= e1305f5623c59db0134743690ebda389
RANDOM SEED= 882240144
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.261
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.261
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: 1492944 kB
Buffers: 50756 kB
Cached: 392740 kB
SwapCached: 0 kB
Active: 204840 kB
Inactive: 286416 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1492944 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 972 kB
Writeback: 0 kB
Mapped: 58732 kB
Slab: 57036 kB
Committed_AS: 147680 kB
PageTables: 1928 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66549 MiB
End job on node69 on Mon Jan 29 19:06:43 UTC 2007