0.06/0.07 c 0 Sugar v1-14-6 + HOME/picosat
0.06/0.07 c 0 BEGIN Sun Jul 12 07:32:20 2009
0.06/0.07 c 0 PID 24684
0.06/0.07 c 0 HOST node91.alineos.net
0.06/0.07 c 0 CONVERTING HOME/instance-2083126-1247376739.xml TO HOME/temp.csp
0.06/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2083126-1247376739.xml' 'HOME/temp.csp'
0.06/0.93 c 1 25 domains, 700 variables, 8 predicates, 0 relations, 7122 constraints
0.06/0.97 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.97 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.93/1.04 c 1 Parsing HOME/temp.csp
1.22/1.30 c 1 parsed 7855 expressions
1.22/1.31 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.22/1.31 c 1 Converting to clausal form CSP
1.42/1.55 c 1 converted 786 (10%) expressions
3.20/3.33 c 3 converted 1571 (20%) expressions
4.48/4.64 c 4 converted 2357 (30%) expressions
5.38/5.58 c 5 converted 3142 (40%) expressions
6.26/6.42 c 6 converted 3928 (50%) expressions
7.65/7.88 c 7 converted 4713 (60%) expressions
8.64/8.83 c 8 converted 5499 (70%) expressions
9.53/9.77 c 9 converted 6284 (80%) expressions
10.82/11.05 c 11 converted 7070 (90%) expressions
11.61/11.88 c 11 converted 7855 (100%) expressions
11.61/11.88 c 11 CSP : 1396 integers, 20152 booleans, 42869 clauses, largest domain size 2721
11.61/11.88 c 11 Heap : 64 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
11.61/11.88 c 11 Propagation in CSP
12.01/12.30 c 12 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
12.01/12.30 c 12 CSP : 1396 integers, 20152 booleans, 42869 clauses, largest domain size 2721
12.01/12.30 c 12 Heap : 63 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
12.11/12.32 c 12 Simplifing CSP by introducing new Boolean variables
12.21/12.40 c 12 CSP : 1396 integers, 35056 booleans, 57773 clauses, largest domain size 2721
12.21/12.40 c 12 Heap : 69 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
12.61/12.89 c 12 Encoding CSP to SAT : HOME/temp.cnf
13.19/13.48 c 13 140 (10%) CSP integer variables are encoded (28476 clauses, 405112 bytes)
13.69/13.94 c 14 280 (20%) CSP integer variables are encoded (53347 clauses, 778177 bytes)
14.19/14.44 c 14 419 (30%) CSP integer variables are encoded (79658 clauses, 1172842 bytes)
14.68/14.92 c 14 559 (40%) CSP integer variables are encoded (105486 clauses, 1572287 bytes)
15.18/15.44 c 15 698 (50%) CSP integer variables are encoded (132440 clauses, 2030505 bytes)
15.48/15.72 c 15 838 (60%) CSP integer variables are encoded (356380 clauses, 5837485 bytes)
15.77/16.02 c 16 978 (70%) CSP integer variables are encoded (604570 clauses, 10056715 bytes)
16.07/16.31 c 16 1117 (80%) CSP integer variables are encoded (845951 clauses, 14160192 bytes)
16.26/16.57 c 16 1257 (90%) CSP integer variables are encoded (1059013 clauses, 17902683 bytes)
16.56/16.84 c 16 1396 (100%) CSP integer variables are encoded (1281796 clauses, 22135560 bytes)
20.07/22.33 c 22 5778 (10%) CSP clauses are encoded (2384414 clauses, 49096010 bytes)
24.04/26.32 c 26 11555 (20%) CSP clauses are encoded (3781108 clauses, 83863592 bytes)
27.70/30.06 c 30 17332 (30%) CSP clauses are encoded (5175753 clauses, 118721826 bytes)
31.76/34.15 c 34 23110 (40%) CSP clauses are encoded (6700859 clauses, 157707332 bytes)
35.09/39.96 c 40 28887 (50%) CSP clauses are encoded (7943757 clauses, 189221869 bytes)
37.70/42.70 c 42 34664 (60%) CSP clauses are encoded (8935280 clauses, 214569798 bytes)
41.08/46.08 c 46 40442 (70%) CSP clauses are encoded (10190331 clauses, 246599804 bytes)
44.54/49.54 c 49 46219 (80%) CSP clauses are encoded (11512219 clauses, 280208898 bytes)
47.93/55.78 c 55 51996 (90%) CSP clauses are encoded (12840046 clauses, 314246015 bytes)
51.60/59.45 c 59 57773 (100%) CSP clauses are encoded (14234068 clauses, 350252801 bytes)
51.60/59.46 c 59 57773 CSP clauses encoded
51.60/59.46 c 59 Writing map file : HOME/temp.map
51.69/59.51 c 59 Heap : 72 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
51.69/59.51 c 59 SAT : 1318248 SAT variables, 14234068 SAT clauses, 350252801 bytes
51.69/59.51 c 59 Heap : 72 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
51.69/59.55 c 59 SOLVING HOME/temp.cnf
51.69/59.55 c 59 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
626.74/645.14 c 645 DECODING HOME/temp.out WITH HOME/temp.map
626.74/645.14 c 645 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
626.84/707.33 c 707 Decoding HOME/temp.out
627.90/708.38 s SATISFIABLE
628.00/708.40 v -2644 2540 -2484 -2516 -2536 -2416 2504 2456 2380 2276 -2428 2620 2260 2304 2328 2368 -2380 -2648 2624 2616 -2628 2164 2584 2388 -2696 2548 2284 -2504 -2576 -2656 2304 -2164 2416 -2464 2404 -2188 2228 -2260 -2480 2240 2572 -2428 2332 2364 2396 -2336 2400 -2624 2376 -2160 -2480 2400 2624 2368 -2276 2644 -2164 2216 -2488 2480 2244 2716 2428 2696 2680 2580 2540 2440 2640 2624 2632 2260 2508 2444 -2256 -2620 -2408 -2396 -2532 -2368 2648 2388 -2200 -2524 -2200 2592 -2324 -2508 -2180 -2280 -2508 2620 -2588 -2680 -2212 2204 -2676 -2420 -2720 2668 -2160 -2720 2516 -2432 2192 -2516 2412 2660 2440 2720 -2404 -2720 2220 2400 -2600 2396 -2320 2396 -2656 -2480 2648 -2420 2460 -2556 -2380 -2328 -2544 -2492 -2216 -2300 -2496 2560 -2532 2636 2344 -2348 -2384 -2568 -2160 -2332 -2716 -2188 2160 2396 -2252 2488 -2368 2168 -2412 2204 2648 -2436 2660 2160 2300 2340 -2420 -2628 -2668 -2444 2664 2208 -2564 2636 -2384 2648 -2236 -2372 -2556 -2204 2180 2632 2384 2632 2544 2632 2248 2640 2680 -2644 -2680 2580 2440 -2308 2408 -2624 -2624 -2328 2256 2192 2252 2348 -2380 2496 -2680 -2520 -2444 2580 -2336 -2608 -2644 -2508 -2464 2304 2580 -2344 2424 -2664 -2520 -2564 -2364 -2308 -2664 -2328 2448 2384 2720 2392 -2484 -2568 -2248 2436 2308 -2364 -2672 -2584 2436 -2228 -2520 -2200 2364 2664 -2280 2460 -2200 -2656 2440 2696 2644 -2456 -2640 2164 -2160 -2608 -2600 -2276 -2380 -2228 -2280 -2428 2312 2216 2620 2200 -2700 2188 2584 2356 2648 2424 -2680 2480 2212 -2544 2328 -2236 2256 -2688 2268 2392 -2440 2412 -2600 -2544 2476 -2432 -2612 -2304 2228 2684 2480 -2560 -2680 -2468 -2308 -2392 2380 2244 -2552 -2480 2604 2312 2640 -2316 -2584 2604 2452 -2204 2512 -2160 2624 2420 -2720 2200 -2604 -2160 -2680 2528 2576 -2340 2564 2560 -2476 2400 2252 -2664 2348 -2412 2172 2352 2632 2296 -2292 2420 2676 2204 2312 2440 2264 2664 -2500 -2688 2624 2392 -2204 -2480 2480 -2668 2660 2572 -2240 -2160 -2352 2224 -2324 -2292 -2304 -2560 2356 -2616 2200 2664 -2480 -2168 2236 -2176 -2620 2640 -2592 -2680 2200 -2296 2572 -2200 2440 2580 -2272 -2596 -2472 -2356 2580 -2204 -2380 -2200 2552 -2624 -2596 -2220 2196 -2200 2408 2348 -2720 -2652 -2292 2272 -2520 -2336 -2344 -2572 -2720 -2204 2372 -2284 -2576 2184 -2584 2596 -2424 -2244 2408 2540 -2644 2160 -2708 2356 2232 2360 -2320 -2624 -2408 2408 2640 2396 2200 -2556 -2476 -2528 -2424 2456 -2604 -2400 2408 2688 2504 2640 -2656 -2360 2388 2316 -2228 2320 -2628 -2672 -2424 2596 -2528 2484 -2200 -2352 -2660 -2432 2680 2528 2628 -2388 -2316 -2580 2524 -2440 2316 -2588 2568 2232 -2220 -2292 2604 -2444 -2660 2664 2384 -2600 2488 2648 -2216 -2344 2352 2680 2640 2376 -2700 2160 -2672 -2616 2220 2396 2640 2312 2448 -2336 2504 2316 -2252 2624 2620 -2696 2572 -2688 -2376 2404 -2680 2372 -2200 -2588 2532 -2600 2320 2232 -2208 -2388 2392 2464 2208 -2544 -2164 2188 2476 2160 2276 -2244 -2612 2672 -2340 2624 2352 2536 2324 -2356 -2436 -2532 -2520 -2160 -2584 2176 -2596 -2588 2624 -2540 2228 2368 -2640 -2632 2496 -2712 2568 2628 2360 2176 -2160 2532 -2656 -2252 2672 2676 -2568 2392 -2320 -2188 -2348 2696 2580 -2600 2520 -2636 2456 -2476 -2600 2284 -2592 2556 -2708 2556 2256 2216 2264 2216 2408 2316 2208 -2564 2548 -2584 -2380 -2160 2368 -2448 -2496 2480 2664 2204 -2608 -2324 -2252 2572 2224 2596 2612 -2344 2680 2564 2684 2604 -2272 2368 -2356 2620 -2396 2384 2200 -2164 2720 2680 2436 -2608 -2176 2508 -2432 2292 2624 2200 2420 2448 -2476 2436 -2656 -2552 -2324 -2680 2264 -2720 2604 -2684 2376 -2468 2720 -2484 -2684 2240 -2264 -2548 2164 -2200 -2520 -2420 2608 -2580 2448 -2388 -2388 2720 -2512 2620 2612 -2544 2456 -2348 2200 2448 2276 2540 2556 -2516 -2364 2364 -2216 -2540 -2468 2292 -2476 2360 -2212 -2500 2336 -2564 2688 -2560 -2404 2356 -2232 -2392 2368 2568 -2284 -2376 2572 -2584 2516 -2352 -2440 2416 -2524 2680 2420 -2608 -2680 2436 2360 -2160 -2364 2348 2584 -2360 -2324 -2428 2276 -2196 -2564 -2236 2352 -2624
628.00/708.41 c 708 Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
628.00/708.43 c 708 CPU 628.03 (0.05 0.03 563.23 64.72)
628.00/708.43 c 708 END Sun Jul 12 07:44:08 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083126-1247376739/watcher-2083126-1247376739 -o /tmp/evaluation-result-2083126-1247376739/solver-2083126-1247376739 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2083126-1247376739.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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.95 1.90 4/83 24684
/proc/meminfo: memFree=1678112/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=18576 CPUtime=0
/proc/24684/stat : 24684 (runsolver) R 24682 24684 23801 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 24738575 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 251601153319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24684/statm: 4644 284 249 26 0 2626 0
[startup+0.073801 s]
/proc/loadavg: 1.92 1.95 1.90 4/83 24684
/proc/meminfo: memFree=1678112/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16740 CPUtime=0.06
/proc/24684/stat : 24684 (sugar) R 24682 24684 23801 0 -1 4194304 1094 0 0 0 4 2 0 0 20 0 1 0 24738575 17141760 1062 996147200 4194304 4206940 548682068608 18446744073709551615 251600999137 0 0 4224 0 0 0 0 17 0 0 0
/proc/24684/statm: 4185 1062 380 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.101797 s]
/proc/loadavg: 1.92 1.95 1.90 4/83 24684
/proc/meminfo: memFree=1678112/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=0.06
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1227 128 0 0 4 2 0 0 17 0 1 0 24738575 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.302008 s]
/proc/loadavg: 1.92 1.95 1.90 4/83 24684
/proc/meminfo: memFree=1678112/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=0.06
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1227 128 0 0 4 2 0 0 17 0 1 0 24738575 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.70186 s]
/proc/loadavg: 1.92 1.95 1.90 4/83 24684
/proc/meminfo: memFree=1678112/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=0.06
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1227 128 0 0 4 2 0 0 17 0 1 0 24738575 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50195 s]
/proc/loadavg: 1.92 1.95 1.90 3/90 24702
/proc/meminfo: memFree=1666984/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=0.91
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1309 8261 0 1 4 2 81 4 15 0 1 0 24738575 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1111 409 3 0 796 0
[pid=24697] ppid=24684 vsize=5356 CPUtime=0
/proc/24697/stat : 24697 (sh) S 24684 24684 23801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24738672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1339 233 193 169 0 50 0
[pid=24698] ppid=24697 vsize=864256 CPUtime=0.51
/proc/24698/stat : 24698 (java) S 24697 24684 23801 0 -1 0 4670 0 1 0 49 2 0 0 20 0 9 0 24738672 884998144 4126 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24698/statm: 216064 4126 1742 9 0 210569 0
[pid=24698/tid=24699] ppid=24697 vsize=864256 CPUtime=0.38
/proc/24698/task/24699/stat : 24699 (java) R 24697 24684 23801 0 -1 64 2663 0 1 0 38 0 0 0 25 0 9 0 24738673 884998144 4126 996147200 134512640 134550932 4294955936 18446744073709551615 102417222 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24700] ppid=24697 vsize=864256 CPUtime=0.03
/proc/24698/task/24700/stat : 24700 (java) S 24697 24684 23801 0 -1 64 987 0 0 0 3 0 0 0 16 0 9 0 24738674 884998144 4126 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24701] ppid=24697 vsize=864256 CPUtime=0
/proc/24698/task/24701/stat : 24701 (java) S 24697 24684 23801 0 -1 64 11 0 0 0 0 0 0 0 24 0 9 0 24738674 884998144 4126 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24702] ppid=24697 vsize=864256 CPUtime=0
/proc/24698/task/24702/stat : 24702 (java) S 24697 24684 23801 0 -1 64 3 0 0 0 0 0 0 0 25 0 9 0 24738674 884998144 4126 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 886480
[startup+3.10213 s]
/proc/loadavg: 1.92 1.95 1.90 3/94 24706
/proc/meminfo: memFree=1648392/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=0.91
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1309 8261 0 1 4 2 81 4 16 0 1 0 24738575 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1111 409 3 0 796 0
[pid=24697] ppid=24684 vsize=5356 CPUtime=0
/proc/24697/stat : 24697 (sh) S 24684 24684 23801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24738672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1339 233 193 169 0 50 0
[pid=24698] ppid=24697 vsize=868600 CPUtime=2.09
/proc/24698/stat : 24698 (java) S 24697 24684 23801 0 -1 0 8838 0 1 0 205 4 0 0 20 0 9 0 24738672 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24698/statm: 217150 7967 2566 9 0 211655 0
[pid=24698/tid=24699] ppid=24697 vsize=868600 CPUtime=1.66
/proc/24698/task/24699/stat : 24699 (java) R 24697 24684 23801 0 -1 64 2791 0 1 0 165 1 0 0 25 0 9 0 24738673 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4126459008 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24700] ppid=24697 vsize=868600 CPUtime=0.24
/proc/24698/task/24700/stat : 24700 (java) S 24697 24684 23801 0 -1 64 3879 0 0 0 23 1 0 0 16 0 9 0 24738674 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24701] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24701/stat : 24701 (java) S 24697 24684 23801 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24738674 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24702] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24702/stat : 24702 (java) S 24697 24684 23801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24738674 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24703] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24703/stat : 24703 (java) S 24697 24684 23801 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24738677 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24704] ppid=24697 vsize=868600 CPUtime=0.16
/proc/24698/task/24704/stat : 24704 (java) S 24697 24684 23801 0 -1 64 1469 0 0 0 16 0 0 0 16 0 9 0 24738677 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24705] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24705/stat : 24705 (java) S 24697 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24738677 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24706] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24706/stat : 24706 (java) S 24697 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24738677 889446400 7967 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 890824
[startup+6.30248 s]
/proc/loadavg: 2.01 1.97 1.91 3/94 24706
/proc/meminfo: memFree=1619536/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=0.91
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1309 8261 0 1 4 2 81 4 16 0 1 0 24738575 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1111 409 3 0 796 0
[pid=24697] ppid=24684 vsize=5356 CPUtime=0
/proc/24697/stat : 24697 (sh) S 24684 24684 23801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24738672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1339 233 193 169 0 50 0
[pid=24698] ppid=24697 vsize=868600 CPUtime=5.25
/proc/24698/stat : 24698 (java) S 24697 24684 23801 0 -1 0 13889 0 1 0 517 8 0 0 20 0 9 0 24738672 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24698/statm: 217150 12833 2566 9 0 211655 0
[pid=24698/tid=24699] ppid=24697 vsize=868600 CPUtime=4.29
/proc/24698/task/24699/stat : 24699 (java) R 24697 24684 23801 0 -1 64 3185 0 1 0 427 2 0 0 25 0 9 0 24738673 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4126508763 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24700] ppid=24697 vsize=868600 CPUtime=0.77
/proc/24698/task/24700/stat : 24700 (java) S 24697 24684 23801 0 -1 64 8531 0 0 0 73 4 0 0 16 0 9 0 24738674 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24701] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24701/stat : 24701 (java) S 24697 24684 23801 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24738674 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24702] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24702/stat : 24702 (java) S 24697 24684 23801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24738674 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24703] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24703/stat : 24703 (java) S 24697 24684 23801 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24738677 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24704] ppid=24697 vsize=868600 CPUtime=0.16
/proc/24698/task/24704/stat : 24704 (java) S 24697 24684 23801 0 -1 64 1474 0 0 0 16 0 0 0 16 0 9 0 24738677 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24705] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24705/stat : 24705 (java) S 24697 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24738677 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24706] ppid=24697 vsize=868600 CPUtime=0
/proc/24698/task/24706/stat : 24706 (java) S 24697 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24738677 889446400 12833 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 890824
[startup+12.7022 s]
/proc/loadavg: 2.01 1.97 1.91 3/94 24706
/proc/meminfo: memFree=1546704/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=0.91
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1310 8261 0 1 4 2 81 4 15 0 1 0 24738575 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1111 409 3 0 796 0
[pid=24697] ppid=24684 vsize=5356 CPUtime=0
/proc/24697/stat : 24697 (sh) S 24684 24684 23801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24738672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1339 233 193 169 0 50 0
[pid=24698] ppid=24697 vsize=873728 CPUtime=11.6
/proc/24698/stat : 24698 (java) S 24697 24684 23801 0 -1 0 34012 0 1 0 1140 20 0 0 20 0 9 0 24738672 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24698/statm: 218432 25149 2567 9 0 212937 0
[pid=24698/tid=24699] ppid=24697 vsize=873728 CPUtime=9.07
/proc/24698/task/24699/stat : 24699 (java) R 24697 24684 23801 0 -1 64 3930 0 1 0 904 3 0 0 25 0 9 0 24738673 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24700] ppid=24697 vsize=873728 CPUtime=2.32
/proc/24698/task/24700/stat : 24700 (java) R 24697 24684 23801 0 -1 64 27899 0 0 0 217 15 0 0 16 0 9 0 24738674 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 102768171 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24701] ppid=24697 vsize=873728 CPUtime=0
/proc/24698/task/24701/stat : 24701 (java) S 24697 24684 23801 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24738674 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24702] ppid=24697 vsize=873728 CPUtime=0
/proc/24698/task/24702/stat : 24702 (java) S 24697 24684 23801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24738674 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24703] ppid=24697 vsize=873728 CPUtime=0
/proc/24698/task/24703/stat : 24703 (java) S 24697 24684 23801 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24738677 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24704] ppid=24697 vsize=873728 CPUtime=0.18
/proc/24698/task/24704/stat : 24704 (java) S 24697 24684 23801 0 -1 64 1484 0 0 0 18 0 0 0 15 0 9 0 24738677 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24705] ppid=24697 vsize=873728 CPUtime=0
/proc/24698/task/24705/stat : 24705 (java) S 24697 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24738677 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24706] ppid=24697 vsize=873728 CPUtime=0
/proc/24698/task/24706/stat : 24706 (java) S 24697 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24738677 894697472 25149 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 895952
[startup+25.5026 s]
/proc/loadavg: 2.15 2.00 1.92 3/94 24707
/proc/meminfo: memFree=1367048/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=0.91
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1310 8261 0 1 4 2 81 4 16 0 1 0 24738575 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1111 409 3 0 796 0
[pid=24697] ppid=24684 vsize=5356 CPUtime=0
/proc/24697/stat : 24697 (sh) S 24684 24684 23801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24738672 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24697/statm: 1339 233 193 169 0 50 0
[pid=24698] ppid=24697 vsize=868712 CPUtime=22.33
/proc/24698/stat : 24698 (java) S 24697 24684 23801 0 -1 0 34690 0 1 0 2169 64 0 0 20 0 9 0 24738672 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24698/statm: 217178 24295 2593 9 0 211655 0
[pid=24698/tid=24699] ppid=24697 vsize=868712 CPUtime=19.42
/proc/24698/task/24699/stat : 24699 (java) R 24697 24684 23801 0 -1 64 4290 0 1 0 1897 45 0 0 25 0 9 0 24738673 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4126996272 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24700] ppid=24697 vsize=868712 CPUtime=2.63
/proc/24698/task/24700/stat : 24700 (java) S 24697 24684 23801 0 -1 64 28177 0 0 0 246 17 0 0 16 0 9 0 24738674 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24701] ppid=24697 vsize=868712 CPUtime=0
/proc/24698/task/24701/stat : 24701 (java) S 24697 24684 23801 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24738674 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24702] ppid=24697 vsize=868712 CPUtime=0
/proc/24698/task/24702/stat : 24702 (java) S 24697 24684 23801 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24738674 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24703] ppid=24697 vsize=868712 CPUtime=0
/proc/24698/task/24703/stat : 24703 (java) S 24697 24684 23801 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24738677 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24704] ppid=24697 vsize=868712 CPUtime=0.24
/proc/24698/task/24704/stat : 24704 (java) S 24697 24684 23801 0 -1 64 1524 0 0 0 24 0 0 0 17 0 9 0 24738677 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24705] ppid=24697 vsize=868712 CPUtime=0
/proc/24698/task/24705/stat : 24705 (java) S 24697 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24738677 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24698/tid=24706] ppid=24697 vsize=868712 CPUtime=0
/proc/24698/task/24706/stat : 24706 (java) S 24697 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24738677 889561088 24295 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.24
################
# More data... #
################
[pid=24709] ppid=24708 vsize=633180 CPUtime=342.1
/proc/24709/stat : 24709 (picosat) R 24708 24684 23801 0 -1 4194304 134568 0 0 0 27987 6223 0 0 25 0 1 0 24744530 648376320 134528 996147200 134512640 134931368 4294956256 18446744073709551615 134530818 0 0 4096 0 0 0 0 17 0 0 0
/proc/24709/statm: 158295 134528 42 102 0 158190 0
Current children cumulated CPU time (s) 393.84
Current children cumulated vsize (KiB) 655404
[startup+462.301 s]
/proc/loadavg: 4.54 3.45 2.63 3/87 24761
/proc/meminfo: memFree=15760/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=51.74
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1366 44066 0 2 5 2 4945 222 17 0 1 0 24738575 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1114 409 3 0 796 0
[pid=24708] ppid=24684 vsize=5356 CPUtime=0
/proc/24708/stat : 24708 (sh) S 24684 24684 23801 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744530 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24708/statm: 1339 232 193 169 0 50 0
[pid=24709] ppid=24708 vsize=633180 CPUtime=401.67
/proc/24709/stat : 24709 (picosat) R 24708 24684 23801 0 -1 4194304 134653 0 0 0 33942 6225 0 0 25 0 1 0 24744530 648376320 134613 996147200 134512640 134931368 4294956256 18446744073709551615 134544783 0 0 4096 0 0 0 0 17 1 0 0
/proc/24709/statm: 158295 134613 42 102 0 158190 0
Current children cumulated CPU time (s) 453.41
Current children cumulated vsize (KiB) 655404
[startup+522.302 s]
/proc/loadavg: 3.96 3.46 2.68 2/86 24761
/proc/meminfo: memFree=18200/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=51.74
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1366 44066 0 2 5 2 4945 222 17 0 1 0 24738575 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1114 409 3 0 796 0
[pid=24708] ppid=24684 vsize=5356 CPUtime=0
/proc/24708/stat : 24708 (sh) S 24684 24684 23801 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744530 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24708/statm: 1339 232 193 169 0 50 0
[pid=24709] ppid=24708 vsize=633180 CPUtime=461.66
/proc/24709/stat : 24709 (picosat) R 24708 24684 23801 0 -1 4194304 134688 0 0 0 39939 6227 0 0 25 0 1 0 24744530 648376320 134648 996147200 134512640 134931368 4294956256 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/24709/statm: 158295 134648 42 102 0 158190 0
Current children cumulated CPU time (s) 513.4
Current children cumulated vsize (KiB) 655404
[startup+582.302 s]
/proc/loadavg: 4.10 3.60 2.78 2/86 24761
/proc/meminfo: memFree=21720/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=51.74
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1366 44066 0 2 5 2 4945 222 17 0 1 0 24738575 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1114 409 3 0 796 0
[pid=24708] ppid=24684 vsize=5356 CPUtime=0
/proc/24708/stat : 24708 (sh) S 24684 24684 23801 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744530 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24708/statm: 1339 232 193 169 0 50 0
[pid=24709] ppid=24708 vsize=633180 CPUtime=521.64
/proc/24709/stat : 24709 (picosat) R 24708 24684 23801 0 -1 4194304 134700 0 0 0 45934 6230 0 0 25 0 1 0 24744530 648376320 134660 996147200 134512640 134931368 4294956256 18446744073709551615 134525606 0 0 4096 0 0 0 0 17 1 0 0
/proc/24709/statm: 158295 134660 42 102 0 158190 0
Current children cumulated CPU time (s) 573.38
Current children cumulated vsize (KiB) 655404
[startup+642.305 s]
/proc/loadavg: 4.15 3.71 2.87 1/86 24761
/proc/meminfo: memFree=146456/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=51.74
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1366 44066 0 2 5 2 4945 222 17 0 1 0 24738575 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1114 409 3 0 796 0
[pid=24708] ppid=24684 vsize=5356 CPUtime=0
/proc/24708/stat : 24708 (sh) S 24684 24684 23801 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744530 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24708/statm: 1339 232 193 169 0 50 0
[pid=24709] ppid=24708 vsize=407848 CPUtime=574.98
/proc/24709/stat : 24709 (picosat) D 24708 24684 23801 0 -1 4194304 134728 0 3 0 51259 6239 0 0 25 0 1 0 24744530 417636352 101906 996147200 134512640 134931368 4294956256 18446744073709551615 134550088 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/24709/statm: 101962 101906 47 102 0 101857 0
Current children cumulated CPU time (s) 626.72
Current children cumulated vsize (KiB) 430072
[startup+702.302 s]
/proc/loadavg: 4.23 3.82 2.95 1/94 24771
/proc/meminfo: memFree=553816/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=626.79
/proc/24684/stat : 24684 (sugar) S 24682 24684 23801 0 -1 4194304 1429 179079 0 6 5 2 56205 6467 16 0 1 0 24738575 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 251610050658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24684/statm: 4217 1114 409 3 0 796 0
[pid=24762] ppid=24684 vsize=5356 CPUtime=0
/proc/24762/stat : 24762 (sh) S 24684 24684 23801 0 -1 4194304 277 0 1 0 0 0 0 0 18 0 1 0 24803089 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24762/statm: 1339 233 193 169 0 50 0
[pid=24763] ppid=24762 vsize=861892 CPUtime=0.04
/proc/24763/stat : 24763 (java) S 24762 24684 23801 0 -1 0 2281 0 1 0 2 2 0 0 18 0 9 0 24804834 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24763/statm: 215473 1845 1037 9 0 210388 0
[pid=24763/tid=24764] ppid=24762 vsize=861892 CPUtime=0.03
/proc/24763/task/24764/stat : 24764 (java) D 24762 24684 23801 0 -1 64 1376 0 1 0 2 1 0 0 21 0 9 0 24805265 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 18446744071563608240 0 0 -1 1 0 0
[pid=24763/tid=24765] ppid=24762 vsize=861892 CPUtime=0
/proc/24763/task/24765/stat : 24765 (java) S 24762 24684 23801 0 -1 64 2 0 0 0 0 0 0 0 16 0 9 0 24808323 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24763/tid=24766] ppid=24762 vsize=861892 CPUtime=0
/proc/24763/task/24766/stat : 24766 (java) S 24762 24684 23801 0 -1 64 11 0 0 0 0 0 0 0 20 0 9 0 24808324 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24763/tid=24767] ppid=24762 vsize=861892 CPUtime=0
/proc/24763/task/24767/stat : 24767 (java) S 24762 24684 23801 0 -1 64 4 0 0 0 0 0 0 0 21 0 9 0 24808324 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24763/tid=24768] ppid=24762 vsize=861892 CPUtime=0
/proc/24763/task/24768/stat : 24768 (java) S 24762 24684 23801 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24808732 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24763/tid=24769] ppid=24762 vsize=861892 CPUtime=0
/proc/24763/task/24769/stat : 24769 (java) S 24762 24684 23801 0 -1 64 209 0 0 0 0 0 0 0 20 0 9 0 24808732 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24763/tid=24770] ppid=24762 vsize=861892 CPUtime=0
/proc/24763/task/24770/stat : 24770 (java) S 24762 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 24808732 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24763/tid=24771] ppid=24762 vsize=861892 CPUtime=0
/proc/24763/task/24771/stat : 24771 (java) S 24762 24684 23801 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24808733 882577408 1845 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 626.83
Current children cumulated vsize (KiB) 884116
Solver just ended. Dumping a history of the last processes samples
[startup+719.902 s]
/proc/loadavg: 4.23 3.85 2.98 1/84 24771
/proc/meminfo: memFree=841128/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=628.14
/proc/24684/stat : 24684 (sugar) D 24682 24684 23801 0 -1 4194304 1479 186579 0 9 5 14 56323 6472 16 0 1 0 24738575 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 251601327145 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/24684/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 628.14
Current children cumulated vsize (KiB) 16868
[startup+732.701 s]
/proc/loadavg: 4.19 3.85 2.99 1/84 24771
/proc/meminfo: memFree=841832/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=628.16
/proc/24684/stat : 24684 (sugar) D 24682 24684 23801 0 -1 4194304 1479 186579 0 9 5 16 56323 6472 15 0 1 0 24738575 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 251601327145 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/24684/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 628.16
Current children cumulated vsize (KiB) 16868
[startup+735.902 s]
/proc/loadavg: 4.26 3.87 3.00 1/84 24771
/proc/meminfo: memFree=842024/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=628.16
/proc/24684/stat : 24684 (sugar) D 24682 24684 23801 0 -1 4194304 1479 186579 0 9 5 16 56323 6472 15 0 1 0 24738575 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 251601327145 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/24684/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 628.16
Current children cumulated vsize (KiB) 16868
[startup+737.502 s]
/proc/loadavg: 4.26 3.87 3.00 1/84 24771
/proc/meminfo: memFree=842024/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=628.16
/proc/24684/stat : 24684 (sugar) D 24682 24684 23801 0 -1 4194304 1479 186579 0 9 5 16 56323 6472 15 0 1 0 24738575 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 251601327145 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/24684/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 628.16
Current children cumulated vsize (KiB) 16868
[startup+739.105 s]
/proc/loadavg: 4.24 3.87 3.01 1/84 24771
/proc/meminfo: memFree=842152/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=628.16
/proc/24684/stat : 24684 (sugar) D 24682 24684 23801 0 -1 4194304 1479 186579 0 9 5 16 56323 6472 15 0 1 0 24738575 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 251601327145 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/24684/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 628.16
Current children cumulated vsize (KiB) 16868
[startup+739.501 s]
/proc/loadavg: 4.24 3.87 3.01 1/84 24771
/proc/meminfo: memFree=842152/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=628.16
/proc/24684/stat : 24684 (sugar) D 24682 24684 23801 0 -1 4194304 1479 186579 0 9 5 16 56323 6472 15 0 1 0 24738575 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 251601327145 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/24684/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 628.16
Current children cumulated vsize (KiB) 16868
[startup+739.701 s]
/proc/loadavg: 4.24 3.87 3.01 1/84 24771
/proc/meminfo: memFree=842152/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=628.16
/proc/24684/stat : 24684 (sugar) D 24682 24684 23801 0 -1 4194304 1479 186579 0 9 5 16 56323 6472 15 0 1 0 24738575 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 251601327145 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/24684/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 628.16
Current children cumulated vsize (KiB) 16868
[startup+739.801 s]
/proc/loadavg: 4.24 3.87 3.01 1/84 24771
/proc/meminfo: memFree=842152/2055920 swapFree=4192812/4192956
[pid=24684] ppid=24682 vsize=16868 CPUtime=628.16
/proc/24684/stat : 24684 (sugar) D 24682 24684 23801 0 -1 4194304 1479 186579 0 9 5 16 56323 6472 15 0 1 0 24738575 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 251601327145 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/24684/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 628.16
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 739.835
CPU time (s): 628.188
CPU user time (s): 563.284
CPU system time (s): 64.9041
CPU usage (%): 84.9093
Max. virtual memory (cumulated for all children) (KiB): 901072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 563.284
system time used= 64.9041
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188119
page faults= 9
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17473
involuntary context switches= 22600
runsolver used 0.881865 second user time and 2.21766 second system time
The end
Begin job on node91 at 2009-07-12 07:32:20
IDJOB=2083126
IDBENCH=57713
IDSOLVER=738
FILE ID=node91/2083126-1247376739
PBS_JOBID= 9507146
Free space on /tmp= 66220 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-9.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083126-1247376739/watcher-2083126-1247376739 -o /tmp/evaluation-result-2083126-1247376739/solver-2083126-1247376739 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2083126-1247376739.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fc14afa27a31c1de216ea0ec7153d796
RANDOM SEED=674238054
node91.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.241
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.241
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1678528 kB
Buffers: 42496 kB
Cached: 161300 kB
SwapCached: 0 kB
Active: 242288 kB
Inactive: 74492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1678528 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4816 kB
Writeback: 0 kB
Mapped: 133376 kB
Slab: 45560 kB
Committed_AS: 303716 kB
PageTables: 1976 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65360 MiB
End job on node91 at 2009-07-12 07:44:39