0.04/0.24 c 0 Sugar v1-14-6 + HOME/picosat
0.04/0.26 c 0 BEGIN Sun Jul 12 08:06:27 2009
0.04/0.26 c 0 PID 25035
0.04/0.26 c 0 HOST node39.alineos.net
0.04/0.26 c 0 CONVERTING HOME/instance-2084083-1247378787.xml TO HOME/temp.csp
0.04/0.26 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2084083-1247378787.xml' 'HOME/temp.csp'
0.84/1.23 c 1 33 domains, 800 variables, 7 predicates, 0 relations, 8975 constraints
0.84/1.24 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.84/1.24 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.89/1.32 c 1 Parsing HOME/temp.csp
0.89/1.55 c 2 parsed 9815 expressions
0.89/1.56 c 2 Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.89/1.56 c 2 Converting to clausal form CSP
1.82/2.23 c 2 converted 982 (10%) expressions
4.61/5.00 c 5 converted 1963 (20%) expressions
6.80/7.24 c 7 converted 2945 (30%) expressions
8.49/8.98 c 9 converted 3926 (40%) expressions
10.30/10.71 c 11 converted 4908 (50%) expressions
12.29/12.79 c 13 converted 5889 (60%) expressions
13.80/14.26 c 14 converted 6871 (70%) expressions
15.09/15.57 c 16 converted 7852 (80%) expressions
17.20/17.66 c 18 converted 8834 (90%) expressions
18.70/19.13 c 19 converted 9815 (100%) expressions
18.70/19.13 c 19 CSP : 1600 integers, 25569 booleans, 50458 clauses, largest domain size 2717
18.70/19.13 c 19 Heap : 105 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
18.70/19.13 c 19 Propagation in CSP
19.30/19.73 c 20 50 values, 0 unsatisfiable literals, and 0 valid clauses are removed
19.30/19.73 c 20 CSP : 1600 integers, 25569 booleans, 50458 clauses, largest domain size 2717
19.30/19.73 c 20 Heap : 107 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
19.30/19.77 c 20 Simplifing CSP by introducing new Boolean variables
19.40/19.86 c 20 CSP : 1600 integers, 42663 booleans, 67552 clauses, largest domain size 2717
19.40/19.86 c 20 Heap : 111 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
20.19/20.66 c 21 Encoding CSP to SAT : HOME/temp.cnf
20.75/21.28 c 21 160 (10%) CSP integer variables are encoded (25496 clauses, 360442 bytes)
21.25/21.70 c 22 320 (20%) CSP integer variables are encoded (46648 clauses, 677722 bytes)
21.74/22.20 c 22 480 (30%) CSP integer variables are encoded (71096 clauses, 1044442 bytes)
22.15/22.69 c 23 640 (40%) CSP integer variables are encoded (95352 clauses, 1408282 bytes)
22.75/23.20 c 23 800 (50%) CSP integer variables are encoded (120164 clauses, 1822127 bytes)
22.94/23.44 c 23 960 (60%) CSP integer variables are encoded (302186 clauses, 4916501 bytes)
23.15/23.64 c 24 1120 (70%) CSP integer variables are encoded (446597 clauses, 7371488 bytes)
23.35/23.85 c 24 1280 (80%) CSP integer variables are encoded (612531 clauses, 10192366 bytes)
23.56/24.08 c 24 1440 (90%) CSP integer variables are encoded (793941 clauses, 13276336 bytes)
23.76/24.28 c 24 1600 (100%) CSP integer variables are encoded (940699 clauses, 15771222 bytes)
26.55/27.01 c 27 6756 (10%) CSP clauses are encoded (1621459 clauses, 31598811 bytes)
29.04/29.55 c 30 13511 (20%) CSP clauses are encoded (2349165 clauses, 48624465 bytes)
31.72/32.28 c 32 20266 (30%) CSP clauses are encoded (3172363 clauses, 68097425 bytes)
34.81/35.39 c 35 27021 (40%) CSP clauses are encoded (4163198 clauses, 91955837 bytes)
36.81/37.34 c 37 33776 (50%) CSP clauses are encoded (4787316 clauses, 106812173 bytes)
39.00/39.57 c 40 40532 (60%) CSP clauses are encoded (5507824 clauses, 124074918 bytes)
41.38/41.90 c 42 47287 (70%) CSP clauses are encoded (6293598 clauses, 142909183 bytes)
44.27/44.83 c 45 54042 (80%) CSP clauses are encoded (7301326 clauses, 166994805 bytes)
46.35/46.92 c 47 60797 (90%) CSP clauses are encoded (7999209 clauses, 183784242 bytes)
48.94/49.58 c 50 67552 (100%) CSP clauses are encoded (8878492 clauses, 204887955 bytes)
48.94/49.58 c 50 67552 CSP clauses encoded
48.94/49.58 c 50 Writing map file : HOME/temp.map
49.04/49.63 c 50 Heap : 102 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
49.04/49.63 c 50 SAT : 984961 SAT variables, 8878492 SAT clauses, 204887955 bytes
49.04/49.63 c 50 Heap : 102 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
49.04/49.68 c 50 SOLVING HOME/temp.cnf
49.04/49.68 c 50 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
329.34/330.51 c 331 DECODING HOME/temp.out WITH HOME/temp.map
329.34/330.51 c 331 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'
329.34/330.59 c 331 Decoding HOME/temp.out
330.92/332.17 s SATISFIABLE
330.92/332.20 v -2612 2640 2476 2504 2664 -2612 2668 -2252 -2584 -2716 -2092 -2692 2200 2236 2600 2584 -2580 2260 -2220 -2572 2496 2556 2640 -2320 2448 -2560 2180 -2656 -2568 2396 2544 2352 -2196 -2636 -2256 -2336 2424 -2628 -2660 -2440 -2292 2628 -2284 -2576 2608 -2252 -2496 2560 2556 2020 2072 -2560 2528 -2088 -2616 -2400 -2188 -2608 -2120 2204 2288 2180 2368 2196 2648 2352 -2112 -2440 -2488 2640 -2524 2376 -2236 -2276 -2256 -2160 -2168 2480 -2588 -2340 -2580 -2612 2020 -2248 -2476 2624 -2024 2644 -2076 -2284 2604 -2532 -2380 -2340 2264 -2640 -2588 -2608 2160 2592 -2072 2620 -2576 2380 -2676 2616 2592 2340 -2360 -2684 2636 2348 -2208 2672 -2604 2084 2648 2084 -2188 2372 -2580 -2140 -2220 -2660 -2388 -2624 -2660 -2332 2020 -2488 -2580 -2220 2532 -2536 -2116 2496 2580 2676 2668 -2228 2236 2244 -2060 -2624 -2140 2628 2540 -2420 -2540 -2060 2564 -2096 2700 2152 2480 2368 2688 2680 -2660 -2688 -2612 2300 -2600 2556 2660 -2552 2284 -2552 -2344 -2084 2292 2588 2060 2264 -2252 -2516 -2488 -2628 -2264 2528 -2528 2076 2700 -2648 -2576 -2324 -2260 2512 -2420 -2060 -2324 2168 2596 -2636 -2248 -2412 2676 2228 -2648 2292 -2560 2684 -2476 2336 2532 2252 2136 2044 2652 -2388 -2120 2480 -2064 2628 -2472 -2512 2544 2220 -2644 -2032 2432 2248 2572 -2360 2160 -2368 2296 -2560 2408 2640 2124 2392 -2692 -2608 -2676 -2676 -2248 -2260 2176 2504 -2408 -2220 -2552 2716 2164 -2520 2224 2472 -2320 2680 2200 2680 -2572 -2492 2536 2260 -2496 2528 -2432 -2152 2324 2648 -2060 2600 2696 2596 2596 -2036 2060 2588 2684 2636 -2464 -2064 2620 2588 2288 2576 -2660 -2116 2616 -2316 2020 -2708 -2524 -2228 -2676 2616 2400 -2332 -2552 2640 -2628 -2244 -2520 2600 2536 -2600 -2600 2600 -2356 2324 2332 -2296 -2576 2488 -2668 2520 -2632 -2228 -2220 2492 -2284 2584 2480 -2296 -2360 -2628 -2292 2424 -2568 -2216 -2640 -2204 -2608 2612 -2312 2692 2628 2160 -2304 2640 2312 -2700 -2360 -2148 -2216 -2584 -2572 2384 2116 2464 2636 2300 2256 2520 2156 2512 2076 -2648 -2612 2596 2652 -2612 2300 2616 -2092 -2176 -2020 2388 2504 2368 -2600 -2464 -2176 2532 -2656 -2572 2576 2608 -2172 2500 -2400 -2420 -2676 -2024 -2460 2292 2640 -2544 -2256 2420 2400 -2620 2176 2564 2340 2688 -2052 2488 2360 2680 2408 -2600 -2376 -2652 -2204 2596 2288 2340 2328 -2104 -2112 -2348 -2156 -2504 2580 -2536 2336 -2464 -2700 2324 -2704 -2640 -2572 2540 2168 2408 2452 -2620 -2556 2660 2584 2636 2676 -2624 2424 -2032 2556 -2620 -2600 2208 2164 -2364 -2516 2592 -2188 -2288 2564 2476 2196 -2472 -2240 -2304 2328 2484 -2188 2644 2680 -2540 2044 -2492 2644 2640 2160 -2292 -2580 2656 -2372 2556 -2528 2340 2152 -2160 -2556 2596 2300 -2400 -2620 -2496 2612 2352 -2608 -2644 2508 2516 2516 2456 2036 -2648 -2248 2256 2600 2332 -2440 2148 -2560 2156 -2576 -2060 2580 2276 2576 -2624 2364 -2460 2384 2640 -2580 -2336 2260 2024 2488 -2688 -2476 2064 2212 -2600 -2516 2588 2712 2348 -2216 2640 2196 -2532 2304 -2336 -2500 -2676 -2208 -2064 2500 2288 -2608 -2352 -2620 2392 2448 -2536 2456 -2296 -2600 2032 -2648 2604 -2356 -2672 -2616 -2436 -2612 -2328 -2584 2528 2516 2704 -2116 -2616 2520 -2688 2100 -2084 2520 -2608 -2400 2704 2300 2680 2260 -2680 -2216 2624 2336 2612 -2500 2480 2212 2244 -2512 -2468 -2424 2304 2236 2624 -2648 2076 2328 2200 2552 -2412 2020 2228 -2460 -2544 2248 -2336 2172 2504 -2640 2524 2052 -2260 2652 2216 -2616 2716 2488 -2464 -2248 -2328 2344 -2648 -2596 -2292 -2316 -2504 -2548 -2212 2528 -2656 2360 -2576 2652 -2452 -2620 -2216 -2280 -2024 2188 2576 2412 2600 -2640 -2232 -2604 2664 -2676 -2420 2588 -2460 2652 2616 2596 2512 -2312 -2548 -2316 2584 2020 2568 -2576 -2580 2400 2124 2164 2640 -2316 2180 2652 -2344 -2660 -2568 2648 2612 -2208 -2588 2064 2296 -2632 -2212 -2348 2228 -2508 2148 -2124 2396 2328 -2672 2352 2380 -2476 -2304 -2648 -2192 -2596 2440 -2216 -2636 -2536 2288 2496 2164 2400 -2604 -2224 -2112 -2484 -2252 2108 2492 -2640 2020 2620 2188 2636 2028 2608 -2380 -2472 2296 -2344 2684 2296 2568 2212 -2464 -2268 2188 2312 2400 2020 2368 2576 -2620 -2312 2120 2072 2616 2388 -2632 -2356 2600 2336 -2540 -2652 2220 2512 -2048 2080 -2440 2044 2128 -2060 -2640 2196 -2120 -2156 2596 2320 -2664 -2616 2616 -2500 2296 2440 2636 2644 -2664 -2640 -2120 -2356 2068 -2636 -2688 2264 -2716 -2508 -2208 -2636 -2648 2208 -2124 -2560 -2672 -2520 -2536 2332 2572 -2708 -2060 2628 2300 2640 2280 -2676 2652 -2600 -2632 -2380 -2400 2584 2600 -2608 2532 2648 -2592 2528 2460 2400 -2480 -2360 -2276 2536 -2624 -2576 2620 -2680 2128 2172 2644
331.02/332.21 c 332 Heap : 8 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
331.02/332.25 c 332 CPU 331.04 (0.06 0.03 288.1 42.85)
331.02/332.25 c 332 END Sun Jul 12 08:11:59 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2084083-1247378787/watcher-2084083-1247378787 -o /tmp/evaluation-result-2084083-1247378787/solver-2084083-1247378787 -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-2084083-1247378787.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: 2.32 2.32 2.19 4/82 25035
/proc/meminfo: memFree=1485888/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=18576 CPUtime=0
/proc/25035/stat : 25035 (runsolver) R 25033 25035 24947 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 24942741 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 272836914471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25035/statm: 4644 284 249 26 0 2626 0
[startup+0.047835 s]
/proc/loadavg: 2.32 2.32 2.19 4/82 25035
/proc/meminfo: memFree=1485888/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=12268 CPUtime=0
/proc/25035/stat : 25035 (sugar) D 25033 25035 24947 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 24942741 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 272837081701 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/25035/statm: 3067 316 241 3 0 167 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12268
[startup+0.102754 s]
/proc/loadavg: 2.32 2.32 2.19 4/82 25035
/proc/meminfo: memFree=1485888/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=12272 CPUtime=0
/proc/25035/stat : 25035 (sugar) R 25033 25035 24947 0 -1 4194304 409 0 0 0 0 0 0 0 18 0 1 0 24942741 12566528 377 996147200 4194304 4206940 548682068608 18446744073709551615 272837081701 0 0 4224 0 0 0 0 17 0 0 0
/proc/25035/statm: 3068 377 275 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272
[startup+0.302764 s]
/proc/loadavg: 2.32 2.32 2.19 4/82 25035
/proc/meminfo: memFree=1485888/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=0.07
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 24942741 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25035/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.704798 s]
/proc/loadavg: 2.32 2.32 2.19 4/82 25035
/proc/meminfo: memFree=1485888/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=0.07
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1227 128 0 0 5 2 0 0 19 0 1 0 24942741 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25035/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50185 s]
/proc/loadavg: 2.32 2.32 2.19 4/93 25047
/proc/meminfo: memFree=1463528/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=0.89
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1309 8958 0 1 5 2 76 6 16 0 1 0 24942741 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25035/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 16868
[startup+3.10195 s]
/proc/loadavg: 2.32 2.32 2.19 3/93 25057
/proc/meminfo: memFree=1463400/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=0.89
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1309 8958 0 1 5 2 76 6 16 0 1 0 24942741 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25035/statm: 4217 1111 409 3 0 796 0
[pid=25048] ppid=25035 vsize=5356 CPUtime=0
/proc/25048/stat : 25048 (sh) S 25035 25035 24947 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24942866 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25048/statm: 1339 233 193 169 0 50 0
[pid=25049] ppid=25048 vsize=868600 CPUtime=1.82
/proc/25049/stat : 25049 (java) S 25048 25035 24947 0 -1 0 8835 0 1 0 177 5 0 0 20 0 9 0 24942866 889446400 7986 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25049/statm: 217150 7987 2567 9 0 211655 0
[pid=25049/tid=25050] ppid=25048 vsize=868600 CPUtime=1.36
/proc/25049/task/25050/stat : 25050 (java) R 25048 25035 24947 0 -1 64 2755 0 1 0 134 2 0 0 19 0 9 0 24942867 889446400 7987 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25051] ppid=25048 vsize=868600 CPUtime=0.26
/proc/25049/task/25051/stat : 25051 (java) R 25048 25035 24947 0 -1 64 3946 0 0 0 25 1 0 0 15 0 9 0 24942868 889446400 7987 996147200 134512640 134550932 4294955936 18446744073709551615 102709360 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25052] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25052/stat : 25052 (java) S 25048 25035 24947 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942868 889446400 7987 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25053] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25053/stat : 25053 (java) S 25048 25035 24947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24942868 889446400 7987 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25054] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25054/stat : 25054 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24942870 889446400 7987 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25055] ppid=25048 vsize=868600 CPUtime=0.17
/proc/25049/task/25055/stat : 25055 (java) S 25048 25035 24947 0 -1 64 1436 0 0 0 17 0 0 0 15 0 9 0 24942870 889446400 7987 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25056] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25056/stat : 25056 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24942870 889446400 7987 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25057] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25057/stat : 25057 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942870 889446400 7987 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 890824
[startup+6.30216 s]
/proc/loadavg: 2.29 2.31 2.19 3/83 25085
/proc/meminfo: memFree=1890752/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=0.89
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1309 8958 0 1 5 2 76 6 16 0 1 0 24942741 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25035/statm: 4217 1111 409 3 0 796 0
[pid=25048] ppid=25035 vsize=5356 CPUtime=0
/proc/25048/stat : 25048 (sh) S 25035 25035 24947 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24942866 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25048/statm: 1339 233 193 169 0 50 0
[pid=25049] ppid=25048 vsize=868600 CPUtime=5.01
/proc/25049/stat : 25049 (java) S 25048 25035 24947 0 -1 0 13190 0 1 0 490 11 0 0 20 0 9 0 24942866 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25049/statm: 217150 12182 2566 9 0 211655 0
[pid=25049/tid=25050] ppid=25048 vsize=868600 CPUtime=4.05
/proc/25049/task/25050/stat : 25050 (java) R 25048 25035 24947 0 -1 64 3139 0 1 0 402 3 0 0 23 0 9 0 24942867 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4126548894 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25051] ppid=25048 vsize=868600 CPUtime=0.75
/proc/25049/task/25051/stat : 25051 (java) S 25048 25035 24947 0 -1 64 7908 0 0 0 69 6 0 0 16 0 9 0 24942868 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25052] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25052/stat : 25052 (java) S 25048 25035 24947 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942868 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25053] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25053/stat : 25053 (java) S 25048 25035 24947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24942868 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25054] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25054/stat : 25054 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24942870 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25055] ppid=25048 vsize=868600 CPUtime=0.18
/proc/25049/task/25055/stat : 25055 (java) S 25048 25035 24947 0 -1 64 1444 0 0 0 18 0 0 0 15 0 9 0 24942870 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25056] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25056/stat : 25056 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24942870 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25057] ppid=25048 vsize=868600 CPUtime=0
/proc/25049/task/25057/stat : 25057 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24942870 889446400 12182 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 890824
[startup+12.7016 s]
/proc/loadavg: 2.27 2.31 2.19 3/83 25085
/proc/meminfo: memFree=1835584/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=0.89
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1309 8958 0 1 5 2 76 6 16 0 1 0 24942741 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1111 409 3 0 796 0
[pid=25048] ppid=25035 vsize=5356 CPUtime=0
/proc/25048/stat : 25048 (sh) S 25035 25035 24947 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24942866 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25048/statm: 1339 233 193 169 0 50 0
[pid=25049] ppid=25048 vsize=869624 CPUtime=11.4
/proc/25049/stat : 25049 (java) S 25048 25035 24947 0 -1 0 31217 0 1 0 1121 19 0 0 20 0 9 0 24942866 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25049/statm: 217406 23042 2567 9 0 211911 0
[pid=25049/tid=25050] ppid=25048 vsize=869624 CPUtime=9.12
/proc/25049/task/25050/stat : 25050 (java) R 25048 25035 24947 0 -1 64 3915 0 1 0 908 4 0 0 25 0 9 0 24942867 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4126548030 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25051] ppid=25048 vsize=869624 CPUtime=2.07
/proc/25049/task/25051/stat : 25051 (java) S 25048 25035 24947 0 -1 64 25157 0 0 0 194 13 0 0 16 0 9 0 24942868 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25052] ppid=25048 vsize=869624 CPUtime=0
/proc/25049/task/25052/stat : 25052 (java) S 25048 25035 24947 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942868 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25053] ppid=25048 vsize=869624 CPUtime=0
/proc/25049/task/25053/stat : 25053 (java) S 25048 25035 24947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24942868 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25054] ppid=25048 vsize=869624 CPUtime=0
/proc/25049/task/25054/stat : 25054 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24942870 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25055] ppid=25048 vsize=869624 CPUtime=0.19
/proc/25049/task/25055/stat : 25055 (java) S 25048 25035 24947 0 -1 64 1445 0 0 0 19 0 0 0 17 0 9 0 24942870 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25056] ppid=25048 vsize=869624 CPUtime=0
/proc/25049/task/25056/stat : 25056 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24942870 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25057] ppid=25048 vsize=869624 CPUtime=0
/proc/25049/task/25057/stat : 25057 (java) S 25048 25035 24947 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 24942870 890494976 23042 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 891848
[startup+25.5025 s]
/proc/loadavg: 2.21 2.29 2.18 3/94 25123
/proc/meminfo: memFree=1657568/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=0.9
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1310 8958 0 1 6 2 76 6 16 0 1 0 24942741 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1111 409 3 0 796 0
[pid=25048] ppid=25035 vsize=5356 CPUtime=0
/proc/25048/stat : 25048 (sh) S 25035 25035 24947 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24942866 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25048/statm: 1339 233 193 169 0 50 0
[pid=25049] ppid=25048 vsize=869736 CPUtime=24.15
/proc/25049/stat : 25049 (java) S 25048 25035 24947 0 -1 0 49291 0 2 0 2372 43 0 0 20 0 9 0 24942866 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25049/statm: 217434 35856 2593 9 0 211911 0
[pid=25049/tid=25050] ppid=25048 vsize=869736 CPUtime=19.62
/proc/25049/task/25050/stat : 25050 (java) R 25048 25035 24947 0 -1 64 4752 0 2 0 1945 17 0 0 25 0 9 0 24942867 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4127012375 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25051] ppid=25048 vsize=869736 CPUtime=4.23
/proc/25049/task/25051/stat : 25051 (java) S 25048 25035 24947 0 -1 64 42343 0 0 0 399 24 0 0 16 0 9 0 24942868 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25052] ppid=25048 vsize=869736 CPUtime=0
/proc/25049/task/25052/stat : 25052 (java) S 25048 25035 24947 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24942868 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25053] ppid=25048 vsize=869736 CPUtime=0
/proc/25049/task/25053/stat : 25053 (java) S 25048 25035 24947 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24942868 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25054] ppid=25048 vsize=869736 CPUtime=0
/proc/25049/task/25054/stat : 25054 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24942870 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25055] ppid=25048 vsize=869736 CPUtime=0.27
/proc/25049/task/25055/stat : 25055 (java) S 25048 25035 24947 0 -1 64 1496 0 0 0 27 0 0 0 15 0 9 0 24942870 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25049/tid=25056] ppid=25048 vsize=869736 CPUtime=0
/proc/25049/task/25056/stat : 25056 (java) S 25048 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24942870 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25049/tid=25057] ppid=25048 vsize=869736 CPUtime=0
/proc/25049/task/25057/stat : 25057 (java) S 25048 25035 24947 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 24942870 890609664 35856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 891960
[startup+51.1022 s]
/proc/loadavg: 2.22 2.28 2.18 3/86 25125
/proc/meminfo: memFree=1543584/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=49.11
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1366 58947 0 3 6 2 4736 167 17 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25124] ppid=25035 vsize=5356 CPUtime=0
/proc/25124/stat : 25124 (sh) S 25035 25035 24947 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24947710 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25124/statm: 1339 232 193 169 0 50 0
[pid=25125] ppid=25124 vsize=22808 CPUtime=1.4
/proc/25125/stat : 25125 (picosat) R 25124 25035 24947 0 -1 4194304 4785 0 0 0 64 76 0 0 25 0 1 0 24947710 23355392 4771 996147200 134512640 134931368 4294956256 18446744073709551615 134605937 0 0 4096 0 0 0 0 17 1 0 0
/proc/25125/statm: 5702 4772 40 102 0 5597 0
################
# More data... #
################
/proc/25124/stat : 25124 (sh) S 25035 25035 24947 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24947710 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25124/statm: 1339 232 193 169 0 50 0
[pid=25125] ppid=25124 vsize=363444 CPUtime=112.56
/proc/25125/stat : 25125 (picosat) R 25124 25035 24947 0 -1 4194304 85337 0 0 0 7153 4103 0 0 25 0 1 0 24947710 372166656 85323 996147200 134512640 134931368 4294956256 18446744073709551615 134525788 0 0 4096 0 0 0 0 17 1 0 0
/proc/25125/statm: 90861 85323 42 102 0 90756 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 385668
[startup+222.303 s]
/proc/loadavg: 2.08 2.20 2.17 3/86 25125
/proc/meminfo: memFree=871136/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=49.11
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1366 58947 0 3 6 2 4736 167 17 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25124] ppid=25035 vsize=5356 CPUtime=0
/proc/25124/stat : 25124 (sh) S 25035 25035 24947 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24947710 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25124/statm: 1339 232 193 169 0 50 0
[pid=25125] ppid=25124 vsize=363444 CPUtime=172.55
/proc/25125/stat : 25125 (picosat) R 25124 25035 24947 0 -1 4194304 85411 0 0 0 13152 4103 0 0 25 0 1 0 24947710 372166656 85397 996147200 134512640 134931368 4294956256 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 1 0 0
/proc/25125/statm: 90861 85397 42 102 0 90756 0
Current children cumulated CPU time (s) 221.66
Current children cumulated vsize (KiB) 385668
[startup+282.303 s]
/proc/loadavg: 2.03 2.16 2.16 3/86 25125
/proc/meminfo: memFree=756320/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=49.11
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1366 58947 0 3 6 2 4736 167 17 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25124] ppid=25035 vsize=5356 CPUtime=0
/proc/25124/stat : 25124 (sh) S 25035 25035 24947 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24947710 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25124/statm: 1339 232 193 169 0 50 0
[pid=25125] ppid=25124 vsize=363444 CPUtime=232.45
/proc/25125/stat : 25125 (picosat) R 25124 25035 24947 0 -1 4194304 85438 0 0 0 19142 4103 0 0 25 0 1 0 24947710 372166656 85424 996147200 134512640 134931368 4294956256 18446744073709551615 134522740 0 0 4096 0 0 0 0 17 0 0 0
/proc/25125/statm: 90861 85424 42 102 0 90756 0
Current children cumulated CPU time (s) 281.56
Current children cumulated vsize (KiB) 385668
Solver just ended. Dumping a history of the last processes samples
[startup+307.102 s]
/proc/loadavg: 2.15 2.18 2.16 3/86 25125
/proc/meminfo: memFree=711072/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=49.11
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1366 58947 0 3 6 2 4736 167 17 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25124] ppid=25035 vsize=5356 CPUtime=0
/proc/25124/stat : 25124 (sh) S 25035 25035 24947 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24947710 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25124/statm: 1339 232 193 169 0 50 0
[pid=25125] ppid=25124 vsize=363444 CPUtime=257.03
/proc/25125/stat : 25125 (picosat) R 25124 25035 24947 0 -1 4194304 85448 0 0 0 21600 4103 0 0 25 0 1 0 24947710 372166656 85434 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 0 0 0
/proc/25125/statm: 90861 85434 42 102 0 90756 0
Current children cumulated CPU time (s) 306.14
Current children cumulated vsize (KiB) 385668
[startup+319.901 s]
/proc/loadavg: 2.13 2.17 2.16 3/86 25125
/proc/meminfo: memFree=689184/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=49.11
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1366 58947 0 3 6 2 4736 167 17 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25124] ppid=25035 vsize=5356 CPUtime=0
/proc/25124/stat : 25124 (sh) S 25035 25035 24947 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24947710 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25124/statm: 1339 232 193 169 0 50 0
[pid=25125] ppid=25124 vsize=363444 CPUtime=269.73
/proc/25125/stat : 25125 (picosat) R 25124 25035 24947 0 -1 4194304 85451 0 0 0 22870 4103 0 0 25 0 1 0 24947710 372166656 85437 996147200 134512640 134931368 4294956256 18446744073709551615 134525929 0 0 4096 0 0 0 0 17 0 0 0
/proc/25125/statm: 90861 85437 42 102 0 90756 0
Current children cumulated CPU time (s) 318.84
Current children cumulated vsize (KiB) 385668
[startup+326.302 s]
/proc/loadavg: 2.11 2.17 2.16 3/86 25125
/proc/meminfo: memFree=686880/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=49.11
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1366 58947 0 3 6 2 4736 167 17 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25124] ppid=25035 vsize=5356 CPUtime=0
/proc/25124/stat : 25124 (sh) S 25035 25035 24947 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24947710 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25124/statm: 1339 232 193 169 0 50 0
[pid=25125] ppid=25124 vsize=363444 CPUtime=276.07
/proc/25125/stat : 25125 (picosat) R 25124 25035 24947 0 -1 4194304 85458 0 0 0 23504 4103 0 0 25 0 1 0 24947710 372166656 85444 996147200 134512640 134931368 4294956256 18446744073709551615 134523056 0 0 4096 0 0 0 0 17 0 0 0
/proc/25125/statm: 90861 85444 42 102 0 90756 0
Current children cumulated CPU time (s) 325.18
Current children cumulated vsize (KiB) 385668
[startup+329.502 s]
/proc/loadavg: 2.11 2.17 2.16 4/86 25125
/proc/meminfo: memFree=686880/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=49.11
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1366 58947 0 3 6 2 4736 167 17 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25124] ppid=25035 vsize=5356 CPUtime=0
/proc/25124/stat : 25124 (sh) S 25035 25035 24947 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24947710 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25124/statm: 1339 232 193 169 0 50 0
[pid=25125] ppid=25124 vsize=363444 CPUtime=279.24
/proc/25125/stat : 25125 (picosat) R 25124 25035 24947 0 -1 4194304 85466 0 0 0 23821 4103 0 0 25 0 1 0 24947710 372166656 85452 996147200 134512640 134931368 4294956256 18446744073709551615 134544827 0 0 4096 0 0 0 0 17 0 0 0
/proc/25125/statm: 90861 85452 42 102 0 90756 0
Current children cumulated CPU time (s) 328.35
Current children cumulated vsize (KiB) 385668
[startup+331.107 s]
/proc/loadavg: 2.10 2.16 2.16 4/94 25135
/proc/meminfo: memFree=1007584/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=329.36
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1447 144708 0 3 6 2 28649 4279 15 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25126] ppid=25035 vsize=5356 CPUtime=0
/proc/25126/stat : 25126 (sh) S 25035 25035 24947 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24975793 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25126/statm: 1339 233 193 169 0 50 0
[pid=25127] ppid=25126 vsize=862908 CPUtime=0.56
/proc/25127/stat : 25127 (java) S 25126 25035 24947 0 -1 0 6323 0 1 0 53 3 0 0 19 0 9 0 24975793 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25127/statm: 215727 5597 2157 9 0 210640 0
[pid=25127/tid=25128] ppid=25126 vsize=862908 CPUtime=0.35
/proc/25127/task/25128/stat : 25128 (java) R 25126 25035 24947 0 -1 64 2066 0 1 0 34 1 0 0 25 0 9 0 24975794 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4126575635 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25129] ppid=25126 vsize=862908 CPUtime=0.13
/proc/25127/task/25129/stat : 25129 (java) S 25126 25035 24947 0 -1 64 3071 0 0 0 12 1 0 0 16 0 9 0 24975796 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25130] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25130/stat : 25130 (java) S 25126 25035 24947 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24975796 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25131] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25131/stat : 25131 (java) S 25126 25035 24947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24975796 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25132] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25132/stat : 25132 (java) S 25126 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24975798 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25133] ppid=25126 vsize=862908 CPUtime=0.07
/proc/25127/task/25133/stat : 25133 (java) S 25126 25035 24947 0 -1 64 490 0 0 0 7 0 0 0 16 0 9 0 24975798 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25134] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25134/stat : 25134 (java) S 25126 25035 24947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24975798 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25135] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25135/stat : 25135 (java) S 25126 25035 24947 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24975798 883617792 5597 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 329.92
Current children cumulated vsize (KiB) 885132
[startup+331.903 s]
/proc/loadavg: 2.10 2.16 2.16 4/94 25135
/proc/meminfo: memFree=1007584/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=329.36
/proc/25035/stat : 25035 (sugar) S 25033 25035 24947 0 -1 4194304 1447 144708 0 3 6 2 28649 4279 15 0 1 0 24942741 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 272845811810 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/25035/statm: 4217 1114 409 3 0 796 0
[pid=25126] ppid=25035 vsize=5356 CPUtime=0
/proc/25126/stat : 25126 (sh) S 25035 25035 24947 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24975793 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 272836911940 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/25126/statm: 1339 233 193 169 0 50 0
[pid=25127] ppid=25126 vsize=862908 CPUtime=1.35
/proc/25127/stat : 25127 (java) S 25126 25035 24947 0 -1 0 6462 0 1 0 131 4 0 0 19 0 9 0 24975793 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25127/statm: 215727 5731 2157 9 0 210640 0
[pid=25127/tid=25128] ppid=25126 vsize=862908 CPUtime=1.12
/proc/25127/task/25128/stat : 25128 (java) R 25126 25035 24947 0 -1 64 2071 0 1 0 110 2 0 0 25 0 9 0 24975794 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4126574762 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25129] ppid=25126 vsize=862908 CPUtime=0.13
/proc/25127/task/25129/stat : 25129 (java) S 25126 25035 24947 0 -1 64 3202 0 0 0 12 1 0 0 16 0 9 0 24975796 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25130] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25130/stat : 25130 (java) S 25126 25035 24947 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24975796 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25131] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25131/stat : 25131 (java) S 25126 25035 24947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24975796 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25132] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25132/stat : 25132 (java) S 25126 25035 24947 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 24975798 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25133] ppid=25126 vsize=862908 CPUtime=0.07
/proc/25127/task/25133/stat : 25133 (java) S 25126 25035 24947 0 -1 64 493 0 0 0 7 0 0 0 16 0 9 0 24975798 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25134] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25134/stat : 25134 (java) S 25126 25035 24947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24975798 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25127/tid=25135] ppid=25126 vsize=862908 CPUtime=0
/proc/25127/task/25135/stat : 25135 (java) S 25126 25035 24947 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24975798 883617792 5731 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 330.71
Current children cumulated vsize (KiB) 885132
[startup+332.302 s]
/proc/loadavg: 2.10 2.16 2.16 3/94 25135
/proc/meminfo: memFree=1006816/2055920 swapFree=4192812/4192956
[pid=25035] ppid=25033 vsize=16868 CPUtime=331.1
/proc/25035/stat : 25035 (sugar) R 25033 25035 24947 0 -1 4194304 1480 151989 0 4 6 9 28810 4285 17 0 1 0 24942741 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 272837088297 0 0 4224 16386 0 0 0 17 0 0 0
/proc/25035/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 331.1
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 332.35
CPU time (s): 331.167
CPU user time (s): 288.174
CPU system time (s): 42.9925
CPU usage (%): 99.644
Max. virtual memory (cumulated for all children) (KiB): 904660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.174
system time used= 42.9925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153529
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12552
involuntary context switches= 14676
runsolver used 0.355945 second user time and 0.931858 second system time
The end
Begin job on node39 at 2009-07-12 08:06:27
IDJOB=2084083
IDBENCH=58032
IDSOLVER=738
FILE ID=node39/2084083-1247378787
PBS_JOBID= 9507207
Free space on /tmp= 66428 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/fapp/fapp09/normalized-fapp09-0800-10.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-2084083-1247378787/watcher-2084083-1247378787 -o /tmp/evaluation-result-2084083-1247378787/solver-2084083-1247378787 -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-2084083-1247378787.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0c9bd9627ff304e4b5c8ec56755ce638
RANDOM SEED=235622973
node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.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: 1486560 kB
Buffers: 1796 kB
Cached: 39004 kB
SwapCached: 0 kB
Active: 502532 kB
Inactive: 5964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1486560 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2564 kB
Writeback: 0 kB
Mapped: 488112 kB
Slab: 45172 kB
Committed_AS: 645448 kB
PageTables: 2708 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= 66428 MiB
End job on node39 at 2009-07-12 08:11:59