0.04 c # Sugar v0-40 (/tmp/evaluation/252629-1170112298/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/252629-1170112298/unknown.xml [Tue Jan 30 00:11:40 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/252629-1170112298/unknown.xml /tmp/evaluation/252629-1170112298/sugar30584.csp [Tue Jan 30 00:11:40 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/252629-1170112298/sugar-v0-40.jar -convert /tmp/evaluation/252629-1170112298/unknown.xml /tmp/evaluation/252629-1170112298/sugar30584.csp
0.26 c BEGIN convert /tmp/evaluation/252629-1170112298/unknown.xml
3.00 c END convert (2.744438 seconds)
3.05 c # CONVERT_XML END : /tmp/evaluation/252629-1170112298/sugar30584.csp 1392436 bytes (3 seconds) [Tue Jan 30 00:11:43 2007]
3.05 c # CONVERT_XML CPU : 2.87 = 0 + 0.01 + 2.67 + 0.19
3.05
3.05 c # GENERATE_SAT BEGIN : /tmp/evaluation/252629-1170112298/sugar30584.bcnf [Tue Jan 30 00:11:43 2007]
3.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/252629-1170112298/sugar-v0-40.jar -bcnf -map /tmp/evaluation/252629-1170112298/sugar30584.map /tmp/evaluation/252629-1170112298/sugar30584.csp /tmp/evaluation/252629-1170112298/sugar30584.bcnf
3.18 c BEGIN parse /tmp/evaluation/252629-1170112298/sugar30584.csp
8.16 c END parse (4.982139 seconds)
8.16 c BEGIN simplify
8.18 c END simplify (0.018047 seconds)
8.18 c BEGIN encode /tmp/evaluation/252629-1170112298/sugar30584.bcnf
8.67 c END encode (0.49494 seconds)
8.93 c # GENERATE_SAT END : 37248 variables 194168 clauses 2747672 bytes (6 seconds) [Tue Jan 30 00:11:49 2007]
8.93 c # GENERATE_SAT CPU : 5.77 = 0.2 + 0.01 + 5.39 + 0.17
8.93
8.93 c # SOLVE_SAT BEGIN : /tmp/evaluation/252629-1170112298/sugar30584.bcnf [Tue Jan 30 00:11:49 2007]
8.93 c # CMD : /tmp/evaluation/252629-1170112298/minisat /tmp/evaluation/252629-1170112298/sugar30584.bcnf /tmp/evaluation/252629-1170112298/sugar30584.out
9.06 c ==================================[MINISAT]===================================
9.06 c | Conflicts | ORIGINAL | LEARNT | Progress |
9.06 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
9.06 c ==============================================================================
9.06 c | 0 | 155504 427424 | 51834 0 0 nan | 0.000 % |
9.18 c | 103 | 155554 427424 | 57017 53 565 10.7 | 22.809 % |
9.25 c | 253 | 155560 427424 | 62719 197 4305 21.9 | 22.809 % |
9.29 c | 478 | 155562 427424 | 68991 420 11203 26.7 | 22.809 % |
9.34 c | 815 | 155567 427424 | 75890 752 22007 29.3 | 22.809 % |
9.39 c | 1321 | 155567 427424 | 83479 1258 38704 30.8 | 22.809 % |
9.45 c | 2080 | 155567 427424 | 91827 2017 63551 31.5 | 22.809 % |
9.59 c | 3219 | 155572 427424 | 101009 3151 101816 32.3 | 22.809 % |
9.75 c | 4928 | 155572 427424 | 111110 4860 159390 32.8 | 22.809 % |
10.00 c | 7490 | 155576 427424 | 122221 7418 247575 33.4 | 22.809 % |
10.47 c | 11334 | 155590 427424 | 134444 11248 380462 33.8 | 22.809 % |
11.45 c | 17100 | 155632 427424 | 147888 16972 576239 34.0 | 22.809 % |
12.70 c | 25749 | 155689 427424 | 162677 25564 868363 34.0 | 22.809 % |
14.90 c | 38723 | 155791 427424 | 178945 38436 1239469 32.2 | 22.809 % |
18.71 c | 58184 | 155956 427424 | 196839 57732 1939867 33.6 | 22.809 % |
24.21 c | 87376 | 156044 427424 | 216523 86836 3094225 35.6 | 22.809 % |
42.59 c | 131165 | 156060 427424 | 238175 130609 5920537 45.3 | 22.809 % |
79.89 c | 196849 | 156220 427424 | 261993 196133 9181323 46.8 | 22.809 % |
238.54 c | 295376 | 156277 427424 | 288192 38075 2873520 75.5 | 22.809 % |
463.33 c | 443166 | 156368 427424 | 317012 185774 16446788 88.5 | 22.809 % |
1087.25 c | 664851 | 156452 427424 | 348713 96298 8011645 83.2 | 22.809 % |
1801.22
1801.22 s UNKNOWN
1801.22 c # INTERRUPTED
1801.22 c # MAIN END : (1801 seconds) [Tue Jan 30 00:41:41 2007]
1801.22 c # MAIN CPU : 8.64 = 0.2 + 0.02 + 8.06 + 0.36
1801.22
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-252629-1170112298 -o ROOT/results/node62/solver-252629-1170112298 -C 1800 -M 900 /tmp/evaluation/252629-1170112298/solver /tmp/evaluation/252629-1170112298 /tmp/evaluation/252629-1170112298/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.03 4.07 5.35 5/74 30585
/proc/meminfo: memFree=542800/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=12132 CPUtime=0
/proc/30584/stat : 30584 (sugar) R 30582 30584 29563 0 -1 4194304 540 0 0 0 0 0 0 0 18 0 1 0 31187026 12423168 259 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236437541601 0 0 4224 0 0 0 0 17 1 0 0
/proc/30584/statm: 3066 271 201 3 0 166 0
[startup+0.103917 s]
/proc/loadavg: 2.03 4.07 5.35 5/74 30585
/proc/meminfo: memFree=542800/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=0.03
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1112 0 0 0 3 0 0 0 18 0 1 0 31187026 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.511966 s]
/proc/loadavg: 2.03 4.07 5.35 5/74 30585
/proc/meminfo: memFree=542800/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=0.04
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31187026 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33407 s]
/proc/loadavg: 2.03 4.07 5.35 3/82 30593
/proc/meminfo: memFree=489808/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=0.04
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31187026 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 805 368 3 0 531 0
[pid=30586] ppid=30584 vsize=807288 CPUtime=1.17
/proc/30586/stat : 30586 (java) R 30584 30584 29563 0 -1 0 15807 0 2 0 106 11 0 0 24 0 8 0 31187031 826662912 15553 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30586/statm: 201822 15554 1690 14 0 189100 0
[pid=30586/tid=30587] ppid=30584 vsize=807288 CPUtime=0.2
/proc/30586/task/30587/stat : 30587 (java) R 30584 30584 29563 0 -1 64 9254 0 0 0 15 5 0 0 16 0 8 0 31187035 826662912 15555 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30588] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30588/stat : 30588 (java) S 30584 30584 29563 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 31187035 826662912 15556 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30589] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30589/stat : 30589 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 31187035 826662912 15557 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30590] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30590/stat : 30590 (java) S 30584 30584 29563 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31187039 826662912 15559 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30591] ppid=30584 vsize=807288 CPUtime=0.12
/proc/30586/task/30591/stat : 30591 (java) S 30584 30584 29563 0 -1 64 393 0 0 0 12 0 0 0 16 0 8 0 31187039 826662912 15559 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30592] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30592/stat : 30592 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31187039 826662912 15560 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30593] ppid=30584 vsize=807288 CPUtime=0
/proc/30586/task/30593/stat : 30593 (java) S 30584 30584 29563 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31187039 826662912 15562 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 821012
[startup+2.98626 s]
/proc/loadavg: 2.03 4.07 5.35 3/82 30593
/proc/meminfo: memFree=457744/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=0.04
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 31187026 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 805 368 3 0 531 0
[pid=30586] ppid=30584 vsize=807412 CPUtime=2.82
/proc/30586/stat : 30586 (java) R 30584 30584 29563 0 -1 0 23980 0 2 0 265 17 0 0 25 0 8 0 31187031 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073715492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30586/statm: 201853 23719 1694 14 0 189131 0
[pid=30586/tid=30587] ppid=30584 vsize=807412 CPUtime=0.57
/proc/30586/task/30587/stat : 30587 (java) S 30584 30584 29563 0 -1 64 17364 0 0 0 48 9 0 0 16 0 8 0 31187035 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30588] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30588/stat : 30588 (java) S 30584 30584 29563 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 31187035 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30589] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30589/stat : 30589 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 31187035 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30590] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30590/stat : 30590 (java) S 30584 30584 29563 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31187039 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30591] ppid=30584 vsize=807412 CPUtime=0.18
/proc/30586/task/30591/stat : 30591 (java) S 30584 30584 29563 0 -1 64 426 0 0 0 17 1 0 0 16 0 8 0 31187039 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30592] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30592/stat : 30592 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31187039 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30586/tid=30593] ppid=30584 vsize=807412 CPUtime=0
/proc/30586/task/30593/stat : 30593 (java) S 30584 30584 29563 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31187039 826789888 23719 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 821136
[startup+6.28365 s]
/proc/loadavg: 2.03 4.04 5.33 3/82 30601
/proc/meminfo: memFree=485264/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=13724 CPUtime=2.9
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 1190 23991 0 2 3 1 267 19 15 0 1 0 31187026 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 3431 809 371 3 0 531 0
[pid=30594] ppid=30584 vsize=807356 CPUtime=3.17
/proc/30594/stat : 30594 (java) R 30584 30584 29563 0 -1 0 16202 0 7 0 307 10 0 0 25 0 8 0 31187332 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154523543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30594/statm: 201839 15936 1506 14 0 189117 0
[pid=30594/tid=30595] ppid=30584 vsize=807356 CPUtime=0.64
/proc/30594/task/30595/stat : 30595 (java) S 30584 30584 29563 0 -1 64 9987 0 0 0 60 4 0 0 16 0 8 0 31187336 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30594/tid=30596] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30596/stat : 30596 (java) S 30584 30584 29563 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 31187336 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30594/tid=30597] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30597/stat : 30597 (java) S 30584 30584 29563 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 31187336 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30594/tid=30598] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30598/stat : 30598 (java) S 30584 30584 29563 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 31187339 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30599] ppid=30584 vsize=807356 CPUtime=0.14
/proc/30594/task/30599/stat : 30599 (java) S 30584 30584 29563 0 -1 64 412 0 0 0 14 0 0 0 16 0 8 0 31187339 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30594/tid=30600] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30600/stat : 30600 (java) S 30584 30584 29563 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 31187339 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30594/tid=30601] ppid=30584 vsize=807356 CPUtime=0
/proc/30594/task/30601/stat : 30601 (java) S 30584 30584 29563 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 31187340 826732544 15936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 821080
[startup+12.7494 s]
/proc/loadavg: 2.03 4.00 5.31 3/75 30602
/proc/meminfo: memFree=508688/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=13920 CPUtime=3.8
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 3692 0 0 0 377 3 0 0 25 0 1 0 31187920 14254080 3007 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/30602/statm: 3480 3007 52 112 0 3364 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 41944
[startup+25.5759 s]
/proc/loadavg: 2.02 3.94 5.28 3/75 30602
/proc/meminfo: memFree=495504/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=27780 CPUtime=16.62
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 7101 0 0 0 1658 4 0 0 25 0 1 0 31187920 28446720 6416 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525748 0 0 4096 3 0 0 0 17 1 0 0
/proc/30602/statm: 6945 6416 52 112 0 6829 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 55804
[startup+51.242 s]
/proc/loadavg: 2.01 3.75 5.17 3/75 30602
/proc/meminfo: memFree=480272/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=42684 CPUtime=42.28
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 10767 0 0 0 4218 10 0 0 25 0 1 0 31187920 43708416 10082 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/30602/statm: 10671 10082 52 112 0 10555 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 70708
[startup+102.466 s]
/proc/loadavg: 2.00 3.48 5.00 3/75 30602
/proc/meminfo: memFree=460816/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=62868 CPUtime=93.49
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 15673 0 0 0 9335 14 0 0 25 0 1 0 31187920 64376832 14988 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/30602/statm: 15717 14988 52 112 0 15601 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 90892
[startup+162.542 s]
/proc/loadavg: 1.81 3.16 4.80 2/66 30682
/proc/meminfo: memFree=1762776/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=74192 CPUtime=153.3
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 18519 0 0 0 15253 77 0 0 25 0 1 0 31187920 75972608 17834 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 18548 17834 52 112 0 18432 0
Current children cumulated CPU time (s) 161.97
Current children cumulated vsize (KiB) 102216
[startup+222.619 s]
/proc/loadavg: 1.30 2.76 4.56 2/66 30682
/proc/meminfo: memFree=1752984/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=84152 CPUtime=213.35
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 20992 0 0 0 21255 80 0 0 25 0 1 0 31187920 86171648 20307 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 21038 20307 52 112 0 20922 0
Current children cumulated CPU time (s) 222.02
Current children cumulated vsize (KiB) 112176
[startup+282.687 s]
/proc/loadavg: 1.11 2.44 4.33 2/66 30682
/proc/meminfo: memFree=1752152/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=84948 CPUtime=273.41
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 21202 0 0 0 27260 81 0 0 25 0 1 0 31187920 86986752 20517 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 21237 20517 52 112 0 21121 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 112972
[startup+342.761 s]
/proc/loadavg: 1.04 2.18 4.12 2/66 30682
/proc/meminfo: memFree=1752152/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
################
# More data... #
################
/proc/loadavg: 1.09 1.11 2.34 2/66 30682
/proc/meminfo: memFree=1678232/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1114.2
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39596 0 0 0 111319 101 0 0 25 0 1 0 31187920 165105664 38911 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134525591 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38911 52 112 0 40193 0
Current children cumulated CPU time (s) 1122.87
Current children cumulated vsize (KiB) 189260
[startup+1183.82 s]
/proc/loadavg: 1.03 1.09 2.25 2/66 30682
/proc/meminfo: memFree=1678168/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1174.26
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39596 0 0 0 117325 101 0 0 25 0 1 0 31187920 165105664 38911 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38911 52 112 0 40193 0
Current children cumulated CPU time (s) 1182.93
Current children cumulated vsize (KiB) 189260
[startup+1243.89 s]
/proc/loadavg: 1.01 1.07 2.17 2/66 30682
/proc/meminfo: memFree=1678168/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1234.32
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39602 0 0 0 123331 101 0 0 25 0 1 0 31187920 165105664 38917 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527127 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38917 52 112 0 40193 0
Current children cumulated CPU time (s) 1242.99
Current children cumulated vsize (KiB) 189260
[startup+1303.97 s]
/proc/loadavg: 1.00 1.05 2.09 2/66 30682
/proc/meminfo: memFree=1678104/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1294.38
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39610 0 0 0 129337 101 0 0 25 0 1 0 31187920 165105664 38925 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38925 52 112 0 40193 0
Current children cumulated CPU time (s) 1303.05
Current children cumulated vsize (KiB) 189260
[startup+1364.04 s]
/proc/loadavg: 1.00 1.04 2.02 2/66 30682
/proc/meminfo: memFree=1678040/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1354.43
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39622 0 0 0 135342 101 0 0 25 0 1 0 31187920 165105664 38937 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38937 52 112 0 40193 0
Current children cumulated CPU time (s) 1363.1
Current children cumulated vsize (KiB) 189260
[startup+1424.13 s]
/proc/loadavg: 1.00 1.03 1.95 2/69 30750
/proc/meminfo: memFree=1671352/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1414.49
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39633 0 0 0 141347 102 0 0 25 0 1 0 31187920 165105664 38948 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38948 52 112 0 40193 0
Current children cumulated CPU time (s) 1423.16
Current children cumulated vsize (KiB) 189260
[startup+1484.22 s]
/proc/loadavg: 1.00 1.02 1.89 2/69 30788
/proc/meminfo: memFree=1670904/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1474.54
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39637 0 0 0 147350 104 0 0 25 0 1 0 31187920 165105664 38952 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38952 52 112 0 40193 0
Current children cumulated CPU time (s) 1483.21
Current children cumulated vsize (KiB) 189260
[startup+1544.3 s]
/proc/loadavg: 1.00 1.02 1.83 2/66 30828
/proc/meminfo: memFree=1676040/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1534.58
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39640 0 0 0 153353 105 0 0 25 0 1 0 31187920 165105664 38955 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38955 52 112 0 40193 0
Current children cumulated CPU time (s) 1543.25
Current children cumulated vsize (KiB) 189260
[startup+1604.38 s]
/proc/loadavg: 1.00 1.01 1.78 2/66 30828
/proc/meminfo: memFree=1676112/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161236 CPUtime=1594.61
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39664 0 0 0 159356 105 0 0 25 0 1 0 31187920 165105664 38979 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40309 38979 52 112 0 40193 0
Current children cumulated CPU time (s) 1603.28
Current children cumulated vsize (KiB) 189260
[startup+1664.46 s]
/proc/loadavg: 1.00 1.01 1.73 2/66 30828
/proc/meminfo: memFree=1676112/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=161356 CPUtime=1654.65
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 39681 0 0 0 165360 105 0 0 25 0 1 0 31187920 165228544 38996 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40339 38996 52 112 0 40223 0
Current children cumulated CPU time (s) 1663.32
Current children cumulated vsize (KiB) 189380
[startup+1724.53 s]
/proc/loadavg: 1.04 1.02 1.68 2/66 30828
/proc/meminfo: memFree=1674064/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=163656 CPUtime=1714.69
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 40235 0 0 0 171363 106 0 0 25 0 1 0 31187920 167583744 39550 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528556 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 40914 39550 52 112 0 40798 0
Current children cumulated CPU time (s) 1723.36
Current children cumulated vsize (KiB) 191680
[startup+1784.61 s]
/proc/loadavg: 1.01 1.01 1.64 2/66 30828
/proc/meminfo: memFree=1667792/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=170060 CPUtime=1774.72
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 41800 0 0 0 177365 107 0 0 25 0 1 0 31187920 174141440 41115 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 42515 41115 52 112 0 42399 0
Current children cumulated CPU time (s) 1783.39
Current children cumulated vsize (KiB) 198084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.22 s]
/proc/loadavg: 1.01 1.01 1.62 2/66 30828
/proc/meminfo: memFree=1666128/2055920 swapFree=4192812/4192956
[pid=30584] ppid=30582 vsize=28024 CPUtime=8.67
/proc/30584/stat : 30584 (sugar) S 30582 30584 29563 0 -1 4194304 4710 46941 0 9 23 2 806 36 16 0 1 0 31187026 28696576 4224 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 236446593122 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/30584/statm: 7006 4224 373 3 0 4106 0
[pid=30602] ppid=30584 vsize=171644 CPUtime=1791.33
/proc/30602/stat : 30602 (minisat) R 30584 30584 29563 0 -1 0 42206 0 0 0 179025 108 0 0 25 0 1 0 31187920 175763456 41521 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/30602/statm: 42911 41521 52 112 0 42795 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 199668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 30584 and gives childrusage.ru_utime.tv_sec=8 childrusage.ru_utime.tv_usec=301737 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=400939
CPU time returned by wait4() is 8.70268
while last known CPU time is 1800.02
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1802.24
CPU time (s): 1800.02
CPU user time (s): 1798.54
CPU system time (s): 1.48
CPU usage (%): 99.8769
Max. virtual memory (cumulated for all children) (KiB): 821136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.30174
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51735
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1969
involuntary context switches= 1908
runsolver used 1.73673 s user time and 4.71328 s system time
The end
Begin job on node62 on Mon Jan 29 23:11:39 UTC 2007
IDJOB= 252629
IDBENCH= 12958
IDSOLVER= 86
FILE ID= node62/252629-1170112298
PBS_JOBID= 3690254
Free space on /tmp= 66036 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-9-4-8.xml
COMMAND LINE= /tmp/evaluation/252629-1170112298/solver /tmp/evaluation/252629-1170112298 /tmp/evaluation/252629-1170112298/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-252629-1170112298 -o ROOT/results/node62/solver-252629-1170112298 -C 1800 -M 900 /tmp/evaluation/252629-1170112298/solver /tmp/evaluation/252629-1170112298 /tmp/evaluation/252629-1170112298/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 0fa2224912b1d835827875229dbae41a
RANDOM SEED= 925097151
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: 543664 kB
Buffers: 9096 kB
Cached: 576724 kB
SwapCached: 0 kB
Active: 1399768 kB
Inactive: 53668 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 543664 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 294604 kB
Writeback: 0 kB
Mapped: 878596 kB
Slab: 42376 kB
Committed_AS: 1230332 kB
PageTables: 3692 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= 66559 MiB
End job on node62 on Mon Jan 29 23:41:42 UTC 2007