0.00/0.05 c 0 Sugar v1-13 + HOME/minisat
0.00/0.05 c 0 BEGIN Sat Jul 5 08:12:12 2008
0.00/0.05 c 0 PID 31305
0.00/0.05 c 0 HOST node7.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1086255-1215238332.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-1086255-1215238332.xml' 'HOME/temp.csp'
0.04/0.80 c 1 6 domains, 500 variables, 8 predicates, 0 relations, 2852 constraints
0.04/0.86 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.86 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.79/0.94 c 1 Parsing HOME/temp.csp
1.20/1.38 c 1 parsed 3366 expressions
1.20/1.38 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.20/1.38 c 1 Converting to clausal form CSP
1.30/1.42 c 1 converted 337 (10%) expressions
1.60/1.78 c 1 converted 674 (20%) expressions
2.00/2.11 c 2 converted 1010 (30%) expressions
2.29/2.45 c 2 converted 1347 (40%) expressions
2.58/2.75 c 2 converted 1683 (50%) expressions
2.89/3.00 c 3 converted 2020 (60%) expressions
3.18/3.31 c 3 converted 2357 (70%) expressions
3.38/3.53 c 3 converted 2693 (80%) expressions
3.57/3.76 c 3 converted 3030 (90%) expressions
3.77/3.96 c 4 converted 3366 (100%) expressions
3.77/3.96 c 4 CSP : 986 integers, 7698 booleans, 17608 clauses, largest domain size 2701
3.77/3.96 c 4 Heap : 11 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.77/3.96 c 4 Propagation in CSP
4.17/4.36 c 4 30520 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.17/4.36 c 4 CSP : 986 integers, 7698 booleans, 17608 clauses, largest domain size 2701
4.17/4.36 c 4 Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.17/4.37 c 4 Simplifing CSP by introducing new Boolean variables
4.27/4.42 c 4 CSP : 986 integers, 14220 booleans, 24130 clauses, largest domain size 2701
4.27/4.42 c 4 Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.37/4.54 c 4 Encoding CSP to SAT : HOME/temp.cnf
4.86/5.08 c 5 99 (10%) CSP integer variables are encoded (22954 clauses, 322258 bytes)
5.36/5.53 c 5 198 (20%) CSP integer variables are encoded (44581 clauses, 646663 bytes)
5.75/5.99 c 6 296 (30%) CSP integer variables are encoded (66531 clauses, 975913 bytes)
6.25/6.45 c 6 395 (40%) CSP integer variables are encoded (89097 clauses, 1314403 bytes)
6.74/6.91 c 7 493 (50%) CSP integer variables are encoded (110914 clauses, 1664373 bytes)
7.03/7.25 c 7 592 (60%) CSP integer variables are encoded (332964 clauses, 5439223 bytes)
7.43/7.61 c 7 691 (70%) CSP integer variables are encoded (588771 clauses, 9787942 bytes)
7.73/7.95 c 8 789 (80%) CSP integer variables are encoded (838211 clauses, 14028422 bytes)
8.12/8.30 c 8 888 (90%) CSP integer variables are encoded (1095704 clauses, 18598918 bytes)
8.43/8.61 c 8 986 (100%) CSP integer variables are encoded (1313532 clauses, 22737650 bytes)
20.49/20.86 c 21 2413 (10%) CSP clauses are encoded (3255909 clauses, 65127455 bytes)
31.06/31.59 c 31 4826 (20%) CSP clauses are encoded (5109783 clauses, 106211825 bytes)
39.76/40.37 c 40 7239 (30%) CSP clauses are encoded (6795672 clauses, 144287131 bytes)
46.88/47.55 c 47 9652 (40%) CSP clauses are encoded (8294751 clauses, 179073975 bytes)
51.52/52.22 c 52 12065 (50%) CSP clauses are encoded (9377596 clauses, 205149203 bytes)
56.05/56.86 c 57 14478 (60%) CSP clauses are encoded (10538619 clauses, 233500929 bytes)
59.39/60.24 c 60 16891 (70%) CSP clauses are encoded (11488059 clauses, 257079844 bytes)
62.31/63.23 c 63 19304 (80%) CSP clauses are encoded (12451289 clauses, 281185458 bytes)
65.07/66.07 c 66 21717 (90%) CSP clauses are encoded (13392366 clauses, 304535451 bytes)
67.90/68.96 c 69 24130 (100%) CSP clauses are encoded (14442867 clauses, 330889612 bytes)
67.90/68.96 c 69 24130 CSP clauses encoded
67.90/68.97 c 69 Writing map file : HOME/temp.map
67.98/69.02 c 69 Heap : 11 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
67.98/69.02 c 69 SAT : 1328738 SAT variables, 14442867 SAT clauses, 330889612 bytes
67.98/69.02 c 69 Heap : 11 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
67.98/69.05 c 69 SOLVING HOME/temp.cnf
67.98/69.05 c 69 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
67.98/69.05 c 69 This is MiniSat 2.0 beta
67.98/69.05 c 69 WARNING: for repeatability, setting FPU to use double precision
67.98/69.05 c 69 ============================[ Problem Statistics ]=============================
67.98/69.05 c 69 | |
67.98/69.05 c 69 | Number of variables: 1328738 |
67.98/69.05 c 69 | Number of clauses: 14442867 |
76.96/78.14 c 78 | Parsing time: 7.46 s |
77.46/78.62 c 78 ============================[ Search Statistics ]==============================
77.46/78.62 c 78 | Conflicts | ORIGINAL | LEARNT | Progress |
77.46/78.62 c 78 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
77.46/78.62 c 78 ===============================================================================
77.46/78.62 c 78 | 0 | 1328737 14442866 38406315 | 4814288 0 nan | 0.000 % |
78.05/79.28 c 79 | 100 | 1328737 14442866 38406315 | 5295717 100 3 | 0.000 % |
79.83/81.05 c 81 | 250 | 1328730 14442866 38406315 | 5825289 248 3 | 0.366 % |
82.61/83.85 c 84 | 477 | 1328724 14442866 38406315 | 6407818 473 3 | 1.074 % |
87.86/89.10 c 89 | 815 | 1328708 14442866 38406315 | 7048600 804 3 | 2.347 % |
96.08/97.47 c 97 | 1321 | 1278351 13924602 37048357 | 7753460 1258 4 | 5.791 % |
107.97/109.46 c 109 | 2080 | 1224303 13371855 35597419 | 8528806 1851 4 | 9.443 % |
126.20/127.86 c 128 | 3220 | 1181302 12952523 34499112 | 9381686 2754 4 | 13.680 % |
178.20/180.31 c 180 | 4929 | 1018589 11349338 30318243 | 10319855 4022 4 | 25.032 % |
285.28/288.43 c 288 ===============================================================================
285.28/288.49 c 288 restarts : 9
285.28/288.49 c 288 conflicts : 7073 (33 /sec)
285.28/288.49 c 288 decisions : 2348060 (0.40 % random) (10884 /sec)
285.28/288.49 c 288 propagations : 506591668 (2348200 /sec)
285.28/288.49 c 288 conflict literals : 26430 (10.80 % deleted)
285.28/288.49 c 288 Memory used : 699.12 MB
285.28/288.49 c 288 CPU time : 215.736 s
285.28/288.49 c 288
285.98/289.10 c 289 SATISFIABLE
286.08/289.22 c 289 DECODING HOME/temp.out WITH HOME/temp.map
286.08/289.22 c 289 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
286.12/289.31 c 289 Decoding HOME/temp.out
288.36/291.54 s SATISFIABLE
288.36/291.56 v 2632 2324 2588 2404 2700 2700 2384 -2308 2624 2252 2332 2480 2252 2400 2528 2496 2368 2256 2280 2660 2416 2680 2492 2660 2660 2424 2260 2456 2276 2272 2700 2548 2700 2228 2700 2284 2588 2380 2472 2612 -2648 2416 2696 2688 2228 2700 2600 2512 2580 2372 2424 2480 2296 2376 2280 2304 2280 2628 2336 -2660 2264 2532 2360 2268 2536 -2608 2280 2476 2280 2440 2496 2236 2700 2372 2388 2700 2408 2700 -2304 2404 2356 2452 2700 2432 2236 2244 2260 2648 2324 2344 2580 2368 2592 2600 2288 2292 2304 2632 2624 2240 2432 2660 2236 2276 2312 2360 -2504 2700 2296 2636 2260 2392 2648 2628 -2632 2348 2440 2260 2256 2428 2364 2376 2304 2660 -2440 2264 2344 2252 2636 2300 2488 2240 2408 2460 2376 2460 2312 2592 2284 2700 2548 2412 2460 2416 2600 2420 2660 2700 2332 2240 2560 2700 -2360 2372 -2292 2628 2412 2336 2444 2660 2300 2500 2344 2352 2660 2660 2424 2516 2596 2264 -2380 2532 2660 2456 2660 2240 2464 2524 2424 2700 2660 2308 2588 2660 2400 2220 2628 2416 -2564 2412 2400 2336 2308 -2596 2260 2584 2660 2648 2304 2224 2380 2600 2700 2608 2240 2688 2700 2584 2700 2320 2412 2400 -2296 2660 2408 2408 2264 2648 2512 2624 2628 2472 2316 2232 2296 2668 2660 2672 2308 2660 2372 2336 2660 2660 2544 2604 2292 2568 2676 2420 2660 2420 2360 2700 2528 2552 2444 2384 2368 2448 2248 2660 2332 2404 2504 2328 2468 2700 2700 2592 2660 2660 2604 -2352 2668 2308 2448 2332 2660 2332 2620 2448 2300 2572 2320 2292 2700 2700 2324 2516 2288 2236 2500 2416 2676 2700 2660 2656 2444 2560 2660 2508 -2292 2552 2300 2268 2700 2464 -2384 2332 2504 2364 2572 2572 2584 2336 2696 2540 2360 2608 2284 2372 2348 2276 2400 2496 2592 2316 2348 -2560 2400 2296 2292 2420 2660 2700 2456 2360 2340 2424 2332 2620 2656 2544 2464 2444 2268 2548 2272 2432 2540 2540 2460 -2520 2384 2332 2312 2660 2376 2660 2692 2660 2484 2224 2264 -2500 2584 2384 2700 2588 2344 2584 2596 2700 2380 2464 2492 2280 2220 2512 2460 2684 2292 2524 2352 2568 2644 2452 2464 2660 2588 2284 -2284 2296 2520 2324 2348 -2532 2280 2276 2588 2628 2232 2268 2636 2336 2632 2284 2328 2368 2572 2668 2336 2660 2576 2640 2460 2296 2344 2304 2548 2272 2608 2700 2456 2532 2700 2660 2376 2276 2464 2640 2636 2300 2448 2560 2500 2392 2700 2292 2484 2340 -2240 2268 2260 2520 2404 2392 2700 2552 2504 2448 2484 2688 2672 -2220 2292 2472 2700 2344 2424 2660 2556 2636 2700 2260 2336 2588 2312 2700 2304 2296 2660 2272 2648 2628 2480 2276 2420 -2488 2420 2700 2564 2504 2220 2252 2352 2660 2408 2416 2340 2296 2660 2384 2240 2408 2292 2700 -2652 2308 -2244 2420 2272 2624 2236 2312 2536 2552 2324 2408
288.36/291.56 c 291 Heap : 8 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
288.36/291.58 c 291 CPU 283.96 (0.04 0.01 283.92 4.47)
288.36/291.58 c 291 END Sat Jul 5 08:17:03 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-1086255-1215238332/watcher-1086255-1215238332 -o /tmp/evaluation-result-1086255-1215238332/solver-1086255-1215238332 -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-1086255-1215238332.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.08 2.04 2.06 4/72 31305
/proc/meminfo: memFree=1489704/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=12000 CPUtime=0
/proc/31305/stat : 31305 (sugar) R 31303 31305 28672 0 -1 4194304 186 0 0 0 0 0 0 0 22 0 1 0 2002808338 12288000 154 996147200 4194304 4206940 548682068608 18446744073709551615 244670960353 0 0 4224 0 0 0 0 17 1 0 0
/proc/31305/statm: 3000 154 116 3 0 100 0
[startup+0.0559501 s]
/proc/loadavg: 2.08 2.04 2.06 4/72 31305
/proc/meminfo: memFree=1489704/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.04
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 2002808338 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.105142 s]
/proc/loadavg: 2.08 2.04 2.06 4/72 31305
/proc/meminfo: memFree=1489704/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.04
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 2002808338 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.301155 s]
/proc/loadavg: 2.08 2.04 2.06 4/72 31305
/proc/meminfo: memFree=1489704/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.04
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 2002808338 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.70121 s]
/proc/loadavg: 2.08 2.04 2.06 4/72 31305
/proc/meminfo: memFree=1489704/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.04
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 2002808338 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+1.50229 s]
/proc/loadavg: 2.08 2.04 2.06 5/83 31327
/proc/meminfo: memFree=1482384/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.79
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 973 5453 0 1 3 1 71 4 15 0 1 0 2002808338 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 797 370 3 0 500 0
[pid=31318] ppid=31305 vsize=5356 CPUtime=0
/proc/31318/stat : 31318 (sh) S 31305 31305 28672 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2002808424 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31318/statm: 1339 233 193 169 0 50 0
[pid=31319] ppid=31318 vsize=864344 CPUtime=0.62
/proc/31319/stat : 31319 (java) S 31318 31305 28672 0 -1 0 4147 0 1 0 59 3 0 0 18 0 9 0 2002808424 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31319/statm: 216086 3596 1732 9 0 210661 0
[pid=31319/tid=31320] ppid=31318 vsize=864344 CPUtime=0.47
/proc/31319/task/31320/stat : 31320 (java) R 31318 31305 28672 0 -1 64 2650 0 1 0 46 1 0 0 21 0 9 0 2002808425 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4126521190 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31321] ppid=31318 vsize=864344 CPUtime=0.02
/proc/31319/task/31321/stat : 31321 (java) S 31318 31305 28672 0 -1 64 458 0 0 0 2 0 0 0 16 0 9 0 2002808426 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31322] ppid=31318 vsize=864344 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31318 31305 28672 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2002808427 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31323] ppid=31318 vsize=864344 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31318 31305 28672 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2002808427 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31324] ppid=31318 vsize=864344 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002808429 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31325] ppid=31318 vsize=864344 CPUtime=0.09
/proc/31319/task/31325/stat : 31325 (java) S 31318 31305 28672 0 -1 64 348 0 0 0 9 0 0 0 16 0 9 0 2002808429 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31326] ppid=31318 vsize=864344 CPUtime=0
/proc/31319/task/31326/stat : 31326 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002808429 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31327] ppid=31318 vsize=864344 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31318 31305 28672 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002808429 885088256 3596 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 883300
[startup+3.10246 s]
/proc/loadavg: 2.08 2.04 2.06 3/83 31327
/proc/meminfo: memFree=1473680/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.79
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 973 5453 0 1 3 1 71 4 15 0 1 0 2002808338 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 797 370 3 0 500 0
[pid=31318] ppid=31305 vsize=5356 CPUtime=0
/proc/31318/stat : 31318 (sh) S 31305 31305 28672 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2002808424 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31318/statm: 1339 233 193 169 0 50 0
[pid=31319] ppid=31318 vsize=868408 CPUtime=2.2
/proc/31319/stat : 31319 (java) S 31318 31305 28672 0 -1 0 7911 0 1 0 214 6 0 0 18 0 9 0 2002808424 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31319/statm: 217102 7011 2540 9 0 211677 0
[pid=31319/tid=31320] ppid=31318 vsize=868408 CPUtime=1.69
/proc/31319/task/31320/stat : 31320 (java) R 31318 31305 28672 0 -1 64 2805 0 1 0 167 2 0 0 25 0 9 0 2002808425 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4126521180 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31321] ppid=31318 vsize=868408 CPUtime=0.27
/proc/31319/task/31321/stat : 31321 (java) S 31318 31305 28672 0 -1 64 2955 0 0 0 25 2 0 0 16 0 9 0 2002808426 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31322] ppid=31318 vsize=868408 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31318 31305 28672 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002808427 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31323] ppid=31318 vsize=868408 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31318 31305 28672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002808427 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31324] ppid=31318 vsize=868408 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002808429 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31325] ppid=31318 vsize=868408 CPUtime=0.2
/proc/31319/task/31325/stat : 31325 (java) S 31318 31305 28672 0 -1 64 1459 0 0 0 20 0 0 0 16 0 9 0 2002808429 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31326] ppid=31318 vsize=868408 CPUtime=0
/proc/31319/task/31326/stat : 31326 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002808429 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31327] ppid=31318 vsize=868408 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31318 31305 28672 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002808429 889249792 7011 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 887364
[startup+6.30179 s]
/proc/loadavg: 2.07 2.04 2.06 3/83 31327
/proc/meminfo: memFree=1460368/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.79
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 974 5453 0 1 3 1 71 4 15 0 1 0 2002808338 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 797 370 3 0 500 0
[pid=31318] ppid=31305 vsize=5356 CPUtime=0
/proc/31318/stat : 31318 (sh) S 31305 31305 28672 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2002808424 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31318/statm: 1339 233 193 169 0 50 0
[pid=31319] ppid=31318 vsize=868520 CPUtime=5.36
/proc/31319/stat : 31319 (java) S 31318 31305 28672 0 -1 0 10279 0 1 0 526 10 0 0 18 0 9 0 2002808424 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31319/statm: 217130 9068 2566 9 0 211677 0
[pid=31319/tid=31320] ppid=31318 vsize=868520 CPUtime=4.42
/proc/31319/task/31320/stat : 31320 (java) R 31318 31305 28672 0 -1 64 3164 0 1 0 439 3 0 0 25 0 9 0 2002808425 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4126588232 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31321] ppid=31318 vsize=868520 CPUtime=0.65
/proc/31319/task/31321/stat : 31321 (java) S 31318 31305 28672 0 -1 64 4930 0 0 0 61 4 0 0 16 0 9 0 2002808426 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31322] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31318 31305 28672 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002808427 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31323] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31318 31305 28672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002808427 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31324] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002808429 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31325] ppid=31318 vsize=868520 CPUtime=0.27
/proc/31319/task/31325/stat : 31325 (java) S 31318 31305 28672 0 -1 64 1493 0 0 0 26 1 0 0 15 0 9 0 2002808429 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31326] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31326/stat : 31326 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002808429 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31327] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31318 31305 28672 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002808429 889364480 9068 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 887476
[startup+12.7025 s]
/proc/loadavg: 2.07 2.04 2.06 3/83 31327
/proc/meminfo: memFree=1426256/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.79
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 974 5453 0 1 3 1 71 4 15 0 1 0 2002808338 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 797 370 3 0 500 0
[pid=31318] ppid=31305 vsize=5356 CPUtime=0
/proc/31318/stat : 31318 (sh) S 31305 31305 28672 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2002808424 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31318/statm: 1339 233 193 169 0 50 0
[pid=31319] ppid=31318 vsize=868520 CPUtime=11.68
/proc/31319/stat : 31319 (java) S 31318 31305 28672 0 -1 0 10897 0 1 0 1133 35 0 0 18 0 9 0 2002808424 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31319/statm: 217130 9081 2566 9 0 211677 0
[pid=31319/tid=31320] ppid=31318 vsize=868520 CPUtime=10.48
/proc/31319/task/31320/stat : 31320 (java) R 31318 31305 28672 0 -1 64 3771 0 1 0 1024 24 0 0 25 0 9 0 2002808425 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4127018026 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31321] ppid=31318 vsize=868520 CPUtime=0.88
/proc/31319/task/31321/stat : 31321 (java) S 31318 31305 28672 0 -1 64 4930 0 0 0 80 8 0 0 16 0 9 0 2002808426 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31322] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31318 31305 28672 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002808427 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31323] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31318 31305 28672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002808427 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31324] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002808429 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31325] ppid=31318 vsize=868520 CPUtime=0.29
/proc/31319/task/31325/stat : 31325 (java) S 31318 31305 28672 0 -1 64 1504 0 0 0 28 1 0 0 17 0 9 0 2002808429 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31326] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31326/stat : 31326 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002808429 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31327] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31318 31305 28672 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002808429 889364480 9081 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 887476
[startup+25.503 s]
/proc/loadavg: 2.12 2.05 2.06 3/83 31327
/proc/meminfo: memFree=1381840/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=0.79
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 974 5453 0 1 3 1 71 4 16 0 1 0 2002808338 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 797 370 3 0 500 0
[pid=31318] ppid=31305 vsize=5356 CPUtime=0
/proc/31318/stat : 31318 (sh) S 31305 31305 28672 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2002808424 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31318/statm: 1339 233 193 169 0 50 0
[pid=31319] ppid=31318 vsize=868520 CPUtime=24.33
/proc/31319/stat : 31319 (java) S 31318 31305 28672 0 -1 0 11731 0 1 0 2363 70 0 0 18 0 9 0 2002808424 889364480 9084 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31319/statm: 217130 9084 2566 9 0 211677 0
[pid=31319/tid=31320] ppid=31318 vsize=868520 CPUtime=22.85
/proc/31319/task/31320/stat : 31320 (java) R 31318 31305 28672 0 -1 64 4602 0 1 0 2231 54 0 0 25 0 9 0 2002808425 889364480 9084 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31321] ppid=31318 vsize=868520 CPUtime=1.17
/proc/31319/task/31321/stat : 31321 (java) S 31318 31305 28672 0 -1 64 4930 0 0 0 103 14 0 0 15 0 9 0 2002808426 889364480 9084 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31322] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31322/stat : 31322 (java) S 31318 31305 28672 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002808427 889364480 9084 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31323] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31318 31305 28672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002808427 889364480 9084 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/31319/task/31322/stat : 31322 (java) S 31318 31305 28672 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002808427 889364480 9088 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31323] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31323/stat : 31323 (java) S 31318 31305 28672 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002808427 889364480 9088 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31324] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31324/stat : 31324 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002808429 889364480 9088 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31325] ppid=31318 vsize=868520 CPUtime=0.31
/proc/31319/task/31325/stat : 31325 (java) S 31318 31305 28672 0 -1 64 1511 0 0 0 30 1 0 0 15 0 9 0 2002808429 889364480 9088 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31326] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31326/stat : 31326 (java) S 31318 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002808429 889364480 9088 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31319/tid=31327] ppid=31318 vsize=868520 CPUtime=0
/proc/31319/task/31327/stat : 31327 (java) S 31318 31305 28672 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002808429 889364480 9088 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 887476
[startup+102.307 s]
/proc/loadavg: 2.30 2.14 2.09 3/75 31329
/proc/meminfo: memFree=474192/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=68.02
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 1034 21715 0 2 4 1 6538 259 16 0 1 0 2002808338 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 799 370 3 0 500 0
[pid=31328] ppid=31305 vsize=5356 CPUtime=0
/proc/31328/stat : 31328 (sh) S 31305 31305 28672 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2002815243 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31328/statm: 1339 232 193 169 0 50 0
[pid=31329] ppid=31328 vsize=714592 CPUtime=32.92
/proc/31329/stat : 31329 (minisat) R 31328 31305 28672 0 -1 4194304 170356 0 0 0 3130 162 0 0 25 0 1 0 2002815243 731742208 170342 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/31329/statm: 178648 170342 76 150 0 178495 0
Current children cumulated CPU time (s) 100.94
Current children cumulated vsize (KiB) 733548
[startup+162.301 s]
/proc/loadavg: 2.11 2.11 2.08 3/75 31329
/proc/meminfo: memFree=473232/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=68.02
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 1034 21715 0 2 4 1 6538 259 16 0 1 0 2002808338 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 799 370 3 0 500 0
[pid=31328] ppid=31305 vsize=5356 CPUtime=0
/proc/31328/stat : 31328 (sh) S 31305 31305 28672 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2002815243 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31328/statm: 1339 232 193 169 0 50 0
[pid=31329] ppid=31328 vsize=714592 CPUtime=92.35
/proc/31329/stat : 31329 (minisat) R 31328 31305 28672 0 -1 4194304 170581 0 0 0 9073 162 0 0 25 0 1 0 2002815243 731742208 170567 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/31329/statm: 178648 170567 76 150 0 178495 0
Current children cumulated CPU time (s) 160.37
Current children cumulated vsize (KiB) 733548
[startup+222.301 s]
/proc/loadavg: 2.04 2.09 2.08 3/75 31329
/proc/meminfo: memFree=473168/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=68.02
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 1034 21715 0 2 4 1 6538 259 16 0 1 0 2002808338 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 799 370 3 0 500 0
[pid=31328] ppid=31305 vsize=5356 CPUtime=0
/proc/31328/stat : 31328 (sh) S 31305 31305 28672 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2002815243 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31328/statm: 1339 232 193 169 0 50 0
[pid=31329] ppid=31328 vsize=714592 CPUtime=151.78
/proc/31329/stat : 31329 (minisat) R 31328 31305 28672 0 -1 4194304 170607 0 0 0 15016 162 0 0 25 0 1 0 2002815243 731742208 170593 996147200 134512640 135127466 4294956256 18446744073709551615 134528621 0 0 4096 3 0 0 0 17 1 0 0
/proc/31329/statm: 178648 170593 76 150 0 178495 0
Current children cumulated CPU time (s) 219.8
Current children cumulated vsize (KiB) 733548
[startup+282.302 s]
/proc/loadavg: 2.01 2.07 2.07 3/75 31329
/proc/meminfo: memFree=473168/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=68.02
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 1034 21715 0 2 4 1 6538 259 16 0 1 0 2002808338 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 799 370 3 0 500 0
[pid=31328] ppid=31305 vsize=5356 CPUtime=0
/proc/31328/stat : 31328 (sh) S 31305 31305 28672 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2002815243 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31328/statm: 1339 232 193 169 0 50 0
[pid=31329] ppid=31328 vsize=714592 CPUtime=211.22
/proc/31329/stat : 31329 (minisat) R 31328 31305 28672 0 -1 4194304 170614 0 0 0 20960 162 0 0 25 0 1 0 2002815243 731742208 170600 996147200 134512640 135127466 4294956256 18446744073709551615 134530604 0 0 4096 3 0 0 0 17 1 0 0
/proc/31329/statm: 178648 170600 76 150 0 178495 0
Current children cumulated CPU time (s) 279.24
Current children cumulated vsize (KiB) 733548
Solver just ended. Dumping a history of the last processes samples
[startup+287.902 s]
/proc/loadavg: 2.01 2.07 2.07 3/75 31329
/proc/meminfo: memFree=473168/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=68.02
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 1034 21715 0 2 4 1 6538 259 16 0 1 0 2002808338 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 799 370 3 0 500 0
[pid=31328] ppid=31305 vsize=5356 CPUtime=0
/proc/31328/stat : 31328 (sh) S 31305 31305 28672 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2002815243 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31328/statm: 1339 232 193 169 0 50 0
[pid=31329] ppid=31328 vsize=714592 CPUtime=216.77
/proc/31329/stat : 31329 (minisat) R 31328 31305 28672 0 -1 4194304 170614 0 0 0 21515 162 0 0 25 0 1 0 2002815243 731742208 170600 996147200 134512640 135127466 4294956256 18446744073709551615 134531060 0 0 4096 3 0 0 0 17 1 0 0
/proc/31329/statm: 178648 170600 76 150 0 178495 0
Current children cumulated CPU time (s) 284.79
Current children cumulated vsize (KiB) 733548
[startup+289.501 s]
/proc/loadavg: 2.01 2.07 2.07 3/75 31329
/proc/meminfo: memFree=1069136/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=286.12
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 1091 192949 0 2 4 1 28168 439 16 0 1 0 2002808338 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 799 370 3 0 500 0
Current children cumulated CPU time (s) 286.12
Current children cumulated vsize (KiB) 13600
[startup+291.102 s]
/proc/loadavg: 2.01 2.07 2.07 3/83 31339
/proc/meminfo: memFree=1132304/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=286.12
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 1091 192949 0 2 4 1 28168 439 16 0 1 0 2002808338 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 799 370 3 0 500 0
[pid=31330] ppid=31305 vsize=5356 CPUtime=0
/proc/31330/stat : 31330 (sh) S 31305 31305 28672 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2002837260 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31330/statm: 1339 233 193 169 0 50 0
[pid=31331] ppid=31330 vsize=864360 CPUtime=1.84
/proc/31331/stat : 31331 (java) S 31330 31305 28672 0 -1 0 6549 0 1 0 178 6 0 0 18 0 9 0 2002837261 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31331/statm: 216090 5832 2531 9 0 210672 0
[pid=31331/tid=31332] ppid=31330 vsize=864360 CPUtime=1.63
/proc/31331/task/31332/stat : 31332 (java) R 31330 31305 28672 0 -1 64 2480 0 1 0 160 3 0 0 25 0 9 0 2002837262 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4126526162 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31333] ppid=31330 vsize=864360 CPUtime=0.11
/proc/31331/task/31333/stat : 31333 (java) S 31330 31305 28672 0 -1 64 2954 0 0 0 10 1 0 0 17 0 9 0 2002837263 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31334] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31334/stat : 31334 (java) S 31330 31305 28672 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002837263 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31335] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31335/stat : 31335 (java) S 31330 31305 28672 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2002837263 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31336] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31336/stat : 31336 (java) S 31330 31305 28672 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002837266 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31337] ppid=31330 vsize=864360 CPUtime=0.07
/proc/31331/task/31337/stat : 31337 (java) S 31330 31305 28672 0 -1 64 422 0 0 0 7 0 0 0 16 0 9 0 2002837266 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31338] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31338/stat : 31338 (java) S 31330 31305 28672 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002837266 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31339] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31339/stat : 31339 (java) S 31330 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002837266 885104640 5832 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 287.96
Current children cumulated vsize (KiB) 883316
[startup+291.508 s]
/proc/loadavg: 2.01 2.07 2.07 3/83 31339
/proc/meminfo: memFree=1131856/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=286.12
/proc/31305/stat : 31305 (sugar) S 31303 31305 28672 0 -1 4194304 1091 192949 0 2 4 1 28168 439 16 0 1 0 2002808338 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/31305/statm: 3400 799 370 3 0 500 0
[pid=31330] ppid=31305 vsize=5356 CPUtime=0
/proc/31330/stat : 31330 (sh) S 31305 31305 28672 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2002837260 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31330/statm: 1339 233 193 169 0 50 0
[pid=31331] ppid=31330 vsize=864360 CPUtime=2.24
/proc/31331/stat : 31331 (java) S 31330 31305 28672 0 -1 0 6687 0 1 0 218 6 0 0 18 0 9 0 2002837261 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31331/statm: 216090 5933 2532 9 0 210672 0
[pid=31331/tid=31332] ppid=31330 vsize=864360 CPUtime=2.03
/proc/31331/task/31332/stat : 31332 (java) R 31330 31305 28672 0 -1 64 2518 0 1 0 199 4 0 0 25 0 9 0 2002837262 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4126408899 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31333] ppid=31330 vsize=864360 CPUtime=0.12
/proc/31331/task/31333/stat : 31333 (java) S 31330 31305 28672 0 -1 64 3052 0 0 0 11 1 0 0 16 0 9 0 2002837263 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31334] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31334/stat : 31334 (java) S 31330 31305 28672 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2002837263 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31335] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31335/stat : 31335 (java) S 31330 31305 28672 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2002837263 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31336] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31336/stat : 31336 (java) S 31330 31305 28672 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2002837266 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31337] ppid=31330 vsize=864360 CPUtime=0.07
/proc/31331/task/31337/stat : 31337 (java) S 31330 31305 28672 0 -1 64 424 0 0 0 7 0 0 0 16 0 9 0 2002837266 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31338] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31338/stat : 31338 (java) S 31330 31305 28672 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 2002837266 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31331/tid=31339] ppid=31330 vsize=864360 CPUtime=0
/proc/31331/task/31339/stat : 31339 (java) S 31330 31305 28672 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002837266 885104640 5933 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 288.36
Current children cumulated vsize (KiB) 883316
[startup+291.702 s]
/proc/loadavg: 2.01 2.07 2.07 3/83 31339
/proc/meminfo: memFree=1131856/2055920 swapFree=4180056/4192956
[pid=31305] ppid=31303 vsize=13600 CPUtime=288.57
/proc/31305/stat : 31305 (sugar) R 31303 31305 28672 0 -1 4194304 1120 199964 0 3 4 14 28392 447 16 0 1 0 2002808338 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 244671288361 0 0 4224 16386 0 0 0 17 1 0 0
/proc/31305/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 288.57
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 291.761
CPU time (s): 288.646
CPU user time (s): 283.968
CPU system time (s): 4.67829
CPU usage (%): 98.9324
Max. virtual memory (cumulated for all children) (KiB): 887616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.968
system time used= 4.67829
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201114
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= 46387
involuntary context switches= 52315
runsolver used 0.350946 second user time and 1.00485 second system time
The end
Begin job on node7 at 2008-07-05 08:12:12
IDJOB=1086255
IDBENCH=57785
IDSOLVER=346
FILE ID=node7/1086255-1215238332
PBS_JOBID= 7881875
Free space on /tmp= 66520 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/fapp/fapp21/normalized-fapp21-0500-7.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-1086255-1215238332/watcher-1086255-1215238332 -o /tmp/evaluation-result-1086255-1215238332/solver-1086255-1215238332 -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-1086255-1215238332.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 258fa7544fb64a4c6d6543dd4100fd0f
RANDOM SEED=84275428
node7.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.236
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.236
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: 1490184 kB
Buffers: 51028 kB
Cached: 195976 kB
SwapCached: 7384 kB
Active: 419096 kB
Inactive: 90548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1490184 kB
SwapTotal: 4192956 kB
SwapFree: 4180056 kB
Dirty: 1780 kB
Writeback: 0 kB
Mapped: 270192 kB
Slab: 40988 kB
Committed_AS: 3880340 kB
PageTables: 2372 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= 66516 MiB
End job on node7 at 2008-07-05 08:17:04