290.37 v -2510 -2546 3092 3312 3312 -3132 -2558 -2478 2998 -2758 2624 -2576 -2584 -2758 3036 -2616 -3044 -2562 -3190 -2616 2584 -2562 2562 -2510 -3044 -2562 3252 3312 2616 -2616 -2828 2760 -2576 -2854 3150 -2478 3108 3312 3096 3294 2788 -2800 3002 -3076 2788 2606 3352 2734 -2576 2788 -2518 -3190 -2894 3150 -2602 3016 -2798 -2478 -2584 -2518 -2562 -2576 2356 2774 2812 -2478 -3150 2826 2554 3038 2924 3260 -2602 -2518 -3352 2584 -3190 3004 -2624 -3150 2758 2810 -3150 2436 -2828 2610 3236 -3044 -3224 -2860 -2828 -2478 2682 2568 -2478 2788 3004 3102 -3058 -2562 -3352 2934 -3312 3116 3004 -3044 3004 -2982 3150 -2758 -2562 2552 2356 -2624 -3058 -3004 -2828 -2518 -3144 -2478 -2396 3040 -3222 3182 3038 3312 -2996 -2608 -3044 -2602 3104 2554 3192 3150 -2602 -3150 2778 -3018 2616 -3076 -2602 3154 -3004 -3040 2710 -2518 2602 2758 2540 -3352 -2478 3006 -3190 2758 2980 2826 -2580 2584 -2478 -3022 -2616 3150 3150 3150 -3190 -2562 -2510 -2828 -2478 2616 3190 -3150 -2506 -2616 2538 2908 3114 -2518 -2584 2584 2788 2626 2728 3150 -2356 3062 -2514 -2478 2788 3148 -2478 -2576 2990 2788 -2356 -3352 2624 2982 2990 3150 -3154 2624 3144 2552 -3044 2372 -2518 3278 -2678 2950 -3190 -3352 2610 -2518 3318 2602 -2512 -3190 -2798 2550 -2832 -2942 2788 -2672 2602 -2576 2624 -2396 3150 -2478 2550 -3190 -3312 2850 -2936 -2798 2734 2396 2984 -2818 -2828 -2828 2580 2550 3312 3264 -3190 -2562 -2614 -3312 3144 -2518 -2478 -2478 -2478 2616 -3150 -2412 2732 -3004 -2944 -2828 -3190 -2624 -2584 3352 -2562 3312 -2650 2788 -2602 -3352 -2788 2396 -3062 -2518 -2356 -3004 3146 -2772 -2584 -2518 3030 3156 -3044 -3232 -2542 2922 3300 -2860 2768 -3190 2722 3334 -3036 3004 -2396 2518 3312 3022 -3106 -2616 -2828 3276 2694 -2630 3150 -3004 -3044 3004 -3136 -2624 -3190 -2558 2584 3190 -3190 -2576 2988 3194 3004 2356 3312 2590 -3190 -2356 -2884 3098 3288 -2792 -2672 3004 -2508 -2584 3294 2644 -3352 3184 -3078 -2754 -2554 2552 -3190 3148 3334 2750 -2396 -2758 2828 3070 -2924 -2758 -2478 -2562 -3152 -2396 3150 -3190 2980 3144 3154 -2356 -3108 2624 -2584 -2798 -2626 -3004 3200 -2512 2628 -2514 -3316 2608 -2356 2958 2956 -3190 -2586 2624 -2624 -2576 -3312 -3352 -2828 -3190 -2786 -2616 -2798 -2670 2834 3312 -2518 2602 -2654 -2356 -3190 3322 -3150 -2584 3038 2650 -2576 -2828 2828 -3352 2712 -2356 -2616 -2714 -2798 -3044 2356 2788 -3044 -2518 3244 -3176 3328 -3044 -2356 -2576 2624 -2574 3004 -2624 -2992 -2514 2940 3114 2562 3000 -2616 2788 2950 -2558 -2518 -2552 2738 -3044 -2518 2788 2584 3150 -2878 -2478 2396 3004 -2624 2948 2794 -2962 2774 3150 2396 -3044 -2820 -3076 2794 -2576 3312 -3190 2588 3312 2666 -3312 3150 -2576 -2772 -2576 -2780 -2516 3150 -2478 2602 -2798 2604 -2956 -2996 2990 3136 -2518 -3352 2396 2926 -2576 3020 -2624 -2562 2576 -2798 2820 3352 2584 3058 3150 3148 3004 2900 2396 2478 2972 2886 2718 -2602 -2828 2758 -2518 -2758 -2512 -3352 3312 3282 -2602 3036 -2356 2948 -2512 2758 3352 -2798 2814 -3150 -2616 3004 -2798 3112 2952 -3044 -3110 -3292 2710 -2584 -2396 3004 -2828 -2518 -3190 2758 2624 2762 -2396 2758 -2518 3150 -3276 3148 2602 -2562 3150 -2518 -3190 -2518 -2396 -3352 -3004 -2788 2396 2758 -2562 -2814 -3150 -2478 2518 2396 2616 2614 -2798 -2828 -2478 -2554 -3044 -2514 3148 -2550 -2518 -2556 2518 -2396 2580 2620 3080 -3044 3150 -2602 -2510 -2576 2996 -2554 -3240 2436 -3026 2438 2396 -2514 -2616 -2510 -2518 3152 -2562 -3150 3312 -2624 3098 -3044 2992 -2478 2788 2884 3066 2626 -2778 2788 -2554 -2478 2932 2758 -2518 2548 -2478 -2478 2616 3004 -2584 2356 3104 -2518 -2828 -2576 -2798 3202 3104 2548 2758 -2356 -2616 -3242 2786 -2518 -2518 -2976 2674 3104 3150 2620 2568 -2518 -2576 -2758 -2828 2478 -2576 -3044 -2602 3352 -2586 3142 -2562 -2754 -2828 -3190 2976 -2576 -3190 -2624 -2588 -3204 -3044 -2518 -3078 -3352 2868 2788 -2396 -2722 2602 -3044 3224 -2798 2616 -2576 -3108 -3352 -2550 -3046 2962 -2828 -2356 -2794 2744 2788 2784 2602 3188 -3044 2616 -2798 -3190 -2356 -2798 3036 2498 2786 3016 2356 3146 3352 -3108 3112 -2502 2624 -2478 -2616 -2576 3022 -2478 -3190 -3078 -3190 -2616 2396 3032 -2798 -2826 -2518 3312 -2562 3352 3312 2896 2356 2712 2584 -2616 2788 -2918 -2566 2798 3030 2396 -3190 -2518 -2478 -2584 -2396 3106 -2576 2514 -2478 2478
290.37 s SATISFIABLE
290.37 d NODES 832
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-221411-1168258927 -o ROOT/results/node17/solver-221411-1168258927 -C 1800 -M 900 /tmp/evaluation/221411-1168258927/cspfj.sh -solver Combo -competition /tmp/evaluation/221411-1168258927/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.74 1.95 1.82 5/87 20560
/proc/meminfo: memFree=1651176/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=72 CPUtime=0
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 196 0 0 0 0 0 0 0 20 0 1 0 174287458 73728 2 18446744073709551615 0 0 4294956887 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/20562/statm: 18 2 0 0 0 1 0
[startup+0.103879 s]
/proc/loadavg: 1.74 1.95 1.82 5/87 20560
/proc/meminfo: memFree=1651176/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=864484 CPUtime=0.08
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 2611 0 1 0 7 1 0 0 17 0 8 0 174287458 885231616 2356 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20562/statm: 216121 2356 1402 14 0 203419 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 869836
[startup+0.515918 s]
/proc/loadavg: 1.74 1.95 1.82 5/87 20560
/proc/meminfo: memFree=1651176/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=865012 CPUtime=0.49
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 5042 0 1 0 46 3 0 0 18 0 8 0 174287458 885772288 4752 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073461960 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216253 4752 1741 14 0 203524 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 870364
[startup+1.34801 s]
/proc/loadavg: 1.74 1.95 1.82 4/102 20576
/proc/meminfo: memFree=1605992/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=865636 CPUtime=1.31
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 8987 0 1 0 124 7 0 0 24 0 8 0 174287458 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154521549 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216409 8665 1828 14 0 203671 0
[pid=20562/tid=20566] ppid=20559 vsize=865636 CPUtime=0.19
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 4732 0 0 0 17 2 0 0 16 0 8 0 174287461 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287462 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=865636 CPUtime=0.23
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 498 0 0 0 22 1 0 0 15 0 8 0 174287465 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=865636 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174287465 886411264 8665 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 870988
[startup+3.00518 s]
/proc/loadavg: 1.84 1.97 1.83 4/102 20576
/proc/meminfo: memFree=1553704/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=865756 CPUtime=2.95
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 20016 0 1 0 279 16 0 0 25 0 8 0 174287458 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154584308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216439 19669 1828 14 0 203701 0
[pid=20562/tid=20566] ppid=20559 vsize=865756 CPUtime=0.55
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 14815 0 0 0 49 6 0 0 16 0 8 0 174287461 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287462 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=865756 CPUtime=0.29
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 532 0 0 0 28 1 0 0 15 0 8 0 174287465 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=865756 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174287465 886534144 19669 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 871108
[startup+6.21652 s]
/proc/loadavg: 1.84 1.97 1.83 4/102 20576
/proc/meminfo: memFree=1390888/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=867092 CPUtime=6.14
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 39322 0 1 0 583 31 0 0 25 0 8 0 174287458 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073442869 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216773 38958 1828 14 0 204035 0
[pid=20562/tid=20566] ppid=20559 vsize=867092 CPUtime=1.51
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 32098 0 0 0 138 13 0 0 16 0 8 0 174287461 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174287462 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=867092 CPUtime=0.36
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 558 0 0 0 35 1 0 0 16 0 8 0 174287465 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 887902208 38958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 872444
[startup+12.6202 s]
/proc/loadavg: 1.86 1.97 1.83 3/102 20576
/proc/meminfo: memFree=1103536/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=867092 CPUtime=12.48
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 70838 0 1 0 1191 57 0 0 25 0 8 0 174287458 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216773 70459 1828 14 0 204035 0
[pid=20562/tid=20566] ppid=20559 vsize=867092 CPUtime=2.69
/proc/20562/task/20566/stat : 20566 (java) R 20559 20559 20397 0 -1 64 61046 0 0 0 243 26 0 0 16 0 8 0 174287461 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155216469 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=867092 CPUtime=0.36
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 559 0 0 0 35 1 0 0 16 0 8 0 174287465 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 887902208 70459 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 872444
[startup+25.4875 s]
/proc/loadavg: 1.96 1.98 1.84 3/102 20576
/proc/meminfo: memFree=848184/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=867092 CPUtime=25.23
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 102410 0 1 0 2441 82 0 0 25 0 8 0 174287458 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074536474 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216773 102023 1833 14 0 204035 0
[pid=20562/tid=20566] ppid=20559 vsize=867092 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=867092 CPUtime=0.53
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 650 0 0 0 51 2 0 0 15 0 8 0 174287465 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=867092 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 887902208 102023 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 872444
[startup+51.1052 s]
/proc/loadavg: 2.10 2.02 1.85 3/102 20576
/proc/meminfo: memFree=843256/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=867752 CPUtime=50.58
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 103050 0 1 0 4971 87 0 0 25 0 8 0 174287458 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4073624773 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 216938 102663 1833 14 0 204200 0
[pid=20562/tid=20566] ppid=20559 vsize=867752 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=867752 CPUtime=1.34
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 1284 0 0 0 128 6 0 0 16 0 8 0 174287465 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=867752 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 888578048 102663 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 873104
[startup+102.328 s]
/proc/loadavg: 2.04 2.01 1.86 3/102 20576
/proc/meminfo: memFree=833272/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=869344 CPUtime=101.32
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 104345 0 1 0 10037 95 0 0 25 0 8 0 174287458 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074208507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 217336 103958 1833 14 0 204598 0
[pid=20562/tid=20566] ppid=20559 vsize=869344 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=869344 CPUtime=2.78
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 2559 0 0 0 265 13 0 0 16 0 8 0 174287465 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=869344 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 890208256 103958 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 874696
[startup+162.402 s]
/proc/loadavg: 2.01 2.01 1.86 3/102 20576
/proc/meminfo: memFree=821176/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=871464 CPUtime=160.83
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 105886 0 1 0 15978 105 0 0 25 0 8 0 174287458 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074207189 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 217866 105499 1833 14 0 205128 0
[pid=20562/tid=20566] ppid=20559 vsize=871464 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=871464 CPUtime=4.5
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 4079 0 0 0 429 21 0 0 15 0 8 0 174287465 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=871464 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 892379136 105499 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 876816
[startup+222.424 s]
/proc/loadavg: 2.05 2.02 1.87 3/102 20576
/proc/meminfo: memFree=809016/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=873456 CPUtime=220.26
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 107431 0 1 0 21910 116 0 0 25 0 8 0 174287458 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4074208386 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 218364 107044 1833 14 0 205626 0
[pid=20562/tid=20566] ppid=20559 vsize=873456 CPUtime=3.92
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 90952 0 0 0 354 38 0 0 16 0 8 0 174287461 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 174287462 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=873456 CPUtime=6.22
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 5602 0 0 0 592 30 0 0 15 0 8 0 174287465 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=873456 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 894418944 107044 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.26
Current children cumulated vsize (KiB) 878808
[startup+282.429 s]
/proc/loadavg: 2.02 2.01 1.88 3/102 20576
/proc/meminfo: memFree=728248/2055920 swapFree=4192812/4192956
[pid=20559] ppid=20552 vsize=5352 CPUtime=0
/proc/20559/stat : 20559 (cspfj.sh) S 20552 20559 20397 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 174287457 5480448 240 18446744073709551615 4194304 4889804 548682069280 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20559/statm: 1338 240 201 169 0 49 0
[pid=20562] ppid=20559 vsize=875492 CPUtime=279.68
/proc/20562/stat : 20562 (java) R 20559 20559 20397 0 -1 0 121588 0 1 0 27839 129 0 0 25 0 8 0 174287458 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4153380216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20562/statm: 218873 121097 1833 14 0 206135 0
[pid=20562/tid=20566] ppid=20559 vsize=875492 CPUtime=5.38
/proc/20562/task/20566/stat : 20566 (java) S 20559 20559 20397 0 -1 64 102447 0 0 0 496 42 0 0 16 0 8 0 174287461 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20567] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20567/stat : 20567 (java) S 20559 20559 20397 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 174287462 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20568] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20568/stat : 20568 (java) S 20559 20559 20397 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 174287462 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20573] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20573/stat : 20573 (java) S 20559 20559 20397 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 174287465 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20574] ppid=20559 vsize=875492 CPUtime=7.56
/proc/20562/task/20574/stat : 20574 (java) S 20559 20559 20397 0 -1 64 6736 0 0 0 719 37 0 0 15 0 8 0 174287465 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20562/tid=20575] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20575/stat : 20575 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 174287465 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20562/tid=20576] ppid=20559 vsize=875492 CPUtime=0
/proc/20562/task/20576/stat : 20576 (java) S 20559 20559 20397 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 174287465 896503808 121097 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.68
Current children cumulated vsize (KiB) 880844
Child status: 0
Real time (s): 290.484
CPU time (s): 287.633
CPU user time (s): 286.204
CPU system time (s): 1.42978
CPU usage (%): 99.0185
Max. virtual memory (cumulated for all children) (KiB): 881444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 286.203
system time used= 1.42978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127103
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34336
involuntary context switches= 41497
runsolver used 0.329949 s user time and 0.886865 s system time
The end
Begin job on node17 on Mon Jan 8 12:22:07 UTC 2007
IDJOB= 221411
IDBENCH= 5447
FILE ID= node17/221411-1168258927
PBS_JOBID= 3482432
Free space on /tmp= 66326 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp31-35/fapp34/fapp34-0750-10.xml
COMMAND LINE= /tmp/evaluation/221411-1168258927/cspfj.sh -solver Combo -competition /tmp/evaluation/221411-1168258927/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-221411-1168258927 -o ROOT/results/node17/solver-221411-1168258927 -C 1800 -M 900 /tmp/evaluation/221411-1168258927/cspfj.sh -solver Combo -competition /tmp/evaluation/221411-1168258927/unknown.xml
META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH= cd04ae5638f2aca685208979f08ea162
RANDOM SEED= 956747630
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1652584 kB
Buffers: 64096 kB
Cached: 217288 kB
SwapCached: 0 kB
Active: 197744 kB
Inactive: 141552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1652584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3068 kB
Writeback: 0 kB
Mapped: 76916 kB
Slab: 49096 kB
Committed_AS: 4932612 kB
PageTables: 2152 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= 66326 MiB
End job on node17 on Mon Jan 8 12:26:57 UTC 2007