0.12 c # Sugar v0-40 (/tmp/evaluation/217308-1170101022/sugar-v0-40.jar)
0.12
0.12 c # MAIN BEGIN : /tmp/evaluation/217308-1170101022/unknown.xml [Mon Jan 29 21:03:42 2007]
0.12 c # CONVERT_XML BEGIN : /tmp/evaluation/217308-1170101022/unknown.xml /tmp/evaluation/217308-1170101022/sugar25765.csp [Mon Jan 29 21:03:42 2007]
0.12 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217308-1170101022/sugar-v0-40.jar -convert /tmp/evaluation/217308-1170101022/unknown.xml /tmp/evaluation/217308-1170101022/sugar25765.csp
0.35 c BEGIN convert /tmp/evaluation/217308-1170101022/unknown.xml
1.07 c END convert (0.72278 seconds)
1.09 c # CONVERT_XML END : /tmp/evaluation/217308-1170101022/sugar25765.csp 2165618 bytes (1 seconds) [Mon Jan 29 21:03:43 2007]
1.09 c # CONVERT_XML CPU : 0.81 = 0 + 0 + 0.73 + 0.08
1.09
1.09 c # GENERATE_SAT BEGIN : /tmp/evaluation/217308-1170101022/sugar25765.bcnf [Mon Jan 29 21:03:43 2007]
1.09 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/217308-1170101022/sugar-v0-40.jar -bcnf -map /tmp/evaluation/217308-1170101022/sugar25765.map /tmp/evaluation/217308-1170101022/sugar25765.csp /tmp/evaluation/217308-1170101022/sugar25765.bcnf
1.21 c BEGIN parse /tmp/evaluation/217308-1170101022/sugar25765.csp
21.33 c END parse (20.11208 seconds)
21.33 c BEGIN simplify
21.42 c END simplify (0.092205 seconds)
21.42 c BEGIN encode /tmp/evaluation/217308-1170101022/sugar25765.bcnf
22.25 c END encode (0.832684 seconds)
22.38 c # GENERATE_SAT END : 5678 variables 76249 clauses 6070904 bytes (21 seconds) [Mon Jan 29 21:04:04 2007]
22.38 c # GENERATE_SAT CPU : 20.95 = 0.04 + 0.01 + 20.52 + 0.38
22.38
22.38 c # SOLVE_SAT BEGIN : /tmp/evaluation/217308-1170101022/sugar25765.bcnf [Mon Jan 29 21:04:04 2007]
22.38 c # CMD : /tmp/evaluation/217308-1170101022/minisat /tmp/evaluation/217308-1170101022/sugar25765.bcnf /tmp/evaluation/217308-1170101022/sugar25765.out
22.52 c ==================================[MINISAT]===================================
22.52 c | Conflicts | ORIGINAL | LEARNT | Progress |
22.52 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
22.52 c ==============================================================================
22.52 c | 0 | 76249 1441469 | 25416 0 0 nan | 0.000 % |
22.56 c | 100 | 76249 1441469 | 27957 100 2153 21.5 | 0.000 % |
22.62 c | 250 | 76249 1441469 | 30753 250 4649 18.6 | 0.000 % |
22.70 c | 475 | 76249 1441469 | 33828 475 10018 21.1 | 0.000 % |
22.85 c | 813 | 76249 1441469 | 37211 813 14991 18.4 | 0.000 % |
23.05 c | 1319 | 76249 1441469 | 40932 1319 22014 16.7 | 0.000 % |
23.34 c | 2078 | 76249 1441469 | 45025 2078 41116 19.8 | 0.000 % |
23.85 c | 3221 | 76249 1441469 | 49528 3221 65202 20.2 | 0.000 % |
24.78 c | 4930 | 76251 1441469 | 54481 4928 95404 19.4 | 0.000 % |
25.80 c | 7492 | 76255 1441469 | 59929 7486 140330 18.7 | 0.000 % |
27.45 c | 11336 | 76256 1441469 | 65922 11329 209712 18.5 | 0.000 % |
29.88 c | 17106 | 76258 1441469 | 72514 17097 308955 18.1 | 0.000 % |
35.01 c | 25755 | 76263 1441469 | 79766 25741 490712 19.1 | 0.000 % |
43.43 c | 38730 | 76267 1441469 | 87742 38712 799021 20.6 | 0.000 % |
58.50 c | 58192 | 76273 1441469 | 96517 58168 1287690 22.1 | 0.000 % |
87.64 c | 87384 | 76278 1441469 | 106168 87355 2029902 23.2 | 0.000 % |
131.22 c | 131173 | 76286 1441469 | 116785 40556 1255470 31.0 | 0.000 % |
204.26 c | 196857 | 76297 1441469 | 128464 106229 3332641 31.4 | 0.000 % |
311.94 c | 295383 | 76303 1441469 | 141310 92117 3777057 41.0 | 0.000 % |
521.34 c | 443172 | 76314 1441469 | 155441 117856 5104227 43.3 | 0.000 % |
830.64 c | 664856 | 76325 1441469 | 170986 68605 1981049 28.9 | 0.001 % |
1321.75 c | 997381 | 76347 1441469 | 188084 98805 3214047 32.5 | 0.001 % |
1811.42
1811.42 s UNKNOWN
1811.42 c # INTERRUPTED
1811.42 c # MAIN END : (1811 seconds) [Mon Jan 29 21:33:53 2007]
1811.42 c # MAIN CPU : 21.76 = 0.04 + 0.01 + 21.25 + 0.46
1811.42
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-217308-1170101022 -o ROOT/results/node11/solver-217308-1170101022 -C 1800 -M 900 /tmp/evaluation/217308-1170101022/solver /tmp/evaluation/217308-1170101022 /tmp/evaluation/217308-1170101022/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.59 2.62 2.73 5/94 25766
/proc/meminfo: memFree=806944/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=5212 CPUtime=0
/proc/25765/stat : 25765 (solver) R 25763 25765 24926 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 30056725 5337088 82 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 262909900145 0 0 4096 0 0 0 0 17 1 0 0
/proc/25765/statm: 1303 82 63 169 0 14 0
[startup+0.104284 s]
/proc/loadavg: 2.59 2.62 2.73 5/94 25766
/proc/meminfo: memFree=806944/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=12932 CPUtime=0.01
/proc/25765/stat : 25765 (sugar) R 25763 25765 24926 0 -1 4194304 843 0 2 0 1 0 0 0 18 0 1 0 30056725 13242368 564 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262927601340 0 0 4224 0 0 0 0 17 1 0 0
/proc/25765/statm: 3233 564 316 3 0 333 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12932
[startup+0.512332 s]
/proc/loadavg: 2.59 2.62 2.73 5/94 25766
/proc/meminfo: memFree=806944/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.03
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1119 0 2 0 3 0 0 0 15 0 1 0 30056725 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33343 s]
/proc/loadavg: 2.59 2.62 2.73 3/95 25775
/proc/meminfo: memFree=789272/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.85
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1188 7858 2 34 3 1 73 8 15 0 1 0 30056725 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807064 CPUtime=0.22
/proc/25775/stat : 25775 (java) R 25765 25765 24926 0 -1 0 3654 0 1 0 20 2 0 0 17 0 8 0 30056835 826433536 3405 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201766 3405 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 820788
[startup+2.98262 s]
/proc/loadavg: 2.59 2.62 2.73 3/102 25782
/proc/meminfo: memFree=753888/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.85
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1188 7858 2 34 3 1 73 8 15 0 1 0 30056725 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807064 CPUtime=1.86
/proc/25775/stat : 25775 (java) R 25765 25765 24926 0 -1 0 12925 0 1 0 180 6 0 0 25 0 8 0 30056835 826433536 12661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201766 12661 1494 14 0 189044 0
[pid=25775/tid=25776] ppid=25765 vsize=807064 CPUtime=0.48
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 24926 0 -1 64 6859 0 0 0 46 2 0 0 16 0 8 0 30056839 826433536 12661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 24926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056839 826433536 12661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 24926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30056839 826433536 12661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 24926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30056843 826433536 12661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807064 CPUtime=0.05
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 24926 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 30056843 826433536 12661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 24926 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30056843 826433536 12661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807064 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 24926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30056843 826433536 12661 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 820788
[startup+6.18901 s]
/proc/loadavg: 2.54 2.61 2.72 4/102 25782
/proc/meminfo: memFree=665376/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.85
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1188 7858 2 34 3 1 73 8 15 0 1 0 30056725 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807328 CPUtime=5.01
/proc/25775/stat : 25775 (java) R 25765 25765 24926 0 -1 0 31637 0 1 0 485 16 0 0 25 0 8 0 30056835 826703872 31292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746902 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201832 31292 1506 14 0 189110 0
[pid=25775/tid=25776] ppid=25765 vsize=807328 CPUtime=1.4
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 24926 0 -1 64 25340 0 0 0 129 11 0 0 16 0 8 0 30056839 826703872 31292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 24926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056839 826703872 31292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 24926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30056839 826703872 31292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 24926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30056843 826703872 31292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807328 CPUtime=0.13
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 24926 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 30056843 826703872 31292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 24926 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30056843 826703872 31292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 24926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30056843 826703872 31292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 821052
[startup+12.6478 s]
/proc/loadavg: 2.50 2.60 2.72 3/102 25782
/proc/meminfo: memFree=534880/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=13724 CPUtime=0.85
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1188 7858 2 34 3 1 73 8 15 0 1 0 30056725 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 3431 809 371 3 0 531 0
[pid=25775] ppid=25765 vsize=807328 CPUtime=11.38
/proc/25775/stat : 25775 (java) R 25765 25765 24926 0 -1 0 54993 0 1 0 1111 27 0 0 25 0 8 0 30056835 826703872 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25775/statm: 201832 54112 1507 14 0 189110 0
[pid=25775/tid=25776] ppid=25765 vsize=807328 CPUtime=3.68
/proc/25775/task/25776/stat : 25776 (java) S 25765 25765 24926 0 -1 64 48483 0 0 0 347 21 0 0 16 0 8 0 30056839 826703872 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25777] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25777/stat : 25777 (java) S 25765 25765 24926 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30056839 826703872 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25778] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25778/stat : 25778 (java) S 25765 25765 24926 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 30056839 826703872 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25779] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25779/stat : 25779 (java) S 25765 25765 24926 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 30056843 826703872 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25780] ppid=25765 vsize=807328 CPUtime=0.14
/proc/25775/task/25780/stat : 25780 (java) S 25765 25765 24926 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 30056843 826703872 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25781] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25781/stat : 25781 (java) S 25765 25765 24926 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 30056843 826703872 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25775/tid=25782] ppid=25765 vsize=807328 CPUtime=0
/proc/25775/task/25782/stat : 25782 (java) S 25765 25765 24926 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30056843 826703872 54112 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 821052
[startup+25.4613 s]
/proc/loadavg: 2.46 2.59 2.71 3/95 25783
/proc/meminfo: memFree=677656/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=10544 CPUtime=3.03
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 3318 0 0 0 300 3 0 0 25 0 1 0 30058964 10797056 2279 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525153 0 0 4096 3 0 0 0 17 1 0 0
/proc/25783/statm: 2636 2279 52 112 0 2520 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 26864
[startup+51.1363 s]
/proc/loadavg: 2.30 2.54 2.69 3/95 25783
/proc/meminfo: memFree=570712/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=15720 CPUtime=28.47
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 4592 0 0 0 2839 8 0 0 25 0 1 0 30058964 16097280 3553 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25783/statm: 3930 3553 52 112 0 3814 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 32040
[startup+102.396 s]
/proc/loadavg: 2.23 2.48 2.66 3/95 25783
/proc/meminfo: memFree=362648/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=22960 CPUtime=79.23
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 6367 0 0 0 7910 13 0 0 25 0 1 0 30058964 23511040 5328 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25783/statm: 5740 5328 52 112 0 5624 0
Current children cumulated CPU time (s) 101.02
Current children cumulated vsize (KiB) 39280
[startup+162.437 s]
/proc/loadavg: 2.14 2.41 2.62 3/88 25786
/proc/meminfo: memFree=1850392/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=24176 CPUtime=138.67
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 6659 0 0 0 13846 21 0 0 25 0 1 0 30058964 24756224 5620 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528368 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 6044 5620 52 112 0 5928 0
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (KiB) 40496
[startup+222.484 s]
/proc/loadavg: 2.04 2.33 2.58 3/89 26020
/proc/meminfo: memFree=1823424/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=30140 CPUtime=198.26
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 8168 0 0 0 19799 27 0 0 25 0 1 0 30058964 30863360 7129 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 7535 7129 52 112 0 7419 0
Current children cumulated CPU time (s) 220.05
Current children cumulated vsize (KiB) 46460
[startup+282.493 s]
/proc/loadavg: 2.01 2.27 2.54 3/89 26020
/proc/meminfo: memFree=1818752/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=31692 CPUtime=257.67
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 8540 0 0 0 25739 28 0 0 25 0 1 0 30058964 32452608 7501 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528412 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 7923 7501 52 112 0 7807 0
Current children cumulated CPU time (s) 279.46
Current children cumulated vsize (KiB) 48012
[startup+342.553 s]
/proc/loadavg: 2.00 2.22 2.51 3/89 26020
/proc/meminfo: memFree=1816064/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
################
# More data... #
################
/proc/loadavg: 2.01 2.04 2.22 3/89 26092
/proc/meminfo: memFree=1804040/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=43624 CPUtime=1093.73
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 11479 0 0 0 109338 35 0 0 25 0 1 0 30058964 44670976 10432 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 10906 10432 52 112 0 10790 0
Current children cumulated CPU time (s) 1115.52
Current children cumulated vsize (KiB) 59944
[startup+1183.39 s]
/proc/loadavg: 2.00 2.03 2.20 3/89 26092
/proc/meminfo: memFree=1803592/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=43944 CPUtime=1153.47
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 11554 0 0 0 115311 36 0 0 25 0 1 0 30058964 44998656 10507 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528572 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 10986 10507 52 112 0 10870 0
Current children cumulated CPU time (s) 1175.26
Current children cumulated vsize (KiB) 60264
[startup+1243.45 s]
/proc/loadavg: 2.00 2.02 2.18 3/89 26092
/proc/meminfo: memFree=1800008/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=47176 CPUtime=1213.23
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12327 0 0 0 121287 36 0 0 25 0 1 0 30058964 48308224 11280 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527289 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 11794 11280 52 112 0 11678 0
Current children cumulated CPU time (s) 1235.02
Current children cumulated vsize (KiB) 63496
[startup+1303.51 s]
/proc/loadavg: 2.00 2.02 2.17 3/89 26092
/proc/meminfo: memFree=1799688/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=47176 CPUtime=1272.99
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12345 0 0 0 127262 37 0 0 25 0 1 0 30058964 48308224 11298 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 11794 11298 52 112 0 11678 0
Current children cumulated CPU time (s) 1294.78
Current children cumulated vsize (KiB) 63496
[startup+1363.57 s]
/proc/loadavg: 2.00 2.01 2.16 3/89 26092
/proc/meminfo: memFree=1798792/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=47524 CPUtime=1332.74
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12398 0 0 0 133236 38 0 0 25 0 1 0 30058964 48664576 11351 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 11881 11351 52 112 0 11765 0
Current children cumulated CPU time (s) 1354.53
Current children cumulated vsize (KiB) 63844
[startup+1423.63 s]
/proc/loadavg: 2.00 2.00 2.15 3/89 26092
/proc/meminfo: memFree=1798344/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=47524 CPUtime=1392.5
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12431 0 0 0 139212 38 0 0 25 0 1 0 30058964 48664576 11384 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528302 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 11881 11384 52 112 0 11765 0
Current children cumulated CPU time (s) 1414.29
Current children cumulated vsize (KiB) 63844
[startup+1483.69 s]
/proc/loadavg: 2.00 2.00 2.13 3/89 26092
/proc/meminfo: memFree=1797768/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=47892 CPUtime=1452.26
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12531 0 0 0 145188 38 0 0 25 0 1 0 30058964 49041408 11484 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527249 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 11973 11484 52 112 0 11857 0
Current children cumulated CPU time (s) 1474.05
Current children cumulated vsize (KiB) 64212
[startup+1543.75 s]
/proc/loadavg: 2.05 2.01 2.13 3/89 26092
/proc/meminfo: memFree=1797512/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=47892 CPUtime=1512
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12531 0 0 0 151162 38 0 0 25 0 1 0 30058964 49041408 11484 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 11973 11484 52 112 0 11857 0
Current children cumulated CPU time (s) 1533.79
Current children cumulated vsize (KiB) 64212
[startup+1603.82 s]
/proc/loadavg: 2.10 2.02 2.12 3/89 26092
/proc/meminfo: memFree=1796872/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=47892 CPUtime=1571.78
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12531 0 0 0 157139 39 0 0 25 0 1 0 30058964 49041408 11484 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 11973 11484 52 112 0 11857 0
Current children cumulated CPU time (s) 1593.57
Current children cumulated vsize (KiB) 64212
[startup+1663.88 s]
/proc/loadavg: 2.03 2.02 2.11 3/89 26092
/proc/meminfo: memFree=1796296/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=48244 CPUtime=1631.54
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12619 0 0 0 163115 39 0 0 25 0 1 0 30058964 49401856 11564 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 12061 11564 52 112 0 11945 0
Current children cumulated CPU time (s) 1653.33
Current children cumulated vsize (KiB) 64564
[startup+1723.94 s]
/proc/loadavg: 2.01 2.01 2.10 3/89 26092
/proc/meminfo: memFree=1795208/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=49420 CPUtime=1691.28
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 12892 0 0 0 169089 39 0 0 25 0 1 0 30058964 50606080 11837 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 12355 11837 52 112 0 12239 0
Current children cumulated CPU time (s) 1713.07
Current children cumulated vsize (KiB) 65740
[startup+1784 s]
/proc/loadavg: 2.00 2.01 2.09 3/89 26092
/proc/meminfo: memFree=1793608/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=50580 CPUtime=1751.04
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 13199 0 0 0 175064 40 0 0 25 0 1 0 30058964 51793920 12144 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 12645 12144 52 112 0 12529 0
Current children cumulated CPU time (s) 1772.83
Current children cumulated vsize (KiB) 66900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.42 s]
/proc/loadavg: 2.00 2.00 2.09 3/89 26092
/proc/meminfo: memFree=1793544/2055920 swapFree=4192812/4192956
[pid=25765] ppid=25763 vsize=16320 CPUtime=21.79
/proc/25765/stat : 25765 (sugar) S 25763 25765 24926 0 -1 4194304 1944 63724 2 37 7 1 2125 46 16 0 1 0 30056725 16711680 1457 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 262918942818 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25765/statm: 4080 1457 373 3 0 1180 0
[pid=25783] ppid=25765 vsize=50580 CPUtime=1778.3
/proc/25783/stat : 25783 (minisat) R 25765 25765 24926 0 -1 0 13199 0 0 0 177790 40 0 0 25 0 1 0 30058964 51793920 12144 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527050 0 0 4096 3 0 0 0 17 0 0 0
/proc/25783/statm: 12645 12144 52 112 0 12529 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 66900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25765 and gives childrusage.ru_utime.tv_sec=21 childrusage.ru_utime.tv_usec=334756 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=490925
CPU time returned by wait4() is 21.8257
while last known CPU time is 1800.11
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1812.49
CPU time (s): 1800.11
CPU user time (s): 1799.22
CPU system time (s): 0.89
CPU usage (%): 99.3169
Max. virtual memory (cumulated for all children) (KiB): 821556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.3348
system time used= 0.490925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65754
page faults= 39
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5449
involuntary context switches= 6026
runsolver used 2.11368 s user time and 5.2382 s system time
The end
Begin job on node11 on Mon Jan 29 20:03:42 UTC 2007
IDJOB= 217308
IDBENCH= 5128
IDSOLVER= 86
FILE ID= node11/217308-1170101022
PBS_JOBID= 3689456
Free space on /tmp= 54896 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb50-23/frb50-23-1-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/217308-1170101022/solver /tmp/evaluation/217308-1170101022 /tmp/evaluation/217308-1170101022/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-217308-1170101022 -o ROOT/results/node11/solver-217308-1170101022 -C 1800 -M 900 /tmp/evaluation/217308-1170101022/solver /tmp/evaluation/217308-1170101022 /tmp/evaluation/217308-1170101022/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= d4620c593bffc95d2822e817d09ebd03
RANDOM SEED= 268286365
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.243
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.243
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: 807616 kB
Buffers: 16832 kB
Cached: 1045464 kB
SwapCached: 0 kB
Active: 135364 kB
Inactive: 1027556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 807616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 23000 kB
Writeback: 0 kB
Mapped: 126108 kB
Slab: 70084 kB
Committed_AS: 538284 kB
PageTables: 2320 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node11 on Mon Jan 29 20:33:55 UTC 2007