0.03/0.10 c 0 Sugar v1-13 + HOME/minisat
0.03/0.10 c 0 BEGIN Sat Jul 12 17:21:48 2008
0.03/0.10 c 0 PID 17699
0.03/0.13 c 0 HOST node9.alineos.net
0.03/0.13 c 0 CONVERTING HOME/instance-1112962-1215876108.xml TO HOME/temp.csp
0.03/0.13 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112962-1215876108.xml' 'HOME/temp.csp'
0.04/0.87 c 1 13 domains, 250 variables, 8 predicates, 0 relations, 3055 constraints
0.04/0.90 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.90 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.04/0.98 c 1 Parsing HOME/temp.csp
0.78/1.19 c 1 parsed 3326 expressions
0.87/1.23 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.87/1.46 c 2 MAX CSP: 3055 constraints
0.87/1.46 c 2 Converting to clausal form CSP
1.64/2.22 c 2 converted 639 (10%) expressions
2.14/2.79 c 3 converted 1277 (20%) expressions
2.64/3.30 c 3 converted 1916 (30%) expressions
3.13/3.71 c 4 converted 2554 (40%) expressions
3.52/4.18 c 4 converted 3192 (50%) expressions
4.02/4.60 c 5 converted 3831 (60%) expressions
4.21/4.88 c 5 converted 4469 (70%) expressions
4.61/5.29 c 5 converted 5108 (80%) expressions
5.11/5.71 c 6 converted 5746 (90%) expressions
5.91/6.60 c 7 converted 6384 (100%) expressions
5.91/6.60 c 7 CSP : 6608 integers, 11824 booleans, 27819 clauses, largest domain size 4583
5.91/6.60 c 7 Heap : 40 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.91/6.60 c 7 Propagation in CSP
6.30/6.96 c 7 3045 values, 0 unsatisfiable literals, and 0 valid clauses are removed
6.30/6.97 c 7 CSP : 6608 integers, 11824 booleans, 27819 clauses, largest domain size 3056
6.30/6.97 c 7 Heap : 45 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.30/6.98 c 7 Simplifing CSP by introducing new Boolean variables
6.40/7.03 c 7 CSP : 6608 integers, 18080 booleans, 34075 clauses, largest domain size 3056
6.40/7.03 c 7 Heap : 44 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
6.70/7.36 c 7 Encoding CSP to SAT : HOME/temp.cnf
7.79/8.40 c 8 661 (10%) CSP integer variables are encoded (252279 clauses, 4067416 bytes)
7.88/8.56 c 9 1322 (20%) CSP integer variables are encoded (373097 clauses, 6121322 bytes)
7.98/8.61 c 9 1983 (30%) CSP integer variables are encoded (405329 clauses, 6669266 bytes)
7.98/8.61 c 9 2644 (40%) CSP integer variables are encoded (408135 clauses, 6716968 bytes)
7.98/8.62 c 9 3304 (50%) CSP integer variables are encoded (410790 clauses, 6762103 bytes)
7.98/8.62 c 9 3965 (60%) CSP integer variables are encoded (416874 clauses, 6865531 bytes)
7.98/8.63 c 9 4626 (70%) CSP integer variables are encoded (422369 clauses, 6958946 bytes)
7.98/8.64 c 9 5287 (80%) CSP integer variables are encoded (429922 clauses, 7087347 bytes)
7.98/8.65 c 9 5948 (90%) CSP integer variables are encoded (435784 clauses, 7187001 bytes)
7.98/8.69 c 9 6608 (100%) CSP integer variables are encoded (473915 clauses, 7835228 bytes)
16.53/17.21 c 17 3408 (10%) CSP clauses are encoded (1925924 clauses, 38720089 bytes)
20.89/21.74 c 22 6815 (20%) CSP clauses are encoded (2761513 clauses, 57243091 bytes)
23.07/23.98 c 24 10223 (30%) CSP clauses are encoded (3410081 clauses, 72901009 bytes)
24.66/25.55 c 26 13630 (40%) CSP clauses are encoded (3812056 clauses, 82399391 bytes)
26.45/27.36 c 27 17038 (50%) CSP clauses are encoded (4453803 clauses, 98055766 bytes)
28.02/28.95 c 29 20445 (60%) CSP clauses are encoded (5022027 clauses, 112252990 bytes)
29.41/30.51 c 31 23853 (70%) CSP clauses are encoded (5445732 clauses, 122669793 bytes)
30.80/31.92 c 32 27260 (80%) CSP clauses are encoded (5959625 clauses, 135394848 bytes)
32.37/33.60 c 34 30668 (90%) CSP clauses are encoded (6836030 clauses, 156677831 bytes)
53.14/54.82 c 55 34075 (100%) CSP clauses are encoded (17837680 clauses, 425429243 bytes)
53.14/54.82 c 55 34075 CSP clauses encoded
53.14/54.82 c 55 Writing map file : HOME/temp.map
53.14/54.89 c 55 Heap : 44 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
53.14/54.89 c 55 SAT : 498603 SAT variables, 17837680 SAT clauses, 425429243 bytes
53.14/54.89 c 55 Heap : 44 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
53.24/54.95 c 55 OBJECTIVE minimize _COST
53.24/54.96 c 55 OBJECTIVE BOUND: 0 <= _COST <=
53.24/54.96 c 55 SEARCHING: _COST <= 1528
53.24/54.96 c 55 SOLVING HOME/temp.cnf
53.24/54.96 c 55 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
53.24/54.97 c 55 This is MiniSat 2.0 beta
53.24/54.97 c 55 WARNING: for repeatability, setting FPU to use double precision
53.24/54.97 c 55 ============================[ Problem Statistics ]=============================
53.24/54.97 c 55 | |
53.24/54.97 c 55 | Number of variables: 498603 |
53.24/54.97 c 55 | Number of clauses: 17837681 |
62.47/64.28 c 64 | Parsing time: 8.06 s |
79.30/81.13 c 81 ============================[ Search Statistics ]==============================
79.30/81.13 c 81 | Conflicts | ORIGINAL | LEARNT | Progress |
79.30/81.13 c 81 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
79.30/81.13 c 81 ===============================================================================
79.30/81.13 c 81 | 0 | 480279 13510639 39357976 | 4503546 0 nan | 0.000 % |
89.74/91.65 c 92 | 100 | 480279 13510639 39357976 | 4953900 100 5 | 3.675 % |
118.43/120.42 c 120 | 250 | 480279 13510639 39357976 | 5449291 250 5 | 3.675 % |
153.08/155.22 c 155 | 475 | 480279 13510639 39357976 | 5994220 475 5 | 3.675 % |
156.56/158.71 c 159 | 812 | 480279 13510639 39357976 | 6593642 812 5 | 3.675 % |
177.87/180.11 c 180 | 1318 | 480279 13510639 39357976 | 7253006 1318 5 | 3.675 % |
185.64/187.98 c 188 | 2077 | 480279 13510639 39357976 | 7978307 2077 28 | 3.675 % |
205.26/207.61 c 208 | 3216 | 472688 13489949 39302983 | 8776137 3211 20 | 5.938 % |
210.44/212.81 c 213 ===============================================================================
210.44/212.83 c 213 restarts : 8
210.44/212.83 c 213 conflicts : 3540 (23 /sec)
210.44/212.83 c 213 decisions : 2753989 (0.47 % random) (17656 /sec)
210.44/212.83 c 213 propagations : 102882417 (659573 /sec)
210.44/212.83 c 213 conflict literals : 66179 (10.42 % deleted)
210.44/212.83 c 213 Memory used : 712.30 MB
210.44/212.83 c 213 CPU time : 155.983 s
210.44/212.83 c 213
210.64/213.04 c 213 SATISFIABLE
210.73/213.15 c 213 FOUND: _COST <= 1528
210.73/213.15 s SATISFIABLE
210.73/213.15 c 213 DECODING HOME/temp.out WITH HOME/temp.map
210.73/213.15 c 213 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
210.80/213.23 c 213 Decoding HOME/temp.out
211.62/214.08 c 214 OBJECTIVE _COST 1484
211.62/214.08 o 1484
211.62/214.09 v 2500 2656 2480 2500 2616 2616 2368 2644 2656 2272 2576 2656 2656 2548 2616 2548 2540 2412 2624 2440 2656 2548 2656 2616 2356 2436 2564 2360 2564 2544 2572 2348 2476 2380 2408 2656 2524 2616 2656 2616 2332 2316 2456 2620 2656 2624 2400 2528 2388 2376 2596 2616 2600 2532 2624 2624 2552 2424 2580 2656 2280 2348 2276 2584 2480 2592 2620 2416 2608 2332 2324 2452 2656 2608 2656 2548 2572 2656 2656 2344 -2240 2556 2472 2656 2656 2468 2656 2284 2656 2472 2292 2656 2656 2260 2512 2484 2656 2656 2644 2616 2656 2644 2336 2360 -2384 2656 2564 2508 2520 2476 2560 2400 2612 2480 2656 2616 2656 2656 2500 2364 2628 2312 2404 2656 2656 2624 2656 2512 2480 2472 2556 2648 2656 2440 2496 2448 2596 2540 2476 2656 2460 2616 2656 2520 2656 2656 2644 2616 2620 2596 2384 2436 2320 2624 2624 2500 2620 2636 2656 2656 2616 2584 2500 2604 2500 2300 2644 2656 2576 2656 2656 2540 2484 2480 2656 2520 2316 2656 2596 2392 2612 2524 2304 2616 2644 2656 2484 2388 2336 2476 2596 2656 2588 2656 2616 2352 2596 2656 2596 2512 2272 2596 2644 2616 2512 2496 2456 2508 2616 2380 2492 2624 2512 2336 2412 2524 2400 2624 2440 2656 2484 2428 2644 2604 2656 2656 2472 2544 2644 2408 2548 2392 2596 2644 2536 2396 2412 2616 2460 2500 2656 2556 2596 2336 2656 2396 2484 2656 2252 2432
211.62/214.09 c 214 Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
211.72/214.19 c 214 OBJECTIVE BOUND: 0 <= _COST <= 1484
211.72/214.19 c 214 SEARCHING: _COST <= 742
211.72/214.19 c 214 SOLVING HOME/temp.cnf
211.72/214.19 c 214 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
211.72/214.19 c 214 This is MiniSat 2.0 beta
211.72/214.19 c 214 WARNING: for repeatability, setting FPU to use double precision
211.72/214.19 c 214 ============================[ Problem Statistics ]=============================
211.72/214.19 c 214 | |
211.72/214.20 c 214 | Number of variables: 498603 |
211.72/214.20 c 214 | Number of clauses: 17837681 |
221.79/224.35 c 224 | Parsing time: 8.93 s |
246.46/249.14 c 249 ============================[ Search Statistics ]==============================
246.46/249.14 c 249 | Conflicts | ORIGINAL | LEARNT | Progress |
246.46/249.14 c 249 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
246.46/249.14 c 249 ===============================================================================
246.46/249.14 c 249 | 0 | 469995 10722168 31022629 | 3574056 0 nan | 0.000 % |
263.28/266.08 c 266 | 100 | 469995 10722168 31022629 | 3931461 100 5 | 5.738 % |
281.79/284.69 c 285 | 250 | 469995 10722168 31022629 | 4324607 250 5 | 5.738 % |
303.78/306.73 c 307 | 475 | 469995 10722168 31022629 | 4757068 475 5 | 5.738 % |
315.42/318.42 c 318 | 812 | 469995 10722168 31022629 | 5232775 812 14 | 5.738 % |
322.79/325.85 c 326 | 1318 | 469995 10722168 31022629 | 5756052 1318 11 | 5.738 % |
332.83/335.90 c 336 | 2077 | 469995 10722168 31022629 | 6331658 2077 9 | 5.738 % |
345.67/348.80 c 349 | 3217 | 467802 10696913 30953451 | 6964824 3216 9 | 6.177 % |
361.00/364.22 c 364 | 4925 | 467802 10696913 30953451 | 7661306 4924 12 | 6.177 % |
386.27/389.61 c 390 | 7487 | 465451 10667343 30871798 | 8427437 7483 14 | 7.540 % |
420.90/424.45 c 425 | 11332 | 458792 10599693 30686633 | 9270180 11327 25 | 7.985 % |
464.21/467.93 c 468 | 17098 | 456429 10570271 30605461 | 10197198 17092 53 | 8.458 % |
515.59/519.52 c 520 | 25748 | 454196 10544305 30534267 | 11216918 25740 72 | 9.323 % |
600.93/605.22 c 605 | 38723 | 452115 10518129 30461985 | 12338610 38713 88 | 10.212 % |
614.77/619.13 c 619 ===============================================================================
614.77/619.16 c 619 restarts : 14
614.77/619.16 c 619 conflicts : 39821 (99 /sec)
614.77/619.16 c 619 decisions : 2983031 (0.49 % random) (7425 /sec)
614.77/619.16 c 619 propagations : 649150097 (1615835 /sec)
614.77/619.16 c 619 conflict literals : 3431156 (9.54 % deleted)
614.77/619.16 c 619 Memory used : 719.23 MB
614.77/619.16 c 619 CPU time : 401.743 s
614.77/619.16 c 619
614.97/619.35 c 619 SATISFIABLE
615.07/619.46 c 620 FOUND: _COST <= 742
615.07/619.46 c 620 DECODING HOME/temp.out WITH HOME/temp.map
615.07/619.46 c 620 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
615.15/619.55 c 620 Decoding HOME/temp.out
615.96/620.39 c 620 OBJECTIVE _COST 742
615.96/620.39 o 742
615.96/620.40 v 2420 2544 -2616 2308 2616 2656 2324 2388 2280 2276 -2484 2544 2656 2540 2412 2408 2380 2256 2584 2656 -2560 2524 2656 2616 -2296 2656 2308 -2376 2472 2596 -2536 2240 2444 2348 2656 2560 2356 2336 2656 2240 2380 2248 2588 2396 2244 -2624 2616 2596 2336 2564 2516 2576 -2288 2624 2612 2624 2596 2496 2620 2372 2656 2376 2532 2556 2440 2556 2484 2416 2656 2384 2284 2448 -2296 2616 2564 2564 2240 2656 2588 2564 -2240 2556 2620 2656 2656 2612 2656 2412 2656 2444 2340 -2240 2392 2324 2440 2620 -2320 2652 2488 2392 2656 2440 2336 2320 2652 2656 2616 2644 2460 2656 -2500 2460 -2500 2464 -2244 2616 2656 2256 2404 2296 2656 2316 2520 2272 2524 2620 2284 2472 2480 2348 2656 2656 2280 2572 2624 -2412 2596 2620 2420 2656 2424 2656 2440 2500 2240 2388 2644 -2616 2620 2552 2564 2488 2416 2532 2624 2248 -2576 2380 2616 -2372 2552 2604 2508 2644 2308 2532 2644 2500 2616 2424 2656 2592 2628 2624 -2604 2520 2524 2504 2596 2404 2496 2512 2296 2412 2644 2616 2608 2616 2336 2564 2552 2656 2592 2524 2576 2292 2580 2312 2556 2448 2256 2596 2560 2432 -2624 2612 2572 2484 2616 2500 -2640 2624 2484 2464 2488 2396 2480 2488 2408 2360 2656 2616 2444 2604 2656 2352 -2512 2644 2604 2536 2564 2352 2588 2408 2656 2396 2372 2564 -2448 2464 2604 2580 2596 2476 2656 2452 2344 -2656 2648 2436
615.96/620.40 c 620 Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
616.06/620.41 c 620 OBJECTIVE BOUND: 0 <= _COST <= 742
616.06/620.41 c 620 SEARCHING: _COST <= 371
616.06/620.41 c 620 SOLVING HOME/temp.cnf
616.06/620.41 c 620 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
616.06/620.41 c 620 This is MiniSat 2.0 beta
616.06/620.41 c 620 WARNING: for repeatability, setting FPU to use double precision
616.06/620.41 c 620 ============================[ Problem Statistics ]=============================
616.06/620.41 c 620 | |
616.06/620.42 c 620 | Number of variables: 498603 |
616.06/620.42 c 620 | Number of clauses: 17837681 |
625.70/630.11 c 630 | Parsing time: 8.43 s |
653.06/657.64 c 658 ============================[ Search Statistics ]==============================
653.06/657.64 c 658 | Conflicts | ORIGINAL | LEARNT | Progress |
653.06/657.64 c 658 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
653.06/657.64 c 658 ===============================================================================
653.06/657.64 c 658 | 0 | 463982 8639893 24793472 | 2879964 0 nan | 0.000 % |
661.33/665.96 c 666 | 100 | 463982 8639893 24793472 | 3167960 100 5 | 6.944 % |
669.38/674.03 c 674 | 250 | 463982 8639893 24793472 | 3484756 250 5 | 6.944 % |
674.16/678.80 c 679 | 475 | 463982 8639893 24793472 | 3833232 475 14 | 6.944 % |
677.74/682.40 c 682 | 812 | 461634 8614796 24725229 | 4216555 810 12 | 7.839 % |
683.61/688.32 c 688 | 1318 | 461634 8614796 24725229 | 4638211 1316 9 | 7.839 % |
692.18/696.99 c 697 | 2077 | 461634 8614796 24725229 | 5102032 2075 9 | 7.839 % |
704.42/709.20 c 709 | 3216 | 459513 8580569 24628918 | 5612235 3212 15 | 8.734 % |
719.35/724.24 c 724 | 4924 | 448542 8435382 24219651 | 6173459 4917 15 | 10.040 % |
741.73/746.75 c 747 | 7486 | 444245 8363963 24018300 | 6790805 7474 29 | 12.297 % |
769.80/774.98 c 775 | 11331 | 435108 8240246 23674609 | 7469885 11318 40 | 12.735 % |
815.18/820.54 c 821 | 17098 | 428399 8136770 23379982 | 8216874 17080 47 | 14.515 % |
882.94/888.69 c 889 | 25747 | 426231 8102749 23282266 | 9038561 25728 65 | 14.961 % |
978.87/985.04 c 985 | 38722 | 419874 8007928 23016912 | 9942417 38701 79 | 15.790 % |
1125.45/1132.32 c 1132 | 58183 | 413107 7952866 22872041 | 10936659 58159 91 | 17.147 % |
1358.90/1366.93 c 1367 | 87375 | 406484 7879385 22671471 | 12030325 87345 102 | 19.356 % |
1670.46/1680.06 c 1680 | 131165 | 400054 7798025 22446709 | 13233358 131131 107 | 21.007 % |
2134.28/2146.19 c 2146 | 196851 | 380651 7546560 21748592 | 14556694 196808 111 | 24.100 % |
2904.98/2920.62 c 2921 | 295378 | 358027 7287588 21037468 | 16012363 295322 124 | 28.646 % |
3600.07/3619.11 c ERROR INTERRUPTED
3600.18/3619.23 c 3619 CPU 610.39 (0.07 0.03 610.32 5.67)
3600.18/3619.23 c 3619 END Sat Jul 12 18:22:07 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112962-1215876108/watcher-1112962-1215876108 -o /tmp/evaluation-result-1112962-1215876108/solver-1112962-1215876108 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1112962-1215876108.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.77 2.70 2.64 4/80 17699
/proc/meminfo: memFree=1874152/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=18572 CPUtime=0
/proc/17699/stat : 17699 (runsolver) D 17697 17699 16491 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 44313719 19017728 292 996147200 4194304 4296836 548682068256 18446744073709551615 215418989863 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/17699/statm: 4643 292 257 25 0 2626 0
[startup+0.054959 s]
/proc/loadavg: 2.77 2.70 2.64 4/80 17699
/proc/meminfo: memFree=1874152/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=2504 CPUtime=0
/proc/17699/stat : 17699 (sugar) R 17697 17699 16491 0 -1 4194304 39 0 0 0 0 0 0 0 20 0 1 0 44313719 2564096 24 996147200 4194304 4206940 548682068592 18446744073709551615 215416371244 0 0 4096 0 0 0 0 17 1 0 0
/proc/17699/statm: 626 24 17 3 0 3 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2504
[startup+0.102848 s]
/proc/loadavg: 2.77 2.70 2.64 4/80 17699
/proc/meminfo: memFree=1874152/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13468 CPUtime=0.03
/proc/17699/stat : 17699 (sugar) R 17697 17699 16491 0 -1 4194304 757 0 0 0 3 0 0 0 18 0 1 0 44313719 13791232 725 996147200 4194304 4206940 548682068592 18446744073709551615 215436651920 0 0 4224 0 0 0 0 17 1 0 0
/proc/17699/statm: 3367 725 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468
[startup+0.30288 s]
/proc/loadavg: 2.77 2.70 2.64 4/80 17699
/proc/meminfo: memFree=1874152/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13600 CPUtime=0.04
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 898 127 0 0 3 1 0 0 18 0 1 0 44313719 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17699/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.701963 s]
/proc/loadavg: 2.77 2.70 2.64 4/80 17699
/proc/meminfo: memFree=1874152/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13600 CPUtime=0.04
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 898 127 0 0 3 1 0 0 18 0 1 0 44313719 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17699/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+1.50293 s]
/proc/loadavg: 2.95 2.74 2.65 4/91 17721
/proc/meminfo: memFree=1867152/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13600 CPUtime=0.59
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 974 6657 0 1 3 1 51 4 15 0 1 0 44313719 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17699/statm: 3400 797 370 3 0 500 0
[pid=17712] ppid=17699 vsize=5356 CPUtime=0
/proc/17712/stat : 17712 (sh) S 17699 17699 16491 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44313810 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17712/statm: 1339 233 193 169 0 50 0
[pid=17713] ppid=17712 vsize=864216 CPUtime=0.35
/proc/17713/stat : 17713 (java) S 17712 17699 16491 0 -1 0 4319 0 1 0 33 2 0 0 20 0 9 0 44313810 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17713/statm: 216054 3764 1732 9 0 210629 0
[pid=17713/tid=17714] ppid=17712 vsize=864216 CPUtime=0.23
/proc/17713/task/17714/stat : 17714 (java) R 17712 17699 16491 0 -1 64 2648 0 1 0 22 1 0 0 25 0 9 0 44313811 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 104175339 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17715] ppid=17712 vsize=864216 CPUtime=0.02
/proc/17713/task/17715/stat : 17715 (java) S 17712 17699 16491 0 -1 64 632 0 0 0 2 0 0 0 16 0 9 0 44313812 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17716] ppid=17712 vsize=864216 CPUtime=0
/proc/17713/task/17716/stat : 17716 (java) S 17712 17699 16491 0 -1 64 9 0 0 0 0 0 0 0 24 0 9 0 44313812 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17717] ppid=17712 vsize=864216 CPUtime=0
/proc/17713/task/17717/stat : 17717 (java) S 17712 17699 16491 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 44313812 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17718] ppid=17712 vsize=864216 CPUtime=0
/proc/17713/task/17718/stat : 17718 (java) S 17712 17699 16491 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44313814 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17719] ppid=17712 vsize=864216 CPUtime=0.07
/proc/17713/task/17719/stat : 17719 (java) S 17712 17699 16491 0 -1 64 347 0 0 0 7 0 0 0 16 0 9 0 44313814 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17720] ppid=17712 vsize=864216 CPUtime=0
/proc/17713/task/17720/stat : 17720 (java) S 17712 17699 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44313814 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17721] ppid=17712 vsize=864216 CPUtime=0
/proc/17713/task/17721/stat : 17721 (java) S 17712 17699 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44313814 884957184 3764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 883172
[startup+3.10198 s]
/proc/loadavg: 2.95 2.74 2.65 5/91 17721
/proc/meminfo: memFree=1856208/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13600 CPUtime=0.59
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 974 6657 0 1 3 1 51 4 15 0 1 0 44313719 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17699/statm: 3400 797 370 3 0 500 0
[pid=17712] ppid=17699 vsize=5356 CPUtime=0
/proc/17712/stat : 17712 (sh) S 17699 17699 16491 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44313810 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17712/statm: 1339 233 193 169 0 50 0
[pid=17713] ppid=17712 vsize=868384 CPUtime=1.94
/proc/17713/stat : 17713 (java) S 17712 17699 16491 0 -1 0 8901 0 1 0 189 5 0 0 20 0 9 0 44313810 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17713/statm: 217096 8046 2540 9 0 211671 0
[pid=17713/tid=17714] ppid=17712 vsize=868384 CPUtime=1.46
/proc/17713/task/17714/stat : 17714 (java) R 17712 17699 16491 0 -1 64 2756 0 1 0 145 1 0 0 25 0 9 0 44313811 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17715] ppid=17712 vsize=868384 CPUtime=0.25
/proc/17713/task/17715/stat : 17715 (java) S 17712 17699 16491 0 -1 64 3995 0 0 0 23 2 0 0 15 0 9 0 44313812 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17716] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17716/stat : 17716 (java) S 17712 17699 16491 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 44313812 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17717] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17717/stat : 17717 (java) S 17712 17699 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44313812 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17718] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17718/stat : 17718 (java) S 17712 17699 16491 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44313814 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17719] ppid=17712 vsize=868384 CPUtime=0.18
/proc/17713/task/17719/stat : 17719 (java) S 17712 17699 16491 0 -1 64 1457 0 0 0 18 0 0 0 15 0 9 0 44313814 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17720] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17720/stat : 17720 (java) S 17712 17699 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44313814 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17721] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17721/stat : 17721 (java) S 17712 17699 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44313814 889225216 8046 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 887340
[startup+6.30285 s]
/proc/loadavg: 3.03 2.76 2.66 4/91 17721
/proc/meminfo: memFree=1829328/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13600 CPUtime=0.59
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 974 6657 0 1 3 1 51 4 15 0 1 0 44313719 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17699/statm: 3400 797 370 3 0 500 0
[pid=17712] ppid=17699 vsize=5356 CPUtime=0
/proc/17712/stat : 17712 (sh) S 17699 17699 16491 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44313810 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17712/statm: 1339 233 193 169 0 50 0
[pid=17713] ppid=17712 vsize=868384 CPUtime=5.12
/proc/17713/stat : 17713 (java) S 17712 17699 16491 0 -1 0 20810 0 1 0 500 12 0 0 20 0 9 0 44313810 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17713/statm: 217096 14764 2540 9 0 211671 0
[pid=17713/tid=17714] ppid=17712 vsize=868384 CPUtime=3.76
/proc/17713/task/17714/stat : 17714 (java) R 17712 17699 16491 0 -1 64 3335 0 1 0 374 2 0 0 25 0 9 0 44313811 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4126586276 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17715] ppid=17712 vsize=868384 CPUtime=1.13
/proc/17713/task/17715/stat : 17715 (java) S 17712 17699 16491 0 -1 64 15315 0 0 0 105 8 0 0 16 0 9 0 44313812 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17716] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17716/stat : 17716 (java) S 17712 17699 16491 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 44313812 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17717] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17717/stat : 17717 (java) S 17712 17699 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44313812 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17718] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17718/stat : 17718 (java) S 17712 17699 16491 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44313814 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17719] ppid=17712 vsize=868384 CPUtime=0.19
/proc/17713/task/17719/stat : 17719 (java) S 17712 17699 16491 0 -1 64 1467 0 0 0 19 0 0 0 15 0 9 0 44313814 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17720] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17720/stat : 17720 (java) S 17712 17699 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44313814 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17721] ppid=17712 vsize=868384 CPUtime=0
/proc/17713/task/17721/stat : 17721 (java) S 17712 17699 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44313814 889225216 14764 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 887340
[startup+12.7011 s]
/proc/loadavg: 2.95 2.75 2.66 4/91 17721
/proc/meminfo: memFree=1794128/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13600 CPUtime=0.6
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 974 6657 0 1 4 1 51 4 15 0 1 0 44313719 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17699/statm: 3400 797 370 3 0 500 0
[pid=17712] ppid=17699 vsize=5356 CPUtime=0
/proc/17712/stat : 17712 (sh) S 17699 17699 16491 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44313810 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17712/statm: 1339 233 193 169 0 50 0
[pid=17713] ppid=17712 vsize=868496 CPUtime=11.45
/proc/17713/stat : 17713 (java) S 17712 17699 16491 0 -1 0 27252 0 2 0 1118 27 0 0 20 0 9 0 44313810 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17713/statm: 217124 16883 2566 9 0 211671 0
[pid=17713/tid=17714] ppid=17712 vsize=868496 CPUtime=9.53
/proc/17713/task/17714/stat : 17714 (java) R 17712 17699 16491 0 -1 64 3573 0 1 0 940 13 0 0 25 0 9 0 44313811 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4126597302 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17715] ppid=17712 vsize=868496 CPUtime=1.61
/proc/17713/task/17715/stat : 17715 (java) S 17712 17699 16491 0 -1 64 21460 0 1 0 149 12 0 0 16 0 9 0 44313812 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17716] ppid=17712 vsize=868496 CPUtime=0
/proc/17713/task/17716/stat : 17716 (java) S 17712 17699 16491 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 44313812 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17717] ppid=17712 vsize=868496 CPUtime=0
/proc/17713/task/17717/stat : 17717 (java) S 17712 17699 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44313812 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17718] ppid=17712 vsize=868496 CPUtime=0
/proc/17713/task/17718/stat : 17718 (java) S 17712 17699 16491 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 44313814 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17719] ppid=17712 vsize=868496 CPUtime=0.28
/proc/17713/task/17719/stat : 17719 (java) S 17712 17699 16491 0 -1 64 1526 0 0 0 28 0 0 0 17 0 9 0 44313814 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17720] ppid=17712 vsize=868496 CPUtime=0
/proc/17713/task/17720/stat : 17720 (java) S 17712 17699 16491 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 44313814 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17721] ppid=17712 vsize=868496 CPUtime=0
/proc/17713/task/17721/stat : 17721 (java) S 17712 17699 16491 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44313814 889339904 16883 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 887452
[startup+25.5025 s]
/proc/loadavg: 2.87 2.74 2.65 4/91 17721
/proc/meminfo: memFree=1734864/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13600 CPUtime=0.6
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 974 6657 0 1 4 1 51 4 16 0 1 0 44313719 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/17699/statm: 3400 797 370 3 0 500 0
[pid=17712] ppid=17699 vsize=5356 CPUtime=0
/proc/17712/stat : 17712 (sh) S 17699 17699 16491 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 44313810 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17712/statm: 1339 233 193 169 0 50 0
[pid=17713] ppid=17712 vsize=868496 CPUtime=24.06
/proc/17713/stat : 17713 (java) S 17712 17699 16491 0 -1 0 27598 0 2 0 2345 61 0 0 20 0 9 0 44313810 889339904 16888 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17713/statm: 217124 16888 2566 9 0 211671 0
[pid=17713/tid=17714] ppid=17712 vsize=868496 CPUtime=21.96
/proc/17713/task/17714/stat : 17714 (java) R 17712 17699 16491 0 -1 64 3914 0 1 0 2151 45 0 0 25 0 9 0 44313811 889339904 16888 996147200 134512640 134550740 4294955936 18446744073709551615 4127086338 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17715] ppid=17712 vsize=868496 CPUtime=1.77
/proc/17713/task/17715/stat : 17715 (java) S 17712 17699 16491 0 -1 64 21460 0 1 0 163 14 0 0 16 0 9 0 44313812 889339904 16888 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17716] ppid=17712 vsize=868496 CPUtime=0
/proc/17713/task/17716/stat : 17716 (java) S 17712 17699 16491 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 44313812 889339904 16888 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17713/tid=17717] ppid=17712 vsize=868496 CPUtime=0
/proc/17713/task/17717/stat : 17717 (java) S 17712 17699 16491 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44313812 889339904 16888 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=17817] ppid=17699 vsize=5356 CPUtime=0
/proc/17817/stat : 17817 (sh) S 17699 17699 16491 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44375761 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17817/statm: 1339 232 193 169 0 50 0
[pid=17818] ppid=17817 vsize=739340 CPUtime=2589.13
/proc/17818/stat : 17818 (minisat) R 17817 17699 16491 0 -1 4194304 182950 0 0 0 258789 124 0 0 25 0 1 0 44375761 757084160 182936 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 184835 182936 76 150 0 184682 0
Current children cumulated CPU time (s) 3205.21
Current children cumulated vsize (KiB) 758692
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17861
/proc/meminfo: memFree=435016/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.08
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 1379 409114 1 5 7 3 61032 566 16 0 1 0 44313719 14331904 892 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17699/statm: 3499 892 374 3 0 599 0
[pid=17817] ppid=17699 vsize=5356 CPUtime=0
/proc/17817/stat : 17817 (sh) S 17699 17699 16491 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44375761 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17817/statm: 1339 232 193 169 0 50 0
[pid=17818] ppid=17817 vsize=739340 CPUtime=2648.84
/proc/17818/stat : 17818 (minisat) R 17817 17699 16491 0 -1 4194304 182959 0 0 0 264760 124 0 0 25 0 1 0 44375761 757084160 182945 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 184835 182945 76 150 0 184682 0
Current children cumulated CPU time (s) 3264.92
Current children cumulated vsize (KiB) 758692
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17861
/proc/meminfo: memFree=434888/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.08
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 1379 409114 1 5 7 3 61032 566 16 0 1 0 44313719 14331904 892 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17699/statm: 3499 892 374 3 0 599 0
[pid=17817] ppid=17699 vsize=5356 CPUtime=0
/proc/17817/stat : 17817 (sh) S 17699 17699 16491 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44375761 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17817/statm: 1339 232 193 169 0 50 0
[pid=17818] ppid=17817 vsize=739340 CPUtime=2708.54
/proc/17818/stat : 17818 (minisat) R 17817 17699 16491 0 -1 4194304 182967 0 0 0 270730 124 0 0 25 0 1 0 44375761 757084160 182953 996147200 134512640 135127466 4294956256 18446744073709551615 134522669 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 184835 182953 76 150 0 184682 0
Current children cumulated CPU time (s) 3324.62
Current children cumulated vsize (KiB) 758692
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17863
/proc/meminfo: memFree=434632/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.08
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 1379 409114 1 5 7 3 61032 566 16 0 1 0 44313719 14331904 892 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17699/statm: 3499 892 374 3 0 599 0
[pid=17817] ppid=17699 vsize=5356 CPUtime=0
/proc/17817/stat : 17817 (sh) S 17699 17699 16491 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44375761 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17817/statm: 1339 232 193 169 0 50 0
[pid=17818] ppid=17817 vsize=739340 CPUtime=2768.25
/proc/17818/stat : 17818 (minisat) R 17817 17699 16491 0 -1 4194304 182975 0 0 0 276701 124 0 0 25 0 1 0 44375761 757084160 182961 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 184835 182961 76 150 0 184682 0
Current children cumulated CPU time (s) 3384.33
Current children cumulated vsize (KiB) 758692
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17863
/proc/meminfo: memFree=434568/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.08
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 1379 409114 1 5 7 3 61032 566 16 0 1 0 44313719 14331904 892 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17699/statm: 3499 892 374 3 0 599 0
[pid=17817] ppid=17699 vsize=5356 CPUtime=0
/proc/17817/stat : 17817 (sh) S 17699 17699 16491 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44375761 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17817/statm: 1339 232 193 169 0 50 0
[pid=17818] ppid=17817 vsize=739340 CPUtime=2827.96
/proc/17818/stat : 17818 (minisat) R 17817 17699 16491 0 -1 4194304 182982 0 0 0 282672 124 0 0 25 0 1 0 44375761 757084160 182968 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 184835 182968 76 150 0 184682 0
Current children cumulated CPU time (s) 3444.04
Current children cumulated vsize (KiB) 758692
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17863
/proc/meminfo: memFree=434568/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.08
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 1379 409114 1 5 7 3 61032 566 16 0 1 0 44313719 14331904 892 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17699/statm: 3499 892 374 3 0 599 0
[pid=17817] ppid=17699 vsize=5356 CPUtime=0
/proc/17817/stat : 17817 (sh) S 17699 17699 16491 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44375761 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17817/statm: 1339 232 193 169 0 50 0
[pid=17818] ppid=17817 vsize=739340 CPUtime=2887.66
/proc/17818/stat : 17818 (minisat) R 17817 17699 16491 0 -1 4194304 182990 0 0 0 288642 124 0 0 25 0 1 0 44375761 757084160 182976 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 184835 182976 76 150 0 184682 0
Current children cumulated CPU time (s) 3503.74
Current children cumulated vsize (KiB) 758692
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17863
/proc/meminfo: memFree=429832/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.08
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 1379 409114 1 5 7 3 61032 566 16 0 1 0 44313719 14331904 892 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17699/statm: 3499 892 374 3 0 599 0
[pid=17817] ppid=17699 vsize=5356 CPUtime=0
/proc/17817/stat : 17817 (sh) S 17699 17699 16491 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44375761 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17817/statm: 1339 232 193 169 0 50 0
[pid=17818] ppid=17817 vsize=744112 CPUtime=2947.36
/proc/17818/stat : 17818 (minisat) R 17817 17699 16491 0 -1 4194304 184185 0 0 0 294611 125 0 0 25 0 1 0 44375761 761970688 184171 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 186028 184171 76 150 0 185875 0
Current children cumulated CPU time (s) 3563.44
Current children cumulated vsize (KiB) 763464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3619.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17863
/proc/meminfo: memFree=425800/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.08
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 1379 409114 1 5 7 3 61032 566 16 0 1 0 44313719 14331904 892 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/17699/statm: 3499 892 374 3 0 599 0
[pid=17817] ppid=17699 vsize=5356 CPUtime=0
/proc/17817/stat : 17817 (sh) S 17699 17699 16491 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 44375761 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17817/statm: 1339 232 193 169 0 50 0
[pid=17818] ppid=17817 vsize=748044 CPUtime=2983.99
/proc/17818/stat : 17818 (minisat) R 17817 17699 16491 0 -1 4194304 185152 0 0 0 298272 127 0 0 25 0 1 0 44375761 765997056 185138 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 187011 185138 76 150 0 186858 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 767396
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3619.22 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17863
/proc/meminfo: memFree=425800/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.08
/proc/17699/stat : 17699 (sugar) S 17697 17699 16491 0 -1 4194304 1393 409114 1 5 7 3 61032 566 16 0 1 0 44313719 14331904 892 996147200 4194304 4206940 548682068592 18446744073709551615 215427887202 0 16384 4224 0 18446744071563648864 0 0 17 0 0 0
/proc/17699/statm: 3499 892 374 3 0 599 0
[pid=17817] ppid=17699 vsize=0 CPUtime=0
/proc/17817/stat : 17817 (sh) Z 17699 17699 16491 0 -1 4195340 277 0 0 0 0 0 0 0 16 0 1 0 44375761 0 0 996147200 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 0 0 0
/proc/17817/statm: 0 0 0 0 0 0 0
[pid=17818] ppid=1 vsize=0 CPUtime=2984.1
/proc/17818/stat : 17818 (minisat) R 1 17699 16491 0 -1 4195332 185152 0 0 0 298272 138 0 0 25 0 1 0 44375761 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/17818/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3600.18
Current children cumulated vsize (KiB) 13996
# WARNING:
# current cumulated CPU time (616.16 s) is less than in the last sample (3600.18 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (2984.02 s) to the 'lost time'.
[startup+3619.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17863
/proc/meminfo: memFree=425800/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.16
/proc/17699/stat : 17699 (sugar) R 17697 17699 16491 0 -1 4194304 1414 409391 1 5 7 10 61032 567 17 0 1 0 44313719 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 215419163689 0 0 4224 16386 0 0 0 17 1 0 0
/proc/17699/statm: 3499 893 375 3 0 599 0
Current children cumulated CPU time (s) 616.16
Current children cumulated vsize (KiB) 13996
Solver just ended. Dumping a history of the last processes samples
[startup+3619.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 17863
/proc/meminfo: memFree=425800/2055920 swapFree=4180384/4192956
[pid=17699] ppid=17697 vsize=13996 CPUtime=616.26
/proc/17699/stat : 17699 (sugar) R 17697 17699 16491 0 -1 4194304 1414 409391 1 5 7 20 61032 567 17 0 1 0 44313719 14331904 893 996147200 4194304 4206940 548682068592 18446744073709551615 215419163689 0 0 4224 16386 0 0 0 17 1 0 0
/proc/17699/statm: 3499 893 375 3 0 599 0
Current children cumulated CPU time (s) 616.26
Current children cumulated vsize (KiB) 13996
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2984.02
# lost CPU user time (s): 2982.72
# lost CPU system time (s): 1.3
Real time (s): 3619.44
CPU time (s): 3600.34
CPU user time (s): 3593.12
CPU system time (s): 7.2191
CPU usage (%): 99.4722
Max. virtual memory (cumulated for all children) (KiB): 897976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 610.402
system time used= 5.9191
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 410836
page faults= 6
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22483
involuntary context switches= 36926
runsolver used 3.56846 second user time and 9.99448 second system time
The end
Begin job on node9 at 2008-07-12 17:21:48
IDJOB=1112962
IDBENCH=61503
IDSOLVER=368
FILE ID=node9/1112962-1215876108
PBS_JOBID= 7903491
Free space on /tmp= 66552 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/fapp/fapp02/normalized-fapp02-0250-0.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112962-1215876108/watcher-1112962-1215876108 -o /tmp/evaluation-result-1112962-1215876108/solver-1112962-1215876108 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1112962-1215876108.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 629efecb0eb59f0ce6ca410b2a2aa039
RANDOM SEED=2064433503
node9.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.260
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.260
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: 1874632 kB
Buffers: 6136 kB
Cached: 40908 kB
SwapCached: 6132 kB
Active: 119068 kB
Inactive: 11784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1874632 kB
SwapTotal: 4192956 kB
SwapFree: 4180384 kB
Dirty: 1696 kB
Writeback: 0 kB
Mapped: 100304 kB
Slab: 35552 kB
Committed_AS: 1041420 kB
PageTables: 1988 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= 66548 MiB
End job on node9 at 2008-07-12 18:22:09