0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/207524-1168182143/unknown.xml
0.36
0.36 domains being loaded...
0.39
0.39 variables being loaded...
0.55 nbVariables=1250 nbDomainTypes=41 minDomainSize=42 maxDomainSize=350
0.55 => wckTime=0.251 cpuTime=0.19 mem=16M649
0.55
0.55 predicates being loaded...
0.56
0.56 constraints being loaded...
202.91
202.91 INFO : Stopping converting binary constraints (cpu=200.02, mem = 131M814)
203.49 nbConstraints=9745 nbMergedConstraints=8614 nbConvertedConstraints=7977 nbConvertConstraintsChecks=360431154
203.49 nbExtensionStructures=7101 nbSharedExtensionStructures=876 nbConflictsStructures=7101
203.49 nbSharedConflictsStructures=876 nbSharedBinaryRepresentations=2372166 nbEvaluationManagers=1670
203.49 nbSharedEvaluationManagers=98 maxDegree=25 maxArity=2
203.49 => wckTime=203.187 cpuTime=200.45 mem=132M563
203.88
203.88 solver IterativeSystematicSolver being built...
204.14 => wckTime=203.837 cpuTime=200.66 mem=144M818
248.11
248.11 INFO : Stopping ESAC
248.11
248.11 preprocessing
248.11 nbConstraintChecks=171397233 nbValidityChecks=38348521 nbPropagations=174892 nbRevisions=1409524
248.11 nbUselessRevisions=1225748 nbSingletonTests=5587 nbEffectiveSingletonTests=73 nbESACBranches=56
248.11 nbRemovedValues=123441 detectedInconsistency=no
248.11 => wckTime=43.961 cpuTime=43.67 mem=144M818
250.39
250.39 search
250.39 run=0 nbConstraintChecks=9790220 nbValidityChecks=1873072 nbPropagations=184807 nbRevisions=1503423
250.39 nbUselessRevisions=1306743 nbAssignments=378 nbFailedAssignments=36 nbBacktracks=10 nbVisitedNodes=423
250.39 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
250.39 => wckTime=46.242 cpuTime=45.93 mem=155M855
267.51
267.51 search
267.51 run=1 nbConstraintChecks=129278139 nbValidityChecks=32519723 nbPropagations=509652 nbRevisions=4150254
267.51 nbUselessRevisions=3611710 nbAssignments=5206 nbFailedAssignments=75 nbBacktracks=30 nbVisitedNodes=797
267.51 nbRestartNogoods=21 mapSize=25 nbInferences=0 nbTooLargeKeys=0
267.51 => wckTime=63.361 cpuTime=62.92 mem=137M710
272.01
272.01 search
272.01 run=2 nbConstraintChecks=160057443 nbValidityChecks=40089346 nbPropagations=869215 nbRevisions=7096435
272.01 nbUselessRevisions=6177109 nbAssignments=6398 nbFailedAssignments=139 nbBacktracks=52 nbVisitedNodes=1211
272.01 nbRestartNogoods=26 mapSize=42 nbInferences=0 nbTooLargeKeys=0
272.01 => wckTime=67.86 cpuTime=67.39 mem=146M603
277.33
277.33 search
277.33 run=3 nbConstraintChecks=194540467 nbValidityChecks=48067002 nbPropagations=1268755 nbRevisions=10390506
277.33 nbUselessRevisions=9045157 nbAssignments=8131 nbFailedAssignments=214 nbBacktracks=88 nbVisitedNodes=2260
277.33 nbRestartNogoods=31 mapSize=70 nbInferences=0 nbTooLargeKeys=0
277.33 => wckTime=73.18 cpuTime=72.67 mem=168M387
324.45
324.45 search
324.45 run=4 nbConstraintChecks=534205682 nbValidityChecks=120269295 nbPropagations=2112536 nbRevisions=17450899
324.45 nbUselessRevisions=15219845 nbAssignments=35837 nbFailedAssignments=289 nbBacktracks=138 nbVisitedNodes=2966
324.45 nbRestartNogoods=68 mapSize=111 nbInferences=0 nbTooLargeKeys=0
324.45 => wckTime=120.303 cpuTime=119.5 mem=157M782
334.37
334.37 search
334.37 run=5 nbConstraintChecks=600928065 nbValidityChecks=135277912 nbPropagations=3035585 nbRevisions=25180677
334.37 nbUselessRevisions=21978415 nbAssignments=39848 nbFailedAssignments=332 nbBacktracks=213 nbVisitedNodes=3760
334.37 nbRestartNogoods=77 mapSize=159 nbInferences=1 nbTooLargeKeys=0
334.37 => wckTime=130.219 cpuTime=129.33 mem=176M391
346.12
346.12 search
346.12 run=6 nbConstraintChecks=682332059 nbValidityChecks=152355032 nbPropagations=4051352 nbRevisions=33718853
346.12 nbUselessRevisions=29436716 nbAssignments=44421 nbFailedAssignments=442 nbBacktracks=326 nbVisitedNodes=4720
346.12 nbRestartNogoods=101 mapSize=217 nbInferences=7 nbTooLargeKeys=0
346.12 => wckTime=141.97 cpuTime=141.03 mem=194M922
358.58
358.58 search
358.58 run=7 nbConstraintChecks=771103813 nbValidityChecks=170480642 nbPropagations=5179351 nbRevisions=43209190
358.58 nbUselessRevisions=37731408 nbAssignments=52026 nbFailedAssignments=470 nbBacktracks=327 nbVisitedNodes=6028
358.58 nbRestartNogoods=110 mapSize=218 nbInferences=7 nbTooLargeKeys=0
358.58 => wckTime=154.43 cpuTime=153.4 mem=182M787
358.58
358.58 global
358.58 nbConstraintChecks=942501046 nbValidityChecks=208829163 nbPropagations=5354243 nbRevisions=44618714
358.58 nbUselessRevisions=38957156 nbRestartNogoods=110 solvingWckTime=154.431 solvingCpuTime=153.4 expiredTime=no
358.58 totalExploration=no nbFoundSolutions=1 globalCpuTime=354.11
358.58 => wckTime=358.277 cpuTime=354.07 mem=182M787
358.58
358.58 s SATISFIABLE
358.58 v 2696 -2760 2388 2768 -2164 2532 -2160 2696 -2680 2732 -2480 -2732 -2388 -2624 -2508 -2268 -2308 -2552 -2436 -2452 -2356 2776 -2580 -2192 2792 -2580 2752 2476 -2788 2724 -2420 2784 -2656 -2328 -2420 -2468 2240 -2272 -2236 -2756 -2784 2776 2160 -2236 2388 2256 2732 2776 -2148 -2684 -2612 -2736 -2160 2624 -2408 2636 -2176 2124 2724 2192 -2732 -2396 2216 2164 2412 2740 2648 -2512 -2160 -2556 -2160 2668 2792 2744 2628 2652 -2192 2592 2780 2776 2776 -2716 -2708 2644 2568 -2120 -2612 -2716 -2748 -2552 -2200 -2732 2648 -2616 -2740 2256 2784 -2512 -2528 -2428 -2644 -2252 -2676 2644 2564 -2460 2640 2392 -2700 -2172 2816 -2160 -2612 2600 -2392 2476 2596 2772 2120 2756 -2436 -2792 -2428 -2652 2740 2728 2656 2640 2520 2216 -2316 -2480 -2396 2564 -2460 -2800 2516 2648 -2776 2204 -2656 2196 -2188 2600 -2696 2552 -2444 -2120 2716 -2452 -2484 2380 2704 -2772 2480 2160 2248 -2452 2468 2172 -2792 -2160 2716 2184 2308 -2632 -2272 -2120 2704 2700 -2312 -2160 -2400 -2744 -2436 -2664 2768 -2160 -2812 2392 -2188 2256 2120 2656 -2256 2288 -2280 -2540 2132 2624 -2260 2344 2256 -2768 2480 -2404 2752 -2612 -2200 2728 -2748 -2144 -2460 2476 -2736 2612 2284 2120 2476 2700 -2552 -2572 -2572 -2464 2512 -2580 2420 -2552 -2464 -2232 2616 2724 2652 -2436 -2576 -2120 -2688 2500 2680 2628 2176 -2756 2572 2608 -2120 -2396 -2236 2692 2120 2444 -2536 -2760 -2684 2776 2512 -2704 -2524 -2136 -2436 2660 2284 -2572 2180 -2484 2752 -2816 2816 -2736 -2416 2784 2756 -2388 2756 2756 2764 2616 2244 2376 2684 -2696 2308 2160 -2648 2284 2764 -2192 2652 -2140 -2620 2552 -2176 2684 2764 2776 -2264 -2692 2640 2368 -2400 -2776 -2120 -2348 -2804 -2724 -2776 2728 2740 2448 -2160 2396 -2564 2760 2748 2340 2692 2704 -2696 -2760 2328 -2600 -2232 2772 -2160 2572 2376 -2612 2688 2732 2308 2140 2748 -2460 -2532 -2752 2688 -2328 2180 2200 -2160 -2760 -2576 2516 2788 -2788 -2776 2292 2268 -2760 -2448 -2688 2428 2792 2444 -2556 2184 -2568 2516 -2208 2796 -2332 2540 -2540 -2700 2692 2800 2700 -2576 2512 2556 -2608 -2760 -2776 -2404 -2300 -2796 -2592 -2396 -2764 -2476 -2652 2808 -2496 -2596 2376 -2792 2688 2604 -2252 -2552 -2728 2720 2304 -2192 2580 -2604 -2268 2724 -2160 -2228 2124 2660 -2736 -2700 2712 -2160 2704 2808 2720 2684 -2120 -2592 -2476 -2160 2120 -2368 2732 2312 2612 2620 2508 2300 2760 2628 2756 -2424 2324 -2160 2428 -2676 -2600 2616 -2628 -2452 -2640 -2396 2756 2716 2248 2816 2756 2268 -2216 -2520 2664 2812 -2476 2732 2248 2524 -2816 2740 -2484 -2780 2460 -2800 -2432 -2584 2720 -2736 -2520 2804 2416 2800 2748 2756 2728 -2816 -2444 -2256 -2792 2664 -2504 2668 2632 -2420 -2780 -2496 -2584 2756 2596 2608 -2120 2576 -2452 -2712 2452 -2272 2748 2536 -2292 -2724 -2376 2588 2416 -2416 -2600 -2536 2816 -2440 -2624 -2596 2384 2180 2708 -2720 -2776 2768 -2796 2712 -2644 -2216 2580 2500 -2448 2548 2220 -2576 -2572 2660 2372 2760 2296 -2508 -2460 -2180 2636 2312 2776 2720 2648 -2420 2376 -2272 2752 -2564 -2120 2468 2604 -2436 -2576 2120 2544 -2708 -2312 2760 2352 -2796 -2216 -2396 2760 -2772 -2276 2196 2680 -2412 2788 2784 2288 -2520 2164 2424 -2144 2672 -2800 2312 -2324 -2260 2732 2148 -2540 2764 2268 2560 2684 2120 -2460 -2572 -2348 -2512 -2796 -2772 -2784 -2720 2524 -2340 -2640 2412 2512 -2772 -2592 -2756 2576 -2552 2404 -2660 2472 2752 2308 2220 2612 2216 2564 2744 -2136 2612 -2440 2412 2736 2712 2752 2760 -2416 2160 -2712 2436 2740 -2164 -2804 2516 2740 -2456 2680 -2664 -2232 -2340 2716 -2796 2416 2412 2708 2780 -2560 -2540 -2632 2780 -2788 2292 2268 -2464 -2172 -2696 2120 -2652 -2332 2760 -2356 2536 -2160 -2328 -2612 -2748 2648 -2288 -2724 -2120 2160 2708 -2492 -2388 2464 -2512 -2700 2788 2504 2752 -2660 -2252 -2512 -2688 -2816 2752 -2676 -2692 -2752 -2772 -2320 -2588 -2180 2340 -2728 -2716 -2760 -2676 2120 -2704 2752 2800 -2492 2136 -2680 2352 -2740 -2400 2816 -2552 -2172 2696 -2484 -2420 2656 -2680 2816 2228 2692 -2324 2516 2500 -2520 -2292 2640 2256 2644 2220 -2352 2396 2624 -2656 -2560 -2800 -2740 2196 2672 2120 -2732 2800 -2736 -2604 2668 -2120 -2284 -2188 -2588 -2696 2680 -2420 -2236 -2364 -2468 -2120 -2204 -2240 2668 2512 -2324 -2176 -2480 -2440 2304 -2584 -2440 2740 -2816 2356 -2804 -2720 2464 2264 2776 -2380 -2716 -2800 2816 -2120 -2608 2588 -2720 -2564 -2556 -2716 2652 -2760 -2436 -2208 -2308 -2768 -2188 -2464 -2680 -2492 -2452 2756 2572 2744 -2260 -2404 -2680 -2208 -2396 2760 2720 -2580 -2348 2520 -2804 2728 -2212 2676 2652 -2616 2548 -2796 -2324 2756 2748 -2776 2184 2780 -2592 2500 2172 -2128 -2224 2808 2788 -2644 -2536 -2532 2588 2376 2416 2388 -2524 -2308 2540 2764 -2552 2444 2568 -2512 -2716 2760 -2560 2684 -2392 2700 -2272 2636 2608 2220 -2356 -2500 -2140 2744 2220 2692 -2424 -2800 2736 -2464 2800 -2412 -2500 -2704 -2664 -2732 2408 -2640 -2792 -2764 2380 2760 -2412 2620 2460 2768 2436 2748 -2656 -2120 -2540 -2640 2256 2716 -2756 2692 2424 -2564 2264 2668 2412 -2352 -2764 -2736 -2384 -2672 -2716 2512 -2120 2752 -2740 2124 -2560 -2640 2204 2632 -2772 2672 -2152 2568 2356 -2796 2780 2736 2612 2672 2160 -2732 -2432 -2232 -2528 -2792 2548 -2552 -2728 2596 2748 2332 2160 2188 -2644 -2516 2524 2708 -2516 -2412 2628 2792 2668 -2664 -2588 -2692 -2160 -2692 2696 -2320 -2472 -2132 2504 2500 -2376 -2592 -2664 -2660 2776 -2236 2140 2460 2160 2488 -2676 -2776 2680 -2432 -2356 -2300 2172 -2744 -2772 2616 -2280 -2616 2732 -2468 -2800 2228 2736 -2776 -2472 -2736 2516 -2308 -2744 2620 2608 2720 -2232 2760 -2520 -2444 2368 2704 -2728 -2672 2780 -2380 2512 -2168 2500 2584 -2452 -2376 -2636 -2504 -2664 -2748 2684 2272 -2788 -2392 2756 -2376 -2592 -2768 -2732 -2796 -2776 -2472 2232 2780 -2696 2452 2200 2760 -2216 2716 -2796 -2144 -2732 2636 2160 -2524 -2804 -2684 2728 2788 2676 -2152 -2244 -2680 -2348 2412 2468 -2800 2656 -2720 2764 2472 2732 -2200 -2416 2756 -2212 2796 -2796 -2288 2600 -2752 -2212 -2120 2616 -2308 -2208 2772 2788 -2536 2696 -2664 -2740 -2804 -2216 2328 -2720 2756 -2176 2592 -2136 -2388 2624 2572 2648 -2416 -2792 -2484 2512 -2392 2740 2504 -2384 -2188 2624 -2160 2348 -2632 -2620 2748 -2436 2164 -2160 2748 2160 -2196 -2796 -2748 -2572 2284 2624 -2160 2164 -2656 -2668 -2576 -2228 2764 2768 -2316 -2468 -2656 -2164 2660 -2604 -2180 -2424 2804 2460 -2796 -2656 2428 2564 -2160 2408 -2604 -2280 -2256 -2120 -2524 2776 2744 -2420 -2228 2344 -2360 2256 2532 -2256 2752 2556 -2708 -2352 2640 2136 2728 -2800 -2316 -2348 2168 -2132 -2816 -2204 2760 -2816 -2224 2616 -2364 2440 2500 2296 2788 -2756 2788 -2268 2756 2776 2160 -2664 2756 2120 -2632 -2748 -2720 -2268 -2792 2788 2724 -2752 2692 -2336 2636 2736 2296 -2624 2396 -2120 2688 -2608 2748 -2684 -2788 2696 -2248 2484 2444 2692 2764 2612 2736 -2268 2792 -2436 -2460 -2712 -2568 2616 2160 -2200 2768 -2752 -2168 -2124 2560 2716 -2424 -2160 -2264 2664 -2452 2644 2816 -2544 -2692 2724 -2692 -2644 -2172 -2148 2776 2760 2304 -2464 -2800 2772 -2712 -2712 2700 2756 -2180 -2292 -2572 -2656 2676 -2732 -2552 2664 2132 -2124 2508 -2688 2764 -2376 2656 -2348 2556 -2244 2632 -2372 -2444 2412 2784 2208 -2352 2744
358.58 d NODES 52026
358.58 d CHECKS 942501046
358.58
358.58 totalWckTime=358.354 totalCpuTime=354.11
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-207524-1168182143 -o ROOT/results/node30/solver-207524-1168182143 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207524-1168182143/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: 0.84 1.23 1.63 3/87 2501
/proc/meminfo: memFree=1689584/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=18540 CPUtime=0
/proc/2500/stat : 2500 (runsolver) R 2496 2500 2360 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 166608230 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2500/statm: 4635 279 244 17 0 2626 0
[startup+0.103527 s]
/proc/loadavg: 0.84 1.23 1.63 3/87 2501
/proc/meminfo: memFree=1689584/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=914988 CPUtime=0.07
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 2987 0 1 0 6 1 0 0 25 0 8 0 166608230 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072945004 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.511552 s]
/proc/loadavg: 0.84 1.23 1.63 3/87 2501
/proc/meminfo: memFree=1689584/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915328 CPUtime=0.48
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 7474 0 1 0 43 5 0 0 25 0 8 0 166608230 937295872 7213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228832 7213 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33461 s]
/proc/loadavg: 0.84 1.23 1.63 4/107 2529
/proc/meminfo: memFree=1603664/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=1.3
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 20966 0 1 0 117 13 0 0 25 0 8 0 166608230 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916973 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 20703 2162 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.07
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 4420 0 0 0 5 2 0 0 16 0 8 0 166608235 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.15
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 405 0 0 0 14 1 0 0 16 0 8 0 166608238 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 20703 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915628
[startup+2.98571 s]
/proc/loadavg: 0.84 1.23 1.63 3/107 2529
/proc/meminfo: memFree=1583120/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=2.95
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 21037 0 1 0 281 14 0 0 25 0 8 0 166608230 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 20773 2180 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.07
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 4420 0 0 0 5 2 0 0 17 0 8 0 166608235 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.17
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 423 0 0 0 16 1 0 0 16 0 8 0 166608238 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 20773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 20773 18446744073709551615 134512640 134570532 4294956480 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) 915628
[startup+6.28491 s]
/proc/loadavg: 0.93 1.24 1.63 3/107 2533
/proc/meminfo: memFree=1545616/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=6.23
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 21044 0 1 0 608 15 0 0 25 0 8 0 166608230 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808155 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 20780 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.07
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 4420 0 0 0 5 2 0 0 16 0 8 0 166608235 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.18
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 429 0 0 0 17 1 0 0 15 0 8 0 166608238 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 20780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915628
[startup+12.7663 s]
/proc/loadavg: 1.02 1.26 1.63 3/101 2555
/proc/meminfo: memFree=1489672/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=12.64
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 21048 0 1 0 1248 16 0 0 25 0 8 0 166608230 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803915 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 20783 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.07
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 4420 0 0 0 5 2 0 0 16 0 8 0 166608235 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.18
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 432 0 0 0 17 1 0 0 15 0 8 0 166608238 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 20783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915628
[startup+25.6081 s]
/proc/loadavg: 1.24 1.29 1.64 3/101 2555
/proc/meminfo: memFree=1409552/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=25.41
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 22705 0 1 0 2522 19 0 0 25 0 8 0 166608230 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 22437 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.18
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 6070 0 0 0 16 2 0 0 16 0 8 0 166608235 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.19
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 436 0 0 0 18 1 0 0 16 0 8 0 166608238 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 22437 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915628
[startup+51.2128 s]
/proc/loadavg: 1.50 1.35 1.64 3/101 2555
/proc/meminfo: memFree=1287184/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=50.89
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 27047 0 1 0 5064 25 0 0 25 0 8 0 166608230 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808833 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 26777 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.39
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 10402 0 0 0 35 4 0 0 16 0 8 0 166608235 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.21
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 444 0 0 0 19 2 0 0 16 0 8 0 166608238 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 26777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915628
[startup+102.513 s]
/proc/loadavg: 1.87 1.48 1.67 3/101 2555
/proc/meminfo: memFree=1218256/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=101.9
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 33339 0 1 0 10155 35 0 0 25 0 8 0 166608230 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810871 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 33066 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=0.73
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 16690 0 0 0 67 6 0 0 16 0 8 0 166608235 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.21
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 445 0 0 0 19 2 0 0 16 0 8 0 166608238 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 33066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915628
[startup+162.56 s]
/proc/loadavg: 2.06 1.60 1.70 3/101 2555
/proc/meminfo: memFree=1162960/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=161.61
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 39225 0 1 0 16113 48 0 0 25 0 8 0 166608230 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 38950 2181 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=1.03
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 22574 0 0 0 95 8 0 0 16 0 8 0 166608235 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.21
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 445 0 0 0 19 2 0 0 16 0 8 0 166608238 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 38950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.61
Current children cumulated vsize (KiB) 915628
[startup+222.615 s]
/proc/loadavg: 2.11 1.70 1.73 3/101 2555
/proc/meminfo: memFree=1114000/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=221.35
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 47425 0 1 0 22076 59 0 0 25 0 8 0 166608230 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 47137 2547 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=1.77
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 30263 0 0 0 166 11 0 0 16 0 8 0 166608235 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.33
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 511 0 0 0 30 3 0 0 16 0 8 0 166608238 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 47137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.35
Current children cumulated vsize (KiB) 915628
[startup+282.7 s]
/proc/loadavg: 2.04 1.75 1.74 3/101 2555
/proc/meminfo: memFree=1099216/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=281.12
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 50942 0 1 0 28050 62 0 0 25 0 8 0 166608230 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 50643 2548 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=1.81
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 33748 0 0 0 168 13 0 0 16 0 8 0 166608235 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.37
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 530 0 0 0 34 3 0 0 15 0 8 0 166608238 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 50643 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.12
Current children cumulated vsize (KiB) 915628
[startup+342.785 s]
/proc/loadavg: 2.09 1.81 1.76 3/101 2555
/proc/meminfo: memFree=1077072/2055920 swapFree=4191880/4192956
[pid=2500] ppid=2496 vsize=915628 CPUtime=340.86
/proc/2500/stat : 2500 (java) R 2496 2500 2360 0 -1 0 56431 0 1 0 34022 64 0 0 25 0 8 0 166608230 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074095353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2500/statm: 228907 56130 2548 14 0 215377 0
[pid=2500/tid=2511] ppid=2496 vsize=915628 CPUtime=1.86
/proc/2500/task/2511/stat : 2511 (java) S 2496 2500 2360 0 -1 64 39234 0 0 0 171 15 0 0 16 0 8 0 166608235 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2512] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2512/stat : 2512 (java) S 2496 2500 2360 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2513] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2513/stat : 2513 (java) S 2496 2500 2360 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166608235 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2519] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2519/stat : 2519 (java) S 2496 2500 2360 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 166608238 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2520] ppid=2496 vsize=915628 CPUtime=0.37
/proc/2500/task/2520/stat : 2520 (java) S 2496 2500 2360 0 -1 64 531 0 0 0 34 3 0 0 16 0 8 0 166608238 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2521] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2521/stat : 2521 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 166608238 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2500/tid=2522] ppid=2496 vsize=915628 CPUtime=0
/proc/2500/task/2522/stat : 2522 (java) S 2496 2500 2360 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 166608238 937603072 56130 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (KiB) 915628
Child status: 0
Real time (s): 358.885
CPU time (s): 356.627
CPU user time (s): 355.937
CPU system time (s): 0.689895
CPU usage (%): 99.3708
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.937
system time used= 0.689895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59771
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= 9163
involuntary context switches= 11577
runsolver used 0.396939 s user time and 1.19982 s system time
The end
Begin job on node30 on Sun Jan 7 15:02:23 UTC 2007
IDJOB= 207524
IDBENCH= 4296
FILE ID= node30/207524-1168182143
PBS_JOBID= 3479172
Free space on /tmp= 66484 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207524-1168182143/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-207524-1168182143 -o ROOT/results/node30/solver-207524-1168182143 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207524-1168182143/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a88130445cb0a25bd66e79fb321e4404
RANDOM SEED= 704878169
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.234
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.234
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: 1690056 kB
Buffers: 37488 kB
Cached: 201672 kB
SwapCached: 268 kB
Active: 153544 kB
Inactive: 142800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1690056 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 6912 kB
Writeback: 0 kB
Mapped: 75300 kB
Slab: 54236 kB
Committed_AS: 3534296 kB
PageTables: 2332 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= 66484 MiB
End job on node30 on Sun Jan 7 15:08:22 UTC 2007