0.00/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.00/0.08 c 0 BEGIN Sun Jul 12 07:31:58 2009
0.00/0.08 c 0 PID 28462
0.00/0.08 c 0 HOST node17.alineos.net
0.00/0.08 c 0 CONVERTING HOME/instance-2083115-1247376718.xml TO HOME/temp.csp
0.00/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2083115-1247376718.xml' 'HOME/temp.csp'
0.06/0.83 c 1 25 domains, 700 variables, 8 predicates, 0 relations, 7122 constraints
0.06/0.87 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.87 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.80/0.95 c 1 Parsing HOME/temp.csp
1.01/1.12 c 2 parsed 7855 expressions
1.01/1.13 c 2 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.01/1.13 c 2 Converting to clausal form CSP
1.21/1.39 c 2 converted 786 (10%) expressions
3.09/3.28 c 4 converted 1571 (20%) expressions
4.46/4.68 c 5 converted 2357 (30%) expressions
5.45/5.66 c 6 converted 3142 (40%) expressions
6.34/6.57 c 7 converted 3928 (50%) expressions
7.92/8.14 c 9 converted 4713 (60%) expressions
8.91/9.16 c 10 converted 5499 (70%) expressions
9.91/10.19 c 11 converted 6284 (80%) expressions
11.29/11.56 c 12 converted 7070 (90%) expressions
12.17/12.45 c 13 converted 7855 (100%) expressions
12.17/12.45 c 13 CSP : 1396 integers, 20152 booleans, 42899 clauses, largest domain size 2721
12.17/12.45 c 13 Heap : 69 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
12.17/12.45 c 13 Propagation in CSP
12.58/12.89 c 13 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
12.58/12.89 c 13 CSP : 1396 integers, 20152 booleans, 42899 clauses, largest domain size 2721
12.58/12.89 c 13 Heap : 68 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
12.68/12.92 c 13 Simplifing CSP by introducing new Boolean variables
12.78/13.01 c 13 CSP : 1396 integers, 35020 booleans, 57767 clauses, largest domain size 2721
12.78/13.01 c 13 Heap : 69 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
13.27/13.51 c 14 Encoding CSP to SAT : HOME/temp.cnf
13.87/14.13 c 15 140 (10%) CSP integer variables are encoded (28476 clauses, 405112 bytes)
14.36/14.63 c 15 280 (20%) CSP integer variables are encoded (53347 clauses, 778177 bytes)
14.86/15.15 c 16 419 (30%) CSP integer variables are encoded (79658 clauses, 1172842 bytes)
15.35/15.67 c 16 559 (40%) CSP integer variables are encoded (105486 clauses, 1572287 bytes)
15.95/16.20 c 17 698 (50%) CSP integer variables are encoded (132440 clauses, 2030505 bytes)
16.15/16.50 c 17 838 (60%) CSP integer variables are encoded (356380 clauses, 5837485 bytes)
16.54/16.82 c 17 978 (70%) CSP integer variables are encoded (604570 clauses, 10056715 bytes)
16.84/17.12 c 18 1117 (80%) CSP integer variables are encoded (845951 clauses, 14160192 bytes)
17.04/17.39 c 18 1257 (90%) CSP integer variables are encoded (1059013 clauses, 17902683 bytes)
17.34/17.69 c 18 1396 (100%) CSP integer variables are encoded (1281796 clauses, 22135560 bytes)
21.08/21.46 c 22 5777 (10%) CSP clauses are encoded (2384802 clauses, 49106203 bytes)
25.32/25.74 c 26 11554 (20%) CSP clauses are encoded (3774948 clauses, 83706496 bytes)
29.27/29.72 c 30 17331 (30%) CSP clauses are encoded (5169100 clauses, 118552421 bytes)
33.53/34.03 c 34 23107 (40%) CSP clauses are encoded (6692455 clauses, 157499159 bytes)
36.89/37.48 c 38 28884 (50%) CSP clauses are encoded (7926431 clauses, 188776722 bytes)
39.73/40.38 c 41 34661 (60%) CSP clauses are encoded (8913332 clauses, 214003068 bytes)
43.25/43.97 c 44 40437 (70%) CSP clauses are encoded (10165053 clauses, 245946660 bytes)
46.89/47.66 c 48 46214 (80%) CSP clauses are encoded (11483731 clauses, 279471571 bytes)
50.51/51.36 c 52 51991 (90%) CSP clauses are encoded (12813807 clauses, 313572313 bytes)
54.32/55.25 c 56 57767 (100%) CSP clauses are encoded (14198806 clauses, 349337952 bytes)
54.32/55.25 c 56 57767 CSP clauses encoded
54.32/55.25 c 56 Writing map file : HOME/temp.map
54.41/55.30 c 56 Heap : 73 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
54.41/55.30 c 56 SAT : 1318212 SAT variables, 14198806 SAT clauses, 349337952 bytes
54.41/55.30 c 56 Heap : 73 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
54.41/55.32 c 56 SOLVING HOME/temp.cnf
54.41/55.32 c 56 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
697.03/704.05 c 704 DECODING HOME/temp.out WITH HOME/temp.map
697.03/704.05 c 704 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'
697.10/704.14 c 705 Decoding HOME/temp.out
699.12/706.12 s SATISFIABLE
699.12/706.15 v 2648 -2548 2368 2532 2620 2488 2432 -2432 -2328 -2276 -2720 -2616 -2324 -2328 2484 -2352 -2376 -2624 -2604 -2432 -2656 2720 -2680 2320 2624 2660 2304 -2440 2576 -2696 -2460 2604 -2408 -2472 2320 -2216 2200 -2268 2392 -2204 2604 -2200 2436 -2216 2392 2380 -2424 2592 -2340 -2200 -2472 -2508 -2608 2376 2688 -2564 2200 -2212 -2464 -2424 2204 2672 -2408 -2580 2660 -2496 2472 2476 2552 2556 2668 -2276 -2468 2396 -2184 2660 -2412 -2380 -2556 2332 2608 -2448 -2376 -2524 -2192 2632 -2332 -2340 2212 -2276 2676 -2592 2720 2716 2544 2348 -2392 2360 2684 -2696 2200 -2716 -2512 2436 2184 -2664 2192 -2700 -2172 -2680 -2176 -2668 -2308 2364 -2588 2360 -2316 2168 -2548 2212 2612 -2288 -2408 2520 2376 -2392 2496 2456 2220 2236 -2484 2624 -2564 2352 2248 2220 2464 2564 -2184 -2228 2712 -2232 2212 -2368 2204 -2432 2428 -2628 -2380 2680 -2544 2420 2660 -2172 -2492 -2436 -2316 -2660 -2604 2396 -2632 -2668 -2576 2620 -2380 2680 2248 2420 -2560 -2184 2244 -2716 -2460 -2632 2568 -2612 -2252 -2616 -2676 2640 -2720 2632 -2432 -2396 -2388 -2664 2540 -2340 2252 2196 -2160 -2416 2476 2472 2644 -2484 -2524 -2588 -2304 2568 -2652 2340 -2416 -2348 2644 -2452 2508 -2624 -2548 2616 2360 -2344 -2648 -2292 2484 2288 2200 2344 2484 2592 2260 -2208 2260 -2344 -2676 -2564 2320 -2384 2484 2164 -2436 2648 2212 2400 2172 2664 -2408 -2508 -2200 2428 2720 -2308 -2712 2584 2644 -2316 2356 2612 -2192 2360 2260 -2220 2676 2320 2700 2344 -2608 -2344 2472 -2420 2680 -2524 2164 2640 -2324 -2604 -2256 2664 -2168 2524 2384 2392 -2644 2568 2236 2412 -2576 -2364 -2208 2612 2524 2548 -2680 2680 -2456 2308 2400 2336 2548 -2448 -2616 -2312 -2620 -2396 2528 2676 2432 2564 2508 -2280 2596 2448 2720 2484 -2620 2200 2720 2548 -2392 -2204 -2552 -2564 2460 -2412 2316 2540 2384 -2364 -2504 2268 2684 2176 -2328 2456 -2672 2288 -2440 2372 2288 -2656 -2200 2432 -2500 -2300 2288 -2508 2520 -2672 2236 2604 -2292 -2336 2340 2640 2276 2188 2380 -2556 2428 2576 -2212 -2636 -2412 2336 2648 -2180 -2604 -2604 2652 2392 -2160 2272 -2616 2224 2464 2576 2656 -2592 -2476 2436 2628 2300 2416 -2652 -2496 2720 2580 2284 2336 2672 -2476 -2200 -2720 2640 2396 -2300 2664 -2336 -2312 2536 2720 2160 -2404 2296 2536 2600 -2580 2560 2456 2224 -2404 -2588 2636 2524 -2644 2400 -2200 -2256 -2452 2608 2372 2444 2656 -2364 2232 -2572 -2436 2512 2500 2524 2576 2296 -2336 -2528 2456 -2636 2568 -2412 2160 -2384 2272 2232 2620 2672 2504 -2520 2472 -2492 -2256 2420 2676 -2384 -2708 2308 2680 -2264 -2276 -2512 2524 2452 2328 2700 -2548 2224 -2364 2356 -2624 -2408 2564 2648 -2412 -2596 2472 -2488 2224 2420 -2392 2248 -2680 2296 -2636 2380 -2680 -2528 2172 2356 2208 -2380 2412 2232 2536 -2316 2504 2672 2604 -2656 2564 2720 2264 2304 -2160 2232 2160 2584 -2524 -2596 -2328 -2236 -2300 2292 2328 -2548 2376 -2480 -2340 -2240 2324 2272 -2288 2248 -2644 -2644 -2532 -2652 2368 -2616 -2416 2324 2364 2496 -2480 2216 2600 -2184 -2696 -2580 -2704 -2332 -2256 2284 -2684 -2672 -2468 -2720 2508 -2624 2288 -2180 -2692 -2576 2644 -2292 -2628 2712 2268 2372 -2316 2572 -2304 -2684 -2680 2512 -2524 2656 2548 2468 2576 -2376 -2456 -2552 -2712 -2544 -2216 2260 -2388 2224 -2424 2200 -2212 2584 2380 -2596 2164 -2232 2444 -2452 2660 -2516 -2612 -2200 -2632 2476 2288 -2572 2164 2584 -2612 2404 -2696 -2580 -2604 -2608 2160 -2300 -2316 2196 2388 -2352 -2204 2160 2432 -2568 -2408 -2604 -2300 2700 2484 2200 2616 -2252 -2440 -2436 2624 2420 2620 -2296 -2316 2680 -2204 2608 -2592 -2160 2620 -2508 -2676 -2356 2600 -2252 2500 2716 2248 2160 2512 -2416 -2560 2716 -2504 2344 -2160 2720 -2336 -2720 -2600 -2496 -2528 -2384 -2420 2384 -2288 2160 2632 2396 -2372 -2316 -2216 2536 -2380 -2252 -2360 -2548 -2544 -2292 -2660 2564 -2652 -2520 2356 -2352 2616 -2432 -2364 2600 -2164 2448 -2516 2712 -2196 -2400 -2560 2588 2452 -2680 2416 -2588 -2680 2428 2356 -2164 2356 -2436 2664 -2324 2264 -2332 -2240 -2644 -2564 -2296 2272 -2608
699.12/706.16 c 707 Heap : 9 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
699.17/706.21 c 707 CPU 699.17 (0.06 0.02 630.1 68.99)
699.17/706.22 c 707 END Sun Jul 12 07:43:45 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083115-1247376718/watcher-2083115-1247376718 -o /tmp/evaluation-result-2083115-1247376718/solver-2083115-1247376718 -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-2083115-1247376718.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.99 1.97 1.90 4/80 28462
/proc/meminfo: memFree=1659568/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=12132 CPUtime=0
/proc/28462/stat : 28462 (sugar) R 28460 28462 23471 0 -1 4194304 216 0 0 0 0 0 0 0 20 0 1 0 24739080 12423168 184 996147200 4194304 4206940 548682068608 18446744073709551615 245482558177 0 0 4224 0 0 0 0 17 1 0 0
/proc/28462/statm: 3033 184 142 3 0 133 0
[startup+0.10865 s]
/proc/loadavg: 1.99 1.97 1.90 4/80 28462
/proc/meminfo: memFree=1659568/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.06
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.201658 s]
/proc/loadavg: 1.99 1.97 1.90 4/80 28462
/proc/meminfo: memFree=1659568/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.06
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301669 s]
/proc/loadavg: 1.99 1.97 1.90 4/80 28462
/proc/meminfo: memFree=1659568/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.06
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.70171 s]
/proc/loadavg: 1.99 1.97 1.90 4/80 28462
/proc/meminfo: memFree=1659568/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.06
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50279 s]
/proc/loadavg: 2.07 1.99 1.90 3/91 28484
/proc/meminfo: memFree=1648344/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.8
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1309 8254 0 1 5 1 68 6 15 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
[pid=28475] ppid=28462 vsize=5356 CPUtime=0
/proc/28475/stat : 28475 (sh) S 28462 28462 23471 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 24739168 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28475/statm: 1339 233 193 169 0 50 0
[pid=28476] ppid=28475 vsize=866452 CPUtime=0.6
/proc/28476/stat : 28476 (java) S 28475 28462 23471 0 -1 0 6510 0 1 0 57 3 0 0 18 0 9 0 24739168 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28476/statm: 216613 5780 2566 9 0 211118 0
[pid=28476/tid=28477] ppid=28475 vsize=866452 CPUtime=0.38
/proc/28476/task/28477/stat : 28477 (java) R 28475 28462 23471 0 -1 64 2670 0 1 0 37 1 0 0 19 0 9 0 24739169 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28478] ppid=28475 vsize=866452 CPUtime=0.08
/proc/28476/task/28478/stat : 28478 (java) S 28475 28462 23471 0 -1 64 2265 0 0 0 8 0 0 0 16 0 9 0 24739170 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28479] ppid=28475 vsize=866452 CPUtime=0
/proc/28476/task/28479/stat : 28479 (java) S 28475 28462 23471 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24739171 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28480] ppid=28475 vsize=866452 CPUtime=0
/proc/28476/task/28480/stat : 28480 (java) S 28475 28462 23471 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24739171 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28481] ppid=28475 vsize=866452 CPUtime=0
/proc/28476/task/28481/stat : 28481 (java) S 28475 28462 23471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24739173 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28482] ppid=28475 vsize=866452 CPUtime=0.11
/proc/28476/task/28482/stat : 28482 (java) R 28475 28462 23471 0 -1 64 877 0 0 0 11 0 0 0 16 0 9 0 24739173 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 101599625 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28483] ppid=28475 vsize=866452 CPUtime=0
/proc/28476/task/28483/stat : 28483 (java) S 28475 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24739173 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28484] ppid=28475 vsize=866452 CPUtime=0
/proc/28476/task/28484/stat : 28484 (java) S 28475 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24739173 887246848 5780 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 888676
[startup+3.10367 s]
/proc/loadavg: 2.07 1.99 1.90 4/91 28484
/proc/meminfo: memFree=1637656/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.8
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1309 8254 0 1 5 1 68 6 15 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
[pid=28475] ppid=28462 vsize=5356 CPUtime=0
/proc/28475/stat : 28475 (sh) S 28462 28462 23471 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 24739168 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28475/statm: 1339 233 193 169 0 50 0
[pid=28476] ppid=28475 vsize=868576 CPUtime=2.19
/proc/28476/stat : 28476 (java) S 28475 28462 23471 0 -1 0 8898 0 1 0 213 6 0 0 18 0 9 0 24739168 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28476/statm: 217144 8014 2566 9 0 211649 0
[pid=28476/tid=28477] ppid=28475 vsize=868576 CPUtime=1.73
/proc/28476/task/28477/stat : 28477 (java) R 28475 28462 23471 0 -1 64 2798 0 1 0 171 2 0 0 25 0 9 0 24739169 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28478] ppid=28475 vsize=868576 CPUtime=0.26
/proc/28476/task/28478/stat : 28478 (java) S 28475 28462 23471 0 -1 64 3926 0 0 0 24 2 0 0 15 0 9 0 24739170 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28479] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28479/stat : 28479 (java) S 28475 28462 23471 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24739171 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28480] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28480/stat : 28480 (java) S 28475 28462 23471 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24739171 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28481] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28481/stat : 28481 (java) S 28475 28462 23471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24739173 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28482] ppid=28475 vsize=868576 CPUtime=0.17
/proc/28476/task/28482/stat : 28482 (java) S 28475 28462 23471 0 -1 64 1476 0 0 0 17 0 0 0 15 0 9 0 24739173 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28483] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28483/stat : 28483 (java) S 28475 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24739173 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28484] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28484/stat : 28484 (java) S 28475 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24739173 889421824 8014 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 890800
[startup+6.30228 s]
/proc/loadavg: 2.07 1.99 1.90 3/91 28484
/proc/meminfo: memFree=1620376/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.8
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1309 8254 0 1 5 1 68 6 16 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
[pid=28475] ppid=28462 vsize=5356 CPUtime=0
/proc/28475/stat : 28475 (sh) S 28462 28462 23471 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 24739168 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28475/statm: 1339 233 193 169 0 50 0
[pid=28476] ppid=28475 vsize=868576 CPUtime=5.35
/proc/28476/stat : 28476 (java) S 28475 28462 23471 0 -1 0 13646 0 1 0 526 9 0 0 18 0 9 0 24739168 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28476/statm: 217144 12589 2566 9 0 211649 0
[pid=28476/tid=28477] ppid=28475 vsize=868576 CPUtime=4.36
/proc/28476/task/28477/stat : 28477 (java) R 28475 28462 23471 0 -1 64 3196 0 1 0 434 2 0 0 25 0 9 0 24739169 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4126546102 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28478] ppid=28475 vsize=868576 CPUtime=0.77
/proc/28476/task/28478/stat : 28478 (java) S 28475 28462 23471 0 -1 64 8271 0 0 0 73 4 0 0 16 0 9 0 24739170 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28479] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28479/stat : 28479 (java) S 28475 28462 23471 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24739171 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28480] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28480/stat : 28480 (java) S 28475 28462 23471 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24739171 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28481] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28481/stat : 28481 (java) S 28475 28462 23471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24739173 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28482] ppid=28475 vsize=868576 CPUtime=0.18
/proc/28476/task/28482/stat : 28482 (java) S 28475 28462 23471 0 -1 64 1481 0 0 0 18 0 0 0 16 0 9 0 24739173 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28483] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28483/stat : 28483 (java) S 28475 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24739173 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28484] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28484/stat : 28484 (java) S 28475 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24739173 889421824 12589 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 890800
[startup+12.7019 s]
/proc/loadavg: 2.06 1.99 1.90 3/91 28484
/proc/meminfo: memFree=1574808/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.8
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1310 8254 0 1 5 1 68 6 16 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
[pid=28475] ppid=28462 vsize=5356 CPUtime=0
/proc/28475/stat : 28475 (sh) S 28462 28462 23471 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 24739168 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28475/statm: 1339 233 193 169 0 50 0
[pid=28476] ppid=28475 vsize=868576 CPUtime=11.68
/proc/28476/stat : 28476 (java) S 28475 28462 23471 0 -1 0 32248 0 1 0 1150 18 0 0 18 0 9 0 24739168 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28476/statm: 217144 23385 2567 9 0 211649 0
[pid=28476/tid=28477] ppid=28475 vsize=868576 CPUtime=9.34
/proc/28476/task/28477/stat : 28477 (java) R 28475 28462 23471 0 -1 64 3937 0 1 0 931 3 0 0 25 0 9 0 24739169 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4126508920 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28478] ppid=28475 vsize=868576 CPUtime=2.11
/proc/28476/task/28478/stat : 28478 (java) S 28475 28462 23471 0 -1 64 26129 0 0 0 199 12 0 0 16 0 9 0 24739170 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28479] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28479/stat : 28479 (java) S 28475 28462 23471 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24739171 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28480] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28480/stat : 28480 (java) S 28475 28462 23471 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24739171 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28481] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28481/stat : 28481 (java) S 28475 28462 23471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24739173 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28482] ppid=28475 vsize=868576 CPUtime=0.18
/proc/28476/task/28482/stat : 28482 (java) S 28475 28462 23471 0 -1 64 1484 0 0 0 18 0 0 0 16 0 9 0 24739173 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28483] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28483/stat : 28483 (java) S 28475 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24739173 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28484] ppid=28475 vsize=868576 CPUtime=0
/proc/28476/task/28484/stat : 28484 (java) S 28475 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24739173 889421824 23385 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 890800
[startup+25.5022 s]
/proc/loadavg: 2.05 1.99 1.90 3/91 28484
/proc/meminfo: memFree=1489368/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=0.81
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1310 8254 0 1 5 2 68 6 16 0 1 0 24739080 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1111 409 3 0 796 0
[pid=28475] ppid=28462 vsize=5356 CPUtime=0
/proc/28475/stat : 28475 (sh) S 28462 28462 23471 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 24739168 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28475/statm: 1339 233 193 169 0 50 0
[pid=28476] ppid=28475 vsize=868688 CPUtime=24.32
/proc/28476/stat : 28476 (java) S 28475 28462 23471 0 -1 0 35066 0 1 0 2363 69 0 0 18 0 9 0 24739168 889536512 24329 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28476/statm: 217172 24329 2593 9 0 211649 0
[pid=28476/tid=28477] ppid=28475 vsize=868688 CPUtime=21.23
/proc/28476/task/28477/stat : 28477 (java) R 28475 28462 23471 0 -1 64 4272 0 1 0 2072 51 0 0 25 0 9 0 24739169 889536512 24329 996147200 134512640 134550932 4294955936 18446744073709551615 4127000996 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28478] ppid=28475 vsize=868688 CPUtime=2.79
/proc/28476/task/28478/stat : 28478 (java) S 28475 28462 23471 0 -1 64 28564 0 0 0 264 15 0 0 16 0 9 0 24739170 889536512 24329 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28479] ppid=28475 vsize=868688 CPUtime=0
/proc/28476/task/28479/stat : 28479 (java) S 28475 28462 23471 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24739171 889536512 24329 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28480] ppid=28475 vsize=868688 CPUtime=0
/proc/28476/task/28480/stat : 28480 (java) S 28475 28462 23471 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24739171 889536512 24329 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28476/tid=28481] ppid=28475 vsize=868688 CPUtime=0
################
# More data... #
################
/proc/28485/stat : 28485 (sh) S 28462 28462 23471 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28485/statm: 1339 232 193 169 0 50 0
[pid=28486] ppid=28485 vsize=633300 CPUtime=343.67
/proc/28486/stat : 28486 (picosat) R 28485 28462 23471 0 -1 4194304 134664 0 0 0 27733 6634 0 0 25 0 1 0 24744614 648499200 134609 996147200 134512640 134931368 4294956256 18446744073709551615 134523094 0 0 4096 0 0 0 0 17 1 0 0
/proc/28486/statm: 158325 134609 42 102 0 158220 0
Current children cumulated CPU time (s) 398.12
Current children cumulated vsize (KiB) 655524
[startup+462.302 s]
/proc/loadavg: 2.00 2.02 1.94 3/83 28486
/proc/meminfo: memFree=767640/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=54.45
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1366 44408 0 2 6 2 5192 245 17 0 1 0 24739080 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1114 409 3 0 796 0
[pid=28485] ppid=28462 vsize=5356 CPUtime=0
/proc/28485/stat : 28485 (sh) S 28462 28462 23471 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28485/statm: 1339 232 193 169 0 50 0
[pid=28486] ppid=28485 vsize=633300 CPUtime=403.11
/proc/28486/stat : 28486 (picosat) R 28485 28462 23471 0 -1 4194304 134664 0 0 0 33677 6634 0 0 25 0 1 0 24744614 648499200 134609 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 1 0 0
/proc/28486/statm: 158325 134609 42 102 0 158220 0
Current children cumulated CPU time (s) 457.56
Current children cumulated vsize (KiB) 655524
[startup+522.302 s]
/proc/loadavg: 2.00 2.01 1.94 3/83 28486
/proc/meminfo: memFree=767512/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=54.45
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1366 44408 0 2 6 2 5192 245 17 0 1 0 24739080 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1114 409 3 0 796 0
[pid=28485] ppid=28462 vsize=5356 CPUtime=0
/proc/28485/stat : 28485 (sh) S 28462 28462 23471 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28485/statm: 1339 232 193 169 0 50 0
[pid=28486] ppid=28485 vsize=633300 CPUtime=462.55
/proc/28486/stat : 28486 (picosat) R 28485 28462 23471 0 -1 4194304 134692 0 0 0 39621 6634 0 0 25 0 1 0 24744614 648499200 134637 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 1 0 0
/proc/28486/statm: 158325 134637 42 102 0 158220 0
Current children cumulated CPU time (s) 517
Current children cumulated vsize (KiB) 655524
[startup+582.302 s]
/proc/loadavg: 2.00 2.00 1.94 3/83 28486
/proc/meminfo: memFree=767384/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=54.45
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1366 44408 0 2 6 2 5192 245 17 0 1 0 24739080 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1114 409 3 0 796 0
[pid=28485] ppid=28462 vsize=5356 CPUtime=0
/proc/28485/stat : 28485 (sh) S 28462 28462 23471 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28485/statm: 1339 232 193 169 0 50 0
[pid=28486] ppid=28485 vsize=633300 CPUtime=521.98
/proc/28486/stat : 28486 (picosat) R 28485 28462 23471 0 -1 4194304 134692 0 0 0 45564 6634 0 0 25 0 1 0 24744614 648499200 134637 996147200 134512640 134931368 4294956256 18446744073709551615 134524112 0 0 4096 0 0 0 0 17 1 0 0
/proc/28486/statm: 158325 134637 42 102 0 158220 0
Current children cumulated CPU time (s) 576.43
Current children cumulated vsize (KiB) 655524
[startup+642.302 s]
/proc/loadavg: 1.93 1.97 1.93 3/83 28557
/proc/meminfo: memFree=380696/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=54.45
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1366 44408 0 2 6 2 5192 245 17 0 1 0 24739080 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1114 409 3 0 796 0
[pid=28485] ppid=28462 vsize=5356 CPUtime=0
/proc/28485/stat : 28485 (sh) S 28462 28462 23471 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28485/statm: 1339 232 193 169 0 50 0
[pid=28486] ppid=28485 vsize=633300 CPUtime=581.47
/proc/28486/stat : 28486 (picosat) R 28485 28462 23471 0 -1 4194304 134739 0 0 0 51511 6636 0 0 25 0 1 0 24744614 648499200 134684 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/28486/statm: 158325 134684 42 102 0 158220 0
Current children cumulated CPU time (s) 635.92
Current children cumulated vsize (KiB) 655524
[startup+702.301 s]
/proc/loadavg: 1.97 1.97 1.93 3/83 28557
/proc/meminfo: memFree=292312/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=54.45
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1366 44408 0 2 6 2 5192 245 17 0 1 0 24739080 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1114 409 3 0 796 0
[pid=28485] ppid=28462 vsize=5356 CPUtime=0
/proc/28485/stat : 28485 (sh) S 28462 28462 23471 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28485/statm: 1339 232 193 169 0 50 0
[pid=28486] ppid=28485 vsize=633300 CPUtime=640.9
/proc/28486/stat : 28486 (picosat) R 28485 28462 23471 0 -1 4194304 134761 0 0 0 57454 6636 0 0 25 0 1 0 24744614 648499200 134706 996147200 134512640 134931368 4294956256 18446744073709551615 134544814 0 0 4096 0 0 0 0 17 1 0 0
/proc/28486/statm: 158325 134706 42 102 0 158220 0
Current children cumulated CPU time (s) 695.35
Current children cumulated vsize (KiB) 655524
Solver just ended. Dumping a history of the last processes samples
[startup+704.003 s]
/proc/loadavg: 1.97 1.97 1.93 3/83 28557
/proc/meminfo: memFree=542616/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=54.45
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1366 44408 0 2 6 2 5192 245 17 0 1 0 24739080 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1114 409 3 0 796 0
[pid=28485] ppid=28462 vsize=5356 CPUtime=0
/proc/28485/stat : 28485 (sh) S 28462 28462 23471 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24744613 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28485/statm: 1339 232 193 169 0 50 0
[pid=28486] ppid=28485 vsize=0 CPUtime=642.58
/proc/28486/stat : 28486 (picosat) R 28485 28462 23471 0 -1 4194308 134774 0 0 0 57614 6644 0 0 25 0 1 0 24744614 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/28486/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 697.03
Current children cumulated vsize (KiB) 22224
[startup+705.601 s]
/proc/loadavg: 1.97 1.97 1.93 3/91 28567
/proc/meminfo: memFree=805848/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=697.1
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1447 179467 0 2 6 2 62807 6895 16 0 1 0 24739080 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1114 409 3 0 796 0
[pid=28558] ppid=28462 vsize=5356 CPUtime=0
/proc/28558/stat : 28558 (sh) S 28462 28462 23471 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24809486 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28558/statm: 1339 233 193 169 0 50 0
[pid=28559] ppid=28558 vsize=862932 CPUtime=1.51
/proc/28559/stat : 28559 (java) S 28558 28462 23471 0 -1 0 6625 0 1 0 148 3 0 0 18 0 9 0 24809487 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28559/statm: 215733 5892 2157 9 0 210646 0
[pid=28559/tid=28560] ppid=28558 vsize=862932 CPUtime=1.27
/proc/28559/task/28560/stat : 28560 (java) R 28558 28462 23471 0 -1 64 2074 0 1 0 126 1 0 0 25 0 9 0 24809488 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4126546527 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28561] ppid=28558 vsize=862932 CPUtime=0.14
/proc/28559/task/28561/stat : 28561 (java) S 28558 28462 23471 0 -1 64 3359 0 0 0 14 0 0 0 16 0 9 0 24809489 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28562] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28558 28462 23471 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24809489 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28563] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28558 28462 23471 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24809489 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28564] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28558 28462 23471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24809492 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28565] ppid=28558 vsize=862932 CPUtime=0.07
/proc/28559/task/28565/stat : 28565 (java) S 28558 28462 23471 0 -1 64 496 0 0 0 7 0 0 0 16 0 9 0 24809492 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28566] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28558 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24809492 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28567] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28558 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24809492 883642368 5892 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 698.61
Current children cumulated vsize (KiB) 885156
[startup+706.001 s]
/proc/loadavg: 1.97 1.97 1.93 3/91 28567
/proc/meminfo: memFree=805848/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=697.1
/proc/28462/stat : 28462 (sugar) S 28460 28462 23471 0 -1 4194304 1447 179467 0 2 6 2 62807 6895 16 0 1 0 24739080 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 245491609698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28462/statm: 4217 1114 409 3 0 796 0
[pid=28558] ppid=28462 vsize=5356 CPUtime=0
/proc/28558/stat : 28558 (sh) S 28462 28462 23471 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24809486 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28558/statm: 1339 233 193 169 0 50 0
[pid=28559] ppid=28558 vsize=862932 CPUtime=1.92
/proc/28559/stat : 28559 (java) S 28558 28462 23471 0 -1 0 6729 0 1 0 188 4 0 0 18 0 9 0 24809487 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28559/statm: 215733 5978 2157 9 0 210646 0
[pid=28559/tid=28560] ppid=28558 vsize=862932 CPUtime=1.65
/proc/28559/task/28560/stat : 28560 (java) R 28558 28462 23471 0 -1 64 2093 0 1 0 164 1 0 0 25 0 9 0 24809488 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4126598937 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28561] ppid=28558 vsize=862932 CPUtime=0.14
/proc/28559/task/28561/stat : 28561 (java) S 28558 28462 23471 0 -1 64 3441 0 0 0 14 0 0 0 16 0 9 0 24809489 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28562] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28562/stat : 28562 (java) S 28558 28462 23471 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24809489 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28563] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28563/stat : 28563 (java) S 28558 28462 23471 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24809489 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28564] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28564/stat : 28564 (java) S 28558 28462 23471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24809492 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28565] ppid=28558 vsize=862932 CPUtime=0.08
/proc/28559/task/28565/stat : 28565 (java) S 28558 28462 23471 0 -1 64 499 0 0 0 8 0 0 0 16 0 9 0 24809492 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28566] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28566/stat : 28566 (java) S 28558 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24809492 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28559/tid=28567] ppid=28558 vsize=862932 CPUtime=0
/proc/28559/task/28567/stat : 28567 (java) S 28558 28462 23471 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24809492 883642368 5978 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 699.02
Current children cumulated vsize (KiB) 885156
[startup+706.402 s]
/proc/loadavg: 1.97 1.97 1.93 2/91 28567
/proc/meminfo: memFree=805080/2055920 swapFree=4192812/4192956
[pid=28462] ppid=28460 vsize=16868 CPUtime=699.36
/proc/28462/stat : 28462 (sugar) R 28460 28462 23471 0 -1 4194304 1480 186988 0 3 6 21 63010 6899 17 0 1 0 24739080 17272832 1116 996147200 4194304 4206940 548682068608 18446744073709551615 245482886185 0 0 4224 16386 0 0 0 17 1 0 0
/proc/28462/statm: 4217 1116 410 3 0 796 0
Current children cumulated CPU time (s) 699.36
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 706.405
CPU time (s): 699.39
CPU user time (s): 630.175
CPU system time (s): 69.2145
CPU usage (%): 99.007
Max. virtual memory (cumulated for all children) (KiB): 901048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 630.175
system time used= 69.2145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 188528
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17980
involuntary context switches= 43522
runsolver used 0.878866 second user time and 2.36164 second system time
The end
Begin job on node17 at 2009-07-12 07:31:58
IDJOB=2083115
IDBENCH=57705
IDSOLVER=738
FILE ID=node17/2083115-1247376718
PBS_JOBID= 9507018
Free space on /tmp= 66448 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/fapp/fapp08/normalized-fapp08-0700-8.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-2083115-1247376718/watcher-2083115-1247376718 -o /tmp/evaluation-result-2083115-1247376718/solver-2083115-1247376718 -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-2083115-1247376718.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 76f5c8323181a5b7c43a501cf4eaddc1
RANDOM SEED=679198446
node17.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.213
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.213
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: 1660048 kB
Buffers: 65272 kB
Cached: 182044 kB
SwapCached: 0 kB
Active: 233540 kB
Inactive: 100388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1660048 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2264 kB
Writeback: 0 kB
Mapped: 104492 kB
Slab: 46944 kB
Committed_AS: 926272 kB
PageTables: 2032 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= 66444 MiB
End job on node17 at 2009-07-12 07:43:45