0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Sat Jul 5 03:20:08 2008
0.00/0.04 c 0 PID 9420
0.03/0.05 c 0 HOST node48.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1082115-1215220807.xml TO HOME/temp.csp
0.03/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1082115-1215220807.xml' 'HOME/temp.csp'
0.03/0.64 c 0 1 domains, 48 variables, 2 predicates, 0 relations, 1160 constraints
0.03/0.68 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.68 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.61/0.76 c 0 Parsing HOME/temp.csp
0.91/1.05 c 1 parsed 1211 expressions
0.91/1.05 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.91/1.05 c 1 Converting to clausal form CSP
1.01/1.11 c 1 converted 122 (10%) expressions
1.01/1.14 c 1 converted 243 (20%) expressions
1.10/1.22 c 1 converted 364 (30%) expressions
1.10/1.24 c 1 converted 485 (40%) expressions
1.10/1.25 c 1 converted 606 (50%) expressions
1.10/1.26 c 1 converted 727 (60%) expressions
1.10/1.27 c 1 converted 848 (70%) expressions
1.10/1.28 c 1 converted 969 (80%) expressions
1.10/1.28 c 1 converted 1090 (90%) expressions
1.10/1.29 c 1 converted 1211 (100%) expressions
1.10/1.29 c 1 CSP : 48 integers, 0 booleans, 1192 clauses, largest domain size 48
1.10/1.29 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.10/1.29 c 1 Propagation in CSP
1.21/1.33 c 1 912 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.21/1.33 c 1 CSP : 48 integers, 0 booleans, 1192 clauses, largest domain size 44
1.21/1.33 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.21/1.33 c 1 Simplifing CSP by introducing new Boolean variables
1.21/1.36 c 1 CSP : 48 integers, 2256 booleans, 3448 clauses, largest domain size 44
1.21/1.36 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.21/1.40 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.30/1.41 c 1 5 (10%) CSP integer variables are encoded (190 clauses, 1944 bytes)
1.30/1.41 c 1 10 (20%) CSP integer variables are encoded (330 clauses, 3484 bytes)
1.30/1.41 c 1 15 (30%) CSP integer variables are encoded (420 clauses, 4474 bytes)
1.30/1.41 c 1 20 (40%) CSP integer variables are encoded (588 clauses, 6322 bytes)
1.30/1.41 c 1 24 (50%) CSP integer variables are encoded (712 clauses, 7686 bytes)
1.30/1.42 c 1 29 (60%) CSP integer variables are encoded (822 clauses, 8896 bytes)
1.30/1.42 c 1 34 (70%) CSP integer variables are encoded (946 clauses, 10260 bytes)
1.30/1.42 c 1 39 (80%) CSP integer variables are encoded (1116 clauses, 12433 bytes)
1.30/1.42 c 1 44 (90%) CSP integer variables are encoded (1236 clauses, 13993 bytes)
1.30/1.42 c 1 48 (100%) CSP integer variables are encoded (1296 clauses, 14773 bytes)
1.30/1.45 c 1 345 (10%) CSP clauses are encoded (7783 clauses, 116799 bytes)
1.30/1.47 c 1 690 (20%) CSP clauses are encoded (13186 clauses, 207230 bytes)
1.30/1.49 c 1 1035 (30%) CSP clauses are encoded (17906 clauses, 285397 bytes)
1.40/1.51 c 1 1380 (40%) CSP clauses are encoded (21285 clauses, 340733 bytes)
1.40/1.51 c 1 1724 (50%) CSP clauses are encoded (23300 clauses, 372885 bytes)
1.40/1.52 c 1 2069 (60%) CSP clauses are encoded (26703 clauses, 428977 bytes)
1.40/1.54 c 1 2414 (70%) CSP clauses are encoded (32656 clauses, 529353 bytes)
1.40/1.56 c 1 2759 (80%) CSP clauses are encoded (37344 clauses, 608199 bytes)
1.40/1.56 c 1 3104 (90%) CSP clauses are encoded (40779 clauses, 665928 bytes)
1.40/1.58 c 1 3448 (100%) CSP clauses are encoded (46082 clauses, 762562 bytes)
1.40/1.58 c 1 3448 CSP clauses encoded
1.40/1.58 c 1 Writing map file : HOME/temp.map
1.40/1.58 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.40/1.58 c 1 SAT : 3600 SAT variables, 46082 SAT clauses, 762562 bytes
1.40/1.58 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.48/1.62 c 1 SOLVING HOME/temp.cnf
1.48/1.62 c 1 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.06/1822.20 sh: line 1: 9444 Terminated HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.06/1822.21 c 1822 DECODING HOME/temp.out WITH HOME/temp.map
1800.06/1822.21 c 1822 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1800.06/1822.22 c ERROR INTERRUPTED
1800.06/1822.28 s UNKNOWN
1800.06/1822.28 c 1822 CPU 1799.65 (0.03 0 1799.62 0.42)
1800.06/1822.28 c 1822 END Sat Jul 5 03:50:30 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1082115-1215220807/watcher-1082115-1215220807 -o /tmp/evaluation-result-1082115-1215220807/solver-1082115-1215220807 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1082115-1215220807.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.04 2.00 4/74 9420
/proc/meminfo: memFree=1673528/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=12268 CPUtime=0
/proc/9420/stat : 9420 (sugar) R 9418 9420 8774 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 2001052939 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 255539772005 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/9420/statm: 3067 316 241 3 0 167 0
[startup+0.0504321 s]
/proc/loadavg: 2.05 2.04 2.00 4/74 9420
/proc/meminfo: memFree=1673528/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=0.03
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 837 0 0 0 3 0 0 0 18 0 1 0 2001052939 13926400 792 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101921 s]
/proc/loadavg: 2.05 2.04 2.00 4/74 9420
/proc/meminfo: memFree=1673528/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=0.03
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001052939 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301107 s]
/proc/loadavg: 2.05 2.04 2.00 4/74 9420
/proc/meminfo: memFree=1673528/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=0.03
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001052939 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701167 s]
/proc/loadavg: 2.05 2.04 2.00 4/74 9420
/proc/meminfo: memFree=1673528/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=0.61
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 956 4798 0 1 3 0 54 4 16 0 1 0 2001052939 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 13600
[startup+1.50222 s]
/proc/loadavg: 2.05 2.04 2.00 4/85 9442
/proc/meminfo: memFree=1665632/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=0.61
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 974 4798 0 1 3 0 54 4 15 0 1 0 2001052939 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 797 370 3 0 500 0
[pid=9433] ppid=9420 vsize=5356 CPUtime=0
/proc/9433/stat : 9433 (sh) S 9420 9420 8774 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2001053007 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9433/statm: 1339 233 193 169 0 50 0
[pid=9434] ppid=9433 vsize=868484 CPUtime=0.79
/proc/9434/stat : 9434 (java) S 9433 9420 8774 0 -1 0 6509 0 1 0 74 5 0 0 18 0 9 0 2001053007 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/9434/statm: 217121 5738 2562 9 0 211668 0
[pid=9434/tid=9435] ppid=9433 vsize=868484 CPUtime=0.5
/proc/9434/task/9435/stat : 9435 (java) R 9433 9420 8774 0 -1 64 2710 0 1 0 47 3 0 0 21 0 9 0 2001053008 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4125952085 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9434/tid=9436] ppid=9433 vsize=868484 CPUtime=0.06
/proc/9434/task/9436/stat : 9436 (java) S 9433 9420 8774 0 -1 64 1645 0 0 0 6 0 0 0 16 0 9 0 2001053009 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=9434/tid=9437] ppid=9433 vsize=868484 CPUtime=0
/proc/9434/task/9437/stat : 9437 (java) S 9433 9420 8774 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2001053010 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9434/tid=9438] ppid=9433 vsize=868484 CPUtime=0
/proc/9434/task/9438/stat : 9438 (java) S 9433 9420 8774 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2001053010 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9434/tid=9439] ppid=9433 vsize=868484 CPUtime=0
/proc/9434/task/9439/stat : 9439 (java) S 9433 9420 8774 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2001053012 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9434/tid=9440] ppid=9433 vsize=868484 CPUtime=0.21
/proc/9434/task/9440/stat : 9440 (java) S 9433 9420 8774 0 -1 64 1461 0 0 0 20 1 0 0 16 0 9 0 2001053012 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9434/tid=9441] ppid=9433 vsize=868484 CPUtime=0
/proc/9434/task/9441/stat : 9441 (java) S 9433 9420 8774 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2001053012 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=9434/tid=9442] ppid=9433 vsize=868484 CPUtime=0
/proc/9434/task/9442/stat : 9442 (java) S 9433 9420 8774 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2001053012 889327616 5738 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 887440
[startup+3.10237 s]
/proc/loadavg: 2.05 2.04 2.00 3/77 9444
/proc/meminfo: memFree=1668448/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=2644 CPUtime=1.45
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 564 0 0 0 121 24 0 0 25 0 1 0 2001053102 2707456 550 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 661 550 42 102 0 556 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 21600
[startup+6.30167 s]
/proc/loadavg: 2.05 2.04 2.00 3/77 9444
/proc/meminfo: memFree=1667808/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=3040 CPUtime=4.62
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 688 0 0 0 438 24 0 0 25 0 1 0 2001053102 3112960 674 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 760 674 42 102 0 655 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 21996
[startup+12.7023 s]
/proc/loadavg: 2.05 2.03 2.00 3/77 9444
/proc/meminfo: memFree=1667424/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=3288 CPUtime=10.95
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 744 0 0 0 1071 24 0 0 25 0 1 0 2001053102 3366912 727 996147200 134512640 134931368 4294956256 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 822 727 48 102 0 717 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 22244
[startup+25.5015 s]
/proc/loadavg: 2.04 2.03 2.00 3/77 9444
/proc/meminfo: memFree=1667168/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=3524 CPUtime=23.63
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 808 0 0 0 2339 24 0 0 25 0 1 0 2001053102 3608576 791 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 881 791 48 102 0 776 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 22480
[startup+51.1018 s]
/proc/loadavg: 2.02 2.03 2.00 3/77 9444
/proc/meminfo: memFree=1666784/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=3764 CPUtime=49
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 877 0 0 0 4876 24 0 0 25 0 1 0 2001053102 3854336 860 996147200 134512640 134931368 4294956256 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 941 860 48 102 0 836 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 22720
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/77 9444
/proc/meminfo: memFree=1661472/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=4332 CPUtime=99.72
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 1018 0 0 0 9948 24 0 0 25 0 1 0 2001053102 4435968 1001 996147200 134512640 134931368 4294956256 18446744073709551615 134525941 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 1083 1001 48 102 0 978 0
Current children cumulated CPU time (s) 101.21
Current children cumulated vsize (KiB) 23288
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/77 9444
/proc/meminfo: memFree=1660768/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=4928 CPUtime=159.15
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 1112 0 0 0 15891 24 0 0 25 0 1 0 2001053102 5046272 1095 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 1232 1095 48 102 0 1127 0
Current children cumulated CPU time (s) 160.64
Current children cumulated vsize (KiB) 23884
[startup+222.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/77 9444
/proc/meminfo: memFree=1660384/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=7588 CPUtime=1224.09
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3120 0 0 0 122380 29 0 0 25 0 1 0 2001053102 7770112 1794 996147200 134512640 134931368 4294956256 18446744073709551615 134525797 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 1897 1794 48 102 0 1792 0
Current children cumulated CPU time (s) 1225.58
Current children cumulated vsize (KiB) 26544
[startup+1302.3 s]
/proc/loadavg: 2.00 2.07 2.04 3/87 9505
/proc/meminfo: memFree=1674440/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=7852 CPUtime=1283.53
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3234 0 0 0 128324 29 0 0 25 0 1 0 2001053102 8040448 1849 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 1963 1849 48 102 0 1858 0
Current children cumulated CPU time (s) 1285.02
Current children cumulated vsize (KiB) 26808
[startup+1362.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/87 9505
/proc/meminfo: memFree=1674504/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=7788 CPUtime=1342.98
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3293 0 0 0 134268 30 0 0 25 0 1 0 2001053102 7974912 1849 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 1947 1849 48 102 0 1842 0
Current children cumulated CPU time (s) 1344.47
Current children cumulated vsize (KiB) 26744
[startup+1422.31 s]
/proc/loadavg: 2.00 2.04 2.03 3/87 9505
/proc/meminfo: memFree=1674440/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=7920 CPUtime=1402.41
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3362 0 0 0 140211 30 0 0 25 0 1 0 2001053102 8110080 1859 996147200 134512640 134931368 4294956256 18446744073709551615 134525775 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 1980 1859 48 102 0 1875 0
Current children cumulated CPU time (s) 1403.9
Current children cumulated vsize (KiB) 26876
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/87 9505
/proc/meminfo: memFree=1674248/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=8052 CPUtime=1461.85
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3459 0 0 0 146155 30 0 0 25 0 1 0 2001053102 8245248 1894 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 2013 1894 48 102 0 1908 0
Current children cumulated CPU time (s) 1463.34
Current children cumulated vsize (KiB) 27008
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/87 9505
/proc/meminfo: memFree=1673992/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=8184 CPUtime=1521.28
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3582 0 0 0 152098 30 0 0 25 0 1 0 2001053102 8380416 1955 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 2046 1955 48 102 0 1941 0
Current children cumulated CPU time (s) 1522.77
Current children cumulated vsize (KiB) 27140
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/87 9505
/proc/meminfo: memFree=1673736/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=8448 CPUtime=1580.73
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3706 0 0 0 158042 31 0 0 25 0 1 0 2001053102 8650752 2017 996147200 134512640 134931368 4294956256 18446744073709551615 134525703 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 2112 2017 48 102 0 2007 0
Current children cumulated CPU time (s) 1582.22
Current children cumulated vsize (KiB) 27404
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/87 9505
/proc/meminfo: memFree=1673864/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=8516 CPUtime=1640.16
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3777 0 0 0 163985 31 0 0 25 0 1 0 2001053102 8720384 1981 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 2129 1981 48 102 0 2024 0
Current children cumulated CPU time (s) 1641.65
Current children cumulated vsize (KiB) 27472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/87 9505
/proc/meminfo: memFree=1673800/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=8648 CPUtime=1699.6
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3856 0 0 0 169929 31 0 0 25 0 1 0 2001053102 8855552 1995 996147200 134512640 134931368 4294956256 18446744073709551615 134525807 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 2162 1995 48 102 0 2057 0
Current children cumulated CPU time (s) 1701.09
Current children cumulated vsize (KiB) 27604
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 9505
/proc/meminfo: memFree=1673608/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=8780 CPUtime=1759.04
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3953 0 0 0 175873 31 0 0 25 0 1 0 2001053102 8990720 2027 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 2195 2027 48 102 0 2090 0
Current children cumulated CPU time (s) 1760.53
Current children cumulated vsize (KiB) 27736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1822.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/87 9505
/proc/meminfo: memFree=1673608/2055920 swapFree=4180436/4192956
[pid=9420] ppid=9418 vsize=13600 CPUtime=1.49
/proc/9420/stat : 9420 (sugar) S 9418 9420 8774 0 -1 4194304 1022 11632 0 2 3 0 136 10 16 0 1 0 2001052939 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 255548502114 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/9420/statm: 3400 798 370 3 0 500 0
[pid=9443] ppid=9420 vsize=5356 CPUtime=0
/proc/9443/stat : 9443 (sh) S 9420 9420 8774 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001053101 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 255539602244 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9443/statm: 1339 232 193 169 0 50 0
[pid=9444] ppid=9443 vsize=8780 CPUtime=1798.57
/proc/9444/stat : 9444 (picosat) R 9443 9420 8774 0 -1 4194304 3973 0 0 0 179826 31 0 0 25 0 1 0 2001053102 8990720 2047 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/9444/statm: 2195 2047 48 102 0 2090 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 27736
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1822.29
CPU time (s): 1800.11
CPU user time (s): 1799.67
CPU system time (s): 0.439933
CPU usage (%): 98.7828
Max. virtual memory (cumulated for all children) (KiB): 887440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.439933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17075
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= 1497
involuntary context switches= 70762
runsolver used 2.11268 second user time and 6.18806 second system time
The end
Begin job on node48 at 2008-07-05 03:20:07
IDJOB=1082115
IDBENCH=57184
IDSOLVER=345
FILE ID=node48/1082115-1215220807
PBS_JOBID= 7881824
Free space on /tmp= 66540 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/langford3/normalized-langford-3-16.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1082115-1215220807/watcher-1082115-1215220807 -o /tmp/evaluation-result-1082115-1215220807/solver-1082115-1215220807 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1082115-1215220807.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 17d5a229380d5fbf34b59ff6e8d706d0
RANDOM SEED=592407844
node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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: 1674008 kB
Buffers: 67392 kB
Cached: 181988 kB
SwapCached: 6436 kB
Active: 247192 kB
Inactive: 76232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1674008 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 1988 kB
Writeback: 0 kB
Mapped: 81160 kB
Slab: 43704 kB
Committed_AS: 4262296 kB
PageTables: 1884 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= 66520 MiB
End job on node48 at 2008-07-05 03:50:32