0.04 c # Sugar v0-40 (/tmp/evaluation/231989-1170106492/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/231989-1170106492/unknown.xml [Mon Jan 29 22:34:56 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/231989-1170106492/unknown.xml /tmp/evaluation/231989-1170106492/sugar23997.csp [Mon Jan 29 22:34:56 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/231989-1170106492/sugar-v0-40.jar -convert /tmp/evaluation/231989-1170106492/unknown.xml /tmp/evaluation/231989-1170106492/sugar23997.csp
0.15 c BEGIN convert /tmp/evaluation/231989-1170106492/unknown.xml
0.68 c END convert (0.527276 seconds)
0.68 c # CONVERT_XML END : /tmp/evaluation/231989-1170106492/sugar23997.csp 1429253 bytes (1 seconds) [Mon Jan 29 22:34:57 2007]
0.69 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.69
0.69 c # GENERATE_SAT BEGIN : /tmp/evaluation/231989-1170106492/sugar23997.bcnf [Mon Jan 29 22:34:57 2007]
0.69 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/231989-1170106492/sugar-v0-40.jar -bcnf -map /tmp/evaluation/231989-1170106492/sugar23997.map /tmp/evaluation/231989-1170106492/sugar23997.csp /tmp/evaluation/231989-1170106492/sugar23997.bcnf
0.80 c BEGIN parse /tmp/evaluation/231989-1170106492/sugar23997.csp
6.02 c END parse (5.226301 seconds)
6.02 c BEGIN simplify
6.06 c END simplify (0.035203 seconds)
6.06 c BEGIN encode /tmp/evaluation/231989-1170106492/sugar23997.bcnf
6.31 c END encode (0.256105 seconds)
6.34 c # GENERATE_SAT END : 600 variables 44675 clauses 860604 bytes (6 seconds) [Mon Jan 29 22:35:03 2007]
6.34 c # GENERATE_SAT CPU : 5.63 = 0.01 + 0 + 5.49 + 0.13
6.34
6.34 c # SOLVE_SAT BEGIN : /tmp/evaluation/231989-1170106492/sugar23997.bcnf [Mon Jan 29 22:35:03 2007]
6.34 c # CMD : /tmp/evaluation/231989-1170106492/minisat /tmp/evaluation/231989-1170106492/sugar23997.bcnf /tmp/evaluation/231989-1170106492/sugar23997.out
6.36 c ==================================[MINISAT]===================================
6.36 c | Conflicts | ORIGINAL | LEARNT | Progress |
6.36 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
6.36 c ==============================================================================
6.36 c | 0 | 44675 170470 | 14891 0 0 nan | 0.000 % |
6.38 c | 100 | 44675 170470 | 16380 100 871 8.7 | 0.000 % |
6.41 c | 251 | 44676 170470 | 18018 250 2457 9.8 | 0.010 % |
6.45 c | 476 | 44678 170470 | 19819 473 4899 10.4 | 0.006 % |
6.51 c | 814 | 44678 170470 | 21801 811 8375 10.3 | 0.009 % |
6.59 c | 1321 | 44678 170470 | 23982 1318 13764 10.4 | 0.013 % |
6.72 c | 2080 | 44678 170470 | 26380 2077 21940 10.6 | 0.009 % |
6.94 c | 3219 | 44678 170470 | 29018 3216 34100 10.6 | 0.010 % |
7.26 c | 4928 | 44679 170470 | 31920 4924 51979 10.6 | 0.009 % |
7.81 c | 7490 | 44679 170470 | 35112 7486 80087 10.7 | 0.006 % |
8.72 c | 11335 | 44679 170470 | 38623 11331 126804 11.2 | 0.009 % |
10.27 c | 17101 | 44680 170470 | 42485 17096 197362 11.5 | 0.009 % |
13.01 c | 25752 | 44680 170470 | 46734 25747 304239 11.8 | 0.009 % |
18.15 c | 38727 | 44681 170470 | 51407 38721 465288 12.0 | 0.011 % |
26.68 c | 58188 | 44681 170470 | 56548 20084 266897 13.3 | 0.011 % |
40.80 c | 87381 | 44683 170470 | 62203 49275 693477 14.1 | 0.009 % |
63.38 c | 131170 | 44685 170470 | 68423 46445 639691 13.8 | 0.009 % |
99.98 c | 196854 | 44692 170470 | 75266 57706 788781 13.7 | 0.009 % |
156.96 c | 295382 | 44695 170470 | 82792 36955 464110 12.6 | 0.010 % |
242.17 c | 443172 | 44702 170470 | 91072 49686 677874 13.6 | 0.010 % |
389.67 c | 664856 | 44709 170470 | 100179 49684 728663 14.7 | 0.011 % |
627.06 c | 997381 | 44719 170470 | 110197 49474 722671 14.6 | 0.012 % |
1015.59 c | 1496170 | 44727 170470 | 121216 84662 1236611 14.6 | 0.012 % |
1593.31 c | 2244352 | 44611 170092 | 133338 81803 1303311 15.9 | 0.167 % |
1811.02
1811.02 s UNKNOWN
1811.02 c # INTERRUPTED
1811.02 c # MAIN END : (1811 seconds) [Mon Jan 29 23:05:07 2007]
1811.02 c # MAIN CPU : 1799.46 = 0.01 + 0 + 1798.76 + 0.69
1811.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-231989-1170106492 -o ROOT/results/node30/solver-231989-1170106492 -C 1800 -M 900 /tmp/evaluation/231989-1170106492/solver /tmp/evaluation/231989-1170106492 /tmp/evaluation/231989-1170106492/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.04 3.07 3.06 4/82 23998
/proc/meminfo: memFree=1812864/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=12268 CPUtime=0
/proc/23997/stat : 23997 (sugar) R 23995 23997 23930 0 -1 4194304 597 0 0 0 0 0 0 0 18 0 1 0 4413675 12562432 316 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916482338 0 0 4224 0 0 0 0 17 0 0 0
/proc/23997/statm: 3067 320 242 3 0 167 0
[startup+0.108582 s]
/proc/loadavg: 2.04 3.07 3.06 4/82 23998
/proc/meminfo: memFree=1812864/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=0.03
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1112 0 0 0 2 1 0 0 19 0 1 0 4413675 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23997/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.51865 s]
/proc/loadavg: 2.04 3.07 3.06 4/82 23998
/proc/meminfo: memFree=1812864/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=0.03
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1121 0 0 0 2 1 0 0 16 0 1 0 4413675 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23997/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33976 s]
/proc/loadavg: 1.96 3.04 3.05 2/90 24014
/proc/meminfo: memFree=1787264/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=0.04
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 4413675 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23997/statm: 3431 808 370 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24007] ppid=23997 vsize=807064 CPUtime=0.63
/proc/24007/stat : 24007 (java) R 23997 23997 23930 0 -1 0 8157 0 1 0 60 3 0 0 17 0 8 0 4413744 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073491358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24007/statm: 201766 7904 1494 14 0 189044 0
[pid=24007/tid=24008] ppid=23997 vsize=807064 CPUtime=0.12
/proc/24007/task/24008/stat : 24008 (java) S 23997 23997 23930 0 -1 64 2103 0 0 0 12 0 0 0 16 0 8 0 4413747 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24009] ppid=23997 vsize=807064 CPUtime=0
/proc/24007/task/24009/stat : 24009 (java) S 23997 23997 23930 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 4413747 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24010] ppid=23997 vsize=807064 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 23997 23997 23930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 4413747 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24011] ppid=23997 vsize=807064 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 23997 23997 23930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4413750 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24012] ppid=23997 vsize=807064 CPUtime=0.04
/proc/24007/task/24012/stat : 24012 (java) S 23997 23997 23930 0 -1 64 292 0 0 0 4 0 0 0 16 0 8 0 4413750 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24013] ppid=23997 vsize=807064 CPUtime=0
/proc/24007/task/24013/stat : 24013 (java) S 23997 23997 23930 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4413750 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24014] ppid=23997 vsize=807064 CPUtime=0
/proc/24007/task/24014/stat : 24014 (java) S 23997 23997 23930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 4413750 826433536 7904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 820788
[startup+2.98399 s]
/proc/loadavg: 1.96 3.04 3.05 2/90 24014
/proc/meminfo: memFree=1768576/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=0.04
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 4413675 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23997/statm: 3431 808 370 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24007] ppid=23997 vsize=807336 CPUtime=2.28
/proc/24007/stat : 24007 (java) R 23997 23997 23930 0 -1 0 13832 0 1 0 221 7 0 0 16 0 8 0 4413744 826712064 13565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380351 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24007/statm: 201834 13565 1506 14 0 189112 0
[pid=24007/tid=24008] ppid=23997 vsize=807336 CPUtime=0.52
/proc/24007/task/24008/stat : 24008 (java) S 23997 23997 23930 0 -1 64 7631 0 0 0 49 3 0 0 15 0 8 0 4413747 826712064 13565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24009] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24009/stat : 24009 (java) S 23997 23997 23930 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 4413747 826712064 13565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24010] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 23997 23997 23930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 4413747 826712064 13565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24011] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 23997 23997 23930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4413750 826712064 13565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24012] ppid=23997 vsize=807336 CPUtime=0.11
/proc/24007/task/24012/stat : 24012 (java) S 23997 23997 23930 0 -1 64 400 0 0 0 11 0 0 0 16 0 8 0 4413750 826712064 13565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24013] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24013/stat : 24013 (java) S 23997 23997 23930 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4413750 826712064 13565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24014] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24014/stat : 24014 (java) S 23997 23997 23930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 4413750 826712064 13565 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 821060
[startup+6.19125 s]
/proc/loadavg: 1.96 3.04 3.05 2/90 24019
/proc/meminfo: memFree=1736896/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=0.04
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1188 0 0 0 3 1 0 0 16 0 1 0 4413675 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 808 370 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24007] ppid=23997 vsize=807336 CPUtime=5.49
/proc/24007/stat : 24007 (java) R 23997 23997 23930 0 -1 0 22051 0 1 0 537 12 0 0 16 0 8 0 4413744 826712064 21752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24007/statm: 201834 21752 1510 14 0 189112 0
[pid=24007/tid=24008] ppid=23997 vsize=807336 CPUtime=0.91
/proc/24007/task/24008/stat : 24008 (java) S 23997 23997 23930 0 -1 64 15801 0 0 0 84 7 0 0 16 0 8 0 4413747 826712064 21752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24009] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24009/stat : 24009 (java) S 23997 23997 23930 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 4413747 826712064 21752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24010] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24010/stat : 24010 (java) S 23997 23997 23930 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 4413747 826712064 21752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24007/tid=24011] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24011/stat : 24011 (java) S 23997 23997 23930 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 4413750 826712064 21752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24012] ppid=23997 vsize=807336 CPUtime=0.12
/proc/24007/task/24012/stat : 24012 (java) S 23997 23997 23930 0 -1 64 408 0 0 0 12 0 0 0 16 0 8 0 4413750 826712064 21752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24013] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24013/stat : 24013 (java) S 23997 23997 23930 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 4413750 826712064 21752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24007/tid=24014] ppid=23997 vsize=807336 CPUtime=0
/proc/24007/task/24014/stat : 24014 (java) S 23997 23997 23930 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 4413750 826712064 21752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 821060
[startup+12.6602 s]
/proc/loadavg: 1.89 2.99 3.03 3/97 24068
/proc/meminfo: memFree=1762440/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=5576 CPUtime=6.26
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 1257 0 0 0 625 1 0 0 25 0 1 0 4414309 5709824 1032 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 1394 1032 51 112 0 1278 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 19300
[startup+25.492 s]
/proc/loadavg: 1.91 2.95 3.02 3/97 24068
/proc/meminfo: memFree=1555144/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=7784 CPUtime=18.94
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 1818 0 0 0 1888 6 0 0 25 0 1 0 4414309 7970816 1593 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 1946 1593 51 112 0 1830 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 21508
[startup+51.1746 s]
/proc/loadavg: 1.94 2.86 2.99 3/90 24069
/proc/meminfo: memFree=1009536/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=9832 CPUtime=44.38
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 2290 0 0 0 4431 7 0 0 25 0 1 0 4414309 10067968 2065 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 2458 2065 51 112 0 2342 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 23556
[startup+102.428 s]
/proc/loadavg: 1.97 2.73 2.93 3/90 24069
/proc/meminfo: memFree=1008448/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=11220 CPUtime=95.15
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 2632 0 0 0 9507 8 0 0 25 0 1 0 4414309 11489280 2407 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528768 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 2805 2407 51 112 0 2689 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 24944
[startup+162.507 s]
/proc/loadavg: 1.99 2.59 2.87 3/97 24140
/proc/meminfo: memFree=1700048/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=12828 CPUtime=154.69
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 3022 0 0 0 15458 11 0 0 25 0 1 0 4414309 13135872 2797 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 3207 2797 51 112 0 3091 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 26552
[startup+222.605 s]
/proc/loadavg: 2.04 2.51 2.82 3/89 24213
/proc/meminfo: memFree=1358272/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
################
# More data... #
################
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 5727 0 0 0 122902 30 0 0 25 0 1 0 4414309 24678400 5502 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 6025 5502 51 112 0 5909 0
Current children cumulated CPU time (s) 1235.61
Current children cumulated vsize (KiB) 37824
[startup+1303.34 s]
/proc/loadavg: 2.00 2.00 2.24 3/89 24213
/proc/meminfo: memFree=624000/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=24448 CPUtime=1289
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 5822 0 0 0 128870 30 0 0 25 0 1 0 4414309 25034752 5597 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 6112 5597 51 112 0 5996 0
Current children cumulated CPU time (s) 1295.29
Current children cumulated vsize (KiB) 38172
[startup+1363.44 s]
/proc/loadavg: 2.00 2.00 2.22 3/89 24213
/proc/meminfo: memFree=620352/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=24932 CPUtime=1348.78
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 5917 0 0 0 134848 30 0 0 25 0 1 0 4414309 25530368 5692 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528398 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 6233 5692 51 112 0 6117 0
Current children cumulated CPU time (s) 1355.07
Current children cumulated vsize (KiB) 38656
[startup+1423.54 s]
/proc/loadavg: 2.00 2.00 2.20 3/89 24213
/proc/meminfo: memFree=617280/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=25240 CPUtime=1408.52
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 6023 0 0 0 140822 30 0 0 25 0 1 0 4414309 25845760 5798 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 6310 5798 51 112 0 6194 0
Current children cumulated CPU time (s) 1414.81
Current children cumulated vsize (KiB) 38964
[startup+1483.63 s]
/proc/loadavg: 2.00 2.00 2.18 3/89 24213
/proc/meminfo: memFree=613568/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=26596 CPUtime=1468.3
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 6326 0 0 0 146800 30 0 0 25 0 1 0 4414309 27234304 6101 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 6649 6101 51 112 0 6533 0
Current children cumulated CPU time (s) 1474.59
Current children cumulated vsize (KiB) 40320
[startup+1543.73 s]
/proc/loadavg: 2.03 2.01 2.18 3/89 24213
/proc/meminfo: memFree=610816/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=26840 CPUtime=1528.08
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 6404 0 0 0 152777 31 0 0 25 0 1 0 4414309 27484160 6179 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 6710 6179 51 112 0 6594 0
Current children cumulated CPU time (s) 1534.37
Current children cumulated vsize (KiB) 40564
[startup+1603.75 s]
/proc/loadavg: 2.01 2.01 2.16 3/95 24321
/proc/meminfo: memFree=606848/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=27472 CPUtime=1587.71
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 6558 0 0 0 158728 43 0 0 25 0 1 0 4414309 28131328 6325 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 6868 6325 51 112 0 6752 0
Current children cumulated CPU time (s) 1594
Current children cumulated vsize (KiB) 41196
[startup+1663.78 s]
/proc/loadavg: 2.00 2.00 2.15 3/89 24411
/proc/meminfo: memFree=604984/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=28300 CPUtime=1647.38
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 6752 0 0 0 164684 54 0 0 25 0 1 0 4414309 28979200 6519 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 7075 6519 51 112 0 6959 0
Current children cumulated CPU time (s) 1653.67
Current children cumulated vsize (KiB) 42024
[startup+1723.78 s]
/proc/loadavg: 2.04 2.01 2.15 3/89 24411
/proc/meminfo: memFree=602368/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=28828 CPUtime=1707.06
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 6863 0 0 0 170652 54 0 0 25 0 1 0 4414309 29519872 6630 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528723 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 7207 6630 51 112 0 7091 0
Current children cumulated CPU time (s) 1713.35
Current children cumulated vsize (KiB) 42552
[startup+1783.88 s]
/proc/loadavg: 2.05 2.02 2.14 3/89 24411
/proc/meminfo: memFree=599616/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=29040 CPUtime=1766.82
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 6917 0 0 0 176628 54 0 0 25 0 1 0 4414309 29736960 6684 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 7260 6684 51 112 0 7144 0
Current children cumulated CPU time (s) 1773.11
Current children cumulated vsize (KiB) 42764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.01 s]
/proc/loadavg: 2.03 2.02 2.13 3/89 24411
/proc/meminfo: memFree=598208/2055920 swapFree=4192812/4192956
[pid=23997] ppid=23995 vsize=13724 CPUtime=5.66
/proc/23997/stat : 23997 (sugar) S 23995 23997 23930 0 -1 4194304 1277 22348 0 1 3 1 549 13 16 0 1 0 4413675 14053376 815 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23997/statm: 3431 815 373 3 0 531 0
[pid=23999] ppid=23997 vsize=0 CPUtime=0.63
/proc/23999/stat : 23999 (java) Z 23997 23997 23930 0 -1 1036 7597 0 1 0 58 5 0 0 16 0 1 0 4413679 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23999/statm: 0 0 0 0 0 0 0
[pid=24020] ppid=23997 vsize=29236 CPUtime=1793.8
/proc/24020/stat : 24020 (minisat) R 23997 23997 23930 0 -1 0 6975 0 0 0 179326 54 0 0 25 0 1 0 4414309 29937664 6742 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24020/statm: 7309 6742 51 112 0 7193 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 42960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23997 and gives childrusage.ru_utime.tv_sec=1798 childrusage.ru_utime.tv_usec=793541 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=707892
CPU time returned by wait4() is 1799.5
while last known CPU time is 1800.09
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1811.02
CPU time (s): 1800.09
CPU user time (s): 1799.36
CPU system time (s): 0.73
CPU usage (%): 99.3964
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 0.707892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30684
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= 699
involuntary context switches= 65896
runsolver used 2.48162 s user time and 5.47917 s system time
The end
Begin job on node30 on Mon Jan 29 21:34:53 UTC 2007
IDJOB= 231989
IDBENCH= 6494
IDSOLVER= 86
FILE ID= node30/231989-1170106492
PBS_JOBID= 3689875
Free space on /tmp= 66564 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-57021_ext.xml
COMMAND LINE= /tmp/evaluation/231989-1170106492/solver /tmp/evaluation/231989-1170106492 /tmp/evaluation/231989-1170106492/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-231989-1170106492 -o ROOT/results/node30/solver-231989-1170106492 -C 1800 -M 900 /tmp/evaluation/231989-1170106492/solver /tmp/evaluation/231989-1170106492 /tmp/evaluation/231989-1170106492/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 770b28076b75602aacb655be9a055a98
RANDOM SEED= 611153143
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.270
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.270
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: 1813480 kB
Buffers: 21312 kB
Cached: 52740 kB
SwapCached: 0 kB
Active: 157332 kB
Inactive: 35180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1813480 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1416 kB
Writeback: 0 kB
Mapped: 137360 kB
Slab: 35128 kB
Committed_AS: 509892 kB
PageTables: 1976 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= 66281 MiB
End job on node30 on Mon Jan 29 22:05:07 UTC 2007