0.05 c # Sugar v0-40 (/tmp/evaluation/203550-1170095963/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/203550-1170095963/unknown.xml [Mon Jan 29 19:39:24 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/203550-1170095963/unknown.xml /tmp/evaluation/203550-1170095963/sugar24009.csp [Mon Jan 29 19:39:24 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203550-1170095963/sugar-v0-40.jar -convert /tmp/evaluation/203550-1170095963/unknown.xml /tmp/evaluation/203550-1170095963/sugar24009.csp
0.17 c BEGIN convert /tmp/evaluation/203550-1170095963/unknown.xml
1.09 c END convert (0.924824 seconds)
1.12 c # CONVERT_XML END : /tmp/evaluation/203550-1170095963/sugar24009.csp 3516496 bytes (1 seconds) [Mon Jan 29 19:39:25 2007]
1.12 c # CONVERT_XML CPU : 1.03 = 0 + 0 + 0.95 + 0.08
1.12
1.12 c # GENERATE_SAT BEGIN : /tmp/evaluation/203550-1170095963/sugar24009.bcnf [Mon Jan 29 19:39:25 2007]
1.12 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/203550-1170095963/sugar-v0-40.jar -bcnf -map /tmp/evaluation/203550-1170095963/sugar24009.map /tmp/evaluation/203550-1170095963/sugar24009.csp /tmp/evaluation/203550-1170095963/sugar24009.bcnf
1.24 c BEGIN parse /tmp/evaluation/203550-1170095963/sugar24009.csp
44.10 c END parse (42.853292 seconds)
44.10 c BEGIN simplify
44.25 c END simplify (0.149043 seconds)
44.25 c BEGIN encode /tmp/evaluation/203550-1170095963/sugar24009.bcnf
45.56 c END encode (1.308234 seconds)
45.69 c # GENERATE_SAT END : 6595 variables 118425 clauses 9262992 bytes (45 seconds) [Mon Jan 29 19:40:10 2007]
45.69 c # GENERATE_SAT CPU : 44.3 = 0.05 + 0.01 + 43.69 + 0.55
45.69
45.69 c # SOLVE_SAT BEGIN : /tmp/evaluation/203550-1170095963/sugar24009.bcnf [Mon Jan 29 19:40:10 2007]
45.69 c # CMD : /tmp/evaluation/203550-1170095963/minisat /tmp/evaluation/203550-1170095963/sugar24009.bcnf /tmp/evaluation/203550-1170095963/sugar24009.out
45.92 c ==================================[MINISAT]===================================
45.92 c | Conflicts | ORIGINAL | LEARNT | Progress |
45.92 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
45.92 c ==============================================================================
45.92 c | 0 | 118425 2197313 | 39475 0 0 nan | 0.000 % |
45.98 c | 100 | 118425 2197313 | 43422 100 3761 37.6 | 0.000 % |
46.05 c | 252 | 118426 2197313 | 47764 251 5972 23.8 | 0.000 % |
46.20 c | 479 | 118427 2197313 | 52541 477 9733 20.4 | 0.000 % |
46.43 c | 817 | 118427 2197313 | 57795 815 15735 19.3 | 0.000 % |
46.82 c | 1324 | 118427 2197313 | 63574 1322 26939 20.4 | 0.000 % |
47.38 c | 2083 | 118427 2197313 | 69932 2081 40500 19.5 | 0.000 % |
48.41 c | 3223 | 118427 2197313 | 76925 3221 64075 19.9 | 0.000 % |
49.52 c | 4931 | 118428 2197313 | 84618 4928 90604 18.4 | 0.000 % |
51.16 c | 7493 | 118429 2197313 | 93079 7489 133523 17.8 | 0.000 % |
53.61 c | 11337 | 118430 2197313 | 102387 11332 194094 17.1 | 0.000 % |
58.19 c | 17105 | 118434 2197313 | 112626 17096 305185 17.9 | 0.000 % |
66.20 c | 25754 | 118434 2197313 | 123889 25745 469486 18.2 | 0.000 % |
80.78 c | 38730 | 118435 2197313 | 136278 38720 748393 19.3 | 0.000 % |
108.34 c | 58192 | 118436 2197313 | 149906 58181 1192142 20.5 | 0.000 % |
155.34 c | 87384 | 118437 2197313 | 164896 87372 1817636 20.8 | 0.000 % |
231.61 c | 131173 | 118440 2197313 | 181386 131158 2741566 20.9 | 0.000 % |
354.23 c | 196857 | 118442 2197313 | 199525 34243 859434 25.1 | 0.000 % |
538.70 c | 295383 | 118442 2197313 | 219477 132769 3173414 23.9 | 0.000 % |
795.44 c | 443177 | 118455 2197313 | 241425 78779 1903202 24.2 | 0.000 % |
1215.01 c | 664862 | 118461 2197313 | 265568 79442 2040550 25.7 | 0.000 % |
1806.32
1806.32 s UNKNOWN
1806.32 c # INTERRUPTED
1806.32 c # MAIN END : (1806 seconds) [Mon Jan 29 20:09:30 2007]
1806.32 c # MAIN CPU : 45.33 = 0.05 + 0.01 + 44.64 + 0.63
1806.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-203550-1170095963 -o ROOT/results/node4/solver-203550-1170095963 -C 1800 -M 900 /tmp/evaluation/203550-1170095963/solver /tmp/evaluation/203550-1170095963 /tmp/evaluation/203550-1170095963/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.42 2.14 2.16 5/94 24010
/proc/meminfo: memFree=1218392/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=6268 CPUtime=0
/proc/24009/stat : 24009 (sugar) R 24007 24009 23418 0 -1 4194304 311 0 0 0 0 0 0 0 20 0 1 0 29551259 6418432 47 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259910595977 0 0 4096 0 0 0 0 17 1 0 0
/proc/24009/statm: 1567 47 36 3 0 8 0
[startup+0.104986 s]
/proc/loadavg: 2.42 2.14 2.16 5/94 24010
/proc/meminfo: memFree=1218392/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=13724 CPUtime=0.03
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 29551259 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.513031 s]
/proc/loadavg: 2.42 2.14 2.16 5/94 24010
/proc/meminfo: memFree=1218392/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=13724 CPUtime=0.03
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29551259 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.3341 s]
/proc/loadavg: 2.31 2.12 2.15 3/95 24019
/proc/meminfo: memFree=1212880/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=13724 CPUtime=1.06
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 1190 8399 0 1 3 0 95 8 16 0 1 0 29551259 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 3431 809 371 3 0 531 0
[pid=24019] ppid=24009 vsize=807064 CPUtime=0.19
/proc/24019/stat : 24019 (java) R 24009 24009 23418 0 -1 0 3194 0 1 0 18 1 0 0 20 0 8 0 29551371 826433536 2945 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201766 2945 1482 14 0 189044 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.98727 s]
/proc/loadavg: 2.31 2.12 2.15 4/102 24026
/proc/meminfo: memFree=1180376/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=13724 CPUtime=1.06
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 1190 8399 0 1 3 0 95 8 16 0 1 0 29551259 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 3431 809 371 3 0 531 0
[pid=24019] ppid=24009 vsize=807064 CPUtime=1.84
/proc/24019/stat : 24019 (java) R 24009 24009 23418 0 -1 0 12491 0 1 0 176 8 0 0 25 0 8 0 29551371 826433536 12228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073491262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201766 12228 1494 14 0 189044 0
[pid=24019/tid=24020] ppid=24009 vsize=807064 CPUtime=0.5
/proc/24019/task/24020/stat : 24020 (java) S 24009 24009 23418 0 -1 64 6426 0 0 0 46 4 0 0 16 0 8 0 29551375 826433536 12228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24009 vsize=807064 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24009 24009 23418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29551375 826433536 12228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24009 vsize=807064 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24009 24009 23418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29551375 826433536 12228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24009 vsize=807064 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24009 24009 23418 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29551379 826433536 12228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24009 vsize=807064 CPUtime=0.05
/proc/24019/task/24024/stat : 24024 (java) S 24009 24009 23418 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29551379 826433536 12228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24009 vsize=807064 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24009 24009 23418 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29551379 826433536 12228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24009 vsize=807064 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24009 24009 23418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29551379 826433536 12228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 820788
[startup+6.27957 s]
/proc/loadavg: 2.31 2.12 2.15 4/102 24026
/proc/meminfo: memFree=1116248/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=13724 CPUtime=1.06
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 1190 8399 0 1 3 0 95 8 16 0 1 0 29551259 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 3431 809 371 3 0 531 0
[pid=24019] ppid=24009 vsize=807336 CPUtime=5.12
/proc/24019/stat : 24019 (java) R 24009 24009 23418 0 -1 0 23648 0 1 0 497 15 0 0 25 0 8 0 29551371 826712064 23357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154989285 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201834 23357 1506 14 0 189112 0
[pid=24019/tid=24020] ppid=24009 vsize=807336 CPUtime=1.4
/proc/24019/task/24020/stat : 24020 (java) S 24009 24009 23418 0 -1 64 17423 0 0 0 130 10 0 0 16 0 8 0 29551375 826712064 23357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24009 24009 23418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29551375 826712064 23357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24009 24009 23418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29551375 826712064 23357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24009 24009 23418 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29551379 826712064 23357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24009 vsize=807336 CPUtime=0.13
/proc/24019/task/24024/stat : 24024 (java) S 24009 24009 23418 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 29551379 826712064 23357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24009 24009 23418 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29551379 826712064 23357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24009 24009 23418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29551379 826712064 23357 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 821060
[startup+12.7422 s]
/proc/loadavg: 2.42 2.15 2.16 3/102 24026
/proc/meminfo: memFree=975000/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=13724 CPUtime=1.06
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 1190 8399 0 1 3 0 95 8 16 0 1 0 29551259 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 3431 809 371 3 0 531 0
[pid=24019] ppid=24009 vsize=807336 CPUtime=11.54
/proc/24019/stat : 24019 (java) R 24009 24009 23418 0 -1 0 55013 0 1 0 1124 30 0 0 25 0 8 0 29551371 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201834 54113 1507 14 0 189112 0
[pid=24019/tid=24020] ppid=24009 vsize=807336 CPUtime=3.73
/proc/24019/task/24020/stat : 24020 (java) S 24009 24009 23418 0 -1 64 48578 0 0 0 348 25 0 0 16 0 8 0 29551375 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24009 24009 23418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29551375 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24009 24009 23418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29551375 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24009 24009 23418 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29551379 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24009 vsize=807336 CPUtime=0.14
/proc/24019/task/24024/stat : 24024 (java) S 24009 24009 23418 0 -1 64 401 0 0 0 14 0 0 0 16 0 8 0 29551379 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24009 24009 23418 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29551379 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24009 24009 23418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29551379 826712064 54113 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 821060
[startup+25.5767 s]
/proc/loadavg: 2.51 2.17 2.17 3/102 24026
/proc/meminfo: memFree=967640/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=13724 CPUtime=1.06
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 1190 8399 0 1 3 0 95 8 16 0 1 0 29551259 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 3431 809 371 3 0 531 0
[pid=24019] ppid=24009 vsize=807336 CPUtime=24.29
/proc/24019/stat : 24019 (java) R 24009 24009 23418 0 -1 0 56368 0 1 0 2393 36 0 0 25 0 8 0 29551371 826712064 54116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24019/statm: 201834 54116 1507 14 0 189112 0
[pid=24019/tid=24020] ppid=24009 vsize=807336 CPUtime=8.62
/proc/24019/task/24020/stat : 24020 (java) S 24009 24009 23418 0 -1 64 49600 0 0 0 833 29 0 0 15 0 8 0 29551375 826712064 54116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24021] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24021/stat : 24021 (java) S 24009 24009 23418 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29551375 826712064 54116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24022] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24022/stat : 24022 (java) S 24009 24009 23418 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29551375 826712064 54116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24023] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24023/stat : 24023 (java) S 24009 24009 23418 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29551379 826712064 54116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24024] ppid=24009 vsize=807336 CPUtime=0.14
/proc/24019/task/24024/stat : 24024 (java) S 24009 24009 23418 0 -1 64 403 0 0 0 14 0 0 0 17 0 8 0 29551379 826712064 54116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24025] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24025/stat : 24025 (java) S 24009 24009 23418 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29551379 826712064 54116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24019/tid=24026] ppid=24009 vsize=807336 CPUtime=0
/proc/24019/task/24026/stat : 24026 (java) S 24009 24009 23418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29551379 826712064 54116 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 821060
[startup+51.1859 s]
/proc/loadavg: 2.73 2.26 2.19 3/95 24027
/proc/meminfo: memFree=1153680/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=14752 CPUtime=5.45
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 4350 0 0 0 543 2 0 0 25 0 1 0 29555829 15106048 3311 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 1 0 0
/proc/24027/statm: 3688 3311 52 112 0 3572 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 31344
[startup+102.445 s]
/proc/loadavg: 2.29 2.21 2.18 3/95 24027
/proc/meminfo: memFree=1148176/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=20168 CPUtime=56.46
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 5698 0 0 0 5642 4 0 0 25 0 1 0 29555829 20652032 4659 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24027/statm: 5042 4659 52 112 0 4926 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 36760
[startup+162.53 s]
/proc/loadavg: 2.10 2.17 2.17 3/95 24027
/proc/meminfo: memFree=1143568/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=24912 CPUtime=116.27
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 6852 0 0 0 11621 6 0 0 25 0 1 0 29555829 25509888 5813 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24027/statm: 6228 5813 52 112 0 6112 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 41504
[startup+222.614 s]
/proc/loadavg: 2.04 2.14 2.16 3/95 24027
/proc/meminfo: memFree=1139664/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=28868 CPUtime=176.07
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 7828 0 0 0 17600 7 0 0 25 0 1 0 29555829 29560832 6789 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527284 0 0 4096 3 0 0 0 17 1 0 0
/proc/24027/statm: 7217 6789 52 112 0 7101 0
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (KiB) 45460
[startup+282.699 s]
/proc/loadavg: 1.93 2.09 2.14 2/82 24073
################
# More data... #
################
/proc/loadavg: 2.02 2.00 2.05 3/88 24377
/proc/meminfo: memFree=1744648/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=49844 CPUtime=1072.3
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 12945 0 0 0 107205 25 0 0 25 0 1 0 29555829 51040256 11898 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 12461 11898 52 112 0 12345 0
Current children cumulated CPU time (s) 1117.66
Current children cumulated vsize (KiB) 66436
[startup+1183.24 s]
/proc/loadavg: 2.08 2.02 2.05 3/88 24377
/proc/meminfo: memFree=1742984/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=50412 CPUtime=1132.34
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 13081 0 0 0 113208 26 0 0 25 0 1 0 29555829 51621888 12034 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525628 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 12603 12034 52 112 0 12487 0
Current children cumulated CPU time (s) 1177.7
Current children cumulated vsize (KiB) 67004
[startup+1243.32 s]
/proc/loadavg: 2.03 2.01 2.05 3/88 24377
/proc/meminfo: memFree=1742280/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=50412 CPUtime=1192.37
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 13082 0 0 0 119211 26 0 0 25 0 1 0 29555829 51621888 12035 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 12603 12035 52 112 0 12487 0
Current children cumulated CPU time (s) 1237.73
Current children cumulated vsize (KiB) 67004
[startup+1303.41 s]
/proc/loadavg: 2.01 2.00 2.04 3/94 24441
/proc/meminfo: memFree=1737920/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=50556 CPUtime=1252.36
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 13105 0 0 0 125207 29 0 0 25 0 1 0 29555829 51769344 12058 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 12639 12058 52 112 0 12523 0
Current children cumulated CPU time (s) 1297.72
Current children cumulated vsize (KiB) 67148
[startup+1363.42 s]
/proc/loadavg: 2.04 2.02 2.04 3/94 24533
/proc/meminfo: memFree=1736520/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=50556 CPUtime=1312.26
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 13126 0 0 0 131184 42 0 0 25 0 1 0 29555829 51769344 12079 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 12639 12079 52 112 0 12523 0
Current children cumulated CPU time (s) 1357.62
Current children cumulated vsize (KiB) 67148
[startup+1423.52 s]
/proc/loadavg: 2.01 2.01 2.04 3/88 24575
/proc/meminfo: memFree=1737032/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=50732 CPUtime=1372.28
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 13173 0 0 0 137183 45 0 0 25 0 1 0 29555829 51949568 12126 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 12683 12126 52 112 0 12567 0
Current children cumulated CPU time (s) 1417.64
Current children cumulated vsize (KiB) 67324
[startup+1483.61 s]
/proc/loadavg: 2.00 2.00 2.03 3/88 24575
/proc/meminfo: memFree=1735368/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=51448 CPUtime=1432.29
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 13327 0 0 0 143184 45 0 0 25 0 1 0 29555829 52682752 12280 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 12862 12280 52 112 0 12746 0
Current children cumulated CPU time (s) 1477.65
Current children cumulated vsize (KiB) 68040
[startup+1543.7 s]
/proc/loadavg: 2.00 2.00 2.02 3/88 24575
/proc/meminfo: memFree=1729800/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=55320 CPUtime=1492.33
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 14277 0 0 0 149186 47 0 0 25 0 1 0 29555829 56647680 13230 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528433 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 13830 13230 52 112 0 13714 0
Current children cumulated CPU time (s) 1537.69
Current children cumulated vsize (KiB) 71912
[startup+1603.79 s]
/proc/loadavg: 2.00 2.00 2.02 3/88 24575
/proc/meminfo: memFree=1725704/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=59116 CPUtime=1552.34
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 15234 0 0 0 155185 49 0 0 25 0 1 0 29555829 60534784 14187 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 14779 14187 52 112 0 14663 0
Current children cumulated CPU time (s) 1597.7
Current children cumulated vsize (KiB) 75708
[startup+1663.87 s]
/proc/loadavg: 2.05 2.01 2.02 3/88 24575
/proc/meminfo: memFree=1721864/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=61472 CPUtime=1612.38
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 15823 0 0 0 161188 50 0 0 25 0 1 0 29555829 62947328 14776 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 15368 14776 52 112 0 15252 0
Current children cumulated CPU time (s) 1657.74
Current children cumulated vsize (KiB) 78064
[startup+1723.96 s]
/proc/loadavg: 2.02 2.01 2.01 3/88 24575
/proc/meminfo: memFree=1716488/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=61804 CPUtime=1672.4
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 15890 0 0 0 167190 50 0 0 25 0 1 0 29555829 63287296 14843 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 15451 14843 52 112 0 15335 0
Current children cumulated CPU time (s) 1717.76
Current children cumulated vsize (KiB) 78396
[startup+1784.04 s]
/proc/loadavg: 2.07 2.02 2.01 3/88 24575
/proc/meminfo: memFree=1716232/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=61804 CPUtime=1732.4
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 15919 0 0 0 173190 50 0 0 25 0 1 0 29555829 63287296 14872 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 15451 14872 52 112 0 15335 0
Current children cumulated CPU time (s) 1777.76
Current children cumulated vsize (KiB) 78396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.32 s]
/proc/loadavg: 2.04 2.02 2.01 3/88 24575
/proc/meminfo: memFree=1716232/2055920 swapFree=4192812/4192956
[pid=24009] ppid=24007 vsize=16592 CPUtime=45.36
/proc/24009/stat : 24009 (sugar) S 24007 24009 23418 0 -1 4194304 2004 79777 0 2 8 1 4464 63 16 0 1 0 29551259 16990208 1515 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259922112610 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24009/statm: 4148 1515 373 3 0 1248 0
[pid=24027] ppid=24009 vsize=61804 CPUtime=1754.68
/proc/24027/stat : 24027 (minisat) R 24009 24009 23418 0 -1 0 15924 0 0 0 175418 50 0 0 25 0 1 0 29555829 63287296 14877 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528677 0 0 4096 3 0 0 0 17 0 0 0
/proc/24027/statm: 15451 14877 52 112 0 15335 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 78396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24009 and gives childrusage.ru_utime.tv_sec=44 childrusage.ru_utime.tv_usec=723201 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=655900
CPU time returned by wait4() is 45.3791
while last known CPU time is 1800.05
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1807.34
CPU time (s): 1800.05
CPU user time (s): 1798.9
CPU system time (s): 1.15
CPU usage (%): 99.5967
Max. virtual memory (cumulated for all children) (KiB): 822064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.7232
system time used= 0.6559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81866
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8771
involuntary context switches= 9161
runsolver used 1.9967 s user time and 6.02008 s system time
The end
Begin job on node4 on Mon Jan 29 18:39:24 UTC 2007
IDJOB= 203550
IDBENCH= 3968
IDSOLVER= 86
FILE ID= node4/203550-1170095963
PBS_JOBID= 3689424
Free space on /tmp= 66522 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb59-26/frb59-26-4-mgd_ext.xml
COMMAND LINE= /tmp/evaluation/203550-1170095963/solver /tmp/evaluation/203550-1170095963 /tmp/evaluation/203550-1170095963/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-203550-1170095963 -o ROOT/results/node4/solver-203550-1170095963 -C 1800 -M 900 /tmp/evaluation/203550-1170095963/solver /tmp/evaluation/203550-1170095963 /tmp/evaluation/203550-1170095963/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= f9529f4e39f7cb6c05a9389afdf0b50f
RANDOM SEED= 403485302
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.231
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.231
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: 1218872 kB
Buffers: 36116 kB
Cached: 92472 kB
SwapCached: 0 kB
Active: 725344 kB
Inactive: 55368 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1218872 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1508 kB
Writeback: 0 kB
Mapped: 677640 kB
Slab: 40048 kB
Committed_AS: 884252 kB
PageTables: 3380 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= 66555 MiB
End job on node4 on Mon Jan 29 19:09:31 UTC 2007