0.04/0.07 c 0 Sugar v1-14-6 + HOME/picosat
0.04/0.07 c 0 BEGIN Sun Jul 12 07:29:06 2009
0.04/0.07 c 0 PID 27491
0.04/0.07 c 0 HOST node84.alineos.net
0.04/0.07 c 0 CONVERTING HOME/instance-2083038-1247376545.xml TO HOME/temp.csp
0.04/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2083038-1247376545.xml' 'HOME/temp.csp'
0.97/1.06 c 1 14 domains, 750 variables, 8 predicates, 0 relations, 8639 constraints
1.03/1.11 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.03/1.11 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'
1.03/1.19 c 1 Parsing HOME/temp.csp
1.03/1.43 c 1 parsed 9411 expressions
1.03/1.44 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.03/1.44 c 1 Converting to clausal form CSP
2.10/2.22 c 2 converted 942 (10%) expressions
4.49/4.63 c 4 converted 1883 (20%) expressions
6.47/6.69 c 6 converted 2824 (30%) expressions
8.16/8.35 c 8 converted 3765 (40%) expressions
9.86/10.01 c 10 converted 4706 (50%) expressions
11.25/11.44 c 11 converted 5647 (60%) expressions
12.54/12.77 c 12 converted 6588 (70%) expressions
14.23/14.43 c 14 converted 7529 (80%) expressions
15.62/15.80 c 15 converted 8470 (90%) expressions
16.82/17.06 c 17 converted 9411 (100%) expressions
16.82/17.06 c 17 CSP : 1491 integers, 24479 booleans, 51761 clauses, largest domain size 3353
16.82/17.06 c 17 Heap : 72 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
16.82/17.06 c 17 Propagation in CSP
17.51/17.78 c 17 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
17.51/17.78 c 17 CSP : 1491 integers, 24479 booleans, 51761 clauses, largest domain size 3353
17.51/17.78 c 17 Heap : 69 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
17.61/17.81 c 17 Simplifing CSP by introducing new Boolean variables
17.71/17.94 c 17 CSP : 1491 integers, 41405 booleans, 68687 clauses, largest domain size 3353
17.71/17.94 c 17 Heap : 74 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
18.21/18.48 c 18 Encoding CSP to SAT : HOME/temp.cnf
20.70/20.91 c 20 150 (10%) CSP integer variables are encoded (62695 clauses, 918343 bytes)
23.27/23.52 c 23 299 (20%) CSP integer variables are encoded (128420 clauses, 1961551 bytes)
26.06/26.32 c 26 448 (30%) CSP integer variables are encoded (199373 clauses, 3167752 bytes)
28.55/28.84 c 28 597 (40%) CSP integer variables are encoded (264225 clauses, 4270236 bytes)
31.04/31.31 c 31 746 (50%) CSP integer variables are encoded (327849 clauses, 5351844 bytes)
31.43/31.70 c 31 895 (60%) CSP integer variables are encoded (643870 clauses, 10724201 bytes)
31.83/32.11 c 32 1044 (70%) CSP integer variables are encoded (982887 clauses, 16487490 bytes)
32.13/32.50 c 32 1193 (80%) CSP integer variables are encoded (1294278 clauses, 22371800 bytes)
32.52/32.88 c 32 1342 (90%) CSP integer variables are encoded (1608923 clauses, 28350055 bytes)
32.92/33.29 c 33 1491 (100%) CSP integer variables are encoded (1940804 clauses, 34655794 bytes)
43.75/44.10 c 44 6869 (10%) CSP clauses are encoded (3727387 clauses, 78346922 bytes)
53.84/64.60 c 64 13738 (20%) CSP clauses are encoded (5168513 clauses, 115203472 bytes)
64.26/75.05 c 75 20607 (30%) CSP clauses are encoded (6964403 clauses, 161658857 bytes)
73.26/84.66 c 84 27475 (40%) CSP clauses are encoded (8700957 clauses, 206758901 bytes)
79.61/91.05 c 91 34344 (50%) CSP clauses are encoded (10236137 clauses, 246534064 bytes)
87.91/99.49 c 99 41213 (60%) CSP clauses are encoded (11984923 clauses, 292518038 bytes)
96.65/108.22 c 108 48081 (70%) CSP clauses are encoded (13855057 clauses, 341733384 bytes)
104.76/116.40 c 116 54950 (80%) CSP clauses are encoded (15792774 clauses, 392322274 bytes)
112.83/124.64 c 124 61819 (90%) CSP clauses are encoded (17592950 clauses, 439470314 bytes)
119.21/131.07 c 131 68687 (100%) CSP clauses are encoded (19158705 clauses, 480479137 bytes)
119.21/131.07 c 131 68687 CSP clauses encoded
119.21/131.07 c 131 Writing map file : HOME/temp.map
119.30/131.17 c 131 Heap : 72 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
119.30/131.17 c 131 SAT : 1983700 SAT variables, 19158705 SAT clauses, 480479137 bytes
119.30/131.17 c 131 Heap : 72 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
119.38/131.21 c 131 SOLVING HOME/temp.cnf
119.38/131.21 c 131 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
801.11/816.25 c 816 DECODING HOME/temp.out WITH HOME/temp.map
801.11/816.25 c 816 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'
801.17/816.33 c 816 Decoding HOME/temp.out
804.08/819.24 s SATISFIABLE
804.08/819.26 v 2514 -2550 3092 -3298 3312 -3132 2558 2486 -2996 2752 2626 2580 2584 2758 3034 -2616 3042 2566 -3144 -2616 2584 2562 -2562 -2518 3044 -2564 3248 -3338 2620 -2616 2826 2760 -2580 -2846 3118 2512 3106 -3312 -3086 3292 2782 2800 2992 3070 2786 2606 -3290 -2734 -2580 2780 2518 3190 -2880 3150 2604 3006 2798 -2508 -2586 -2518 2566 -2576 2356 -2786 2814 -2478 -3150 -2822 -2554 3036 2924 3162 2604 2520 -3352 -2590 3190 3004 -2624 3146 2756 2810 -3116 2438 2826 -2610 3144 3022 3196 2856 -2824 2482 2682 -2572 2478 -2782 3000 3102 3048 -2562 3318 -2920 -3294 3102 -3004 -3044 -3004 2982 3148 2758 -2562 -2552 -2432 -2624 3054 3002 2828 -2520 -3142 2480 -2418 -3038 -3164 -3204 3034 3284 2992 -2608 3042 -2604 3102 -2556 -3300 3138 2606 3150 2776 3008 2616 3074 2602 -3164 3000 -3026 2702 -2518 2604 -2756 2540 -3290 -2478 3002 3190 2748 2980 2824 -2582 2586 2478 -3014 2616 3150 3150 3136 -3156 -2564 2598 2824 -2478 2620 -3186 3150 -2510 -2620 -2550 -2906 -3102 -2518 -2594 2662 2780 -2718 2728 3150 -2580 -3056 2514 -2478 -2784 3146 -2480 2576 -2996 -2782 -2578 -3340 2626 2974 2992 -3150 -3142 2626 3142 2558 -3040 -2372 2518 -3212 -2674 2952 -3188 -3344 -2612 2552 -3172 2606 2512 -3190 2798 -2558 2828 -2942 -2784 2680 -2604 -2580 -2624 -2392 -3150 -2478 -2554 3190 -3064 2850 -2936 2794 -2746 2496 2970 -2832 -2822 2824 2580 2558 3182 3236 -3170 2564 -2616 -3090 -3142 2518 2480 2478 -2478 -2616 -3130 -2412 2734 -3002 -2930 2826 3190 -2630 2590 -3290 2562 3300 2652 -2786 -2604 -3326 -2784 2410 3058 2524 -2368 3004 -3144 -2774 2586 -2524 3036 -3142 3042 3260 -2542 -2916 -3202 2858 2768 -3188 -2722 -3332 3034 2982 2398 -2518 -3206 -3016 3106 -2616 -2820 -3104 2694 2626 -3150 -3000 3040 3002 -3126 2624 3158 2558 2588 3190 -3190 -2576 2984 -3222 -3002 -2370 3248 2586 3178 2360 -2884 3084 3266 2788 -2676 3000 2514 -2588 3332 2628 3222 3158 -3074 -2756 -2554 -2554 3190 3144 3292 2742 2396 2752 2822 3352 -2918 2758 2478 2562 3148 2408 -3150 3172 -2972 3142 -3182 -2386 -3102 2624 2590 2794 -2624 3004 3182 2514 2624 -2516 -3320 -2612 -2432 2956 -2950 3186 2590 2628 -2628 -2578 3250 -3352 -2820 3190 2784 2622 -2792 2670 -2836 3282 2518 -2610 2576 -2522 -3184 3260 -3144 2586 3038 -2650 -2576 -2828 2826 3350 2720 2356 -2620 -2706 2796 3044 2378 -2780 3042 2526 3190 3176 3306 3044 2430 -2576 2626 -2574 3004 -2624 3000 2514 -2932 -3124 2562 2998 2618 2784 -2968 2558 2548 -2552 -2736 -3044 -2544 2788 -2584 3148 2856 2478 2396 3004 -2630 2944 2796 2956 2774 3148 2396 3040 -2826 -3072 2798 2576 3286 -3188 -2590 3278 -2678 -3250 -3120 2582 -2774 2580 2786 -2518 3124 -2478 2602 2798 -2588 -2952 2994 -3008 3136 2518 -3254 2396 2926 -2580 -3020 2634 2562 -2576 -2788 -2816 -3024 -2586 -3044 3146 -3138 3002 -2898 -2620 2488 -2960 -2886 2714 -2602 -2818 2750 -2524 2758 -2512 -3298 -3304 3220 2602 3032 2606 2946 -2518 2754 3130 2790 2806 -3104 2620 -3000 2798 -3108 -2952 -3040 -3164 3288 2710 -2584 -2396 -3002 2826 -2520 3190 -2758 2630 2772 -2646 -2752 2520 -3146 -3280 -3142 2602 2564 -3150 -2518 3186 -2520 2448 3338 -3004 -2788 2404 2754 -2570 -2814 -3132 2504 2520 -2392 2624 2614 -2788 -2822 2480 -2554 3044 2516 -3148 2552 -2518 -2558 2518 2562 -2580 2622 -3066 -3042 3150 -2602 -2514 -2576 2990 2556 3222 -2448 -3020 -2448 -2426 2514 2620 -2512 -2518 3144 2562 -3148 -3330 -2626 -3094 3044 -2992 -2478 2788 2878 -3060 -2630 2792 2786 -2554 2478 -2920 2748 -2518 2550 -2484 2478 -2620 3004 -2586 -2364 3102 2518 -2828 -2580 2796 -3202 3102 2554 2752 -2356 2616 3242 2788 2518 2518 -2976 2666 -3102 -3150 2620 -2568 2520 -2578 2754 2820 2478 -2580 -3044 2602 3312 2584 3142 2564 2758 2824 -3190 2966 -2580 -3160 -2626 2584 3230 -3040 -2518 -3078 3322 2866 2778 2400 -2732 -2602 3042 3198 2798 2620 -2576 3108 3324 -2554 -3042 2952 -2822 2356 -2796 -2724 2786 -2764 -2602 -3178 -3044 2616 -2792 3176 2456 -2792 3030 2510 2782 -3016 2488 3146 3166 -3104 3104 -2502 -2622 -2484 2616 -2576 3018 -2480 3190 3076 -3190 -2620 2618 -3040 -2792 2828 -2518 3272 -2564 3288 -3310 2896 -2436 2716 2584 2618 -2782 -2896 -2566 2794 -3312 2408 -3188 -2522 2484 -2584 -2470 3104 2584 2514 2480 2480
804.08/819.27 c 819 Heap : 19 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
804.08/819.29 c 819 CPU 804.17 (0.06 0.02 717.03 87.06)
804.08/819.29 c 819 END Sun Jul 12 07:42:45 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2083038-1247376545/watcher-2083038-1247376545 -o /tmp/evaluation-result-2083038-1247376545/solver-2083038-1247376545 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2083038-1247376545.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.08 2.03 4/83 27491
/proc/meminfo: memFree=1608808/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=12272 CPUtime=0
/proc/27491/stat : 27491 (sugar) R 27489 27491 24451 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 24719922 12566528 327 996147200 4194304 4206940 548682068608 18446744073709551615 243674430462 0 0 4224 0 0 0 0 17 0 0 0
/proc/27491/statm: 3068 327 246 3 0 168 0
[startup+0.0523079 s]
/proc/loadavg: 2.15 2.08 2.03 4/83 27491
/proc/meminfo: memFree=1608808/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16080 CPUtime=0.04
/proc/27491/stat : 27491 (sugar) R 27489 27491 24451 0 -1 4194304 916 0 0 0 3 1 0 0 18 0 1 0 24719922 16465920 884 996147200 4194304 4206940 548682068608 18446744073709551615 243665375969 0 0 4224 0 0 0 0 17 0 0 0
/proc/27491/statm: 4020 885 380 3 0 599 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16080
[startup+0.101312 s]
/proc/loadavg: 2.15 2.08 2.03 4/83 27491
/proc/meminfo: memFree=1608808/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=0.06
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1227 128 0 0 5 1 0 0 17 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301344 s]
/proc/loadavg: 2.15 2.08 2.03 4/83 27491
/proc/meminfo: memFree=1608808/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=0.06
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1227 128 0 0 5 1 0 0 17 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.701422 s]
/proc/loadavg: 2.15 2.08 2.03 4/83 27491
/proc/meminfo: memFree=1608808/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=0.06
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1227 128 0 0 5 1 0 0 17 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50157 s]
/proc/loadavg: 2.15 2.08 2.03 3/94 27503
/proc/meminfo: memFree=1585936/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=1.03
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1309 8853 0 1 5 1 92 5 16 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 16868
[startup+3.1029 s]
/proc/loadavg: 2.14 2.08 2.03 3/94 27513
/proc/meminfo: memFree=1588304/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=1.03
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1309 8853 0 1 5 1 92 5 16 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
[pid=27504] ppid=27491 vsize=5356 CPUtime=0
/proc/27504/stat : 27504 (sh) S 27491 27491 24451 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24720034 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27504/statm: 1339 233 193 169 0 50 0
[pid=27505] ppid=27504 vsize=868596 CPUtime=1.96
/proc/27505/stat : 27505 (java) S 27504 27491 24451 0 -1 0 8417 0 1 0 191 5 0 0 20 0 9 0 24720034 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27505/statm: 217149 7525 2566 9 0 211654 0
[pid=27505/tid=27506] ppid=27504 vsize=868596 CPUtime=1.54
/proc/27505/task/27506/stat : 27506 (java) R 27504 27491 24451 0 -1 64 2797 0 1 0 153 1 0 0 25 0 9 0 24720035 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4126544087 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27507] ppid=27504 vsize=868596 CPUtime=0.22
/proc/27505/task/27507/stat : 27507 (java) S 27504 27491 24451 0 -1 64 3481 0 0 0 21 1 0 0 16 0 9 0 24720036 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27508] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27508/stat : 27508 (java) S 27504 27491 24451 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24720036 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27509] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27509/stat : 27509 (java) S 27504 27491 24451 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24720036 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27510] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27510/stat : 27510 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24720038 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27511] ppid=27504 vsize=868596 CPUtime=0.16
/proc/27505/task/27511/stat : 27511 (java) S 27504 27491 24451 0 -1 64 1440 0 0 0 16 0 0 0 16 0 9 0 24720038 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27512] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27512/stat : 27512 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24720038 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27513] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27513/stat : 27513 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24720038 889442304 7525 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 890820
[startup+6.30244 s]
/proc/loadavg: 2.14 2.08 2.03 3/94 27513
/proc/meminfo: memFree=1576272/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=1.03
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1309 8853 0 1 5 1 92 5 16 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
[pid=27504] ppid=27491 vsize=5356 CPUtime=0
/proc/27504/stat : 27504 (sh) S 27491 27491 24451 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24720034 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27504/statm: 1339 233 193 169 0 50 0
[pid=27505] ppid=27504 vsize=868596 CPUtime=5.14
/proc/27505/stat : 27505 (java) S 27504 27491 24451 0 -1 0 14177 0 1 0 505 9 0 0 20 0 9 0 24720034 889442304 10515 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27505/statm: 217149 10515 2567 9 0 211654 0
[pid=27505/tid=27506] ppid=27504 vsize=868596 CPUtime=4.2
/proc/27505/task/27506/stat : 27506 (java) R 27504 27491 24451 0 -1 64 3247 0 1 0 418 2 0 0 25 0 9 0 24720035 889442304 10515 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27507] ppid=27504 vsize=868596 CPUtime=0.73
/proc/27505/task/27507/stat : 27507 (java) R 27504 27491 24451 0 -1 64 8785 0 0 0 68 5 0 0 15 0 9 0 24720036 889442304 10515 996147200 134512640 134550932 4294955936 18446744073709551615 104516229 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27508] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27508/stat : 27508 (java) S 27504 27491 24451 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24720036 889442304 10516 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27509] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27509/stat : 27509 (java) S 27504 27491 24451 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24720036 889442304 10518 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27510] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27510/stat : 27510 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24720038 889442304 10519 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27511] ppid=27504 vsize=868596 CPUtime=0.17
/proc/27505/task/27511/stat : 27511 (java) S 27504 27491 24451 0 -1 64 1446 0 0 0 17 0 0 0 15 0 9 0 24720038 889442304 10519 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27512] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27512/stat : 27512 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24720038 889442304 10519 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27513] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27513/stat : 27513 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24720038 889442304 10519 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 890820
[startup+12.7026 s]
/proc/loadavg: 2.12 2.07 2.03 3/94 27513
/proc/meminfo: memFree=1544400/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=1.03
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1309 8853 0 1 5 1 92 5 16 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
[pid=27504] ppid=27491 vsize=5356 CPUtime=0
/proc/27504/stat : 27504 (sh) S 27491 27491 24451 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24720034 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27504/statm: 1339 233 193 169 0 50 0
[pid=27505] ppid=27504 vsize=868596 CPUtime=11.51
/proc/27505/stat : 27505 (java) S 27504 27491 24451 0 -1 0 23559 0 1 0 1135 16 0 0 20 0 9 0 24720034 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27505/statm: 217149 18388 2567 9 0 211654 0
[pid=27505/tid=27506] ppid=27504 vsize=868596 CPUtime=9.74
/proc/27505/task/27506/stat : 27506 (java) R 27504 27491 24451 0 -1 64 3698 0 1 0 972 2 0 0 25 0 9 0 24720035 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4126503920 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27507] ppid=27504 vsize=868596 CPUtime=1.55
/proc/27505/task/27507/stat : 27507 (java) S 27504 27491 24451 0 -1 64 17716 0 0 0 144 11 0 0 16 0 9 0 24720036 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27508] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27508/stat : 27508 (java) S 27504 27491 24451 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24720036 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27509] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27509/stat : 27509 (java) S 27504 27491 24451 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24720036 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27510] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27510/stat : 27510 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24720038 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27511] ppid=27504 vsize=868596 CPUtime=0.17
/proc/27505/task/27511/stat : 27511 (java) S 27504 27491 24451 0 -1 64 1446 0 0 0 17 0 0 0 16 0 9 0 24720038 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27512] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27512/stat : 27512 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24720038 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27513] ppid=27504 vsize=868596 CPUtime=0
/proc/27505/task/27513/stat : 27513 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24720038 889442304 18388 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 890820
[startup+25.5019 s]
/proc/loadavg: 2.10 2.07 2.03 3/94 27513
/proc/meminfo: memFree=1508880/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=1.03
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1310 8853 0 1 5 1 92 5 16 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
[pid=27504] ppid=27491 vsize=5356 CPUtime=0
/proc/27504/stat : 27504 (sh) S 27491 27491 24451 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24720034 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27504/statm: 1339 233 193 169 0 50 0
[pid=27505] ppid=27504 vsize=868708 CPUtime=24.24
/proc/27505/stat : 27505 (java) S 27504 27491 24451 0 -1 0 33675 0 1 0 2401 23 0 0 20 0 9 0 24720034 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27505/statm: 217177 25807 2592 9 0 211654 0
[pid=27505/tid=27506] ppid=27504 vsize=868708 CPUtime=21.09
/proc/27505/task/27506/stat : 27506 (java) R 27504 27491 24451 0 -1 64 4483 0 1 0 2104 5 0 0 25 0 9 0 24720035 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4126540839 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27507] ppid=27504 vsize=868708 CPUtime=2.9
/proc/27505/task/27507/stat : 27507 (java) S 27504 27491 24451 0 -1 64 27016 0 0 0 274 16 0 0 16 0 9 0 24720036 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27508] ppid=27504 vsize=868708 CPUtime=0
/proc/27505/task/27508/stat : 27508 (java) S 27504 27491 24451 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 24720036 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27509] ppid=27504 vsize=868708 CPUtime=0
/proc/27505/task/27509/stat : 27509 (java) S 27504 27491 24451 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 24720036 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27510] ppid=27504 vsize=868708 CPUtime=0
/proc/27505/task/27510/stat : 27510 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24720038 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27511] ppid=27504 vsize=868708 CPUtime=0.22
/proc/27505/task/27511/stat : 27511 (java) S 27504 27491 24451 0 -1 64 1477 0 0 0 22 0 0 0 15 0 9 0 24720038 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27512] ppid=27504 vsize=868708 CPUtime=0
/proc/27505/task/27512/stat : 27512 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 24720038 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27505/tid=27513] ppid=27504 vsize=868708 CPUtime=0
/proc/27505/task/27513/stat : 27513 (java) S 27504 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24720038 889556992 25807 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 890932
[startup+51.1026 s]
/proc/loadavg: 2.43 2.15 2.06 2/94 27513
/proc/meminfo: memFree=1427728/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=1.03
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1310 8853 0 1 5 1 92 5 16 0 1 0 24719922 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/27491/statm: 4217 1111 409 3 0 796 0
[pid=27504] ppid=27491 vsize=5356 CPUtime=0
/proc/27504/stat : 27504 (sh) S 27491 27491 24451 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24720034 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27504/statm: 1339 233 193 169 0 50 0
[pid=27505] ppid=27504 vsize=868708 CPUtime=44.24
/proc/27505/stat : 27505 (java) S 27504 27491 24451 0 -1 0 33929 0 1 0 4358 66 0 0 20 0 9 0 24720034 889556992 25829 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27505/statm: 217177 25829 2593 9 0 211654 0
################
# More data... #
################
[pid=27515] ppid=27491 vsize=5356 CPUtime=0
/proc/27515/stat : 27515 (sh) S 27491 27491 24451 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24733044 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27515/statm: 1339 232 193 169 0 50 0
[pid=27516] ppid=27515 vsize=774500 CPUtime=633.6
/proc/27516/stat : 27516 (picosat) R 27515 27491 24451 0 -1 4194304 184427 0 0 0 54982 8378 0 0 25 0 1 0 24733044 793088000 184413 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/27516/statm: 193625 184413 42 102 0 193520 0
Current children cumulated CPU time (s) 753.02
Current children cumulated vsize (KiB) 796724
[startup+793.501 s]
/proc/loadavg: 2.13 2.17 2.17 3/86 27622
/proc/meminfo: memFree=355872/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=119.42
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1367 44197 0 2 6 2 11634 300 16 0 1 0 24719922 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27491/statm: 4217 1115 409 3 0 796 0
[pid=27515] ppid=27491 vsize=5356 CPUtime=0
/proc/27515/stat : 27515 (sh) S 27491 27491 24451 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24733044 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27515/statm: 1339 232 193 169 0 50 0
[pid=27516] ppid=27515 vsize=774500 CPUtime=659.08
/proc/27516/stat : 27516 (picosat) R 27515 27491 24451 0 -1 4194304 184436 0 0 0 57530 8378 0 0 25 0 1 0 24733044 793088000 184422 996147200 134512640 134931368 4294956256 18446744073709551615 134524110 0 0 4096 0 0 0 0 17 1 0 0
/proc/27516/statm: 193625 184422 42 102 0 193520 0
Current children cumulated CPU time (s) 778.5
Current children cumulated vsize (KiB) 796724
[startup+806.307 s]
/proc/loadavg: 2.11 2.16 2.17 3/86 27622
/proc/meminfo: memFree=302880/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=119.42
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1367 44197 0 2 6 2 11634 300 16 0 1 0 24719922 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27491/statm: 4217 1115 409 3 0 796 0
[pid=27515] ppid=27491 vsize=5356 CPUtime=0
/proc/27515/stat : 27515 (sh) S 27491 27491 24451 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24733044 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27515/statm: 1339 232 193 169 0 50 0
[pid=27516] ppid=27515 vsize=774500 CPUtime=671.83
/proc/27516/stat : 27516 (picosat) R 27515 27491 24451 0 -1 4194304 184442 0 0 0 58805 8378 0 0 25 0 1 0 24733044 793088000 184428 996147200 134512640 134931368 4294956256 18446744073709551615 134525675 0 0 4096 0 0 0 0 17 1 0 0
/proc/27516/statm: 193625 184428 42 102 0 193520 0
Current children cumulated CPU time (s) 791.25
Current children cumulated vsize (KiB) 796724
[startup+812.702 s]
/proc/loadavg: 2.17 2.17 2.17 3/86 27622
/proc/meminfo: memFree=284064/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=119.42
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1367 44197 0 2 6 2 11634 300 16 0 1 0 24719922 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27491/statm: 4217 1115 409 3 0 796 0
[pid=27515] ppid=27491 vsize=5356 CPUtime=0
/proc/27515/stat : 27515 (sh) S 27491 27491 24451 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24733044 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27515/statm: 1339 232 193 169 0 50 0
[pid=27516] ppid=27515 vsize=774500 CPUtime=678.2
/proc/27516/stat : 27516 (picosat) R 27515 27491 24451 0 -1 4194304 184446 0 0 0 59442 8378 0 0 25 0 1 0 24733044 793088000 184432 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 1 0 0
/proc/27516/statm: 193625 184432 42 102 0 193520 0
Current children cumulated CPU time (s) 797.62
Current children cumulated vsize (KiB) 796724
[startup+815.903 s]
/proc/loadavg: 2.17 2.17 2.17 4/86 27622
/proc/meminfo: memFree=256544/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=119.42
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1367 44197 0 2 6 2 11634 300 16 0 1 0 24719922 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27491/statm: 4217 1115 409 3 0 796 0
[pid=27515] ppid=27491 vsize=5356 CPUtime=0
/proc/27515/stat : 27515 (sh) S 27491 27491 24451 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 24733044 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/27515/statm: 1339 232 193 169 0 50 0
[pid=27516] ppid=27515 vsize=708964 CPUtime=681.39
/proc/27516/stat : 27516 (picosat) R 27515 27491 24451 0 -1 4194304 184460 0 0 0 59753 8386 0 0 25 0 1 0 24733044 725979136 169258 996147200 134512640 134931368 4294956256 18446744073709551615 134533855 0 0 4096 0 0 0 0 17 1 0 0
/proc/27516/statm: 177241 169258 47 102 0 177136 0
Current children cumulated CPU time (s) 800.81
Current children cumulated vsize (KiB) 731188
[startup+817.502 s]
/proc/loadavg: 2.15 2.17 2.17 3/94 27632
/proc/meminfo: memFree=960352/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=801.17
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1448 228943 0 2 6 2 71412 8697 15 0 1 0 24719922 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27491/statm: 4217 1115 409 3 0 796 0
[pid=27623] ppid=27491 vsize=5356 CPUtime=0
/proc/27623/stat : 27623 (sh) S 27491 27491 24451 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24801547 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27623/statm: 1339 233 193 169 0 50 0
[pid=27624] ppid=27623 vsize=862940 CPUtime=1.22
/proc/27624/stat : 27624 (java) S 27623 27491 24451 0 -1 0 9586 0 1 0 117 5 0 0 18 0 9 0 24801548 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27624/statm: 215735 8839 2157 9 0 210648 0
[pid=27624/tid=27625] ppid=27623 vsize=862940 CPUtime=0.86
/proc/27624/task/27625/stat : 27625 (java) R 27623 27491 24451 0 -1 64 2197 0 1 0 85 1 0 0 25 0 9 0 24801549 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4126576076 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27626] ppid=27623 vsize=862940 CPUtime=0.26
/proc/27624/task/27626/stat : 27626 (java) S 27623 27491 24451 0 -1 64 6191 0 0 0 24 2 0 0 16 0 9 0 24801550 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27627] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27627/stat : 27627 (java) S 27623 27491 24451 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24801551 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27628] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27628/stat : 27628 (java) S 27623 27491 24451 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24801551 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27629] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27629/stat : 27629 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24801553 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27630] ppid=27623 vsize=862940 CPUtime=0.06
/proc/27624/task/27630/stat : 27630 (java) S 27623 27491 24451 0 -1 64 500 0 0 0 6 0 0 0 16 0 9 0 24801553 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27631] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27631/stat : 27631 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24801553 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27632] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27632/stat : 27632 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24801553 883650560 8839 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 802.39
Current children cumulated vsize (KiB) 885164
[startup+818.303 s]
/proc/loadavg: 2.15 2.17 2.17 4/94 27632
/proc/meminfo: memFree=953376/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=801.17
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1448 228943 0 2 6 2 71412 8697 15 0 1 0 24719922 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27491/statm: 4217 1115 409 3 0 796 0
[pid=27623] ppid=27491 vsize=5356 CPUtime=0
/proc/27623/stat : 27623 (sh) S 27491 27491 24451 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24801547 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27623/statm: 1339 233 193 169 0 50 0
[pid=27624] ppid=27623 vsize=862940 CPUtime=2.02
/proc/27624/stat : 27624 (java) S 27623 27491 24451 0 -1 0 9707 0 1 0 196 6 0 0 18 0 9 0 24801548 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27624/statm: 215735 8957 2157 9 0 210648 0
[pid=27624/tid=27625] ppid=27623 vsize=862940 CPUtime=1.65
/proc/27624/task/27625/stat : 27625 (java) R 27623 27491 24451 0 -1 64 2200 0 1 0 163 2 0 0 25 0 9 0 24801549 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4126572072 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27626] ppid=27623 vsize=862940 CPUtime=0.27
/proc/27624/task/27626/stat : 27626 (java) S 27623 27491 24451 0 -1 64 6303 0 0 0 25 2 0 0 16 0 9 0 24801550 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27627] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27627/stat : 27627 (java) S 27623 27491 24451 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24801551 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27628] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27628/stat : 27628 (java) S 27623 27491 24451 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24801551 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27629] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27629/stat : 27629 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24801553 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27630] ppid=27623 vsize=862940 CPUtime=0.07
/proc/27624/task/27630/stat : 27630 (java) S 27623 27491 24451 0 -1 64 506 0 0 0 7 0 0 0 16 0 9 0 24801553 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27631] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27631/stat : 27631 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24801553 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27632] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27632/stat : 27632 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24801553 883650560 8957 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 803.19
Current children cumulated vsize (KiB) 885164
[startup+819.102 s]
/proc/loadavg: 2.15 2.17 2.17 4/94 27632
/proc/meminfo: memFree=953376/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=801.17
/proc/27491/stat : 27491 (sugar) S 27489 27491 24451 0 -1 4194304 1448 228943 0 2 6 2 71412 8697 15 0 1 0 24719922 17272832 1115 996147200 4194304 4206940 548682068608 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/27491/statm: 4217 1115 409 3 0 796 0
[pid=27623] ppid=27491 vsize=5356 CPUtime=0
/proc/27623/stat : 27623 (sh) S 27491 27491 24451 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 24801547 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/27623/statm: 1339 233 193 169 0 50 0
[pid=27624] ppid=27623 vsize=862940 CPUtime=2.81
/proc/27624/stat : 27624 (java) S 27623 27491 24451 0 -1 0 9727 0 1 0 274 7 0 0 18 0 9 0 24801548 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27624/statm: 215735 8959 2157 9 0 210648 0
[pid=27624/tid=27625] ppid=27623 vsize=862940 CPUtime=2.44
/proc/27624/task/27625/stat : 27625 (java) R 27623 27491 24451 0 -1 64 2219 0 1 0 241 3 0 0 25 0 9 0 24801549 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4126419060 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27626] ppid=27623 vsize=862940 CPUtime=0.28
/proc/27624/task/27626/stat : 27626 (java) S 27623 27491 24451 0 -1 64 6303 0 0 0 25 3 0 0 16 0 9 0 24801550 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27627] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27627/stat : 27627 (java) S 27623 27491 24451 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 24801551 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27628] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27628/stat : 27628 (java) S 27623 27491 24451 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 24801551 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27629] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27629/stat : 27629 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 24801553 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27630] ppid=27623 vsize=862940 CPUtime=0.07
/proc/27624/task/27630/stat : 27630 (java) S 27623 27491 24451 0 -1 64 507 0 0 0 7 0 0 0 16 0 9 0 24801553 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27631] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27631/stat : 27631 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 24801553 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27624/tid=27632] ppid=27623 vsize=862940 CPUtime=0
/proc/27624/task/27632/stat : 27632 (java) S 27623 27491 24451 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 24801553 883650560 8959 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 803.98
Current children cumulated vsize (KiB) 885164
[startup+819.522 s]
/proc/loadavg: 2.15 2.17 2.17 3/84 27632
/proc/meminfo: memFree=1245680/2055920 swapFree=4192812/4192956
[pid=27491] ppid=27489 vsize=16868 CPUtime=804.4
/proc/27491/stat : 27491 (sugar) R 27489 27491 24451 0 -1 4194304 1480 239463 0 3 6 25 71703 8706 18 0 1 0 24719922 17272832 1117 996147200 4194304 4206940 548682068608 18446744073709551615 243665703977 0 0 4224 16386 0 0 0 17 1 0 0
/proc/27491/statm: 4217 1117 410 3 0 796 0
Current children cumulated CPU time (s) 804.4
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 819.534
CPU time (s): 804.443
CPU user time (s): 717.102
CPU system time (s): 87.3407
CPU usage (%): 98.1585
Max. virtual memory (cumulated for all children) (KiB): 896136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 717.102
system time used= 87.3407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241004
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= 24846
involuntary context switches= 44200
runsolver used 1.07883 second user time and 2.56661 second system time
The end
Begin job on node84 at 2009-07-12 07:29:06
IDJOB=2083038
IDBENCH=57683
IDSOLVER=738
FILE ID=node84/2083038-1247376545
PBS_JOBID= 9507120
Free space on /tmp= 66312 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-10.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2083038-1247376545/watcher-2083038-1247376545 -o /tmp/evaluation-result-2083038-1247376545/solver-2083038-1247376545 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2083038-1247376545.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c2cac25a9d0eff8b4d5c2c7d14b32353
RANDOM SEED=1626472219
node84.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.259
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.259
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: 1609224 kB
Buffers: 45740 kB
Cached: 183624 kB
SwapCached: 0 kB
Active: 289020 kB
Inactive: 98144 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1609224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2492 kB
Writeback: 0 kB
Mapped: 178152 kB
Slab: 44416 kB
Committed_AS: 414620 kB
PageTables: 2084 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= 66312 MiB
End job on node84 at 2009-07-12 07:42:45