0.04/0.30 c 0 Sugar v1-14-6 + HOME/minisat
0.04/0.30 c 0 BEGIN Sun Jul 12 07:40:51 2009
0.04/0.30 c 0 PID 24433
0.06/0.31 c 0 HOST node8.alineos.net
0.06/0.31 c 0 CONVERTING HOME/instance-2083358-1247377251.xml TO HOME/temp.csp
0.06/0.31 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2083358-1247377251.xml' 'HOME/temp.csp'
0.06/0.81 c 1 6 domains, 500 variables, 8 predicates, 0 relations, 2852 constraints
0.06/0.85 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.85 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.54/0.92 c 1 Parsing HOME/temp.csp
0.68/1.07 c 1 parsed 3366 expressions
0.68/1.08 c 1 Heap : 1 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.68/1.08 c 1 Converting to clausal form CSP
0.78/1.11 c 1 converted 337 (10%) expressions
1.07/1.48 c 1 converted 674 (20%) expressions
1.47/1.84 c 2 converted 1010 (30%) expressions
1.78/2.19 c 2 converted 1347 (40%) expressions
2.06/2.48 c 2 converted 1683 (50%) expressions
2.37/2.78 c 3 converted 2020 (60%) expressions
2.67/3.00 c 3 converted 2357 (70%) expressions
2.77/3.20 c 3 converted 2693 (80%) expressions
3.06/3.40 c 3 converted 3030 (90%) expressions
3.26/3.67 c 3 converted 3366 (100%) expressions
3.26/3.67 c 3 CSP : 986 integers, 7620 booleans, 17530 clauses, largest domain size 2701
3.26/3.67 c 3 Heap : 12 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
3.26/3.67 c 3 Propagation in CSP
3.46/3.88 c 4 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.46/3.88 c 4 CSP : 986 integers, 7620 booleans, 17530 clauses, largest domain size 2701
3.46/3.88 c 4 Heap : 13 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
3.46/3.90 c 4 Simplifing CSP by introducing new Boolean variables
3.56/3.93 c 4 CSP : 986 integers, 14142 booleans, 24052 clauses, largest domain size 2701
3.56/3.93 c 4 Heap : 14 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
3.66/4.04 c 4 Encoding CSP to SAT : HOME/temp.cnf
4.16/4.51 c 4 99 (10%) CSP integer variables are encoded (22954 clauses, 322258 bytes)
4.55/4.91 c 5 198 (20%) CSP integer variables are encoded (44581 clauses, 646663 bytes)
4.96/5.30 c 5 296 (30%) CSP integer variables are encoded (66531 clauses, 975913 bytes)
5.36/5.71 c 6 395 (40%) CSP integer variables are encoded (89097 clauses, 1314403 bytes)
5.75/6.10 c 6 493 (50%) CSP integer variables are encoded (110914 clauses, 1664373 bytes)
5.96/6.39 c 6 592 (60%) CSP integer variables are encoded (332964 clauses, 5439223 bytes)
6.26/6.70 c 7 691 (70%) CSP integer variables are encoded (588771 clauses, 9787942 bytes)
6.55/6.99 c 7 789 (80%) CSP integer variables are encoded (838211 clauses, 14028422 bytes)
6.85/7.29 c 7 888 (90%) CSP integer variables are encoded (1095704 clauses, 18598918 bytes)
7.15/7.55 c 7 986 (100%) CSP integer variables are encoded (1313532 clauses, 22737650 bytes)
9.32/9.71 c 10 2406 (10%) CSP clauses are encoded (2062984 clauses, 40806216 bytes)
11.52/11.95 c 12 4811 (20%) CSP clauses are encoded (2890325 clauses, 60906460 bytes)
13.70/14.10 c 14 7216 (30%) CSP clauses are encoded (3706553 clauses, 80953297 bytes)
15.80/16.28 c 16 9621 (40%) CSP clauses are encoded (4565698 clauses, 102279642 bytes)
17.60/18.09 c 18 12026 (50%) CSP clauses are encoded (5297408 clauses, 120702158 bytes)
19.79/20.44 c 20 14432 (60%) CSP clauses are encoded (6157972 clauses, 142549649 bytes)
21.76/22.41 c 22 16837 (70%) CSP clauses are encoded (6954595 clauses, 162743505 bytes)
23.83/24.50 c 24 19242 (80%) CSP clauses are encoded (7844550 clauses, 185261791 bytes)
25.83/26.53 c 26 21647 (90%) CSP clauses are encoded (8717322 clauses, 207097702 bytes)
28.08/28.86 c 29 24052 (100%) CSP clauses are encoded (9748331 clauses, 232967580 bytes)
28.08/28.86 c 29 24052 CSP clauses encoded
28.08/28.86 c 29 Writing map file : HOME/temp.map
28.18/28.90 c 29 Heap : 12 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
28.18/28.90 c 29 SAT : 1328660 SAT variables, 9748331 SAT clauses, 232967580 bytes
28.18/28.90 c 29 Heap : 12 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
28.18/28.92 c 29 SOLVING HOME/temp.cnf
28.18/28.92 c 29 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
28.18/28.92 c 29 This is MiniSat 2.0 beta
28.18/28.92 c 29 WARNING: for repeatability, setting FPU to use double precision
28.18/28.92 c 29 ============================[ Problem Statistics ]=============================
28.18/28.92 c 29 | |
28.18/28.92 c 29 | Number of variables: 1328660 |
28.18/28.92 c 29 | Number of clauses: 9748331 |
33.56/34.39 c 34 | Parsing time: 4.65 s |
33.85/34.65 c 34 ============================[ Search Statistics ]==============================
33.85/34.65 c 34 | Conflicts | ORIGINAL | LEARNT | Progress |
33.85/34.65 c 34 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
33.85/34.65 c 34 ===============================================================================
33.85/34.65 c 34 | 0 | 1328658 9748327 26628189 | 3249442 0 nan | 0.000 % |
34.65/35.40 c 35 | 100 | 1328657 9748327 26628189 | 3574386 99 3 | 0.000 % |
36.15/36.94 c 37 | 250 | 1328657 9748327 26628189 | 3931825 249 3 | 0.000 % |
40.05/40.81 c 41 | 475 | 1328478 9748327 26628189 | 4325007 465 3 | 1.428 % |
49.74/50.52 c 50 | 813 | 1288895 9402694 25671515 | 4757508 757 3 | 4.078 % |
61.33/62.14 c 62 | 1319 | 1247881 9099386 24843484 | 5233259 1204 4 | 8.532 % |
74.03/74.86 c 75 | 2078 | 1170623 8531200 23294300 | 5756585 1806 4 | 13.050 % |
97.23/98.01 c 98 | 3217 | 1082324 7829347 21367418 | 6332243 2714 4 | 20.566 % |
149.84/150.71 c 151 | 4925 | 907363 6423993 17508100 | 6965468 3926 4 | 32.135 % |
204.00/205.10 c 205 ===============================================================================
204.00/205.15 c 205 restarts : 9
204.00/205.15 c 205 conflicts : 6146 (35 /sec)
204.00/205.15 c 205 decisions : 2013844 (0.42 % random) (11509 /sec)
204.00/205.15 c 205 propagations : 420772850 (2404589 /sec)
204.00/205.15 c 205 conflict literals : 22337 (9.74 % deleted)
204.00/205.15 c 205 Memory used : 506.28 MB
204.00/205.15 c 205 CPU time : 174.987 s
204.00/205.15 c 205
204.59/205.73 c 206 SATISFIABLE
204.68/205.81 c 206 DECODING HOME/temp.out WITH HOME/temp.map
204.68/205.81 c 206 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'
204.68/205.89 c 206 Decoding HOME/temp.out
206.47/207.69 s SATISFIABLE
206.56/207.71 v 2648 2404 2584 2404 2700 2700 2384 -2308 2624 2252 2332 2480 2256 2400 2528 2496 2368 2256 2284 2660 2416 -2604 2492 2660 2660 2424 2260 2456 2280 2272 2700 2548 2700 2228 2700 2288 2588 2380 2472 2612 2648 2416 2696 2688 2228 2700 -2600 2512 2568 2372 2424 2480 2296 2376 2280 2304 2280 2628 -2336 2688 2264 2532 2360 2268 2536 2608 2280 2476 2280 2440 2496 2240 2700 2372 2388 2700 2408 2700 -2304 2404 2356 2452 2700 2432 2236 2220 2260 2700 2340 2344 2580 2368 2592 2520 2296 2296 2304 2632 2624 2240 2432 2660 2236 2276 2312 2360 2504 2660 2296 2636 2260 2472 2648 2628 -2632 2348 2440 2260 2256 2428 2364 2376 2304 2660 -2360 2264 2344 2336 2632 2300 2488 2244 2408 2460 2376 2460 2392 2608 2260 2700 2548 2412 2460 2416 2600 2420 2700 2700 2336 2240 2560 2700 2360 2372 2296 2628 2412 -2336 2444 2660 -2220 2500 2344 -2432 2660 2660 2424 -2456 2592 2296 -2380 2544 2660 2456 2660 2240 2464 2524 2424 2700 2660 2308 2588 2660 2400 2220 2628 -2416 2564 2412 2400 2336 2308 -2596 2260 2584 2660 2648 2308 2228 2380 2600 2700 2608 2240 2660 2648 2700 2660 2400 2412 2400 -2220 2648 2408 2408 2268 2648 2512 2660 2612 2472 2316 2312 2296 2652 2660 2672 2308 2660 2372 2336 2660 2660 2544 2604 2292 2568 2660 2420 2660 2420 2360 2688 2528 2552 2444 2384 2368 2448 2256 2700 2332 2404 2504 2328 2468 2700 2700 2592 2660 2660 -2604 2356 2668 2308 2460 2332 2660 2256 2620 2448 2304 2572 2320 2296 2700 2700 2244 2516 2288 2348 2500 2336 2636 2660 -2660 2656 2444 2560 2700 -2508 -2268 2552 2300 2268 2700 2464 2384 -2252 2504 2364 2488 2572 2584 2336 2696 2540 2360 2608 2300 2372 2348 2308 2400 2416 -2592 2316 2348 2560 2400 2296 2292 2420 2660 2700 2456 2360 2340 2424 2332 2700 2656 -2544 2464 2444 2268 2544 2272 2432 2540 2528 2460 2600 2384 2228 2316 2660 2376 2660 2700 2660 2484 2256 2268 2500 2584 2384 2700 2588 2344 2584 2592 2700 2380 2464 2504 2284 2220 2512 2460 2680 2296 2524 2352 2568 2640 2452 2464 2660 2588 2284 2284 2296 2520 2324 2348 -2528 2280 2276 2588 2628 2232 2268 2632 2336 2632 2284 2328 -2368 2572 2668 2336 2660 2576 2644 2460 2296 2344 2224 2628 2272 2608 2700 2456 -2532 2700 2660 2376 2276 2464 2640 2700 2300 2448 2640 -2500 2392 2700 2292 2484 2340 -2244 2268 2260 2520 2404 2392 2700 2552 2504 2448 2484 2688 2592 -2220 2292 2472 2660 2344 2504 2660 2496 2596 2700 2264 2260 2588 2312 2700 2304 2296 2660 2272 -2648 2628 2480 2276 2420 -2488 2420 2700 2564 2504 2220 2252 2352 2660 2420 2336 2340 2376 2700 2384 2240 2408 2292 2700 2660 2308 -2248 2420 2272 2624 2236 2312 2536 2552 2324 2408
206.56/207.72 c 208 Heap : 7 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
206.56/207.76 c 208 CPU 206.6 (0.07 0.02 203.77 2.74)
206.56/207.76 c 208 END Sun Jul 12 07:44:19 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083358-1247377251/watcher-2083358-1247377251 -o /tmp/evaluation-result-2083358-1247377251/solver-2083358-1247377251 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2083358-1247377251.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
[startup+0 s]
/proc/loadavg: 2.19 2.15 2.06 4/73 24433
/proc/meminfo: memFree=1812152/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=18576 CPUtime=0
/proc/24433/stat : 24433 (runsolver) R 24431 21539 21539 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 24792330 19021824 282 996147200 4194304 4302564 548682068304 18446744073709551615 228715442191 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24433/statm: 4644 282 247 26 0 2626 0
[startup+0.013306 s]
/proc/loadavg: 2.19 2.15 2.06 4/73 24433
/proc/meminfo: memFree=1812152/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=18576 CPUtime=0
/proc/24433/stat : 24433 (runsolver) D 24431 24433 21539 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 24792330 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 228706544935 0 0 4096 24578 18446744071563608240 0 0 17 0 0 0
/proc/24433/statm: 4644 284 249 26 0 2626 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18576
[startup+0.101318 s]
/proc/loadavg: 2.19 2.15 2.06 4/73 24433
/proc/meminfo: memFree=1812152/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=12272 CPUtime=0
/proc/24433/stat : 24433 (sugar) D 24431 24433 21539 0 -1 4194304 397 0 0 0 0 0 0 0 18 0 1 0 24792330 12566528 365 996147200 4194304 4206940 548682068608 18446744073709551615 228706712165 0 0 4224 0 18446744071563608240 0 0 17 1 0 0
/proc/24433/statm: 3068 365 274 3 0 168 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12272
[startup+0.301396 s]
/proc/loadavg: 2.19 2.15 2.06 4/73 24433
/proc/meminfo: memFree=1812152/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16740 CPUtime=0.06
/proc/24433/stat : 24433 (sugar) R 24431 24433 21539 0 -1 4194304 1140 0 0 0 5 1 0 0 18 0 1 0 24792330 17141760 1107 996147200 4194304 4206940 548682068608 18446744073709551615 228706544287 0 0 4224 16386 0 0 0 17 1 0 0
/proc/24433/statm: 4185 1107 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.70137 s]
/proc/loadavg: 2.19 2.15 2.06 4/73 24433
/proc/meminfo: memFree=1812152/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=0.06
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1227 128 0 0 5 1 0 0 16 0 1 0 24792330 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24433/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50245 s]
/proc/loadavg: 2.26 2.16 2.06 4/84 24455
/proc/meminfo: memFree=1803552/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=0.54
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1309 5502 0 1 5 2 43 4 16 0 1 0 24792330 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24433/statm: 4217 1111 409 3 0 796 0
[pid=24446] ppid=24433 vsize=5356 CPUtime=0
/proc/24446/stat : 24446 (sh) S 24433 24433 21539 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24792415 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24446/statm: 1339 233 193 169 0 50 0
[pid=24447] ppid=24446 vsize=868496 CPUtime=0.63
/proc/24447/stat : 24447 (java) S 24446 24433 21539 0 -1 0 5463 0 1 0 59 4 0 0 20 0 9 0 24792415 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24447/statm: 217124 4871 1742 9 0 211629 0
[pid=24447/tid=24448] ppid=24446 vsize=868496 CPUtime=0.42
/proc/24447/task/24448/stat : 24448 (java) R 24446 24433 21539 0 -1 64 2687 0 1 0 40 2 0 0 25 0 9 0 24792416 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24449] ppid=24446 vsize=868496 CPUtime=0.03
/proc/24447/task/24449/stat : 24449 (java) S 24446 24433 21539 0 -1 64 627 0 0 0 3 0 0 0 16 0 9 0 24792417 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24450] ppid=24446 vsize=868496 CPUtime=0
/proc/24447/task/24450/stat : 24450 (java) S 24446 24433 21539 0 -1 64 11 0 0 0 0 0 0 0 23 0 9 0 24792417 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24451] ppid=24446 vsize=868496 CPUtime=0
/proc/24447/task/24451/stat : 24451 (java) S 24446 24433 21539 0 -1 64 4 0 0 0 0 0 0 0 24 0 9 0 24792417 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24452] ppid=24446 vsize=868496 CPUtime=0
/proc/24447/task/24452/stat : 24452 (java) S 24446 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24792419 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24453] ppid=24446 vsize=868496 CPUtime=0.15
/proc/24447/task/24453/stat : 24453 (java) S 24446 24433 21539 0 -1 64 1456 0 0 0 15 0 0 0 16 0 9 0 24792419 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24454] ppid=24446 vsize=868496 CPUtime=0
/proc/24447/task/24454/stat : 24454 (java) S 24446 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24792419 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24455] ppid=24446 vsize=868496 CPUtime=0
/proc/24447/task/24455/stat : 24455 (java) S 24446 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24792419 889339904 4871 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 890720
[startup+3.1026 s]
/proc/loadavg: 2.26 2.16 2.06 3/84 24455
/proc/meminfo: memFree=1792352/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=0.54
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1309 5502 0 1 5 2 43 4 15 0 1 0 24792330 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24433/statm: 4217 1111 409 3 0 796 0
[pid=24446] ppid=24433 vsize=5356 CPUtime=0
/proc/24446/stat : 24446 (sh) S 24433 24433 21539 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24792415 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24446/statm: 1339 233 193 169 0 50 0
[pid=24447] ppid=24446 vsize=868580 CPUtime=2.23
/proc/24447/stat : 24447 (java) S 24446 24433 21539 0 -1 0 8650 0 1 0 216 7 0 0 20 0 9 0 24792415 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24447/statm: 217145 7668 2566 9 0 211650 0
[pid=24447/tid=24448] ppid=24446 vsize=868580 CPUtime=1.78
/proc/24447/task/24448/stat : 24448 (java) R 24446 24433 21539 0 -1 64 2887 0 1 0 175 3 0 0 25 0 9 0 24792416 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4126509698 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24449] ppid=24446 vsize=868580 CPUtime=0.25
/proc/24447/task/24449/stat : 24449 (java) S 24446 24433 21539 0 -1 64 3594 0 0 0 23 2 0 0 16 0 9 0 24792417 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24450] ppid=24446 vsize=868580 CPUtime=0
/proc/24447/task/24450/stat : 24450 (java) S 24446 24433 21539 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24792417 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24451] ppid=24446 vsize=868580 CPUtime=0
/proc/24447/task/24451/stat : 24451 (java) S 24446 24433 21539 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24792417 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24452] ppid=24446 vsize=868580 CPUtime=0
/proc/24447/task/24452/stat : 24452 (java) S 24446 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24792419 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24453] ppid=24446 vsize=868580 CPUtime=0.18
/proc/24447/task/24453/stat : 24453 (java) S 24446 24433 21539 0 -1 64 1471 0 0 0 17 1 0 0 16 0 9 0 24792419 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24454] ppid=24446 vsize=868580 CPUtime=0
/proc/24447/task/24454/stat : 24454 (java) S 24446 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24792419 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24455] ppid=24446 vsize=868580 CPUtime=0
/proc/24447/task/24455/stat : 24455 (java) S 24446 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24792419 889425920 7668 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 890804
[startup+6.3019 s]
/proc/loadavg: 2.26 2.16 2.06 3/84 24455
/proc/meminfo: memFree=1743712/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=0.55
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1310 5502 0 1 6 2 43 4 15 0 1 0 24792330 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24433/statm: 4217 1111 409 3 0 796 0
[pid=24446] ppid=24433 vsize=5356 CPUtime=0
/proc/24446/stat : 24446 (sh) S 24433 24433 21539 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24792415 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24446/statm: 1339 233 193 169 0 50 0
[pid=24447] ppid=24446 vsize=868692 CPUtime=5.41
/proc/24447/stat : 24447 (java) S 24446 24433 21539 0 -1 0 10367 0 1 0 529 12 0 0 20 0 9 0 24792415 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24447/statm: 217173 9003 2591 9 0 211650 0
[pid=24447/tid=24448] ppid=24446 vsize=868692 CPUtime=4.62
/proc/24447/task/24448/stat : 24448 (java) R 24446 24433 21539 0 -1 64 3245 0 1 0 456 6 0 0 25 0 9 0 24792416 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24449] ppid=24446 vsize=868692 CPUtime=0.53
/proc/24447/task/24449/stat : 24449 (java) S 24446 24433 21539 0 -1 64 4906 0 0 0 50 3 0 0 16 0 9 0 24792417 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24450] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24450/stat : 24450 (java) S 24446 24433 21539 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24792417 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24451] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24451/stat : 24451 (java) S 24446 24433 21539 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24792417 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24452] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24452/stat : 24452 (java) S 24446 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24792419 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24453] ppid=24446 vsize=868692 CPUtime=0.22
/proc/24447/task/24453/stat : 24453 (java) S 24446 24433 21539 0 -1 64 1518 0 0 0 21 1 0 0 16 0 9 0 24792419 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24454] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24454/stat : 24454 (java) S 24446 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24792419 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24455] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24455/stat : 24455 (java) S 24446 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24792419 889540608 9003 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 890916
[startup+12.7025 s]
/proc/loadavg: 2.22 2.16 2.06 4/93 24494
/proc/meminfo: memFree=1808912/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=0.55
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1310 5502 0 1 6 2 43 4 16 0 1 0 24792330 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24433/statm: 4217 1111 409 3 0 796 0
[pid=24446] ppid=24433 vsize=5356 CPUtime=0
/proc/24446/stat : 24446 (sh) S 24433 24433 21539 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24792415 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24446/statm: 1339 233 193 169 0 50 0
[pid=24447] ppid=24446 vsize=868692 CPUtime=11.77
/proc/24447/stat : 24447 (java) S 24446 24433 21539 0 -1 0 11404 0 1 0 1124 53 0 0 20 0 9 0 24792415 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24447/statm: 217173 9025 2592 9 0 211650 0
[pid=24447/tid=24448] ppid=24446 vsize=868692 CPUtime=10.64
/proc/24447/task/24448/stat : 24448 (java) R 24446 24433 21539 0 -1 64 4264 0 1 0 1023 41 0 0 25 0 9 0 24792416 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4126525064 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24449] ppid=24446 vsize=868692 CPUtime=0.84
/proc/24447/task/24449/stat : 24449 (java) S 24446 24433 21539 0 -1 64 4906 0 0 0 76 8 0 0 16 0 9 0 24792417 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24450] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24450/stat : 24450 (java) S 24446 24433 21539 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24792417 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24451] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24451/stat : 24451 (java) S 24446 24433 21539 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24792417 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24452] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24452/stat : 24452 (java) S 24446 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24792419 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24453] ppid=24446 vsize=868692 CPUtime=0.25
/proc/24447/task/24453/stat : 24453 (java) S 24446 24433 21539 0 -1 64 1536 0 0 0 24 1 0 0 15 0 9 0 24792419 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24454] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24454/stat : 24454 (java) S 24446 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 24792419 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24455] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24455/stat : 24455 (java) S 24446 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 24792419 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 890916
[startup+25.5027 s]
/proc/loadavg: 2.18 2.15 2.06 3/94 24495
/proc/meminfo: memFree=1643280/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=0.55
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1310 5502 0 1 6 2 43 4 16 0 1 0 24792330 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24433/statm: 4217 1111 409 3 0 796 0
[pid=24446] ppid=24433 vsize=5356 CPUtime=0
/proc/24446/stat : 24446 (sh) S 24433 24433 21539 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24792415 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24446/statm: 1339 233 193 169 0 50 0
[pid=24447] ppid=24446 vsize=868692 CPUtime=24.28
/proc/24447/stat : 24447 (java) S 24446 24433 21539 0 -1 0 13423 0 1 0 2290 138 0 0 20 0 9 0 24792415 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24447/statm: 217173 9025 2592 9 0 211650 0
[pid=24447/tid=24448] ppid=24446 vsize=868692 CPUtime=22.49
/proc/24447/task/24448/stat : 24448 (java) R 24446 24433 21539 0 -1 64 6283 0 1 0 2135 114 0 0 25 0 9 0 24792416 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4126525075 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24449] ppid=24446 vsize=868692 CPUtime=1.5
/proc/24447/task/24449/stat : 24449 (java) S 24446 24433 21539 0 -1 64 4906 0 0 0 129 21 0 0 16 0 9 0 24792417 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24450] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24450/stat : 24450 (java) S 24446 24433 21539 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 24792417 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24451] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24451/stat : 24451 (java) S 24446 24433 21539 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24792417 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24452] ppid=24446 vsize=868692 CPUtime=0
/proc/24447/task/24452/stat : 24452 (java) S 24446 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24792419 889540608 9025 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24447/tid=24453] ppid=24446 vsize=868692 CPUtime=0.25
################
# More data... #
################
[startup+179.101 s]
/proc/loadavg: 2.25 2.17 2.08 3/86 24539
/proc/meminfo: memFree=1066136/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=28.21
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1377 19816 0 2 7 2 2645 167 16 0 1 0 24792330 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24433/statm: 4217 1114 409 3 0 796 0
[pid=24496] ppid=24433 vsize=5356 CPUtime=0
/proc/24496/stat : 24496 (sh) S 24433 24433 21539 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24795222 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24496/statm: 1339 232 193 169 0 50 0
[pid=24497] ppid=24496 vsize=517128 CPUtime=149.91
/proc/24497/stat : 24497 (minisat) R 24496 24433 21539 0 -1 4194304 122503 0 0 0 14905 86 0 0 25 0 1 0 24795222 529539072 122489 996147200 134512640 135127466 4294956256 18446744073709551615 134521718 0 0 4096 3 0 0 0 17 1 0 0
/proc/24497/statm: 129282 122489 76 150 0 129129 0
Current children cumulated CPU time (s) 178.12
Current children cumulated vsize (KiB) 539352
[startup+191.902 s]
/proc/loadavg: 2.27 2.18 2.08 3/86 24539
/proc/meminfo: memFree=1022488/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=28.21
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1377 19816 0 2 7 2 2645 167 16 0 1 0 24792330 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24433/statm: 4217 1114 409 3 0 796 0
[pid=24496] ppid=24433 vsize=5356 CPUtime=0
/proc/24496/stat : 24496 (sh) S 24433 24433 21539 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24795222 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24496/statm: 1339 232 193 169 0 50 0
[pid=24497] ppid=24496 vsize=517128 CPUtime=162.65
/proc/24497/stat : 24497 (minisat) R 24496 24433 21539 0 -1 4194304 122504 0 0 0 16179 86 0 0 25 0 1 0 24795222 529539072 122490 996147200 134512640 135127466 4294956256 18446744073709551615 134530581 0 0 4096 3 0 0 0 17 1 0 0
/proc/24497/statm: 129282 122490 76 150 0 129129 0
Current children cumulated CPU time (s) 190.86
Current children cumulated vsize (KiB) 539352
[startup+198.301 s]
/proc/loadavg: 2.25 2.17 2.08 3/86 24539
/proc/meminfo: memFree=1003288/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=28.21
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1377 19816 0 2 7 2 2645 167 16 0 1 0 24792330 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24433/statm: 4217 1114 409 3 0 796 0
[pid=24496] ppid=24433 vsize=5356 CPUtime=0
/proc/24496/stat : 24496 (sh) S 24433 24433 21539 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24795222 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24496/statm: 1339 232 193 169 0 50 0
[pid=24497] ppid=24496 vsize=517128 CPUtime=169.02
/proc/24497/stat : 24497 (minisat) R 24496 24433 21539 0 -1 4194304 122504 0 0 0 16816 86 0 0 25 0 1 0 24795222 529539072 122490 996147200 134512640 135127466 4294956256 18446744073709551615 134522866 0 0 4096 3 0 0 0 17 1 0 0
/proc/24497/statm: 129282 122490 76 150 0 129129 0
Current children cumulated CPU time (s) 197.23
Current children cumulated vsize (KiB) 539352
[startup+204.702 s]
/proc/loadavg: 2.22 2.17 2.08 3/86 24539
/proc/meminfo: memFree=972632/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=28.21
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1377 19816 0 2 7 2 2645 167 16 0 1 0 24792330 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24433/statm: 4217 1114 409 3 0 796 0
[pid=24496] ppid=24433 vsize=5356 CPUtime=0
/proc/24496/stat : 24496 (sh) S 24433 24433 21539 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24795222 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24496/statm: 1339 232 193 169 0 50 0
[pid=24497] ppid=24496 vsize=517128 CPUtime=175.39
/proc/24497/stat : 24497 (minisat) R 24496 24433 21539 0 -1 4194304 122504 0 0 0 17453 86 0 0 25 0 1 0 24795222 529539072 122490 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/24497/statm: 129282 122490 76 150 0 129129 0
Current children cumulated CPU time (s) 203.6
Current children cumulated vsize (KiB) 539352
[startup+206.302 s]
/proc/loadavg: 2.22 2.17 2.08 3/86 24539
/proc/meminfo: memFree=962968/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=204.71
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1449 142941 0 2 7 2 20194 268 15 0 1 0 24792330 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24433/statm: 4217 1114 409 3 0 796 0
Current children cumulated CPU time (s) 204.71
Current children cumulated vsize (KiB) 16868
[startup+207.103 s]
/proc/loadavg: 2.29 2.18 2.09 3/94 24549
/proc/meminfo: memFree=1429848/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=204.71
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1449 142941 0 2 7 2 20194 268 15 0 1 0 24792330 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24433/statm: 4217 1114 409 3 0 796 0
[pid=24540] ppid=24433 vsize=5356 CPUtime=0
/proc/24540/stat : 24540 (sh) S 24433 24433 21539 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24812911 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24540/statm: 1339 233 193 169 0 50 0
[pid=24541] ppid=24540 vsize=862900 CPUtime=1.26
/proc/24541/stat : 24541 (java) S 24540 24433 21539 0 -1 0 6197 0 1 0 122 4 0 0 18 0 9 0 24812912 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24541/statm: 215725 5472 2157 9 0 210638 0
[pid=24541/tid=24542] ppid=24540 vsize=862900 CPUtime=1.08
/proc/24541/task/24542/stat : 24542 (java) R 24540 24433 21539 0 -1 64 2055 0 1 0 106 2 0 0 25 0 9 0 24812913 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4126555603 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24543] ppid=24540 vsize=862900 CPUtime=0.08
/proc/24541/task/24543/stat : 24543 (java) S 24540 24433 21539 0 -1 64 2950 0 0 0 7 1 0 0 16 0 9 0 24812914 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24544] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24544/stat : 24544 (java) S 24540 24433 21539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24812914 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24545] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24545/stat : 24545 (java) S 24540 24433 21539 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24812914 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24546] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24546/stat : 24546 (java) S 24540 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24812916 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24547] ppid=24540 vsize=862900 CPUtime=0.07
/proc/24541/task/24547/stat : 24547 (java) S 24540 24433 21539 0 -1 64 495 0 0 0 7 0 0 0 16 0 9 0 24812916 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24548] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24548/stat : 24548 (java) S 24540 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24812916 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24549] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24549/stat : 24549 (java) S 24540 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24812916 883609600 5472 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 205.97
Current children cumulated vsize (KiB) 885124
[startup+207.503 s]
/proc/loadavg: 2.29 2.18 2.09 3/94 24549
/proc/meminfo: memFree=1429848/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=204.71
/proc/24433/stat : 24433 (sugar) S 24431 24433 21539 0 -1 4194304 1449 142941 0 2 7 2 20194 268 15 0 1 0 24792330 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24433/statm: 4217 1114 409 3 0 796 0
[pid=24540] ppid=24433 vsize=5356 CPUtime=0
/proc/24540/stat : 24540 (sh) S 24433 24433 21539 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24812911 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24540/statm: 1339 233 193 169 0 50 0
[pid=24541] ppid=24540 vsize=862900 CPUtime=1.66
/proc/24541/stat : 24541 (java) S 24540 24433 21539 0 -1 0 6324 0 1 0 162 4 0 0 18 0 9 0 24812912 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24541/statm: 215725 5580 2157 9 0 210638 0
[pid=24541/tid=24542] ppid=24540 vsize=862900 CPUtime=1.47
/proc/24541/task/24542/stat : 24542 (java) R 24540 24433 21539 0 -1 64 2075 0 1 0 145 2 0 0 25 0 9 0 24812913 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4126594125 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24543] ppid=24540 vsize=862900 CPUtime=0.09
/proc/24541/task/24543/stat : 24543 (java) S 24540 24433 21539 0 -1 64 3054 0 0 0 8 1 0 0 16 0 9 0 24812914 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24544] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24544/stat : 24544 (java) S 24540 24433 21539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24812914 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24545] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24545/stat : 24545 (java) S 24540 24433 21539 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24812914 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24546] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24546/stat : 24546 (java) S 24540 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24812916 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24547] ppid=24540 vsize=862900 CPUtime=0.08
/proc/24541/task/24547/stat : 24547 (java) S 24540 24433 21539 0 -1 64 498 0 0 0 8 0 0 0 16 0 9 0 24812916 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24548] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24548/stat : 24548 (java) S 24540 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24812916 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24549] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24549/stat : 24549 (java) S 24540 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24812916 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 206.37
Current children cumulated vsize (KiB) 885124
[startup+207.703 s]
/proc/loadavg: 2.29 2.18 2.09 3/94 24549
/proc/meminfo: memFree=1429848/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=204.71
/proc/24433/stat : 24433 (sugar) R 24431 24433 21539 0 -1 4194304 1451 142941 0 2 7 2 20194 268 16 0 1 0 24792330 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 228720679576 0 0 4224 16386 0 0 0 17 1 0 0
/proc/24433/statm: 4217 1114 409 3 0 796 0
[pid=24540] ppid=24433 vsize=5356 CPUtime=0
/proc/24540/stat : 24540 (sh) S 24433 24433 21539 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24812911 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24540/statm: 1339 233 193 169 0 50 0
[pid=24541] ppid=24540 vsize=862900 CPUtime=1.85
/proc/24541/stat : 24541 (java) S 24540 24433 21539 0 -1 0 6347 0 1 0 181 4 0 0 18 0 9 0 24812912 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24541/statm: 215725 5580 2157 9 0 210638 0
[pid=24541/tid=24542] ppid=24540 vsize=862900 CPUtime=1.66
/proc/24541/task/24542/stat : 24542 (java) R 24540 24433 21539 0 -1 64 2098 0 1 0 164 2 0 0 25 0 9 0 24812913 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24543] ppid=24540 vsize=862900 CPUtime=0.09
/proc/24541/task/24543/stat : 24543 (java) S 24540 24433 21539 0 -1 64 3054 0 0 0 8 1 0 0 16 0 9 0 24812914 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24544] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24544/stat : 24544 (java) S 24540 24433 21539 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24812914 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24545] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24545/stat : 24545 (java) S 24540 24433 21539 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24812914 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24546] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24546/stat : 24546 (java) S 24540 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24812916 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24547] ppid=24540 vsize=862900 CPUtime=0.08
/proc/24541/task/24547/stat : 24547 (java) S 24540 24433 21539 0 -1 64 498 0 0 0 8 0 0 0 16 0 9 0 24812916 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24548] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24548/stat : 24548 (java) S 24540 24433 21539 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 24812916 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24541/tid=24549] ppid=24540 vsize=862900 CPUtime=0
/proc/24541/task/24549/stat : 24549 (java) S 24540 24433 21539 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24812916 883609600 5580 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 206.56
Current children cumulated vsize (KiB) 885124
[startup+207.803 s]
/proc/loadavg: 2.29 2.18 2.09 4/84 24549
/proc/meminfo: memFree=1555048/2055920 swapFree=4192812/4192956
[pid=24433] ppid=24431 vsize=16868 CPUtime=206.65
/proc/24433/stat : 24433 (sugar) R 24431 24433 21539 0 -1 4194304 1480 150066 0 3 7 7 20377 274 16 0 1 0 24792330 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 228706718761 0 0 4224 16386 0 0 0 17 1 0 0
/proc/24433/statm: 4217 1115 410 3 0 796 0
Current children cumulated CPU time (s) 206.65
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 207.88
CPU time (s): 206.746
CPU user time (s): 203.852
CPU system time (s): 2.89356
CPU usage (%): 99.4541
Max. virtual memory (cumulated for all children) (KiB): 891056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 203.852
system time used= 2.89356
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151606
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= 40429
involuntary context switches= 41433
runsolver used 0.285956 second user time and 0.658899 second system time
The end
Begin job on node8 at 2009-07-12 07:40:51
IDJOB=2083358
IDBENCH=57789
IDSOLVER=739
FILE ID=node8/2083358-1247377251
PBS_JOBID= 9507121
Free space on /tmp= 66288 MiB
SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/fapp/fapp21/normalized-fapp21-0500-4.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083358-1247377251/watcher-2083358-1247377251 -o /tmp/evaluation-result-2083358-1247377251/solver-2083358-1247377251 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2083358-1247377251.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6763a8e49185bfad346b8249a47748d7
RANDOM SEED=1885493020
node8.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1812632 kB
Buffers: 3224 kB
Cached: 49068 kB
SwapCached: 0 kB
Active: 163720 kB
Inactive: 12056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1812632 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4024 kB
Writeback: 0 kB
Mapped: 134228 kB
Slab: 52476 kB
Committed_AS: 296472 kB
PageTables: 2000 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66284 MiB
End job on node8 at 2009-07-12 07:44:19