0.14 c # Sugar v0-40 (/tmp/evaluation/202420-1170095590/sugar-v0-40.jar)
0.14
0.14 c # MAIN BEGIN : /tmp/evaluation/202420-1170095590/unknown.xml [Mon Jan 29 19:33:11 2007]
0.14 c # CONVERT_XML BEGIN : /tmp/evaluation/202420-1170095590/unknown.xml /tmp/evaluation/202420-1170095590/sugar24513.csp [Mon Jan 29 19:33:11 2007]
0.14 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202420-1170095590/sugar-v0-40.jar -convert /tmp/evaluation/202420-1170095590/unknown.xml /tmp/evaluation/202420-1170095590/sugar24513.csp
0.49 c BEGIN convert /tmp/evaluation/202420-1170095590/unknown.xml
5.63 c END convert (5.135851 seconds)
5.69 c # CONVERT_XML END : /tmp/evaluation/202420-1170095590/sugar24513.csp 32537841 bytes (5 seconds) [Mon Jan 29 19:33:16 2007]
5.69 c # CONVERT_XML CPU : 5.1 = 0 + 0 + 4.8 + 0.3
5.69
5.69 c # GENERATE_SAT BEGIN : /tmp/evaluation/202420-1170095590/sugar24513.bcnf [Mon Jan 29 19:33:16 2007]
5.69 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/202420-1170095590/sugar-v0-40.jar -bcnf -map /tmp/evaluation/202420-1170095590/sugar24513.map /tmp/evaluation/202420-1170095590/sugar24513.csp /tmp/evaluation/202420-1170095590/sugar24513.bcnf
5.80 c BEGIN parse /tmp/evaluation/202420-1170095590/sugar24513.csp
353.37 c Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
353.52 s UNKNOWN
353.52 c # ERROR /tmp/evaluation/202420-1170095590/sugar24513.bcnf is not generated, at /tmp/evaluation/202420-1170095590/sugar line 310.
353.52
353.52 c # MAIN END : (353 seconds) [Mon Jan 29 19:39:04 2007]
353.52 c # MAIN CPU : 5.11 = 0 + 0.01 + 4.8 + 0.3
353.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-202420-1170095590 -o ROOT/results/node1/solver-202420-1170095590 -C 1800 -M 900 /tmp/evaluation/202420-1170095590/solver /tmp/evaluation/202420-1170095590 /tmp/evaluation/202420-1170095590/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.82 2.62 2.73 5/94 24514
/proc/meminfo: memFree=629664/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=5352 CPUtime=0
/proc/24513/stat : 24513 (solver) D 24511 24513 23668 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 29514112 5480448 231 18446744073709551615 4194304 4889804 548682069296 18446744073709551615 259353275687 0 0 4096 0 18446744071563608240 0 0 17 1 0 0
/proc/24513/statm: 1338 231 193 169 0 49 0
[startup+0.106375 s]
/proc/loadavg: 2.82 2.62 2.73 5/94 24514
/proc/meminfo: memFree=629664/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=12668 CPUtime=0.01
/proc/24513/stat : 24513 (sugar) R 24511 24513 23668 0 -1 4194304 768 0 0 0 1 0 0 0 18 0 1 0 29514112 12972032 487 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259372926439 0 0 4224 0 0 0 0 17 1 0 0
/proc/24513/statm: 3167 487 314 3 0 267 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12668
[startup+0.515425 s]
/proc/loadavg: 2.82 2.62 2.73 5/94 24514
/proc/meminfo: memFree=629664/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=0.04
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29514112 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.33852 s]
/proc/loadavg: 2.82 2.62 2.73 4/102 24522
/proc/meminfo: memFree=577952/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=0.04
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29514112 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 805 368 3 0 531 0
[pid=24515] ppid=24513 vsize=807288 CPUtime=0.9
/proc/24515/stat : 24515 (java) R 24513 24513 23668 0 -1 0 12156 0 29 0 83 7 0 0 22 0 8 0 29514126 826662912 11931 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4072941861 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24515/statm: 201822 11931 1690 14 0 189100 0
[pid=24515/tid=24516] ppid=24513 vsize=807288 CPUtime=0.1
/proc/24515/task/24516/stat : 24516 (java) S 24513 24513 23668 0 -1 64 5649 0 0 0 9 1 0 0 16 0 8 0 29514152 826662912 11931 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24517] ppid=24513 vsize=807288 CPUtime=0
/proc/24515/task/24517/stat : 24517 (java) S 24513 24513 23668 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29514153 826662912 11931 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24518] ppid=24513 vsize=807288 CPUtime=0
/proc/24515/task/24518/stat : 24518 (java) S 24513 24513 23668 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29514153 826662912 11931 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24519] ppid=24513 vsize=807288 CPUtime=0
/proc/24515/task/24519/stat : 24519 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514156 826662912 11931 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24520] ppid=24513 vsize=807288 CPUtime=0.1
/proc/24515/task/24520/stat : 24520 (java) S 24513 24513 23668 0 -1 64 380 0 0 0 10 0 0 0 16 0 8 0 29514156 826662912 11931 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24521] ppid=24513 vsize=807288 CPUtime=0
/proc/24515/task/24521/stat : 24521 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514156 826662912 11931 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24522] ppid=24513 vsize=807288 CPUtime=0
/proc/24515/task/24522/stat : 24522 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514156 826662912 11931 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 821012
[startup+2.99172 s]
/proc/loadavg: 2.82 2.62 2.73 3/102 24522
/proc/meminfo: memFree=538016/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=0.04
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1121 0 0 0 3 1 0 0 16 0 1 0 29514112 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 805 368 3 0 531 0
[pid=24515] ppid=24513 vsize=807416 CPUtime=2.52
/proc/24515/stat : 24515 (java) R 24513 24513 23668 0 -1 0 21589 0 29 0 238 14 0 0 25 0 8 0 29514126 826793984 21349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4073495074 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24515/statm: 201854 21349 1691 14 0 189132 0
[pid=24515/tid=24516] ppid=24513 vsize=807416 CPUtime=0.45
/proc/24515/task/24516/stat : 24516 (java) S 24513 24513 23668 0 -1 64 15009 0 0 0 40 5 0 0 16 0 8 0 29514152 826793984 21349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24517] ppid=24513 vsize=807416 CPUtime=0
/proc/24515/task/24517/stat : 24517 (java) S 24513 24513 23668 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 29514153 826793984 21349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24518] ppid=24513 vsize=807416 CPUtime=0
/proc/24515/task/24518/stat : 24518 (java) S 24513 24513 23668 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 29514153 826793984 21349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24519] ppid=24513 vsize=807416 CPUtime=0
/proc/24515/task/24519/stat : 24519 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514156 826793984 21349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24520] ppid=24513 vsize=807416 CPUtime=0.18
/proc/24515/task/24520/stat : 24520 (java) S 24513 24513 23668 0 -1 64 419 0 0 0 17 1 0 0 16 0 8 0 29514156 826793984 21349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24521] ppid=24513 vsize=807416 CPUtime=0
/proc/24515/task/24521/stat : 24521 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514156 826793984 21349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24515/tid=24522] ppid=24513 vsize=807416 CPUtime=0
/proc/24515/task/24522/stat : 24522 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514156 826793984 21349 18446744073709551615 134512640 134570532 4294956528 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 821140
[startup+6.2891 s]
/proc/loadavg: 2.76 2.61 2.72 3/95 24522
/proc/meminfo: memFree=501408/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 13724
[startup+12.6939 s]
/proc/loadavg: 2.78 2.61 2.72 3/102 24530
/proc/meminfo: memFree=413280/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
[pid=24523] ppid=24513 vsize=807064 CPUtime=6.91
/proc/24523/stat : 24523 (java) R 24513 24513 23668 0 -1 0 33398 0 1 0 674 17 0 0 25 0 8 0 29514681 826433536 33091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073495354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24523/statm: 201766 33091 1494 14 0 189044 0
[pid=24523/tid=24524] ppid=24513 vsize=807064 CPUtime=2.04
/proc/24523/task/24524/stat : 24524 (java) S 24513 24513 23668 0 -1 64 27289 0 0 0 192 12 0 0 16 0 8 0 29514684 826433536 33091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24525] ppid=24513 vsize=807064 CPUtime=0
/proc/24523/task/24525/stat : 24525 (java) S 24513 24513 23668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29514684 826433536 33091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24526] ppid=24513 vsize=807064 CPUtime=0
/proc/24523/task/24526/stat : 24526 (java) S 24513 24513 23668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29514684 826433536 33091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24527] ppid=24513 vsize=807064 CPUtime=0
/proc/24523/task/24527/stat : 24527 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514688 826433536 33091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24528] ppid=24513 vsize=807064 CPUtime=0.05
/proc/24523/task/24528/stat : 24528 (java) S 24513 24513 23668 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 29514688 826433536 33091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24529] ppid=24513 vsize=807064 CPUtime=0
/proc/24523/task/24529/stat : 24529 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514688 826433536 33091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24530] ppid=24513 vsize=807064 CPUtime=0
/proc/24523/task/24530/stat : 24530 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514688 826433536 33091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 820788
[startup+25.5264 s]
/proc/loadavg: 2.68 2.60 2.72 3/102 24530
/proc/meminfo: memFree=170912/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
[pid=24523] ppid=24513 vsize=807092 CPUtime=19.62
/proc/24523/stat : 24523 (java) R 24513 24513 23668 0 -1 0 82509 0 1 0 1920 42 0 0 25 0 8 0 29514681 826462208 81372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24523/statm: 201773 81372 1495 14 0 189051 0
[pid=24523/tid=24524] ppid=24513 vsize=807092 CPUtime=6.75
/proc/24523/task/24524/stat : 24524 (java) R 24513 24513 23668 0 -1 64 74960 0 0 0 641 34 0 0 16 0 8 0 29514684 826462208 81372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24525] ppid=24513 vsize=807092 CPUtime=0
/proc/24523/task/24525/stat : 24525 (java) S 24513 24513 23668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29514684 826462208 81372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24526] ppid=24513 vsize=807092 CPUtime=0
/proc/24523/task/24526/stat : 24526 (java) S 24513 24513 23668 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29514684 826462208 81372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24527] ppid=24513 vsize=807092 CPUtime=0
/proc/24523/task/24527/stat : 24527 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514688 826462208 81372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24528] ppid=24513 vsize=807092 CPUtime=0.05
/proc/24523/task/24528/stat : 24528 (java) S 24513 24513 23668 0 -1 64 294 0 0 0 5 0 0 0 17 0 8 0 29514688 826462208 81372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24529] ppid=24513 vsize=807092 CPUtime=0
/proc/24523/task/24529/stat : 24529 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514688 826462208 81372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24530] ppid=24513 vsize=807092 CPUtime=0
/proc/24523/task/24530/stat : 24530 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514688 826462208 81372 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (KiB) 820816
[startup+51.1287 s]
/proc/loadavg: 2.52 2.57 2.70 3/102 24530
/proc/meminfo: memFree=15392/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
[pid=24523] ppid=24513 vsize=811416 CPUtime=45.01
/proc/24523/stat : 24523 (java) S 24513 24513 23668 0 -1 0 154991 0 1 0 4421 80 0 0 18 0 8 0 29514681 830889984 147860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24523/statm: 202854 147860 1507 14 0 190132 0
[pid=24523/tid=24524] ppid=24513 vsize=811416 CPUtime=20.24
/proc/24523/task/24524/stat : 24524 (java) R 24513 24513 23668 0 -1 64 145022 0 0 0 1956 68 0 0 22 0 8 0 29514684 830889984 147860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155523712 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24525] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24525/stat : 24525 (java) S 24513 24513 23668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 147860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24526] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24526/stat : 24526 (java) S 24513 24513 23668 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 147860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24527] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24527/stat : 24527 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514688 830889984 147860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24528] ppid=24513 vsize=811416 CPUtime=0.12
/proc/24523/task/24528/stat : 24528 (java) S 24513 24513 23668 0 -1 64 396 0 0 0 12 0 0 0 16 0 8 0 29514688 830889984 147860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24529] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24529/stat : 24529 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514688 830889984 147860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24530] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24530/stat : 24530 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514688 830889984 147860 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.15
Current children cumulated vsize (KiB) 825140
[startup+102.38 s]
/proc/loadavg: 2.61 2.57 2.70 3/102 24530
/proc/meminfo: memFree=15008/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
[pid=24523] ppid=24513 vsize=811416 CPUtime=95.95
/proc/24523/stat : 24523 (java) S 24513 24513 23668 0 -1 0 195888 0 1 0 9494 101 0 0 18 0 8 0 29514681 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24523/statm: 202854 156915 1507 14 0 190132 0
[pid=24523/tid=24524] ppid=24513 vsize=811416 CPUtime=66.09
/proc/24523/task/24524/stat : 24524 (java) R 24513 24513 23668 0 -1 64 185901 0 0 0 6520 89 0 0 25 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525079 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24525] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24525/stat : 24525 (java) S 24513 24513 23668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24526] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24526/stat : 24526 (java) S 24513 24513 23668 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24527] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24527/stat : 24527 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24528] ppid=24513 vsize=811416 CPUtime=0.12
/proc/24523/task/24528/stat : 24528 (java) S 24513 24513 23668 0 -1 64 396 0 0 0 12 0 0 0 16 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24529] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24529/stat : 24529 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24530] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24530/stat : 24530 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 825140
[startup+162.386 s]
/proc/loadavg: 2.34 2.51 2.67 3/102 24532
/proc/meminfo: memFree=16408/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
[pid=24523] ppid=24513 vsize=811416 CPUtime=155.64
/proc/24523/stat : 24523 (java) S 24513 24513 23668 0 -1 0 234806 0 1 0 15438 126 0 0 17 0 8 0 29514681 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24523/statm: 202854 156915 1507 14 0 190132 0
[pid=24523/tid=24524] ppid=24513 vsize=811416 CPUtime=123.79
/proc/24523/task/24524/stat : 24524 (java) R 24513 24513 23668 0 -1 64 224797 0 0 0 12266 113 0 0 25 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24525] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24525/stat : 24525 (java) S 24513 24513 23668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24526] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24526/stat : 24526 (java) S 24513 24513 23668 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24527] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24527/stat : 24527 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24528] ppid=24513 vsize=811416 CPUtime=0.12
/proc/24523/task/24528/stat : 24528 (java) S 24513 24513 23668 0 -1 64 396 0 0 0 12 0 0 0 16 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24529] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24529/stat : 24529 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24530] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24530/stat : 24530 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 825140
[startup+222.387 s]
/proc/loadavg: 2.07 2.40 2.62 2/86 24549
/proc/meminfo: memFree=1223200/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
[pid=24523] ppid=24513 vsize=811416 CPUtime=215.18
/proc/24523/stat : 24523 (java) S 24513 24513 23668 0 -1 0 275493 0 1 0 21361 157 0 0 16 0 8 0 29514681 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24523/statm: 202854 156915 1507 14 0 190132 0
[pid=24523/tid=24524] ppid=24513 vsize=811416 CPUtime=183.2
/proc/24523/task/24524/stat : 24524 (java) R 24513 24513 23668 0 -1 64 265461 0 0 0 18177 143 0 0 25 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155525083 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24523/tid=24525] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24525/stat : 24525 (java) S 24513 24513 23668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24526] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24526/stat : 24526 (java) S 24513 24513 23668 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24527] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24527/stat : 24527 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24528] ppid=24513 vsize=811416 CPUtime=0.12
/proc/24523/task/24528/stat : 24528 (java) S 24513 24513 23668 0 -1 64 396 0 0 0 12 0 0 0 16 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24529] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24529/stat : 24529 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24530] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24530/stat : 24530 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.32
Current children cumulated vsize (KiB) 825140
[startup+282.444 s]
/proc/loadavg: 1.99 2.31 2.57 3/96 24633
/proc/meminfo: memFree=1192592/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
[pid=24523] ppid=24513 vsize=811416 CPUtime=274.96
/proc/24523/stat : 24523 (java) S 24513 24513 23668 0 -1 0 316180 0 1 0 27317 179 0 0 17 0 8 0 29514681 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24523/statm: 202854 156915 1507 14 0 190132 0
[pid=24523/tid=24524] ppid=24513 vsize=811416 CPUtime=242.97
/proc/24523/task/24524/stat : 24524 (java) R 24513 24513 23668 0 -1 64 306125 0 0 0 24131 166 0 0 25 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155523572 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24523/tid=24525] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24525/stat : 24525 (java) S 24513 24513 23668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24526] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24526/stat : 24526 (java) S 24513 24513 23668 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24527] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24527/stat : 24527 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24528] ppid=24513 vsize=811416 CPUtime=0.12
/proc/24523/task/24528/stat : 24528 (java) S 24513 24513 23668 0 -1 64 396 0 0 0 12 0 0 0 16 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24529] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24529/stat : 24529 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24530] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24530/stat : 24530 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.1
Current children cumulated vsize (KiB) 825140
[startup+342.543 s]
/proc/loadavg: 2.03 2.26 2.54 3/96 24633
/proc/meminfo: memFree=1189328/2055920 swapFree=4192812/4192956
[pid=24513] ppid=24511 vsize=13724 CPUtime=5.14
/proc/24513/stat : 24513 (sugar) S 24511 24513 23668 0 -1 4194304 1190 21672 0 30 3 1 480 30 15 0 1 0 29514112 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 259362173026 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24513/statm: 3431 809 371 3 0 531 0
[pid=24523] ppid=24513 vsize=811416 CPUtime=334.73
/proc/24523/stat : 24523 (java) S 24513 24513 23668 0 -1 0 356867 0 1 0 33271 202 0 0 17 0 8 0 29514681 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24523/statm: 202854 156915 1507 14 0 190132 0
[pid=24523/tid=24524] ppid=24513 vsize=811416 CPUtime=302.73
/proc/24523/task/24524/stat : 24524 (java) R 24513 24513 23668 0 -1 64 346789 0 0 0 30085 188 0 0 25 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154035702 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24523/tid=24525] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24525/stat : 24525 (java) S 24513 24513 23668 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24526] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24526/stat : 24526 (java) S 24513 24513 23668 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 29514684 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24527] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24527/stat : 24527 (java) S 24513 24513 23668 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24528] ppid=24513 vsize=811416 CPUtime=0.12
/proc/24523/task/24528/stat : 24528 (java) S 24513 24513 23668 0 -1 64 396 0 0 0 12 0 0 0 16 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24529] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24529/stat : 24529 (java) S 24513 24513 23668 0 -1 64 3 0 0 0 0 0 0 0 19 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24523/tid=24530] ppid=24513 vsize=811416 CPUtime=0
/proc/24523/task/24530/stat : 24530 (java) S 24513 24513 23668 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29514688 830889984 156915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.87
Current children cumulated vsize (KiB) 825140
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24513 and gives childrusage.ru_utime.tv_sec=4 childrusage.ru_utime.tv_usec=842263 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=335948
CPU time returned by wait4() is 5.17821
while last known CPU time is 350.69
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 353.541
CPU time (s): 350.69
CPU user time (s): 348.27
CPU system time (s): 2.42
CPU usage (%): 99.1935
Max. virtual memory (cumulated for all children) (KiB): 827144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.84226
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22940
page faults= 30
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1539
involuntary context switches= 1762
runsolver used 0.569913 s user time and 1.44878 s system time
The end
Begin job on node1 on Mon Jan 29 18:33:10 UTC 2007
IDJOB= 202420
IDBENCH= 3832
IDSOLVER= 86
FILE ID= node1/202420-1170095590
PBS_JOBID= 3689426
Free space on /tmp= 47680 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp21-25/fapp22/fapp22-1750-10.xml
COMMAND LINE= /tmp/evaluation/202420-1170095590/solver /tmp/evaluation/202420-1170095590 /tmp/evaluation/202420-1170095590/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-202420-1170095590 -o ROOT/results/node1/solver-202420-1170095590 -C 1800 -M 900 /tmp/evaluation/202420-1170095590/solver /tmp/evaluation/202420-1170095590 /tmp/evaluation/202420-1170095590/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= ec768d8bdc2ba6275ce05ab9b6a5623a
RANDOM SEED= 694935263
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.230
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.230
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: 630400 kB
Buffers: 4776 kB
Cached: 1220516 kB
SwapCached: 0 kB
Active: 155964 kB
Inactive: 1186324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 630400 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 618560 kB
Writeback: 0 kB
Mapped: 142580 kB
Slab: 68000 kB
Committed_AS: 459068 kB
PageTables: 2332 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= 66551 MiB
End job on node1 on Mon Jan 29 18:39:04 UTC 2007