0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sat Jul 5 09:01:18 2008
0.00/0.04 c 0 PID 10449
0.00/0.05 c 0 HOST node69.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1086801-1215241278.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1086801-1215241278.xml' 'HOME/temp.csp'
0.03/0.69 c 1 4 domains, 400 variables, 6 predicates, 0 relations, 3003 constraints
0.03/0.73 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.73 c 1 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.65/0.81 c 1 Parsing HOME/temp.csp
0.65/1.04 c 1 parsed 3413 expressions
0.65/1.05 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.65/1.05 c 1 Converting to clausal form CSP
0.65/1.09 c 1 converted 342 (10%) expressions
1.79/1.99 c 2 converted 683 (20%) expressions
2.58/2.79 c 3 converted 1024 (30%) expressions
3.37/3.57 c 4 converted 1366 (40%) expressions
4.06/4.23 c 5 converted 1707 (50%) expressions
4.66/4.89 c 5 converted 2048 (60%) expressions
5.36/5.58 c 6 converted 2390 (70%) expressions
6.05/6.22 c 7 converted 2731 (80%) expressions
6.64/6.83 c 7 converted 3072 (90%) expressions
7.23/7.45 c 8 converted 3413 (100%) expressions
7.23/7.45 c 8 CSP : 785 integers, 8245 booleans, 18231 clauses, largest domain size 2601
7.23/7.45 c 8 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.23/7.45 c 8 Propagation in CSP
7.82/8.04 c 8 17460 values, 0 unsatisfiable literals, and 0 valid clauses are removed
7.82/8.04 c 8 CSP : 785 integers, 8245 booleans, 18231 clauses, largest domain size 2601
7.82/8.04 c 8 Heap : 11 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.82/8.05 c 8 Simplifing CSP by introducing new Boolean variables
8.02/8.20 c 8 CSP : 785 integers, 14919 booleans, 24905 clauses, largest domain size 2601
8.02/8.20 c 8 Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.12/8.30 c 9 Encoding CSP to SAT : HOME/temp.cnf
10.10/10.32 c 11 79 (10%) CSP integer variables are encoded (53338 clauses, 777956 bytes)
11.99/12.29 c 13 157 (20%) CSP integer variables are encoded (106328 clauses, 1585759 bytes)
13.96/14.29 c 15 236 (30%) CSP integer variables are encoded (160016 clauses, 2498455 bytes)
16.04/16.36 c 17 314 (40%) CSP integer variables are encoded (214460 clauses, 3424003 bytes)
18.02/18.37 c 19 393 (50%) CSP integer variables are encoded (267852 clauses, 4331667 bytes)
18.52/18.80 c 19 471 (60%) CSP integer variables are encoded (455791 clauses, 7526630 bytes)
18.72/19.05 c 19 550 (70%) CSP integer variables are encoded (652340 clauses, 10867963 bytes)
19.01/19.31 c 20 628 (80%) CSP integer variables are encoded (850946 clauses, 14244265 bytes)
19.21/19.56 c 20 707 (90%) CSP integer variables are encoded (1051299 clauses, 17754239 bytes)
19.52/19.83 c 20 785 (100%) CSP integer variables are encoded (1254021 clauses, 21605957 bytes)
46.88/47.56 c 48 2491 (10%) CSP clauses are encoded (3224466 clauses, 65665882 bytes)
70.54/71.45 c 72 4981 (20%) CSP clauses are encoded (4973730 clauses, 105423734 bytes)
87.24/88.36 c 89 7472 (30%) CSP clauses are encoded (6576513 clauses, 142403841 bytes)
100.20/101.45 c 102 9962 (40%) CSP clauses are encoded (7953365 clauses, 176002653 bytes)
110.49/111.82 c 112 12453 (50%) CSP clauses are encoded (9198291 clauses, 206594540 bytes)
119.30/120.73 c 121 14943 (60%) CSP clauses are encoded (10326107 clauses, 234802290 bytes)
126.70/128.23 c 129 17434 (70%) CSP clauses are encoded (11367677 clauses, 261280285 bytes)
134.31/135.90 c 136 19924 (80%) CSP clauses are encoded (12378372 clauses, 286863964 bytes)
141.03/142.78 c 143 22415 (90%) CSP clauses are encoded (13428183 clauses, 313564036 bytes)
147.73/149.55 c 150 24905 (100%) CSP clauses are encoded (14400083 clauses, 338425037 bytes)
147.73/149.55 c 150 24905 CSP clauses encoded
147.73/149.55 c 150 Writing map file : HOME/temp.map
147.83/149.63 c 150 Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
147.83/149.63 c 150 SAT : 1269725 SAT variables, 14400083 SAT clauses, 338425037 bytes
147.83/149.63 c 150 Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
147.83/149.69 c 150 SOLVING HOME/temp.cnf
147.83/149.69 c 150 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
147.83/149.70 c 150 This is MiniSat 2.0 beta
147.83/149.70 c 150 WARNING: for repeatability, setting FPU to use double precision
147.83/149.70 c 150 ============================[ Problem Statistics ]=============================
147.83/149.70 c 150 | |
147.90/149.70 c 150 | Number of variables: 1269725 |
147.90/149.70 c 150 | Number of clauses: 14400083 |
156.10/158.04 c 158 | Parsing time: 7.27 s |
156.49/158.43 c 159 ============================[ Search Statistics ]==============================
156.49/158.43 c 159 | Conflicts | ORIGINAL | LEARNT | Progress |
156.49/158.43 c 159 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
156.49/158.43 c 159 ===============================================================================
156.49/158.43 c 159 | 0 | 1269721 14400079 38983419 | 4800026 0 nan | 0.000 % |
156.89/158.87 c 159 | 100 | 1269721 14400079 38983419 | 5280028 100 3 | 0.000 % |
158.07/160.09 c 160 | 250 | 1269721 14400079 38983419 | 5808031 250 3 | 0.000 % |
160.16/162.10 c 162 | 475 | 1269713 14400079 38983419 | 6388835 472 4 | 0.541 % |
163.02/165.04 c 165 | 812 | 1269700 14400079 38983419 | 7027718 805 5 | 0.982 % |
166.49/168.51 c 169 | 1319 | 1269677 14400079 38983419 | 7730490 1303 5 | 1.683 % |
174.61/176.79 c 177 | 2078 | 1235613 14076035 38148615 | 8503539 2051 5 | 2.795 % |
187.39/189.66 c 190 | 3217 | 1235588 14076035 38148615 | 9353893 3182 6 | 3.418 % |
208.49/210.95 c 211 | 4925 | 1171361 13388765 36316094 | 10289282 4610 6 | 8.435 % |
245.97/248.97 c 249 | 7487 | 1096638 12590603 34187560 | 11318211 6759 6 | 19.459 % |
300.45/303.93 c 304 | 11331 | 897802 10467545 28514143 | 12450032 9450 6 | 29.490 % |
363.26/367.33 c 368 | 17098 | 794470 9359048 25553087 | 13695035 14383 6 | 38.403 % |
461.52/466.58 c 467 | 25748 | 672048 7990219 21882225 | 15064538 21592 7 | 47.562 % |
614.08/620.52 c 621 ===============================================================================
614.08/620.57 c 621 restarts : 13
614.08/620.57 c 621 conflicts : 36199 (78 /sec)
614.08/620.57 c 621 decisions : 2368894 (0.69 % random) (5092 /sec)
614.08/620.57 c 621 propagations : 1064967716 (2289233 /sec)
614.08/620.57 c 621 conflict literals : 249486 (13.28 % deleted)
614.08/620.57 c 621 Memory used : 706.88 MB
614.08/620.57 c 621 CPU time : 465.207 s
614.08/620.57 c 621
614.65/621.11 c 621 SATISFIABLE
614.75/621.23 c 622 DECODING HOME/temp.out WITH HOME/temp.map
614.75/621.23 c 622 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
614.79/621.31 c 622 Decoding HOME/temp.out
617.21/623.72 s SATISFIABLE
617.21/623.73 v -2484 2372 1276 2008 1864 -1400 2600 2600 2092 -2284 2268 2392 2288 2600 2404 2172 1668 2552 2560 1384 1684 2416 -2576 -1380 -2560 2488 -1804 1296 2312 1644 -2456 2256 -1820 2088 2248 1236 1312 -1968 2484 -2304 2600 2340 2596 -2448 -2436 2288 2092 1864 2600 2192 1684 1984 2492 1472 1808 1428 1380 2048 1356 2540 -2396 -1884 1968 2536 2176 2024 -1680 2600 1680 1768 1892 2376 1492 1980 2068 1760 2552 1980 2600 1268 2244 1260 2348 -2248 1348 1680 1848 -2340 1424 2256 -1924 1932 2560 2432 2328 1464 2228 2352 2528 2600 1348 1860 1592 1756 1720 1288 2268 2444 1276 2236 1248 2008 1968 1348 1228 1612 -1204 1452 1592 1320 1668 2248 1344 1300 2284 2056 1328 1376 2180 1488 1652 1340 1508 2416 2600 1320 1520 1380 1764 2292 -2560 2272 2444 2040 1888 2440 -1308 -2488 1704 1720 1252 2028 -1308 1332 1596 1280 1692 -2600 1984 2048 1796 1636 -1328 2452 2560 1800 2000 1360 -2448 -2500 1796 2600 1628 1368 2220 -1424 -2560 2120 2408 1996 2232 2452 -2364 -1724 2196 2516 1552 2580 1724 -2048 1456 1528 2484 1932 1880 1344 2600 -1852 2348 1252 1292 1384 1368 2052 2448 2600 1376 1328 1520 2240 -2556 1360 -1572 1640 -1416 2176 -2600 1492 1340 1300 1860 1316 2556 -1764 1764 1380 -1840 1404 2560 -2412 1584 1556 1772 1480 1928 1672 1328 1228 2028 2228 2488 -1320 1808 1532 -1456 2280 1404 2132 2600 1336 1312 2560 -1360 2216 1340 -2444 2560 1496 2380 1320 2560 1420 2128 2560 1900 1904 2600 1456 1208 -2560 2528 -2400 1728 2308 -2020 2560 1632 1664 1892 1352 2560 -2512 1528 2244 -1496 2404 2152 -1444 1340 2288 1816 1824 2212 1236 1856 1388 2272 1732 2204 2600 1880 2560 2376 1768 2088 -2560 1412 2288 1644 2504 1524 2600 2244 -2560 2472 1296 1944 -2600 1880 1556 1652 2560 1988 1652 2300 1408 1596 1432 1268 -2020 2460 1984 1708 2136 2024 2356 -1452 1236 2600 -1544 1820 1964 1836 2092 -2512 1276 1972 -1416 -1212 2560 2444 1564 -1692 2388 1856 2396 1560 1920 1596 1768 1256 2344 -2252 2560 2008 2560 2464 1380 1464 1244 1940 1632 2080 2008 2496 2036 1896 1568 2412 1260 2052 1388 -1292 -1548 1532 2408 1288 -2600 1444 1924 2096 1256 -1272 1368 2136 2216 1768 1280 -1808 1840
617.21/623.74 c 624 Heap : 17 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
617.21/623.78 c 624 CPU 613.3 (0.03 0.01 613.27 3.96)
617.21/623.78 c 624 END Sat Jul 5 09:11:42 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-1086801-1215241278/watcher-1086801-1215241278 -o /tmp/evaluation-result-1086801-1215241278/solver-1086801-1215241278 -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/minisat -tmp=HOME/temp HOME/instance-1086801-1215241278.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.09 2.04 2.01 4/72 10449
/proc/meminfo: memFree=1710536/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=18572 CPUtime=0
/proc/10449/stat : 10449 (runsolver) R 10447 10449 9558 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003096709 19017728 292 996147200 4194304 4296836 548682068272 18446744073709551615 237947645223 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10449/statm: 4643 292 257 25 0 2626 0
[startup+0.107224 s]
/proc/loadavg: 2.09 2.04 2.01 4/72 10449
/proc/meminfo: memFree=1710536/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.03
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2003096709 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.201239 s]
/proc/loadavg: 2.09 2.04 2.01 4/72 10449
/proc/meminfo: memFree=1710536/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.03
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2003096709 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301249 s]
/proc/loadavg: 2.09 2.04 2.01 4/72 10449
/proc/meminfo: memFree=1710536/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.03
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2003096709 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701316 s]
/proc/loadavg: 2.09 2.04 2.01 4/72 10449
/proc/meminfo: memFree=1710536/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.03
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 918 127 0 0 3 0 0 0 15 0 1 0 2003096709 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50245 s]
/proc/loadavg: 2.09 2.04 2.01 3/83 10471
/proc/meminfo: memFree=1700720/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.65
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 973 6667 0 1 3 0 58 4 15 0 1 0 2003096709 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 797 370 3 0 500 0
[pid=10462] ppid=10449 vsize=5356 CPUtime=0
/proc/10462/stat : 10462 (sh) S 10449 10449 9558 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2003096783 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10462/statm: 1339 233 193 169 0 50 0
[pid=10463] ppid=10462 vsize=868272 CPUtime=0.75
/proc/10463/stat : 10463 (java) S 10462 10449 9558 0 -1 0 5354 0 1 0 71 4 0 0 18 0 9 0 2003096783 889110528 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10463/statm: 217068 4751 1732 9 0 211643 0
[pid=10463/tid=10464] ppid=10462 vsize=868272 CPUtime=0.51
/proc/10463/task/10464/stat : 10464 (java) R 10462 10449 9558 0 -1 64 2677 0 1 0 49 2 0 0 20 0 9 0 2003096784 889110528 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10465] ppid=10462 vsize=868272 CPUtime=0.05
/proc/10463/task/10465/stat : 10465 (java) R 10462 10449 9558 0 -1 64 543 0 0 0 5 0 0 0 16 0 9 0 2003096785 889110528 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10466] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10466/stat : 10466 (java) S 10462 10449 9558 0 -1 64 10 0 0 0 0 0 0 0 18 0 9 0 2003096785 889110528 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10467] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10467/stat : 10467 (java) S 10462 10449 9558 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 2003096785 889110528 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10468] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10468/stat : 10468 (java) S 10462 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003096787 889110528 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10469] ppid=10462 vsize=868272 CPUtime=0.15
/proc/10463/task/10469/stat : 10469 (java) S 10462 10449 9558 0 -1 64 1443 0 0 0 15 0 0 0 16 0 9 0 2003096787 889110528 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10470] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10470/stat : 10470 (java) S 10462 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003096787 889110528 4751 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10471] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10471/stat : 10471 (java) S 10462 10449 9558 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003096787 889110528 4751 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) 887228
[startup+3.1017 s]
/proc/loadavg: 2.09 2.04 2.01 3/83 10471
/proc/meminfo: memFree=1694960/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.65
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 973 6667 0 1 3 0 58 4 15 0 1 0 2003096709 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 797 370 3 0 500 0
[pid=10462] ppid=10449 vsize=5356 CPUtime=0
/proc/10462/stat : 10462 (sh) S 10449 10449 9558 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2003096783 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10462/statm: 1339 233 193 169 0 50 0
[pid=10463] ppid=10462 vsize=868272 CPUtime=2.33
/proc/10463/stat : 10463 (java) S 10462 10449 9558 0 -1 0 6015 0 1 0 227 6 0 0 18 0 9 0 2003096783 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10463/statm: 217068 5231 1734 9 0 211643 0
[pid=10463/tid=10464] ppid=10462 vsize=868272 CPUtime=1.96
/proc/10463/task/10464/stat : 10464 (java) R 10462 10449 9558 0 -1 64 2858 0 1 0 194 2 0 0 25 0 9 0 2003096784 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4126566973 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10465] ppid=10462 vsize=868272 CPUtime=0.15
/proc/10463/task/10465/stat : 10465 (java) S 10462 10449 9558 0 -1 64 1008 0 0 0 14 1 0 0 16 0 9 0 2003096785 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10466] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10466/stat : 10466 (java) S 10462 10449 9558 0 -1 64 10 0 0 0 0 0 0 0 18 0 9 0 2003096785 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10467] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10467/stat : 10467 (java) S 10462 10449 9558 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 2003096785 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10468] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10468/stat : 10468 (java) S 10462 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003096787 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10469] ppid=10462 vsize=868272 CPUtime=0.19
/proc/10463/task/10469/stat : 10469 (java) S 10462 10449 9558 0 -1 64 1458 0 0 0 18 1 0 0 15 0 9 0 2003096787 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10470] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10470/stat : 10470 (java) S 10462 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003096787 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10471] ppid=10462 vsize=868272 CPUtime=0
/proc/10463/task/10471/stat : 10471 (java) S 10462 10449 9558 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003096787 889110528 5231 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 887228
[startup+6.30222 s]
/proc/loadavg: 2.08 2.04 2.00 4/83 10471
/proc/meminfo: memFree=1688944/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.65
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 973 6667 0 1 3 0 58 4 15 0 1 0 2003096709 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 797 370 3 0 500 0
[pid=10462] ppid=10449 vsize=5356 CPUtime=0
/proc/10462/stat : 10462 (sh) S 10449 10449 9558 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2003096783 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10462/statm: 1339 233 193 169 0 50 0
[pid=10463] ppid=10462 vsize=868384 CPUtime=5.49
/proc/10463/stat : 10463 (java) S 10462 10449 9558 0 -1 0 9743 0 1 0 539 10 0 0 18 0 9 0 2003096783 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10463/statm: 217096 7187 2540 9 0 211671 0
[pid=10463/tid=10464] ppid=10462 vsize=868384 CPUtime=4.79
/proc/10463/task/10464/stat : 10464 (java) R 10462 10449 9558 0 -1 64 3224 0 1 0 476 3 0 0 25 0 9 0 2003096784 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4126600824 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10465] ppid=10462 vsize=868384 CPUtime=0.48
/proc/10463/task/10465/stat : 10465 (java) S 10462 10449 9558 0 -1 64 4364 0 0 0 43 5 0 0 16 0 9 0 2003096785 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10466] ppid=10462 vsize=868384 CPUtime=0
/proc/10463/task/10466/stat : 10466 (java) S 10462 10449 9558 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003096785 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10467] ppid=10462 vsize=868384 CPUtime=0
/proc/10463/task/10467/stat : 10467 (java) S 10462 10449 9558 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003096785 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10468] ppid=10462 vsize=868384 CPUtime=0
/proc/10463/task/10468/stat : 10468 (java) S 10462 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003096787 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10469] ppid=10462 vsize=868384 CPUtime=0.2
/proc/10463/task/10469/stat : 10469 (java) S 10462 10449 9558 0 -1 64 1463 0 0 0 19 1 0 0 15 0 9 0 2003096787 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10470] ppid=10462 vsize=868384 CPUtime=0
/proc/10463/task/10470/stat : 10470 (java) S 10462 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003096787 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10471] ppid=10462 vsize=868384 CPUtime=0
/proc/10463/task/10471/stat : 10471 (java) S 10462 10449 9558 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003096787 889225216 7187 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 887340
[startup+12.7022 s]
/proc/loadavg: 2.07 2.04 2.00 3/83 10471
/proc/meminfo: memFree=1682352/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.65
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 974 6667 0 1 3 0 58 4 16 0 1 0 2003096709 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 797 370 3 0 500 0
[pid=10462] ppid=10449 vsize=5356 CPUtime=0
/proc/10462/stat : 10462 (sh) S 10449 10449 9558 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2003096783 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10462/statm: 1339 233 193 169 0 50 0
[pid=10463] ppid=10462 vsize=868496 CPUtime=11.83
/proc/10463/stat : 10463 (java) S 10462 10449 9558 0 -1 0 11308 0 1 0 1169 14 0 0 18 0 9 0 2003096783 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10463/statm: 217124 8456 2566 9 0 211671 0
[pid=10463/tid=10464] ppid=10462 vsize=868496 CPUtime=10.72
/proc/10463/task/10464/stat : 10464 (java) R 10462 10449 9558 0 -1 64 3630 0 1 0 1067 5 0 0 25 0 9 0 2003096784 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4126598070 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10465] ppid=10462 vsize=868496 CPUtime=0.84
/proc/10463/task/10465/stat : 10465 (java) S 10462 10449 9558 0 -1 64 5491 0 0 0 77 7 0 0 16 0 9 0 2003096785 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10466] ppid=10462 vsize=868496 CPUtime=0
/proc/10463/task/10466/stat : 10466 (java) S 10462 10449 9558 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003096785 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10467] ppid=10462 vsize=868496 CPUtime=0
/proc/10463/task/10467/stat : 10467 (java) S 10462 10449 9558 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003096785 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10468] ppid=10462 vsize=868496 CPUtime=0
/proc/10463/task/10468/stat : 10468 (java) S 10462 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003096787 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10469] ppid=10462 vsize=868496 CPUtime=0.25
/proc/10463/task/10469/stat : 10469 (java) S 10462 10449 9558 0 -1 64 1495 0 0 0 24 1 0 0 15 0 9 0 2003096787 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10470] ppid=10462 vsize=868496 CPUtime=0
/proc/10463/task/10470/stat : 10470 (java) S 10462 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003096787 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10471] ppid=10462 vsize=868496 CPUtime=0
/proc/10463/task/10471/stat : 10471 (java) S 10462 10449 9558 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003096787 889339904 8456 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 887452
[startup+25.5023 s]
/proc/loadavg: 2.06 2.03 2.00 3/83 10471
/proc/meminfo: memFree=1653104/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=0.65
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 974 6667 0 1 3 0 58 4 15 0 1 0 2003096709 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 797 370 3 0 500 0
[pid=10462] ppid=10449 vsize=5356 CPUtime=0
/proc/10462/stat : 10462 (sh) S 10449 10449 9558 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2003096783 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10462/statm: 1339 233 193 169 0 50 0
[pid=10463] ppid=10462 vsize=868496 CPUtime=24.5
/proc/10463/stat : 10463 (java) S 10462 10449 9558 0 -1 0 11903 0 1 0 2414 36 0 0 18 0 9 0 2003096783 889339904 8469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10463/statm: 217124 8469 2566 9 0 211671 0
[pid=10463/tid=10464] ppid=10462 vsize=868496 CPUtime=23.2
/proc/10463/task/10464/stat : 10464 (java) R 10462 10449 9558 0 -1 64 4214 0 1 0 2296 24 0 0 25 0 9 0 2003096784 889339904 8469 996147200 134512640 134550740 4294955952 18446744073709551615 4127014753 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10465] ppid=10462 vsize=868496 CPUtime=1.01
/proc/10463/task/10465/stat : 10465 (java) S 10462 10449 9558 0 -1 64 5491 0 0 0 91 10 0 0 16 0 9 0 2003096785 889339904 8469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10466] ppid=10462 vsize=868496 CPUtime=0
/proc/10463/task/10466/stat : 10466 (java) S 10462 10449 9558 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003096785 889339904 8469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10463/tid=10467] ppid=10462 vsize=868496 CPUtime=0
/proc/10463/task/10467/stat : 10467 (java) S 10462 10449 9558 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003096785 889339904 8469 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[startup+588.802 s]
/proc/loadavg: 2.04 2.03 2.00 3/75 10473
/proc/meminfo: memFree=682040/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=147.9
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 1034 24794 0 2 3 1 14515 271 16 0 1 0 2003096709 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 799 370 3 0 500 0
[pid=10472] ppid=10449 vsize=5356 CPUtime=0
/proc/10472/stat : 10472 (sh) S 10449 10449 9558 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2003111679 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10472/statm: 1339 232 193 169 0 50 0
[pid=10473] ppid=10472 vsize=722596 CPUtime=434.77
/proc/10473/stat : 10473 (minisat) R 10472 10449 9558 0 -1 4194304 171698 0 0 0 43373 104 0 0 25 0 1 0 2003111680 739938304 171684 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10473/statm: 180649 171684 76 150 0 180496 0
Current children cumulated CPU time (s) 582.67
Current children cumulated vsize (KiB) 741552
[startup+601.603 s]
/proc/loadavg: 2.03 2.03 2.00 3/75 10473
/proc/meminfo: memFree=681976/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=147.9
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 1034 24794 0 2 3 1 14515 271 16 0 1 0 2003096709 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 799 370 3 0 500 0
[pid=10472] ppid=10449 vsize=5356 CPUtime=0
/proc/10472/stat : 10472 (sh) S 10449 10449 9558 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2003111679 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10472/statm: 1339 232 193 169 0 50 0
[pid=10473] ppid=10472 vsize=722596 CPUtime=447.45
/proc/10473/stat : 10473 (minisat) R 10472 10449 9558 0 -1 4194304 171700 0 0 0 44641 104 0 0 25 0 1 0 2003111680 739938304 171686 996147200 134512640 135127466 4294956256 18446744073709551615 134521770 0 0 4096 3 0 0 0 17 1 0 0
/proc/10473/statm: 180649 171686 76 150 0 180496 0
Current children cumulated CPU time (s) 595.35
Current children cumulated vsize (KiB) 741552
[startup+614.402 s]
/proc/loadavg: 2.03 2.03 2.00 3/75 10473
/proc/meminfo: memFree=681976/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=147.9
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 1034 24794 0 2 3 1 14515 271 16 0 1 0 2003096709 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 799 370 3 0 500 0
[pid=10472] ppid=10449 vsize=5356 CPUtime=0
/proc/10472/stat : 10472 (sh) S 10449 10449 9558 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2003111679 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10472/statm: 1339 232 193 169 0 50 0
[pid=10473] ppid=10472 vsize=722596 CPUtime=460.13
/proc/10473/stat : 10473 (minisat) R 10472 10449 9558 0 -1 4194304 171701 0 0 0 45909 104 0 0 25 0 1 0 2003111680 739938304 171687 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/10473/statm: 180649 171687 76 150 0 180496 0
Current children cumulated CPU time (s) 608.03
Current children cumulated vsize (KiB) 741552
[startup+620.802 s]
/proc/loadavg: 2.02 2.03 2.00 3/75 10473
/proc/meminfo: memFree=681976/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=147.9
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 1034 24794 0 2 3 1 14515 271 16 0 1 0 2003096709 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 799 370 3 0 500 0
[pid=10472] ppid=10449 vsize=5356 CPUtime=0
/proc/10472/stat : 10472 (sh) S 10449 10449 9558 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2003111679 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10472/statm: 1339 232 193 169 0 50 0
[pid=10473] ppid=10472 vsize=723848 CPUtime=466.46
/proc/10473/stat : 10473 (minisat) R 10472 10449 9558 0 -1 4194304 172022 0 0 0 46541 105 0 0 25 0 1 0 2003111680 741220352 172007 996147200 134512640 135127466 4294956256 18446744073709551615 134681934 0 0 4096 3 0 0 0 17 1 0 0
/proc/10473/statm: 180962 172007 82 150 0 180809 0
Current children cumulated CPU time (s) 614.36
Current children cumulated vsize (KiB) 742804
[startup+622.403 s]
/proc/loadavg: 2.02 2.03 2.00 4/83 10483
/proc/meminfo: memFree=1354424/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=614.79
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 1091 197101 0 2 3 1 61085 390 16 0 1 0 2003096709 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 799 370 3 0 500 0
[pid=10474] ppid=10449 vsize=5356 CPUtime=0
/proc/10474/stat : 10474 (sh) S 10449 10449 9558 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2003158833 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10474/statm: 1339 233 193 169 0 50 0
[pid=10475] ppid=10474 vsize=864492 CPUtime=1.13
/proc/10475/stat : 10475 (java) S 10474 10449 9558 0 -1 0 8963 0 1 0 109 4 0 0 18 0 9 0 2003158833 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10475/statm: 216123 8231 2531 9 0 210705 0
[pid=10475/tid=10476] ppid=10474 vsize=864492 CPUtime=0.74
/proc/10475/task/10476/stat : 10476 (java) R 10474 10449 9558 0 -1 64 2616 0 1 0 73 1 0 0 24 0 9 0 2003158834 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4126524047 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10477] ppid=10474 vsize=864492 CPUtime=0.31
/proc/10475/task/10477/stat : 10477 (java) S 10474 10449 9558 0 -1 64 5249 0 0 0 29 2 0 0 16 0 9 0 2003158836 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10478] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10478/stat : 10478 (java) S 10474 10449 9558 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003158836 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10479] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10479/stat : 10479 (java) S 10474 10449 9558 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003158836 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10480] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10480/stat : 10480 (java) S 10474 10449 9558 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003158838 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10481] ppid=10474 vsize=864492 CPUtime=0.05
/proc/10475/task/10481/stat : 10481 (java) S 10474 10449 9558 0 -1 64 405 0 0 0 5 0 0 0 16 0 9 0 2003158838 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10482] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10482/stat : 10482 (java) S 10474 10449 9558 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003158838 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10483] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10483/stat : 10483 (java) S 10474 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003158838 885239808 8231 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 615.92
Current children cumulated vsize (KiB) 883448
[startup+623.201 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 10483
/proc/meminfo: memFree=1336696/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=614.79
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 1091 197101 0 2 3 1 61085 390 16 0 1 0 2003096709 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 799 370 3 0 500 0
[pid=10474] ppid=10449 vsize=5356 CPUtime=0
/proc/10474/stat : 10474 (sh) S 10449 10449 9558 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2003158833 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10474/statm: 1339 233 193 169 0 50 0
[pid=10475] ppid=10474 vsize=864492 CPUtime=1.93
/proc/10475/stat : 10475 (java) S 10474 10449 9558 0 -1 0 8966 0 1 0 188 5 0 0 18 0 9 0 2003158833 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10475/statm: 216123 8234 2531 9 0 210705 0
[pid=10475/tid=10476] ppid=10474 vsize=864492 CPUtime=1.52
/proc/10475/task/10476/stat : 10476 (java) R 10474 10449 9558 0 -1 64 2616 0 1 0 151 1 0 0 25 0 9 0 2003158834 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4126523875 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10477] ppid=10474 vsize=864492 CPUtime=0.31
/proc/10475/task/10477/stat : 10477 (java) S 10474 10449 9558 0 -1 64 5249 0 0 0 29 2 0 0 16 0 9 0 2003158836 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10478] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10478/stat : 10478 (java) S 10474 10449 9558 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003158836 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10479] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10479/stat : 10479 (java) S 10474 10449 9558 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003158836 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10480] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10480/stat : 10480 (java) S 10474 10449 9558 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003158838 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10481] ppid=10474 vsize=864492 CPUtime=0.06
/proc/10475/task/10481/stat : 10481 (java) S 10474 10449 9558 0 -1 64 408 0 0 0 6 0 0 0 16 0 9 0 2003158838 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10482] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10482/stat : 10482 (java) S 10474 10449 9558 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003158838 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10483] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10483/stat : 10483 (java) S 10474 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003158838 885239808 8234 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 616.72
Current children cumulated vsize (KiB) 883448
[startup+623.601 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 10483
/proc/meminfo: memFree=1336696/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=614.79
/proc/10449/stat : 10449 (sugar) S 10447 10449 9558 0 -1 4194304 1091 197101 0 2 3 1 61085 390 16 0 1 0 2003096709 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 237956542562 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10449/statm: 3400 799 370 3 0 500 0
[pid=10474] ppid=10449 vsize=5356 CPUtime=0
/proc/10474/stat : 10474 (sh) S 10449 10449 9558 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2003158833 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 237947642692 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10474/statm: 1339 233 193 169 0 50 0
[pid=10475] ppid=10474 vsize=864492 CPUtime=2.32
/proc/10475/stat : 10475 (java) S 10474 10449 9558 0 -1 0 9235 0 1 0 227 5 0 0 18 0 9 0 2003158833 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10475/statm: 216123 8493 2532 9 0 210705 0
[pid=10475/tid=10476] ppid=10474 vsize=864492 CPUtime=1.92
/proc/10475/task/10476/stat : 10476 (java) R 10474 10449 9558 0 -1 64 2627 0 1 0 190 2 0 0 25 0 9 0 2003158834 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4126409853 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10477] ppid=10474 vsize=864492 CPUtime=0.32
/proc/10475/task/10477/stat : 10477 (java) S 10474 10449 9558 0 -1 64 5505 0 0 0 30 2 0 0 16 0 9 0 2003158836 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10478] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10478/stat : 10478 (java) S 10474 10449 9558 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003158836 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10479] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10479/stat : 10479 (java) S 10474 10449 9558 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2003158836 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10480] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10480/stat : 10480 (java) S 10474 10449 9558 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003158838 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10481] ppid=10474 vsize=864492 CPUtime=0.06
/proc/10475/task/10481/stat : 10481 (java) S 10474 10449 9558 0 -1 64 410 0 0 0 6 0 0 0 16 0 9 0 2003158838 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10482] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10482/stat : 10482 (java) S 10474 10449 9558 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2003158838 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10475/tid=10483] ppid=10474 vsize=864492 CPUtime=0
/proc/10475/task/10483/stat : 10483 (java) S 10474 10449 9558 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003158838 885239808 8493 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 617.11
Current children cumulated vsize (KiB) 883448
[startup+623.806 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 10483
/proc/meminfo: memFree=1335672/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=617.3
/proc/10449/stat : 10449 (sugar) R 10447 10449 9558 0 -1 4194304 1120 206666 0 3 3 4 61327 396 16 0 1 0 2003096709 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 237947819049 0 0 4224 16386 0 0 0 17 1 0 0
/proc/10449/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 617.3
Current children cumulated vsize (KiB) 13600
[startup+623.901 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 10483
/proc/meminfo: memFree=1335672/2055920 swapFree=4179808/4192956
[pid=10449] ppid=10447 vsize=13600 CPUtime=617.39
/proc/10449/stat : 10449 (sugar) R 10447 10449 9558 0 -1 4194304 1120 206666 0 3 3 13 61327 396 16 0 1 0 2003096709 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 237947819049 0 0 4224 16386 0 0 0 17 1 0 0
/proc/10449/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 617.39
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 623.961
CPU time (s): 617.477
CPU user time (s): 613.311
CPU system time (s): 4.16637
CPU usage (%): 98.9609
Max. virtual memory (cumulated for all children) (KiB): 888052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 613.311
system time used= 4.16637
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207816
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57516
involuntary context switches= 70453
runsolver used 0.820875 second user time and 2.03669 second system time
The end
Begin job on node69 at 2008-07-05 09:01:18
IDJOB=1086801
IDBENCH=57881
IDSOLVER=346
FILE ID=node69/1086801-1215241278
PBS_JOBID= 7881931
Free space on /tmp= 66472 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/fapp/fapp31/normalized-fapp31-0400-6.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086801-1215241278/watcher-1086801-1215241278 -o /tmp/evaluation-result-1086801-1215241278/solver-1086801-1215241278 -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/minisat" -tmp="HOME/temp" HOME/instance-1086801-1215241278.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5437bff566491bef6c75b023202900b4
RANDOM SEED=1010355103
node69.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.259
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.259
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: 1711016 kB
Buffers: 32340 kB
Cached: 171444 kB
SwapCached: 7560 kB
Active: 212768 kB
Inactive: 70428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1711016 kB
SwapTotal: 4192956 kB
SwapFree: 4179808 kB
Dirty: 1696 kB
Writeback: 0 kB
Mapped: 86512 kB
Slab: 47004 kB
Committed_AS: 4071056 kB
PageTables: 2056 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= 66472 MiB
End job on node69 at 2008-07-05 09:11:42