0.05 c # Sugar v0-40 (/tmp/evaluation/233642-1170106798/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/233642-1170106798/unknown.xml [Mon Jan 29 22:39:58 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/233642-1170106798/unknown.xml /tmp/evaluation/233642-1170106798/sugar24170.csp [Mon Jan 29 22:39:58 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233642-1170106798/sugar-v0-40.jar -convert /tmp/evaluation/233642-1170106798/unknown.xml /tmp/evaluation/233642-1170106798/sugar24170.csp
0.17 c BEGIN convert /tmp/evaluation/233642-1170106798/unknown.xml
0.76 c END convert (0.597236 seconds)
0.81 c # CONVERT_XML END : /tmp/evaluation/233642-1170106798/sugar24170.csp 155085 bytes (1 seconds) [Mon Jan 29 22:39:59 2007]
0.81 c # CONVERT_XML CPU : 0.01 = 0 + 0.01 + 0 + 0
0.81
0.81 c # GENERATE_SAT BEGIN : /tmp/evaluation/233642-1170106798/sugar24170.bcnf [Mon Jan 29 22:39:59 2007]
0.81 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/233642-1170106798/sugar-v0-40.jar -bcnf -map /tmp/evaluation/233642-1170106798/sugar24170.map /tmp/evaluation/233642-1170106798/sugar24170.csp /tmp/evaluation/233642-1170106798/sugar24170.bcnf
0.93 c BEGIN parse /tmp/evaluation/233642-1170106798/sugar24170.csp
1.53 c END parse (0.607537 seconds)
1.54 c BEGIN simplify
1.60 c END simplify (0.068358 seconds)
1.60 c BEGIN encode /tmp/evaluation/233642-1170106798/sugar24170.bcnf
6.46 c END encode (4.859955 seconds)
6.57 c # GENERATE_SAT END : 199340 variables 5292105 clauses 83839596 bytes (6 seconds) [Mon Jan 29 22:40:05 2007]
6.57 c # GENERATE_SAT CPU : 5.66 = 0.06 + 0 + 5.21 + 0.39
6.57
6.57 c # SOLVE_SAT BEGIN : /tmp/evaluation/233642-1170106798/sugar24170.bcnf [Mon Jan 29 22:40:05 2007]
6.57 c # CMD : /tmp/evaluation/233642-1170106798/minisat /tmp/evaluation/233642-1170106798/sugar24170.bcnf /tmp/evaluation/233642-1170106798/sugar24170.out
9.87 c ==================================[MINISAT]===================================
9.87 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.87 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
9.87 c ==============================================================================
9.87 c | 0 | 5292105 15667750 | 1764035 0 0 nan | 0.000 % |
11.27 c | 100 | 5292105 15667750 | 1940438 100 1383 13.8 | 0.000 % |
11.93 c | 251 | 5292105 15667750 | 2134482 251 4032 16.1 | 0.000 % |
12.15 c | 476 | 5292105 15667750 | 2347930 476 5739 12.1 | 0.000 % |
12.46 c | 814 | 5292105 15667750 | 2582723 814 8759 10.8 | 0.000 % |
12.80 c | 1321 | 5292105 15667750 | 2840996 1321 14029 10.6 | 0.000 % |
13.43 c | 2080 | 5292105 15667750 | 3125095 2080 26106 12.6 | 0.000 % |
14.22 c | 3219 | 5292105 15667750 | 3437605 3219 42584 13.2 | 0.000 % |
15.10 c | 4927 | 5292105 15667750 | 3781365 4927 71840 14.6 | 0.000 % |
16.95 c | 7490 | 5292105 15667750 | 4159502 7490 114011 15.2 | 0.000 % |
20.38 c | 11335 | 5292105 15667750 | 4575452 11335 177252 15.6 | 0.000 % |
25.05 c | 17102 | 5292105 15667750 | 5032997 17102 282460 16.5 | 0.000 % |
31.49 c | 25751 | 5292105 15667750 | 5536297 25751 437606 17.0 | 0.000 % |
45.66 c | 38726 | 5292105 15667750 | 6089927 38726 667431 17.2 | 0.000 % |
69.65 c | 58187 | 5292105 15667750 | 6698919 58187 977550 16.8 | 0.000 % |
114.72 c | 87383 | 5292105 15667750 | 7368811 87383 1460059 16.7 | 0.000 % |
191.90 c | 131174 | 5292105 15667750 | 8105693 131174 2220208 16.9 | 0.000 % |
338.88 c | 196858 | 5292105 15667750 | 8916262 196858 3555757 18.1 | 0.000 % |
609.86 c | 295385 | 5292105 15667750 | 9807888 295385 5598874 19.0 | 0.000 % |
1128.07 c | 443176 | 5292105 15667750 | 10788677 443176 8808757 19.9 | 0.000 % |
1816.24
1816.24 s UNKNOWN
1816.24 c # INTERRUPTED
1816.24 c # MAIN END : (1817 seconds) [Mon Jan 29 23:10:15 2007]
1816.24 c # MAIN CPU : 5.67 = 0.06 + 0.01 + 5.21 + 0.39
1816.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-233642-1170106798 -o ROOT/results/node58/solver-233642-1170106798 -C 1800 -M 900 /tmp/evaluation/233642-1170106798/solver /tmp/evaluation/233642-1170106798 /tmp/evaluation/233642-1170106798/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.07 2.00 1.68 5/74 24171
/proc/meminfo: memFree=1854088/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=12128 CPUtime=0
/proc/24170/stat : 24170 (sugar) R 24168 24170 24033 0 -1 4194304 501 0 0 0 0 0 0 0 20 0 1 0 30636506 12419072 220 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226256169456 0 0 4224 0 0 0 0 17 1 0 0
/proc/24170/statm: 3032 220 166 3 0 132 0
[startup+0.105964 s]
/proc/loadavg: 2.07 2.00 1.68 5/74 24171
/proc/meminfo: memFree=1854088/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=13724 CPUtime=0.04
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30636506 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.513999 s]
/proc/loadavg: 2.07 2.00 1.68 5/74 24171
/proc/meminfo: memFree=1854088/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=13724 CPUtime=0.04
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30636506 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33707 s]
/proc/loadavg: 2.14 2.02 1.69 4/83 24187
/proc/meminfo: memFree=1834560/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=13724 CPUtime=0.04
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 1190 0 0 0 3 1 0 0 15 0 1 0 30636506 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 3431 809 371 3 0 531 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24180] ppid=24170 vsize=807332 CPUtime=0.51
/proc/24180/stat : 24180 (java) R 24170 24170 24033 0 -1 0 6645 0 1 0 47 4 0 0 17 0 8 0 30636587 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073666623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24180/statm: 201833 6395 1506 14 0 189111 0
[pid=24180/tid=24181] ppid=24170 vsize=807332 CPUtime=0.02
/proc/24180/task/24181/stat : 24181 (java) S 24170 24170 24033 0 -1 64 489 0 0 0 2 0 0 0 16 0 8 0 30636590 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24182] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24182/stat : 24182 (java) S 24170 24170 24033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30636591 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24183] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24183/stat : 24183 (java) S 24170 24170 24033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30636591 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24184] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24184/stat : 24184 (java) S 24170 24170 24033 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30636594 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24185] ppid=24170 vsize=807332 CPUtime=0.09
/proc/24180/task/24185/stat : 24185 (java) R 24170 24170 24033 0 -1 64 373 0 0 0 9 0 0 0 19 0 8 0 30636594 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24186] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24186/stat : 24186 (java) S 24170 24170 24033 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30636594 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24187] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24187/stat : 24187 (java) S 24170 24170 24033 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30636594 826707968 6395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 821056
[startup+2.99021 s]
/proc/loadavg: 2.14 2.02 1.69 3/83 24187
/proc/meminfo: memFree=1816768/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=13724 CPUtime=0.04
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30636506 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 3431 809 371 3 0 531 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24180] ppid=24170 vsize=807332 CPUtime=2.14
/proc/24180/stat : 24180 (java) R 24170 24170 24033 0 -1 0 8143 0 1 0 200 14 0 0 25 0 8 0 30636587 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24180/statm: 201833 7890 1510 14 0 189111 0
[pid=24180/tid=24181] ppid=24170 vsize=807332 CPUtime=0.09
/proc/24180/task/24181/stat : 24181 (java) S 24170 24170 24033 0 -1 64 1912 0 0 0 9 0 0 0 16 0 8 0 30636590 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24182] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24182/stat : 24182 (java) S 24170 24170 24033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30636591 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24183] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24183/stat : 24183 (java) S 24170 24170 24033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30636591 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24184] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24184/stat : 24184 (java) S 24170 24170 24033 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30636594 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24185] ppid=24170 vsize=807332 CPUtime=0.16
/proc/24180/task/24185/stat : 24185 (java) S 24170 24170 24033 0 -1 64 420 0 0 0 16 0 0 0 16 0 8 0 30636594 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24186] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24186/stat : 24186 (java) S 24170 24170 24033 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30636594 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24187] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24187/stat : 24187 (java) S 24170 24170 24033 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30636594 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821056
[startup+6.19849 s]
/proc/loadavg: 2.14 2.02 1.69 3/83 24187
/proc/meminfo: memFree=1756928/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=13724 CPUtime=0.04
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 1190 0 0 0 3 1 0 0 16 0 1 0 30636506 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 3431 809 371 3 0 531 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24180] ppid=24170 vsize=807332 CPUtime=5.33
/proc/24180/stat : 24180 (java) R 24170 24170 24033 0 -1 0 8143 0 1 0 497 36 0 0 25 0 8 0 30636587 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24180/statm: 201833 7890 1510 14 0 189111 0
[pid=24180/tid=24181] ppid=24170 vsize=807332 CPUtime=0.09
/proc/24180/task/24181/stat : 24181 (java) S 24170 24170 24033 0 -1 64 1912 0 0 0 9 0 0 0 16 0 8 0 30636590 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24182] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24182/stat : 24182 (java) S 24170 24170 24033 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30636591 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24183] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24183/stat : 24183 (java) S 24170 24170 24033 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30636591 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24184] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24184/stat : 24184 (java) S 24170 24170 24033 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30636594 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24185] ppid=24170 vsize=807332 CPUtime=0.16
/proc/24180/task/24185/stat : 24185 (java) S 24170 24170 24033 0 -1 64 420 0 0 0 16 0 0 0 16 0 8 0 30636594 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24186] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24186/stat : 24186 (java) S 24170 24170 24033 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 30636594 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24180/tid=24187] ppid=24170 vsize=807332 CPUtime=0
/proc/24180/task/24187/stat : 24187 (java) S 24170 24170 24033 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30636594 826707968 7890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 821056
[startup+12.6661 s]
/proc/loadavg: 2.12 2.02 1.69 3/76 24188
/proc/meminfo: memFree=1526264/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 15 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=243200 CPUtime=5.99
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 61040 0 0 0 555 44 0 0 25 0 1 0 30637164 249036800 59985 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 60800 59985 52 112 0 60684 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 260516
[startup+25.5172 s]
/proc/loadavg: 2.10 2.02 1.69 3/76 24188
/proc/meminfo: memFree=1523256/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=246376 CPUtime=18.73
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 61840 0 0 0 1828 45 0 0 25 0 1 0 30637164 252289024 60785 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 61594 60785 52 112 0 61478 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 263692
[startup+51.2094 s]
/proc/loadavg: 2.07 2.01 1.70 3/76 24188
/proc/meminfo: memFree=1521016/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=248780 CPUtime=44.18
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 62424 0 0 0 4372 46 0 0 25 0 1 0 30637164 254750720 61369 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 62195 61369 52 112 0 62079 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 266096
[startup+102.491 s]
/proc/loadavg: 2.02 2.01 1.72 3/76 24188
/proc/meminfo: memFree=1517176/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=252620 CPUtime=94.99
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 63381 0 0 0 9452 47 0 0 25 0 1 0 30637164 258682880 62326 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 63155 62326 52 112 0 63039 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 269936
[startup+162.507 s]
/proc/loadavg: 2.01 2.00 1.73 3/76 24188
/proc/meminfo: memFree=1510200/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=256264 CPUtime=154.46
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 64287 0 0 0 15398 48 0 0 25 0 1 0 30637164 262414336 63232 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 64066 63232 52 112 0 63950 0
Current children cumulated CPU time (s) 160.87
Current children cumulated vsize (KiB) 273580
[startup+222.515 s]
/proc/loadavg: 2.00 2.00 1.74 3/76 24188
/proc/meminfo: memFree=1506552/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
################
# More data... #
################
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 74926 0 0 0 122434 64 0 0 25 0 1 0 30637164 307556352 73871 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528442 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 75087 73871 52 112 0 74971 0
Current children cumulated CPU time (s) 1231.39
Current children cumulated vsize (KiB) 317664
[startup+1302.9 s]
/proc/loadavg: 2.00 2.00 1.90 3/82 24296
/proc/meminfo: memFree=1447224/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=302060 CPUtime=1284.33
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 75377 0 0 0 128369 64 0 0 25 0 1 0 30637164 309309440 74322 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525157 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 75515 74322 52 112 0 75399 0
Current children cumulated CPU time (s) 1290.74
Current children cumulated vsize (KiB) 319376
[startup+1362.97 s]
/proc/loadavg: 3.19 2.29 2.00 3/84 24457
/proc/meminfo: memFree=528552/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=303776 CPUtime=1343.51
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 75809 0 0 0 134265 86 0 0 25 0 1 0 30637164 311066624 74754 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 75944 74754 52 112 0 75828 0
Current children cumulated CPU time (s) 1349.92
Current children cumulated vsize (KiB) 321092
[startup+1423 s]
/proc/loadavg: 3.32 2.50 2.09 3/84 24467
/proc/meminfo: memFree=15592/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=305564 CPUtime=1402.88
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 76271 0 0 0 140182 106 0 0 25 0 1 0 30637164 312897536 75216 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 76391 75216 52 112 0 76275 0
Current children cumulated CPU time (s) 1409.29
Current children cumulated vsize (KiB) 322880
[startup+1483.04 s]
/proc/loadavg: 3.50 2.66 2.16 3/85 24571
/proc/meminfo: memFree=580704/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=307424 CPUtime=1462.63
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 76754 0 0 0 146143 120 0 0 25 0 1 0 30637164 314802176 75699 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24188/statm: 76856 75699 52 112 0 76740 0
Current children cumulated CPU time (s) 1469.04
Current children cumulated vsize (KiB) 324740
[startup+1543.09 s]
/proc/loadavg: 4.37 3.05 2.33 3/84 24579
/proc/meminfo: memFree=15208/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=309172 CPUtime=1522.09
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 77208 0 0 0 152062 147 0 0 25 0 1 0 30637164 316592128 76153 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24188/statm: 77293 76153 52 112 0 77177 0
Current children cumulated CPU time (s) 1528.5
Current children cumulated vsize (KiB) 326488
[startup+1603.14 s]
/proc/loadavg: 4.67 3.39 2.49 3/83 24581
/proc/meminfo: memFree=16048/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=311156 CPUtime=1581.47
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 77704 0 0 0 157977 170 0 0 25 0 1 0 30637164 318623744 76649 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 0 0 0
/proc/24188/statm: 77789 76649 52 112 0 77673 0
Current children cumulated CPU time (s) 1587.88
Current children cumulated vsize (KiB) 328472
[startup+1663.19 s]
/proc/loadavg: 4.72 3.64 2.63 4/83 24585
/proc/meminfo: memFree=14832/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=312592 CPUtime=1641.47
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 78115 0 0 0 163952 195 0 0 25 0 1 0 30637164 320094208 77060 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24188/statm: 78148 77060 52 112 0 78032 0
Current children cumulated CPU time (s) 1647.88
Current children cumulated vsize (KiB) 329908
[startup+1723.2 s]
/proc/loadavg: 4.36 3.79 2.74 3/83 24588
/proc/meminfo: memFree=15024/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=314808 CPUtime=1701.03
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 78654 0 0 0 169885 218 0 0 25 0 1 0 30637164 322363392 77599 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 78702 77599 52 112 0 78586 0
Current children cumulated CPU time (s) 1707.44
Current children cumulated vsize (KiB) 332124
[startup+1783.27 s]
/proc/loadavg: 2.90 3.47 2.70 3/83 24588
/proc/meminfo: memFree=15664/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=316380 CPUtime=1760.78
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 79030 0 0 0 175853 225 0 0 25 0 1 0 30637164 323973120 77975 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528340 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 79095 77975 52 112 0 78979 0
Current children cumulated CPU time (s) 1767.19
Current children cumulated vsize (KiB) 333696
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.24 s]
/proc/loadavg: 2.50 3.31 2.67 3/83 24588
/proc/meminfo: memFree=15920/2055920 swapFree=4191892/4192956
[pid=24170] ppid=24168 vsize=17316 CPUtime=5.7
/proc/24170/stat : 24170 (sugar) S 24168 24170 24033 0 -1 4194304 2182 8159 0 1 9 1 521 39 16 0 1 0 30636506 17731584 1693 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 226247094370 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24170/statm: 4329 1693 373 3 0 1429 0
[pid=24172] ppid=24170 vsize=0 CPUtime=0.71
/proc/24172/stat : 24172 (java) Z 24170 24170 24033 0 -1 1036 7666 0 1 0 65 6 0 0 17 0 1 0 30636511 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/24172/statm: 0 0 0 0 0 0 0
[pid=24188] ppid=24170 vsize=317316 CPUtime=1793.6
/proc/24188/stat : 24188 (minisat) R 24170 24170 24033 0 -1 0 79262 0 0 0 179132 228 0 0 25 0 1 0 30637164 324931584 78207 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24188/statm: 79329 78207 52 112 0 79213 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 334632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24170 and gives childrusage.ru_utime.tv_sec=5 childrusage.ru_utime.tv_usec=306193 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=418936
CPU time returned by wait4() is 5.72513
while last known CPU time is 1800.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1818.18
CPU time (s): 1800.07
CPU user time (s): 1797.27
CPU system time (s): 2.8
CPU usage (%): 99.004
Max. virtual memory (cumulated for all children) (KiB): 821056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.30619
system time used= 0.418936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10425
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= 668
involuntary context switches= 706
runsolver used 2.17167 s user time and 5.9071 s system time
The end
Begin job on node58 on Mon Jan 29 21:39:58 UTC 2007
IDJOB= 233642
IDBENCH= 6621
IDSOLVER= 86
FILE ID= node58/233642-1170106798
PBS_JOBID= 3689895
Free space on /tmp= 66548 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-1.xml
COMMAND LINE= /tmp/evaluation/233642-1170106798/solver /tmp/evaluation/233642-1170106798 /tmp/evaluation/233642-1170106798/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-233642-1170106798 -o ROOT/results/node58/solver-233642-1170106798 -C 1800 -M 900 /tmp/evaluation/233642-1170106798/solver /tmp/evaluation/233642-1170106798 /tmp/evaluation/233642-1170106798/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= ba73840b99a966ad835a0d6c1210d9c9
RANDOM SEED= 427316337
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.234
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.234
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: 1854568 kB
Buffers: 17760 kB
Cached: 63188 kB
SwapCached: 448 kB
Active: 118840 kB
Inactive: 33496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1854568 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1560 kB
Writeback: 0 kB
Mapped: 81652 kB
Slab: 34320 kB
Committed_AS: 377864 kB
PageTables: 1840 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= 61163 MiB
End job on node58 on Mon Jan 29 22:10:17 UTC 2007