0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Sun Jul 6 01:03:47 2008
0.00/0.04 c 0 PID 26532
0.03/0.05 c 0 HOST node39.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1102407-1215299027.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-1102407-1215299027.xml' 'HOME/temp.csp'
0.03/0.61 c 0 1 domains, 50 variables, 0 predicates, 465 relations, 465 constraints
0.03/0.63 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.63 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.58/0.71 c 0 Parsing HOME/temp.csp
1.02/1.19 c 1 parsed 981 expressions
1.02/1.19 c 1 Heap : 7 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.02/1.19 c 1 Converting to clausal form CSP
1.12/1.22 c 1 converted 99 (10%) expressions
1.12/1.22 c 1 converted 197 (20%) expressions
1.12/1.23 c 1 converted 295 (30%) expressions
1.12/1.29 c 1 converted 393 (40%) expressions
1.12/1.29 c 1 converted 491 (50%) expressions
1.22/1.34 c 1 converted 589 (60%) expressions
1.22/1.37 c 1 converted 687 (70%) expressions
1.32/1.41 c 1 converted 785 (80%) expressions
1.32/1.44 c 1 converted 883 (90%) expressions
1.43/1.56 c 1 converted 981 (100%) expressions
1.43/1.56 c 1 CSP : 50 integers, 0 booleans, 465 clauses, largest domain size 23
1.43/1.56 c 1 Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.43/1.56 c 1 Propagation in CSP
1.43/1.56 c 1 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.43/1.56 c 1 CSP : 50 integers, 0 booleans, 465 clauses, largest domain size 23
1.43/1.56 c 1 Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.43/1.57 c 1 Simplifing CSP by introducing new Boolean variables
1.43/1.57 c 1 CSP : 50 integers, 0 booleans, 465 clauses, largest domain size 23
1.43/1.57 c 1 Heap : 15 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.53/1.63 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.53/1.63 c 1 5 (10%) CSP integer variables are encoded (105 clauses, 1013 bytes)
1.53/1.64 c 1 10 (20%) CSP integer variables are encoded (210 clauses, 2168 bytes)
1.53/1.64 c 1 15 (30%) CSP integer variables are encoded (315 clauses, 3323 bytes)
1.53/1.64 c 1 20 (40%) CSP integer variables are encoded (420 clauses, 4478 bytes)
1.53/1.64 c 1 25 (50%) CSP integer variables are encoded (525 clauses, 5633 bytes)
1.53/1.64 c 1 30 (60%) CSP integer variables are encoded (630 clauses, 6788 bytes)
1.53/1.65 c 1 35 (70%) CSP integer variables are encoded (735 clauses, 7943 bytes)
1.53/1.65 c 1 40 (80%) CSP integer variables are encoded (840 clauses, 9098 bytes)
1.53/1.65 c 1 45 (90%) CSP integer variables are encoded (945 clauses, 10253 bytes)
1.53/1.65 c 1 50 (100%) CSP integer variables are encoded (1050 clauses, 11601 bytes)
1.62/1.71 c 1 47 (10%) CSP clauses are encoded (5236 clauses, 81823 bytes)
1.62/1.74 c 1 93 (20%) CSP clauses are encoded (9358 clauses, 155607 bytes)
1.62/1.77 c 1 140 (30%) CSP clauses are encoded (13689 clauses, 238618 bytes)
1.62/1.80 c 1 186 (40%) CSP clauses are encoded (18014 clauses, 321572 bytes)
1.73/1.82 c 1 233 (50%) CSP clauses are encoded (22159 clauses, 401619 bytes)
1.73/1.85 c 1 279 (60%) CSP clauses are encoded (26562 clauses, 486187 bytes)
1.73/1.87 c 1 326 (70%) CSP clauses are encoded (30697 clauses, 565937 bytes)
1.82/1.90 c 2 372 (80%) CSP clauses are encoded (34898 clauses, 646771 bytes)
1.82/1.93 c 2 419 (90%) CSP clauses are encoded (39205 clauses, 730623 bytes)
1.82/1.96 c 2 465 (100%) CSP clauses are encoded (43548 clauses, 816949 bytes)
1.82/1.96 c 2 465 CSP clauses encoded
1.82/1.96 c 2 Writing map file : HOME/temp.map
1.82/1.96 c 2 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.82/1.96 c 2 SAT : 1100 SAT variables, 43548 SAT clauses, 816949 bytes
1.82/1.96 c 2 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.82/1.99 c 2 SOLVING HOME/temp.cnf
1.82/1.99 c 2 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.07/1802.60 sh: line 1: 26556 Terminated HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out' 2>&1
1800.07/1802.61 c 1802 DECODING HOME/temp.out WITH HOME/temp.map
1800.07/1802.61 c 1802 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.07/1802.61 c ERROR INTERRUPTED
1800.07/1802.61 s UNKNOWN
1800.07/1802.62 c 1802 CPU 1799.61 (0.03 0.01 1799.58 0.46)
1800.07/1802.62 c 1802 END Sun Jul 6 01:33:49 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-1102407-1215299027/watcher-1102407-1215299027 -o /tmp/evaluation-result-1102407-1215299027/solver-1102407-1215299027 -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-1102407-1215299027.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: 1.92 2.00 1.99 4/86 26532
/proc/meminfo: memFree=1653016/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=12268 CPUtime=0
/proc/26532/stat : 26532 (sugar) R 26530 26532 26495 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 652836255 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 231493827173 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/26532/statm: 3067 316 241 3 0 167 0
[startup+0.0503051 s]
/proc/loadavg: 1.92 2.00 1.99 4/86 26532
/proc/meminfo: memFree=1653016/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=0.03
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 837 0 0 0 2 1 0 0 18 0 1 0 652836255 13926400 792 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101542 s]
/proc/loadavg: 1.92 2.00 1.99 4/86 26532
/proc/meminfo: memFree=1653016/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=0.03
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 900 127 0 0 2 1 0 0 19 0 1 0 652836255 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.30174 s]
/proc/loadavg: 1.92 2.00 1.99 4/86 26532
/proc/meminfo: memFree=1653016/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=0.03
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 900 127 0 0 2 1 0 0 19 0 1 0 652836255 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.7018 s]
/proc/loadavg: 1.92 2.00 1.99 4/86 26532
/proc/meminfo: memFree=1653016/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=0.58
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 956 4920 0 1 2 1 51 4 16 0 1 0 652836255 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 13600
[startup+1.50292 s]
/proc/loadavg: 1.92 2.00 1.99 3/97 26554
/proc/meminfo: memFree=1640960/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=0.59
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 973 4920 0 1 3 1 51 4 15 0 1 0 652836255 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 797 370 3 0 500 0
[pid=26545] ppid=26532 vsize=5356 CPUtime=0
/proc/26545/stat : 26545 (sh) S 26532 26532 26495 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 652836319 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26545/statm: 1339 233 193 169 0 50 0
[pid=26546] ppid=26545 vsize=864324 CPUtime=0.84
/proc/26546/stat : 26546 (java) S 26545 26532 26495 0 -1 0 8423 0 1 0 80 4 0 0 18 0 9 0 652836319 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26546/statm: 216081 7698 2540 9 0 210656 0
[pid=26546/tid=26547] ppid=26545 vsize=864324 CPUtime=0.46
/proc/26546/task/26547/stat : 26547 (java) R 26545 26532 26495 0 -1 64 2590 0 1 0 46 0 0 0 23 0 9 0 652836320 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26546/tid=26548] ppid=26545 vsize=864324 CPUtime=0.26
/proc/26546/task/26548/stat : 26548 (java) R 26545 26532 26495 0 -1 64 4797 0 0 0 24 2 0 0 16 0 9 0 652836321 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 103735769 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26546/tid=26549] ppid=26545 vsize=864324 CPUtime=0
/proc/26546/task/26549/stat : 26549 (java) S 26545 26532 26495 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 652836321 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26546/tid=26550] ppid=26545 vsize=864324 CPUtime=0
/proc/26546/task/26550/stat : 26550 (java) S 26545 26532 26495 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 652836321 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26546/tid=26551] ppid=26545 vsize=864324 CPUtime=0
/proc/26546/task/26551/stat : 26551 (java) S 26545 26532 26495 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 652836323 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26546/tid=26552] ppid=26545 vsize=864324 CPUtime=0.09
/proc/26546/task/26552/stat : 26552 (java) S 26545 26532 26495 0 -1 64 339 0 0 0 9 0 0 0 16 0 9 0 652836323 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26546/tid=26553] ppid=26545 vsize=864324 CPUtime=0
/proc/26546/task/26553/stat : 26553 (java) S 26545 26532 26495 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 652836323 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26546/tid=26554] ppid=26545 vsize=864324 CPUtime=0
/proc/26546/task/26554/stat : 26554 (java) S 26545 26532 26495 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 652836323 885067776 7698 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 883280
[startup+3.10115 s]
/proc/loadavg: 1.92 2.00 1.99 3/89 26556
/proc/meminfo: memFree=1648832/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=2528 CPUtime=1.09
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 554 0 0 0 83 26 0 0 25 0 1 0 652836455 2588672 540 996147200 134512640 134931368 4294956256 18446744073709551615 134529449 0 0 4096 0 0 0 0 17 1 0 0
/proc/26556/statm: 632 540 42 102 0 527 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 21484
[startup+6.30162 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 26556
/proc/meminfo: memFree=1646464/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=3348 CPUtime=4.25
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 763 0 0 0 399 26 0 0 25 0 1 0 652836455 3428352 747 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/26556/statm: 837 747 48 102 0 732 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 22304
[startup+12.7016 s]
/proc/loadavg: 2.01 2.02 2.00 3/89 26556
/proc/meminfo: memFree=1646088/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=3576 CPUtime=10.58
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 833 0 0 0 1032 26 0 0 25 0 1 0 652836455 3661824 817 996147200 134512640 134931368 4294956256 18446744073709551615 134525769 0 0 4096 0 0 0 0 17 1 0 0
/proc/26556/statm: 894 817 48 102 0 789 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 22532
[startup+25.5015 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 26556
/proc/meminfo: memFree=1645512/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=4168 CPUtime=23.26
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 960 0 0 0 2299 27 0 0 25 0 1 0 652836455 4268032 944 996147200 134512640 134931368 4294956256 18446744073709551615 134522692 0 0 4096 0 0 0 0 17 1 0 0
/proc/26556/statm: 1042 944 48 102 0 937 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 23124
[startup+51.1012 s]
/proc/loadavg: 2.08 2.03 2.01 3/89 26556
/proc/meminfo: memFree=1645000/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=4628 CPUtime=48.61
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 1100 0 0 0 4834 27 0 0 25 0 1 0 652836455 4739072 1084 996147200 134512640 134931368 4294956256 18446744073709551615 134525907 0 0 4096 0 0 0 0 17 1 0 0
/proc/26556/statm: 1157 1084 48 102 0 1052 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 23584
[startup+102.307 s]
/proc/loadavg: 2.22 2.07 2.02 3/89 26556
/proc/meminfo: memFree=1644040/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=5684 CPUtime=99.3
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 1332 0 0 0 9903 27 0 0 25 0 1 0 652836455 5820416 1297 996147200 134512640 134931368 4294956256 18446744073709551615 134525907 0 0 4096 0 0 0 0 17 1 0 0
/proc/26556/statm: 1421 1297 48 102 0 1316 0
Current children cumulated CPU time (s) 101.19
Current children cumulated vsize (KiB) 24640
[startup+162.302 s]
/proc/loadavg: 2.11 2.07 2.02 3/89 26556
/proc/meminfo: memFree=1643208/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=6464 CPUtime=158.7
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 1688 0 0 0 15843 27 0 0 25 0 1 0 652836455 6619136 1475 996147200 134512640 134931368 4294956256 18446744073709551615 134522839 0 0 4096 0 0 0 0 17 1 0 0
/proc/26556/statm: 1616 1475 48 102 0 1511 0
Current children cumulated CPU time (s) 160.59
Current children cumulated vsize (KiB) 25420
[startup+222.302 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 26608
/proc/meminfo: memFree=1689472/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=11024 CPUtime=1238.11
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 5323 0 0 0 123778 33 0 0 25 0 1 0 652836455 11288576 2616 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 2756 2616 48 102 0 2651 0
Current children cumulated CPU time (s) 1240
Current children cumulated vsize (KiB) 29980
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 26608
/proc/meminfo: memFree=1600448/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=10732 CPUtime=1298.09
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 5411 0 0 0 129776 33 0 0 25 0 1 0 652836455 10989568 2566 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 2683 2566 48 102 0 2578 0
Current children cumulated CPU time (s) 1299.98
Current children cumulated vsize (KiB) 29688
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 26608
/proc/meminfo: memFree=1600320/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=10864 CPUtime=1358.06
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 5512 0 0 0 135772 34 0 0 25 0 1 0 652836455 11124736 2587 996147200 134512640 134931368 4294956256 18446744073709551615 134522765 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 2716 2587 48 102 0 2611 0
Current children cumulated CPU time (s) 1359.95
Current children cumulated vsize (KiB) 29820
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 26608
/proc/meminfo: memFree=1597504/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=11128 CPUtime=1418.04
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 5740 0 0 0 141770 34 0 0 25 0 1 0 652836455 11395072 2655 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 2782 2655 48 102 0 2677 0
Current children cumulated CPU time (s) 1419.93
Current children cumulated vsize (KiB) 30084
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 26608
/proc/meminfo: memFree=1589824/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=11524 CPUtime=1478.01
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 5935 0 0 0 147767 34 0 0 25 0 1 0 652836455 11800576 2766 996147200 134512640 134931368 4294956256 18446744073709551615 134525800 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 2881 2766 48 102 0 2776 0
Current children cumulated CPU time (s) 1479.9
Current children cumulated vsize (KiB) 30480
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 26608
/proc/meminfo: memFree=1581120/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=11656 CPUtime=1537.98
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 6043 0 0 0 153764 34 0 0 25 0 1 0 652836455 11935744 2790 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 2914 2790 48 102 0 2809 0
Current children cumulated CPU time (s) 1539.87
Current children cumulated vsize (KiB) 30612
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 26608
/proc/meminfo: memFree=1573952/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=11788 CPUtime=1597.95
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 6175 0 0 0 159761 34 0 0 25 0 1 0 652836455 12070912 2838 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 2947 2838 48 102 0 2842 0
Current children cumulated CPU time (s) 1599.84
Current children cumulated vsize (KiB) 30744
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 26608
/proc/meminfo: memFree=1567360/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=11788 CPUtime=1657.93
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 6259 0 0 0 165759 34 0 0 25 0 1 0 652836455 12070912 2838 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 2947 2838 48 102 0 2842 0
Current children cumulated CPU time (s) 1659.82
Current children cumulated vsize (KiB) 30744
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 26608
/proc/meminfo: memFree=1567360/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=12300 CPUtime=1717.9
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 6355 0 0 0 171755 35 0 0 25 0 1 0 652836455 12595200 2846 996147200 134512640 134931368 4294956256 18446744073709551615 134525760 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 3075 2846 48 102 0 2970 0
Current children cumulated CPU time (s) 1719.79
Current children cumulated vsize (KiB) 31256
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 26608
/proc/meminfo: memFree=1566912/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=12696 CPUtime=1777.88
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 6532 0 0 0 177753 35 0 0 25 0 1 0 652836455 13000704 2935 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 3174 2935 48 102 0 3069 0
Current children cumulated CPU time (s) 1779.77
Current children cumulated vsize (KiB) 31652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 26608
/proc/meminfo: memFree=1566912/2055920 swapFree=4180840/4192956
[pid=26532] ppid=26530 vsize=13600 CPUtime=1.89
/proc/26532/stat : 26532 (sugar) S 26530 26532 26495 0 -1 4194304 1021 13914 0 2 3 1 175 10 16 0 1 0 652836255 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231502557282 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26532/statm: 3400 798 370 3 0 500 0
[pid=26555] ppid=26532 vsize=5356 CPUtime=0
/proc/26555/stat : 26555 (sh) S 26532 26532 26495 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 652836455 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26555/statm: 1339 232 193 169 0 50 0
[pid=26556] ppid=26555 vsize=12696 CPUtime=1798.18
/proc/26556/stat : 26556 (picosat) R 26555 26532 26495 0 -1 4194304 6532 0 0 0 179783 35 0 0 25 0 1 0 652836455 13000704 2935 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/26556/statm: 3174 2935 48 102 0 3069 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 31652
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): 1802.62
CPU time (s): 1800.11
CPU user time (s): 1799.62
CPU system time (s): 0.483926
CPU usage (%): 99.8605
Max. virtual memory (cumulated for all children) (KiB): 883392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.483926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22178
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= 2244
involuntary context switches= 13783
runsolver used 1.9977 second user time and 6.29504 second system time
The end
Begin job on node39 at 2008-07-06 01:03:47
IDJOB=1102407
IDBENCH=60127
IDSOLVER=345
FILE ID=node39/1102407-1215299027
PBS_JOBID= 7882452
Free space on /tmp= 66552 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-7_ext.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-1102407-1215299027/watcher-1102407-1215299027 -o /tmp/evaluation-result-1102407-1215299027/solver-1102407-1215299027 -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-1102407-1215299027.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0795e03754dd9c3caaa8962f3ff2581e
RANDOM SEED=1892388083
node39.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.267
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.267
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: 1653496 kB
Buffers: 62420 kB
Cached: 203644 kB
SwapCached: 6276 kB
Active: 239320 kB
Inactive: 106584 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1653496 kB
SwapTotal: 4192956 kB
SwapFree: 4180840 kB
Dirty: 1880 kB
Writeback: 0 kB
Mapped: 94628 kB
Slab: 41076 kB
Committed_AS: 1861264 kB
PageTables: 2424 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= 66556 MiB
End job on node39 at 2008-07-06 01:33:51