0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1085677-1215235023.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.48/0.55 nbVariables=750 nbDomainTypes=14 minDomainSize=82 maxDomainSize=998 nbTotalValues=329841
0.48/0.55 => wckTime=0.293 cpuTime=0.22 mem=18M603
0.48/0.55
0.48/0.55 predicates being loaded...
0.58/0.61
0.58/0.61 constraints being loaded...
20.49/20.73
20.49/20.73 INFO : Stopping converting binary constraints (cpu=20.05, mem = 49M225)
23.76/24.05 nbConstraints=4623 nbMergedConstraints=4016 nbConvertedConstraints=315 nbConvertConstraintsChecks=43503096
23.76/24.05 nbExtensionStructures=294 nbSharedExtensionStructures=26 nbConflictsStructures=486
23.76/24.05 nbSharedConflictsStructures=249 nbUnbuiltConflictsStructures=3351 nbSharedBinaryRepresentations=163568
23.76/24.05 nbEvaluationManagers=3543 nbSharedEvaluationManagers=765 minDegree=3 maxDegree=16 minArity=2 maxArity=2
23.76/24.05 nbGenerators=0 nbFusions=0 symmetryWckTime=0.63 symmetryCpuTime=0.53
23.76/24.06 => wckTime=23.802 cpuTime=22.92 mem=62M91
23.95/24.26
23.95/24.26 solver IterativeSystematicSolver being built...
24.25/24.53 => wckTime=24.276 cpuTime=23.13 mem=65M36
27.75/28.02
27.75/28.02 preprocessing
27.75/28.02 nbConstraintChecks=8325403 nbValidityChecks=615307 nbPropagations=1363 nbRevisions=19287
27.75/28.02 nbUselessRevisions=15721 nbRemovedValues=307563 detectedInconsistency=no
27.75/28.02 => wckTime=3.486 cpuTime=3.47 mem=65M36
29.15/29.41
29.15/29.41 search
29.15/29.41 run=0 nbConstraintChecks=576626 nbValidityChecks=707757 minDepth=751 maxDepth=750 nbPropagations=4593
29.15/29.41 nbRevisions=43061 nbUselessRevisions=37007 nbAssignments=750 nbFailedAssignments=0 nbBacktracks=0
29.15/29.41 nbVisitedNodes=751 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=0 nbInferences=0 nbTooLargeKeys=0
29.15/29.41 nbSEliminables=377.98 nbREliminables=0 nbIEliminables=184.43 nbDEliminables=0 nbPEliminables=0
29.15/29.41 => wckTime=4.875 cpuTime=4.82 mem=78M41
29.15/29.41
29.15/29.41 global
29.15/29.41 nbConstraintChecks=8902029 nbValidityChecks=1323064 nbPropagations=5956 nbRevisions=62348
29.15/29.41 nbUselessRevisions=52728 nbRestartNogoods=0 solvingWckTime=4.877 solvingCpuTime=4.82 expiredTime=no
29.15/29.41 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=27.93 globalCpuTime=27.98
29.15/29.41 => wckTime=29.159 cpuTime=27.95 mem=78M41
29.15/29.44
29.15/29.44 s SATISFIABLE
29.15/29.44 v -2518 -2558 -3092 -3312 -3352 -3132 -2554 -2478 2992 -2758 -2624 2586 -2590 -2758 -3036 -2616 -3044 2566 -3190 -2616 -2584 -2568 2570 -2518 -3044 -2564 3250 -3352 -2626 2616 -2828 2752 -2580 -2848 -3150 -2478 -3108 3302 -3096 3292 -2780 -2792 -2994 -3074 -2788 -2610 3290 -2736 -2580 -2788 -2518 -3190 -2892 -3150 -2604 3004 -2798 -2518 -2584 -2518 -2568 2576 2356 2784 -2828 -2478 -3150 -2828 -2558 3038 2916 -3260 -2608 -2518 -3312 -2594 -3190 -3004 -2624 -3150 -2758 -2814 -3124 -2436 -2828 2610 -3174 -3042 3186 -2852 -2828 -2478 2696 -2576 -2478 -2788 -3004 -3102 -3052 -2566 -3352 -2932 -3312 -3106 3002 -3044 -3004 -2982 -3150 -2758 -2562 -2558 -2356 2624 3056 -3004 -2828 -2518 3144 -2478 -2422 3032 -3256 -3296 -3038 3312 2992 -2610 -3044 -2602 -3102 -2558 -3312 -3150 -2606 3146 -2774 -3012 -2616 -3076 -2606 3144 -3004 3040 -2706 -2518 -2604 -2758 -2546 -3352 -2478 -3004 -3190 -2758 2976 -2828 -2578 -2586 -2478 -3020 -2618 3150 -3150 -3134 3164 -2568 -2598 -2828 -2478 -2620 -3190 -3150 -2518 -2618 -2540 2908 -3110 -2514 -2604 -2584 -2782 -2710 -2728 -3150 -2590 -3060 -2518 -2478 -2788 -3148 -2478 2576 2984 -2786 -2378 -3352 -2626 2980 -2992 3150 -3150 2626 -3142 -2558 -3044 -2356 -2518 -3274 2680 -2952 -3190 3352 -2612 -2518 -3314 -2608 -2518 -3190 -2798 -2558 2832 -2942 -2786 -2678 -2604 -2578 2630 -2396 -3150 -2478 -2558 -3190 -3066 -2854 2928 -2798 -2744 -2540 -2976 2822 -2828 -2828 2588 -2558 3210 3226 -3142 -2564 2618 3210 -3142 -2518 2480 -2478 -2478 -2616 -3102 -2396 -2736 -3004 -2936 -2828 -3190 -2624 -2584 -3256 -2566 -3312 -2652 -2788 -2602 -3352 -2788 2356 3058 -2518 -2356 3000 -3142 -2788 -2586 -2518 3024 -3146 -3044 -3352 -2518 2914 -3300 2854 -2768 -3190 -2736 -3332 -3036 -3002 -2396 -2518 3166 -3020 -3102 -2626 -2828 3214 2696 -2632 -3150 -3004 -3044 -3004 -3136 -2630 -3190 2554 2586 3190 -3190 -2582 -2982 -3270 -3004 2396 -3312 2592 -3190 -2356 -2876 -3096 -3286 2792 -2676 -3004 -2514 2592 3120 -2640 3170 3148 -3078 -2758 -2558 -2558 -3150 -3142 -3160 -2746 -2396 -2750 -2826 3312 -2930 -2758 -2478 -2566 -3150 -2404 -3150 3190 -2978 3142 -3230 2356 -3106 -2624 -2584 -2798 -2628 -3004 -3280 -2518 -2630 -2518 3352 -2616 2356 -2952 2950 -3190 -2586 -2626 -2632 -2594 -3216 3342 2822 -3190 2788 -2628 -2798 -2676 -2832 -3312 -2518 -2610 -2658 -2536 -3146 -3322 -3106 2588 -3038 2650 -2578 -2828 -2826 -3352 -2718 -2356 -2622 -2710 -2798 3040 -2382 -2788 -3042 -2518 -3282 -3150 -3326 -3044 -2508 -2576 2628 -2578 -3004 -2626 -3004 -2518 -2938 -3104 2564 2992 -2634 -2788 2950 -2558 -2558 -2558 2734 -3044 -2558 2788 2590 -3150 -2866 -2478 2414 -3004 -2624 2942 -2798 2954 -2788 -3150 2396 -3044 -2828 -3076 -2798 -2576 -3312 -3190 2588 -3312 2670 -3330 -3110 -2588 -2776 -2578 -2788 -2518 -3148 -2478 -2606 -2798 2600 -2952 -2996 2990 3190 -2518 -3352 -2396 2924 -2580 -3016 -2644 -2562 -2586 2788 2812 3026 -2586 -3056 -3150 -3150 -3004 -2894 -2630 -2490 2964 -2884 -2720 -2604 2828 -2758 -2518 -2758 -2518 3312 -3312 3282 2610 -3036 -2356 2948 -2518 -2758 3170 -2798 -2808 -3150 -2620 -3004 -2798 3110 -2954 -3044 -3108 -3290 2716 -2584 -2404 -3002 -2828 -2518 -3190 -2758 2634 -2790 2396 -2758 -2518 -3150 -3312 -3146 -2608 -2562 -3150 -2518 -3190 -2518 -2530 -3352 3002 -2788 2564 -2758 -2570 -2828 -3150 -2518 2520 -2396 -2626 -2618 -2798 2820 2478 -2558 3042 -2518 -3146 -2554 2518 -2558 -2514 -2576 2586 -2618 -3080 -3044 -3110 -2606 -2518 -2576 -2990 -2558 -3240 -2444 3020 -2450 2396 -2518 -2620 -2514 -2518 -3142 -2566 -3150 -3312 -2634 -3096 3042 -2994 -2478 -2788 -2890 -3060 -2626 -2782 -2788 -2558 2478 -2924 -2748 -2518 2548 -2478 -2478 -2620 -3004 -2594 -2604 -3104 -2518 -2828 2582 -2798 -3202 -3102 2554 -2754 -2364 -2626 -3242 -2788 -2518 -2518 2974 2670 -3102 -3150 -2628 -2570 -2518 2580 -2758 -2828 -2478 -2580 -3044 -2602 3060 -2588 -3142 -2562 -2758 -2826 -3190 2964 -2580 -3150 -2626 -2590 3242 -3044 -2518 -3078 -3352 2866 -2788 2396 -2750 -2602 -3044 3188 2798 -2620 -2586 -3106 -3352 -2558 -3044 -2954 2822 -2374 2792 2732 -2788 -2772 -2606 -3190 -3044 -2616 -2794 -3174 -2500 2790 3034 2500 -2788 3014 -2490 -3142 3126 -3102 -3102 -2558 2624 -2478 -2622 -2576 -3018 -2478 -3186 -3078 -3190 -2618 2418 -3044 -2798 -2828 -2518 3020 -2564 -3352 -3312 2888 2356 -2716 -2586 -2620 -2782 2906 -2570 -2798 -3352 2396 -3190 -2518 -2478 -2584 -2468 -3102 -2586 -2518 -2478 -2478
29.15/29.44 d NODES 750
29.15/29.44 d CHECKS 8902029
29.15/29.44
29.15/29.44 totalWckTime=29.253 totalCpuTime=28.01
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085677-1215235023/watcher-1085677-1215235023 -o /tmp/evaluation-result-1085677-1215235023/solver-1085677-1215235023 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085677-1215235023.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): 2200 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: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=10616 CPUtime=0
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2002476711 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 2654 472 209 9 0 1184 0
[pid=19005/tid=19006] ppid=19003 vsize=10616 CPUtime=0
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2002476712 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 8708056 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.10208 s]
/proc/loadavg: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=865884 CPUtime=0.08
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 3717 0 1 0 7 1 0 0 18 0 9 0 2002476711 886665216 3185 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216471 3185 1688 9 0 211026 0
[pid=19005/tid=19006] ppid=19003 vsize=865884 CPUtime=0.06
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 2798 0 1 0 6 0 0 0 20 0 9 0 2002476712 886665216 3185 996147200 134512640 134550740 4294955968 18446744073709551615 103782258 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.201096 s]
/proc/loadavg: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=866044 CPUtime=0.18
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 4671 0 1 0 16 2 0 0 18 0 9 0 2002476711 886829056 4098 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216511 4098 1861 9 0 211059 0
[pid=19005/tid=19006] ppid=19003 vsize=866044 CPUtime=0.15
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 3750 0 1 0 14 1 0 0 20 0 9 0 2002476712 886829056 4098 996147200 134512640 134550740 4294955968 18446744073709551615 102231164 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866044
[startup+0.301113 s]
/proc/loadavg: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=866284 CPUtime=0.28
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 5835 0 1 0 25 3 0 0 18 0 9 0 2002476711 887074816 5209 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216571 5209 1953 9 0 211099 0
[pid=19005/tid=19006] ppid=19003 vsize=866284 CPUtime=0.23
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 4862 0 1 0 21 2 0 0 21 0 9 0 2002476712 887074816 5209 996147200 134512640 134550740 4294955968 18446744073709551615 102359751 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701184 s]
/proc/loadavg: 1.96 2.04 2.01 4/82 19005
/proc/meminfo: memFree=1601600/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867712 CPUtime=0.68
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 10544 0 1 0 62 6 0 0 18 0 9 0 2002476711 888537088 9904 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216928 9904 2011 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867712 CPUtime=0.5
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 9198 0 1 0 46 4 0 0 23 0 9 0 2002476712 888537088 9904 996147200 134512640 134550740 4294955968 18446744073709551615 102605659 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867712
[startup+1.50232 s]
/proc/loadavg: 1.96 2.04 2.01 3/91 19014
/proc/meminfo: memFree=1546744/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867624 CPUtime=1.47
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 20231 0 1 0 136 11 0 0 18 0 9 0 2002476711 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216906 19564 2006 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867624 CPUtime=1.19
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 15783 0 1 0 110 9 0 0 25 0 9 0 2002476712 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4126887970 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19008] ppid=19003 vsize=867624 CPUtime=0.06
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 3073 0 0 0 6 0 0 0 16 0 9 0 2002476713 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19009] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19010] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19011] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002476716 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=867624 CPUtime=0.2
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 678 0 0 0 19 1 0 0 15 0 9 0 2002476716 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19013] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002476716 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002476716 888446976 19564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867624
[startup+3.1026 s]
/proc/loadavg: 1.96 2.04 2.01 3/91 19014
/proc/meminfo: memFree=1523704/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867624 CPUtime=3.06
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 20237 0 1 0 294 12 0 0 18 0 9 0 2002476711 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216906 19569 2006 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867624 CPUtime=2.77
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 15784 0 1 0 268 9 0 0 25 0 9 0 2002476712 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4126889290 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19008] ppid=19003 vsize=867624 CPUtime=0.06
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 3073 0 0 0 6 0 0 0 17 0 9 0 2002476713 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19009] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19010] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19011] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002476716 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=867624 CPUtime=0.21
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 683 0 0 0 20 1 0 0 15 0 9 0 2002476716 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19013] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002476716 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002476716 888446976 19569 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867624
[startup+6.30217 s]
/proc/loadavg: 1.96 2.04 2.01 3/91 19014
/proc/meminfo: memFree=1516536/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867624 CPUtime=6.23
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 20260 0 1 0 611 12 0 0 18 0 9 0 2002476711 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216906 19590 2006 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867624 CPUtime=5.91
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 15786 0 1 0 582 9 0 0 25 0 9 0 2002476712 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4126894201 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19008] ppid=19003 vsize=867624 CPUtime=0.06
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 3073 0 0 0 6 0 0 0 17 0 9 0 2002476713 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19009] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19010] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19011] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002476716 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=867624 CPUtime=0.23
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 704 0 0 0 22 1 0 0 16 0 9 0 2002476716 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19013] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002476716 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19014/stat : 19014 (java) R 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002476716 888446976 19590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867624
[startup+12.7023 s]
/proc/loadavg: 1.97 2.04 2.01 3/91 19014
/proc/meminfo: memFree=1502520/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=867624 CPUtime=12.56
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 20266 0 1 0 1244 12 0 0 18 0 9 0 2002476711 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 216906 19594 2006 9 0 211434 0
[pid=19005/tid=19006] ppid=19003 vsize=867624 CPUtime=12.24
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 15789 0 1 0 1215 9 0 0 25 0 9 0 2002476712 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4126887916 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19008] ppid=19003 vsize=867624 CPUtime=0.06
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 3073 0 0 0 6 0 0 0 16 0 9 0 2002476713 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19009] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19010] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002476714 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19011] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2002476716 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=867624 CPUtime=0.23
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 707 0 0 0 22 1 0 0 16 0 9 0 2002476716 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19013] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2002476716 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=867624 CPUtime=0
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002476716 888446976 19594 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867624
[startup+25.5016 s]
/proc/loadavg: 1.97 2.04 2.01 3/91 19018
/proc/meminfo: memFree=1431288/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=25.25
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53838 549 1 0 2498 22 4 1 18 0 9 0 2002476711 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31105 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=24.31
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26049 549 1 0 2414 12 4 1 25 0 9 0 2002476712 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4127053995 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.41
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 940 549 0 0 35 1 4 1 16 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 10 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868272
Solver just ended. Dumping a history of the last processes samples
[startup+25.6026 s]
/proc/loadavg: 1.97 2.04 2.01 3/91 19018
/proc/meminfo: memFree=1431288/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=25.35
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53838 549 1 0 2508 22 4 1 18 0 9 0 2002476711 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31105 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=24.41
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26049 549 1 0 2424 12 4 1 25 0 9 0 2002476712 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4126893124 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.41
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 940 549 0 0 35 1 4 1 16 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 10 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31105 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 868272
[startup+27.2029 s]
/proc/loadavg: 1.97 2.04 2.01 3/91 19018
/proc/meminfo: memFree=1431288/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=26.95
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53843 549 1 0 2668 22 4 1 18 0 9 0 2002476711 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31107 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=26
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26050 549 1 0 2583 12 4 1 25 0 9 0 2002476712 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4126887844 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.41
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 943 549 0 0 35 1 4 1 16 0 9 0 2002476716 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 11 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31107 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.95
Current children cumulated vsize (KiB) 868272
[startup+28.8011 s]
/proc/loadavg: 2.05 2.05 2.01 3/91 19018
/proc/meminfo: memFree=1427384/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=28.55
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53857 549 1 0 2827 23 4 1 18 0 9 0 2002476711 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31119 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=27.57
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26050 549 1 0 2740 12 4 1 25 0 9 0 2002476712 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4127349072 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.44
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 957 549 0 0 38 1 4 1 15 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 11 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.55
Current children cumulated vsize (KiB) 868272
[startup+29.2012 s]
/proc/loadavg: 2.05 2.05 2.01 3/91 19018
/proc/meminfo: memFree=1427384/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=28.95
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53857 549 1 0 2867 23 4 1 18 0 9 0 2002476711 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31119 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=27.97
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26050 549 1 0 2780 12 4 1 25 0 9 0 2002476712 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4127368374 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.44
/proc/19005/task/19012/stat : 19012 (java) S 19003 19005 18968 0 -1 64 957 549 0 0 38 1 4 1 15 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 11 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 28.95
Current children cumulated vsize (KiB) 868272
[startup+29.4012 s]
/proc/loadavg: 2.05 2.05 2.01 3/91 19018
/proc/meminfo: memFree=1427384/2055920 swapFree=4180540/4192956
[pid=19005] ppid=19003 vsize=868272 CPUtime=29.15
/proc/19005/stat : 19005 (java) S 19003 19005 18968 0 -1 0 53860 549 1 0 2887 23 4 1 18 0 9 0 2002476711 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19005/statm: 217068 31122 2616 9 0 211596 0
[pid=19005/tid=19006] ppid=19003 vsize=868272 CPUtime=28.17
/proc/19005/task/19006/stat : 19006 (java) R 19003 19005 18968 0 -1 64 26052 549 1 0 2800 12 4 1 25 0 9 0 2002476712 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4125956419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19008] ppid=19003 vsize=868272 CPUtime=0.6
/proc/19005/task/19008/stat : 19008 (java) S 19003 19005 18968 0 -1 64 25974 549 0 0 48 7 4 1 17 0 9 0 2002476713 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19009] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19009/stat : 19009 (java) S 19003 19005 18968 0 -1 64 17 549 0 0 0 0 4 1 16 0 9 0 2002476714 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19010] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19010/stat : 19010 (java) S 19003 19005 18968 0 -1 64 30 549 0 0 0 0 4 1 15 0 9 0 2002476714 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19011] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19011/stat : 19011 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 18 0 9 0 2002476716 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19012] ppid=19003 vsize=868272 CPUtime=0.44
/proc/19005/task/19012/stat : 19012 (java) R 19003 19005 18968 0 -1 64 958 549 0 0 38 1 4 1 15 0 9 0 2002476716 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19005/tid=19013] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19013/stat : 19013 (java) S 19003 19005 18968 0 -1 64 1 549 0 0 0 0 4 1 19 0 9 0 2002476716 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19005/tid=19014] ppid=19003 vsize=868272 CPUtime=0.05
/proc/19005/task/19014/stat : 19014 (java) S 19003 19005 18968 0 -1 64 11 549 0 0 0 0 4 1 15 0 9 0 2002476716 889110528 31122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 29.15
Current children cumulated vsize (KiB) 868272
Child status: 0
Real time (s): 29.4871
CPU time (s): 29.2246
CPU user time (s): 28.9596
CPU system time (s): 0.264959
CPU usage (%): 99.1097
Max. virtual memory (cumulated for all children) (KiB): 868360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9596
system time used= 0.264959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54448
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= 2669
involuntary context switches= 3158
runsolver used 0.040993 second user time and 0.107983 second system time
The end
Begin job on node18 at 2008-07-05 07:17:03
IDJOB=1085677
IDBENCH=57684
IDSOLVER=363
FILE ID=node18/1085677-1215235023
PBS_JOBID= 7881962
Free space on /tmp= 66552 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp34/normalized-fapp34-0750-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085677-1215235023/watcher-1085677-1215235023 -o /tmp/evaluation-result-1085677-1215235023/solver-1085677-1215235023 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085677-1215235023.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e29b6006bf1a29842bd8623c635cae42
RANDOM SEED=308864242
node18.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.268
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 : 5931.00
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.268
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: 1602080 kB
Buffers: 58640 kB
Cached: 188160 kB
SwapCached: 6568 kB
Active: 305716 kB
Inactive: 86384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1602080 kB
SwapTotal: 4192956 kB
SwapFree: 4180540 kB
Dirty: 3364 kB
Writeback: 0 kB
Mapped: 161128 kB
Slab: 46756 kB
Committed_AS: 3738600 kB
PageTables: 2064 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= 66552 MiB
End job on node18 at 2008-07-05 07:17:33