0.05 c # Sugar v0-40 (/tmp/evaluation/210673-1170097967/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/210673-1170097967/unknown.xml [Mon Jan 29 20:12:47 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/210673-1170097967/unknown.xml /tmp/evaluation/210673-1170097967/sugar25535.csp [Mon Jan 29 20:12:47 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210673-1170097967/sugar-v0-40.jar -convert /tmp/evaluation/210673-1170097967/unknown.xml /tmp/evaluation/210673-1170097967/sugar25535.csp
0.17 c BEGIN convert /tmp/evaluation/210673-1170097967/unknown.xml
1.07 c END convert (0.890373 seconds)
1.13 c # CONVERT_XML END : /tmp/evaluation/210673-1170097967/sugar25535.csp 621145 bytes (1 seconds) [Mon Jan 29 20:12:48 2007]
1.13 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
1.13
1.13 c # GENERATE_SAT BEGIN : /tmp/evaluation/210673-1170097967/sugar25535.bcnf [Mon Jan 29 20:12:48 2007]
1.13 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/210673-1170097967/sugar-v0-40.jar -bcnf -map /tmp/evaluation/210673-1170097967/sugar25535.map /tmp/evaluation/210673-1170097967/sugar25535.csp /tmp/evaluation/210673-1170097967/sugar25535.bcnf
1.25 c BEGIN parse /tmp/evaluation/210673-1170097967/sugar25535.csp
8.10 c END parse (6.849031 seconds)
8.10 c BEGIN simplify
8.11 c END simplify (0.010061 seconds)
8.11 c BEGIN encode /tmp/evaluation/210673-1170097967/sugar25535.bcnf
8.44 c END encode (0.325562 seconds)
8.61 c # GENERATE_SAT END : 33082 variables 174357 clauses 2458732 bytes (7 seconds) [Mon Jan 29 20:12:55 2007]
8.61 c # GENERATE_SAT CPU : 7.41 = 0.13 + 0.01 + 7.16 + 0.11
8.61
8.61 c # SOLVE_SAT BEGIN : /tmp/evaluation/210673-1170097967/sugar25535.bcnf [Mon Jan 29 20:12:55 2007]
8.61 c # CMD : /tmp/evaluation/210673-1170097967/minisat /tmp/evaluation/210673-1170097967/sugar25535.bcnf /tmp/evaluation/210673-1170097967/sugar25535.out
8.72 c ==================================[MINISAT]===================================
8.72 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.72 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
8.72 c ==============================================================================
8.72 c | 0 | 135381 353680 | 45127 0 0 nan | 0.000 % |
8.76 c | 100 | 135381 353680 | 49639 100 8421 84.2 | 24.693 % |
8.79 c | 251 | 135381 353680 | 54603 251 14138 56.3 | 24.693 % |
8.83 c | 476 | 135381 353680 | 60064 476 23019 48.4 | 24.693 % |
8.89 c | 814 | 135381 353680 | 66070 814 34470 42.3 | 24.693 % |
8.98 c | 1320 | 135381 353680 | 72677 1320 70449 53.4 | 24.693 % |
9.10 c | 2079 | 135381 353680 | 79945 2079 104047 50.0 | 24.693 % |
9.37 c | 3218 | 135381 353680 | 87939 3218 179625 55.8 | 24.693 % |
9.70 c | 4926 | 135381 353680 | 96733 4926 329163 66.8 | 24.693 % |
10.14 c | 7488 | 135381 353680 | 106407 7488 469054 62.6 | 24.693 % |
10.73 c | 11334 | 135381 353680 | 117047 11334 693353 61.2 | 24.693 % |
11.88 c | 17102 | 135381 353680 | 128752 17102 1036641 60.6 | 24.693 % |
13.90 c | 25752 | 135381 353680 | 141627 25752 1418691 55.1 | 24.693 % |
17.34 c | 38726 | 135381 353680 | 155790 38726 2061480 53.2 | 24.693 % |
27.27 c | 58188 | 135381 353680 | 171369 58188 3570166 61.4 | 24.693 % |
47.02 c | 87381 | 135381 353680 | 188506 87381 5808475 66.5 | 24.693 % |
93.31 c | 131171 | 135381 353680 | 207357 131171 13051394 99.5 | 24.693 % |
168.40 c | 196855 | 135381 353680 | 228093 196855 19059750 96.8 | 24.693 % |
362.36 c | 295381 | 135381 353680 | 250902 64396 12242006 190.1 | 24.693 % |
651.89 c | 443170 | 135381 353680 | 275992 212185 25376024 119.6 | 24.693 % |
1037.76 c | 664854 | 135381 353680 | 303591 152161 12992779 85.4 | 24.693 % |
1708.72 c | 997379 | 135381 353680 | 333951 180685 18871780 104.4 | 24.693 % |
1805.82
1805.82 s UNKNOWN
1805.82 c # INTERRUPTED
1805.82 c # MAIN END : (1806 seconds) [Mon Jan 29 20:42:53 2007]
1805.82 c # MAIN CPU : 7.41 = 0.13 + 0.01 + 7.16 + 0.11
1805.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-210673-1170097967 -o ROOT/results/node18/solver-210673-1170097967 -C 1800 -M 900 /tmp/evaluation/210673-1170097967/solver /tmp/evaluation/210673-1170097967 /tmp/evaluation/210673-1170097967/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.03 2.13 5/88 25536
/proc/meminfo: memFree=1824632/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=5352 CPUtime=0
/proc/25535/stat : 25535 (solver) R 25533 25535 25014 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29751210 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 227848809767 0 0 4096 0 0 0 0 17 1 0 0
/proc/25535/statm: 1338 231 193 169 0 49 0
[startup+0.104729 s]
/proc/loadavg: 2.00 2.03 2.13 5/88 25536
/proc/meminfo: memFree=1824632/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=13724 CPUtime=0.04
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 1112 0 0 0 3 1 0 0 18 0 1 0 29751210 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.514769 s]
/proc/loadavg: 2.00 2.03 2.13 5/88 25536
/proc/meminfo: memFree=1824632/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=13724 CPUtime=0.04
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 29751210 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.34385 s]
/proc/loadavg: 2.00 2.03 2.13 3/91 25545
/proc/meminfo: memFree=1821856/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=13724 CPUtime=0.04
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29751210 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 3431 808 370 3 0 531 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25545] ppid=25535 vsize=807064 CPUtime=0.2
/proc/25545/stat : 25545 (java) R 25535 25535 25014 0 -1 0 3196 0 1 0 18 2 0 0 20 0 8 0 29751322 826433536 2947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25545/statm: 201766 2947 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.98701 s]
/proc/loadavg: 2.08 2.04 2.13 3/97 25552
/proc/meminfo: memFree=1791536/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=13724 CPUtime=0.04
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29751210 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 3431 808 370 3 0 531 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25545] ppid=25535 vsize=807376 CPUtime=1.83
/proc/25545/stat : 25545 (java) R 25535 25535 25014 0 -1 0 10361 0 1 0 177 6 0 0 25 0 8 0 29751322 826753024 10100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073723341 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25545/statm: 201844 10100 1506 14 0 189122 0
[pid=25545/tid=25546] ppid=25535 vsize=807376 CPUtime=0.24
/proc/25545/task/25546/stat : 25546 (java) S 25535 25535 25014 0 -1 64 4142 0 0 0 22 2 0 0 16 0 8 0 29751326 826753024 10100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25547] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25547/stat : 25547 (java) S 25535 25535 25014 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29751327 826753024 10100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25548] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25548/stat : 25548 (java) S 25535 25535 25014 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29751327 826753024 10100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25549] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25549/stat : 25549 (java) S 25535 25535 25014 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29751330 826753024 10100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25550] ppid=25535 vsize=807376 CPUtime=0.15
/proc/25545/task/25550/stat : 25550 (java) S 25535 25535 25014 0 -1 64 419 0 0 0 15 0 0 0 16 0 8 0 29751330 826753024 10100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25551] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25551/stat : 25551 (java) S 25535 25535 25014 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29751330 826753024 10100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25552] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25552/stat : 25552 (java) S 25535 25535 25014 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29751330 826753024 10100 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 821100
[startup+6.28633 s]
/proc/loadavg: 2.08 2.04 2.13 3/97 25552
/proc/meminfo: memFree=1780784/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=13724 CPUtime=0.04
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 1188 0 0 0 3 1 0 0 15 0 1 0 29751210 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 3431 808 370 3 0 531 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25545] ppid=25535 vsize=807376 CPUtime=5.11
/proc/25545/stat : 25545 (java) R 25535 25535 25014 0 -1 0 12501 0 1 0 504 7 0 0 25 0 8 0 29751322 826753024 12209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25545/statm: 201844 12209 1506 14 0 189122 0
[pid=25545/tid=25546] ppid=25535 vsize=807376 CPUtime=0.45
/proc/25545/task/25546/stat : 25546 (java) S 25535 25535 25014 0 -1 64 6251 0 0 0 43 2 0 0 16 0 8 0 29751326 826753024 12209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25547] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25547/stat : 25547 (java) S 25535 25535 25014 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 29751327 826753024 12209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25548] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25548/stat : 25548 (java) S 25535 25535 25014 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29751327 826753024 12209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25549] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25549/stat : 25549 (java) S 25535 25535 25014 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29751330 826753024 12209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25550] ppid=25535 vsize=807376 CPUtime=0.15
/proc/25545/task/25550/stat : 25550 (java) S 25535 25535 25014 0 -1 64 419 0 0 0 15 0 0 0 17 0 8 0 29751330 826753024 12209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25551] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25551/stat : 25551 (java) S 25535 25535 25014 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29751330 826753024 12209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25545/tid=25552] ppid=25535 vsize=807376 CPUtime=0
/proc/25545/task/25552/stat : 25552 (java) S 25535 25535 25014 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29751330 826753024 12209 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 821100
[startup+12.785 s]
/proc/loadavg: 2.07 2.04 2.13 3/90 25553
/proc/meminfo: memFree=1799336/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=13636 CPUtime=4.14
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 3544 0 0 0 413 1 0 0 25 0 1 0 29752071 13963264 2928 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528756 0 0 4096 3 0 0 0 17 1 0 0
/proc/25553/statm: 3409 2928 52 112 0 3293 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 36408
[startup+25.6272 s]
/proc/loadavg: 2.06 2.04 2.13 3/90 25553
/proc/meminfo: memFree=1789160/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=23716 CPUtime=16.92
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 6078 0 0 0 1688 4 0 0 25 0 1 0 29752071 24285184 5462 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25553/statm: 5929 5462 52 112 0 5813 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 46488
[startup+51.3227 s]
/proc/loadavg: 2.04 2.04 2.12 3/90 25553
/proc/meminfo: memFree=1772200/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=40812 CPUtime=42.49
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 10301 0 0 0 4241 8 0 0 25 0 1 0 29752071 41791488 9685 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/25553/statm: 10203 9685 52 112 0 10087 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 63584
[startup+102.611 s]
/proc/loadavg: 2.15 2.06 2.12 3/90 25553
/proc/meminfo: memFree=1740264/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=72812 CPUtime=93.54
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 18248 0 0 0 9336 18 0 0 25 0 1 0 29752071 74559488 17632 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25553/statm: 18203 17632 52 112 0 18087 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 95584
[startup+162.633 s]
/proc/loadavg: 2.05 2.05 2.11 3/90 25553
/proc/meminfo: memFree=1718568/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=92428 CPUtime=153.28
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 23147 0 0 0 15303 25 0 0 25 0 1 0 29752071 94646272 22531 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/25553/statm: 23107 22531 52 112 0 22991 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 115200
[startup+222.659 s]
/proc/loadavg: 2.02 2.04 2.10 3/90 25553
/proc/meminfo: memFree=1690088/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=120992 CPUtime=213.03
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 30185 0 0 0 21268 35 0 0 25 0 1 0 29752071 123895808 29569 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528556 0 0 4096 3 0 0 0 17 1 0 0
/proc/25553/statm: 30248 29569 52 112 0 30132 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 143764
[startup+282.683 s]
/proc/loadavg: 2.00 2.03 2.09 3/90 25553
/proc/meminfo: memFree=1677224/2055920 swapFree=4192812/4192956
################
# More data... #
################
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40750 0 0 0 122889 62 0 0 25 0 1 0 29752071 167022592 40134 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 40777 40134 52 112 0 40661 0
Current children cumulated CPU time (s) 1237.97
Current children cumulated vsize (KiB) 185880
[startup+1303.15 s]
/proc/loadavg: 2.11 2.06 2.03 3/96 25787
/proc/meminfo: memFree=1618488/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=163108 CPUtime=1289.56
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40759 0 0 0 128893 63 0 0 25 0 1 0 29752071 167022592 40143 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 40777 40143 52 112 0 40661 0
Current children cumulated CPU time (s) 1298.02
Current children cumulated vsize (KiB) 185880
[startup+1363.19 s]
/proc/loadavg: 2.07 2.06 2.03 3/89 25788
/proc/meminfo: memFree=1560944/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164080 CPUtime=1349.5
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40840 0 0 0 134886 64 0 0 25 0 1 0 29752071 168017920 40224 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41020 40224 52 112 0 40904 0
Current children cumulated CPU time (s) 1357.96
Current children cumulated vsize (KiB) 186852
[startup+1423.21 s]
/proc/loadavg: 2.02 2.05 2.02 3/89 25790
/proc/meminfo: memFree=1560752/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164080 CPUtime=1409.46
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40842 0 0 0 140882 64 0 0 25 0 1 0 29752071 168017920 40226 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41020 40226 52 112 0 40904 0
Current children cumulated CPU time (s) 1417.92
Current children cumulated vsize (KiB) 186852
[startup+1483.24 s]
/proc/loadavg: 2.06 2.05 2.02 3/89 25790
/proc/meminfo: memFree=1560752/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164080 CPUtime=1469.42
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40842 0 0 0 146878 64 0 0 25 0 1 0 29752071 168017920 40226 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41020 40226 52 112 0 40904 0
Current children cumulated CPU time (s) 1477.88
Current children cumulated vsize (KiB) 186852
[startup+1543.27 s]
/proc/loadavg: 2.02 2.04 2.01 3/89 25790
/proc/meminfo: memFree=1560752/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164080 CPUtime=1529.37
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40842 0 0 0 152873 64 0 0 25 0 1 0 29752071 168017920 40226 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41020 40226 52 112 0 40904 0
Current children cumulated CPU time (s) 1537.83
Current children cumulated vsize (KiB) 186852
[startup+1603.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/89 25790
/proc/meminfo: memFree=1560752/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164080 CPUtime=1589.34
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40842 0 0 0 158870 64 0 0 25 0 1 0 29752071 168017920 40226 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528116 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41020 40226 52 112 0 40904 0
Current children cumulated CPU time (s) 1597.8
Current children cumulated vsize (KiB) 186852
[startup+1663.34 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 25790
/proc/meminfo: memFree=1560048/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164688 CPUtime=1649.33
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40965 0 0 0 164869 64 0 0 25 0 1 0 29752071 168640512 40349 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41172 40349 52 112 0 41056 0
Current children cumulated CPU time (s) 1657.79
Current children cumulated vsize (KiB) 187460
[startup+1723.37 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 25790
/proc/meminfo: memFree=1556912/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164688 CPUtime=1709.29
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40981 0 0 0 170864 65 0 0 25 0 1 0 29752071 168640512 40365 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41172 40365 52 112 0 41056 0
Current children cumulated CPU time (s) 1717.75
Current children cumulated vsize (KiB) 187460
[startup+1783.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 25790
/proc/meminfo: memFree=1553648/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164688 CPUtime=1769.26
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40981 0 0 0 176861 65 0 0 25 0 1 0 29752071 168640512 40365 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41172 40365 52 112 0 41056 0
Current children cumulated CPU time (s) 1777.72
Current children cumulated vsize (KiB) 187460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.81 s]
/proc/loadavg: 2.00 2.01 2.00 4/89 25790
/proc/meminfo: memFree=1552816/2055920 swapFree=4192812/4192956
[pid=25535] ppid=25533 vsize=22772 CPUtime=7.45
/proc/25535/stat : 25535 (sugar) S 25533 25535 25014 0 -1 4194304 3497 14767 0 1 16 2 716 11 16 0 1 0 29751210 23318528 3010 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 227857707106 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25535/statm: 5693 3010 373 3 0 2793 0
[pid=25537] ppid=25535 vsize=0 CPUtime=1.01
/proc/25537/stat : 25537 (java) Z 25535 25535 25014 0 -1 1036 9099 0 1 0 95 6 0 0 17 0 1 0 29751215 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/25537/statm: 0 0 0 0 0 0 0
[pid=25553] ppid=25535 vsize=164688 CPUtime=1791.64
/proc/25553/stat : 25553 (minisat) R 25535 25535 25014 0 -1 0 40981 0 0 0 179099 65 0 0 25 0 1 0 29752071 168640512 40365 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/25553/statm: 41172 40365 52 112 0 41056 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 187460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 25535 and gives childrusage.ru_utime.tv_sec=7 childrusage.ru_utime.tv_usec=330885 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=149977
CPU time returned by wait4() is 7.48086
while last known CPU time is 1800.12
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1806.83
CPU time (s): 1800.12
CPU user time (s): 1799.26
CPU system time (s): 0.86
CPU usage (%): 99.6287
Max. virtual memory (cumulated for all children) (KiB): 821100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.33089
system time used= 0.149977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18348
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= 1285
involuntary context switches= 1292
runsolver used 2.04169 s user time and 5.97309 s system time
The end
Begin job on node18 on Mon Jan 29 19:12:47 UTC 2007
IDJOB= 210673
IDBENCH= 4637
IDSOLVER= 86
FILE ID= node18/210673-1170097967
PBS_JOBID= 3689445
Free space on /tmp= 66554 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-45-45.xml
COMMAND LINE= /tmp/evaluation/210673-1170097967/solver /tmp/evaluation/210673-1170097967 /tmp/evaluation/210673-1170097967/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-210673-1170097967 -o ROOT/results/node18/solver-210673-1170097967 -C 1800 -M 900 /tmp/evaluation/210673-1170097967/solver /tmp/evaluation/210673-1170097967 /tmp/evaluation/210673-1170097967/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f4b7cc2e1ae7a090b44468825c2ad4a0
RANDOM SEED= 696129481
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.236
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.236
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: 1825048 kB
Buffers: 14760 kB
Cached: 62964 kB
SwapCached: 0 kB
Active: 144772 kB
Inactive: 30684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1825048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1720 kB
Writeback: 0 kB
Mapped: 117408 kB
Slab: 40476 kB
Committed_AS: 367640 kB
PageTables: 2096 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= 66530 MiB
End job on node18 on Mon Jan 29 19:42:56 UTC 2007