0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.35 name=/tmp/evaluation/207556-1168182288/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.59 nbVariables=1250 nbDomainTypes=41 minDomainSize=42 maxDomainSize=350
0.59 => wckTime=0.275 cpuTime=0.2 mem=16M649
0.59
0.59 predicates being loaded...
0.59
0.59 constraints being loaded...
202.35
202.35 INFO : Stopping converting binary constraints (cpu=200.03, mem = 127M708)
202.95 nbConstraints=9745 nbMergedConstraints=8614 nbConvertedConstraints=7952 nbConvertConstraintsChecks=352891526
202.95 nbExtensionStructures=7022 nbSharedExtensionStructures=930 nbConflictsStructures=7022
202.95 nbSharedConflictsStructures=930 nbSharedBinaryRepresentations=2320571 nbEvaluationManagers=1677
202.95 nbSharedEvaluationManagers=116 maxDegree=25 maxArity=2
202.95 => wckTime=202.635 cpuTime=200.46 mem=128M784
203.51
203.51 solver IterativeSystematicSolver being built...
203.79 => wckTime=203.471 cpuTime=200.69 mem=144M984
247.87
247.87 INFO : Stopping ESAC
247.87
247.87 preprocessing
247.87 nbConstraintChecks=164626674 nbValidityChecks=36846798 nbPropagations=143472 nbRevisions=1098500
247.87 nbUselessRevisions=937581 nbSingletonTests=5650 nbEffectiveSingletonTests=45 nbESACBranches=59
247.87 nbRemovedValues=101501 detectedInconsistency=no
247.87 => wckTime=44.072 cpuTime=43.97 mem=144M984
251.48
251.48 search
251.48 run=0 nbConstraintChecks=12969009 nbValidityChecks=2473550 nbPropagations=156806 nbRevisions=1198188
251.48 nbUselessRevisions=1020838 nbAssignments=1279 nbFailedAssignments=28 nbBacktracks=1 nbVisitedNodes=1309
251.48 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
251.48 => wckTime=47.689 cpuTime=47.51 mem=145M162
251.48
251.48 global
251.48 nbConstraintChecks=177595683 nbValidityChecks=39320348 nbPropagations=300278 nbRevisions=2296688
251.48 nbUselessRevisions=1958419 nbRestartNogoods=0 solvingWckTime=47.691 solvingCpuTime=47.51 expiredTime=no
251.49 totalExploration=no nbFoundSolutions=1 globalCpuTime=248.26
251.49 => wckTime=251.171 cpuTime=248.2 mem=145M162
251.49
251.49 s SATISFIABLE
251.49 v -2708 2724 -2416 -2796 -2164 -2600 -2160 2696 2692 -2772 2304 -2720 2340 2700 -2512 -2248 -2348 -2560 -2436 -2452 -2412 2760 -2536 -2256 2752 -2564 2752 -2476 -2760 2684 -2412 -2728 -2676 -2384 -2456 -2528 -2148 -2264 2264 -2776 2800 2804 2200 -2156 -2348 -2236 2716 -2816 -2148 2728 2612 2756 -2212 -2636 -2496 -2684 2160 2124 -2732 2124 -2796 -2448 -2256 2160 -2612 -2764 2656 -2360 -2160 -2556 2196 2524 -2812 2764 2656 2672 -2192 2600 2764 -2736 -2796 -2736 2712 -2676 2500 -2156 -2556 -2728 2752 -2552 2160 -2724 2620 -2600 -2696 -2256 2744 -2552 -2468 2432 -2624 -2272 2628 -2676 2492 -2452 2628 2324 2760 -2136 2808 -2160 -2612 2588 -2348 -2476 -2652 2760 -2120 2772 -2436 -2792 -2568 2652 2796 -2724 2656 2640 2536 -2216 -2192 -2424 -2396 -2564 -2460 2784 2436 -2640 2740 -2200 2624 -2248 2188 2628 2656 -2540 2576 2120 -2692 -2652 -2484 2392 2680 2788 -2576 -2120 -2476 -2336 -2520 -2160 -2792 -2176 -2652 2156 2340 -2560 -2292 2152 2704 -2804 2280 -2352 -2420 -2760 -2436 -2668 -2800 -2188 -2696 2368 2228 2216 -2196 2656 2256 -2216 2344 2532 2188 -2576 -2180 -2344 -2264 -2764 2392 -2464 2716 -2612 2188 -2696 -2784 -2160 2568 2436 2696 -2616 2324 -2160 2476 2740 -2488 -2572 -2572 2452 2484 2492 2416 -2552 2516 -2268 2616 2792 2656 -2412 -2564 -2120 -2688 -2376 2680 -2564 -2120 2756 2572 2648 -2160 -2396 -2208 -2708 -2120 -2504 -2468 -2732 -2652 2732 2512 -2672 -2524 -2136 2408 -2792 2296 2572 -2168 2528 -2788 -2772 2684 2736 2376 2804 2748 2316 -2796 2756 2752 2616 -2160 2376 -2692 2736 -2280 2160 2728 -2192 -2816 -2128 -2652 -2140 -2524 2512 2132 2716 2768 2768 -2248 -2664 2656 -2424 2224 -2812 -2152 2352 -2776 -2692 -2768 2724 -2740 2432 -2120 2452 -2564 2768 2712 2352 2692 2708 2716 -2744 -2404 -2580 -2196 2756 -2120 -2572 2380 -2612 2688 -2748 2268 -2160 -2792 -2460 -2532 2724 2708 -2280 -2120 -2192 -2144 -2800 2572 2516 2776 2748 2724 -2296 2268 -2768 -2560 -2684 2388 -2784 -2620 -2500 -2120 2508 -2476 -2276 2716 -2252 2448 -2576 2740 2636 -2800 2700 -2576 2556 -2564 2596 2752 2736 2368 -2308 2780 -2624 -2124 2764 -2444 -2704 2736 -2512 -2604 -2444 -2792 -2664 2564 -2380 2552 2760 2692 -2348 -2236 -2624 -2620 -2308 -2652 -2160 2228 2132 -2800 2736 2648 -2684 -2160 2660 2816 -2736 -2720 -2192 2644 -2476 2200 2136 2320 2776 -2252 2612 2656 2472 -2236 2780 -2540 2740 -2460 2396 -2192 2452 -2716 2580 -2636 -2632 -2488 -2640 2396 -2796 2652 -2256 -2812 2740 -2300 -2216 -2520 -2732 -2696 -2476 -2776 -2244 -2564 -2816 -2740 -2616 -2756 -2416 -2800 -2336 2552 -2732 -2704 -2520 2804 2392 2760 -2792 -2728 2728 2808 2444 -2244 2752 2704 2612 -2696 2696 2364 -2700 -2508 -2576 2784 2584 2540 2120 2576 -2312 -2732 -2740 -2292 2756 2596 -2212 -2728 -2376 -2612 -2376 2420 -2600 -2536 -2780 -2304 -2576 -2724 -2312 2192 2636 -2728 -2776 2776 -2700 2700 2656 -2256 2500 2432 -2456 -2644 2220 -2576 2600 -2688 -2492 2756 2276 -2560 -2392 -2172 2676 2312 2816 2776 2652 -2348 2432 -2308 -2744 2428 -2160 2492 2604 -2436 -2636 2312 2556 2744 2252 2760 -2352 -2756 -2216 -2348 -2800 -2736 -2172 2196 -2732 -2376 2752 -2788 -2368 -2352 -2164 -2352 -2160 2280 -2800 2332 2256 -2268 2732 -2196 2584 -2756 -2308 2560 2716 2120 -2460 -2604 -2388 -2512 2708 -2764 2748 -2748 2496 -2276 2732 -2352 2528 -2736 -2592 -2816 2556 -2552 2660 -2700 -2524 -2788 2268 -2132 2640 2288 2564 -2788 -2160 2644 -2460 -2452 -2776 -2716 2752 -2760 2416 -2120 -2724 2436 -2708 -2172 2804 -2516 2764 -2472 -2704 2640 -2224 -2340 -2816 -2796 -2416 2448 2624 -2724 2560 2416 -2584 2760 -2788 2312 2256 -2500 -2148 -2744 2160 -2648 2256 2784 -2164 2532 -2160 -2296 -2612 -2788 -2608 2336 2768 -2172 2152 2680 -2568 -2408 2420 -2512 -2700 2744 -2476 -2752 -2700 -2176 -2496 2696 -2776 2772 -2660 -2664 2712 -2732 2304 -2596 2132 -2348 2668 -2748 -2792 -2732 -2120 -2692 2752 2772 -2572 2180 -2716 -2320 -2740 -2344 -2764 -2516 2208 2680 -2436 2432 -2656 -2696 2728 2188 -2692 -2120 -2460 2492 2520 -2340 2664 2248 2672 2308 -2272 -2452 2628 -2640 2620 2740 -2788 2404 2676 -2120 -2732 2696 -2776 -2584 -2648 2120 -2160 2188 2684 2716 -2692 -2420 2444 -2440 -2472 2184 -2120 -2212 2676 2500 -2152 2140 2568 2344 2288 2588 -2608 2764 -2816 2376 -2804 2748 2572 -2120 2776 2376 -2776 -2800 2692 2120 -2600 2652 -2756 -2524 2396 -2808 2676 2788 2396 -2244 -2308 2736 -2156 -2452 2636 2640 -2436 2756 2596 2768 -2152 2480 -2816 2436 2396 2788 2752 -2600 2308 2616 2800 -2704 2184 -2816 2572 2584 2572 2768 -2364 2768 2776 2748 2120 2736 -2656 2536 -2224 2208 -2120 2816 2752 2656 -2604 2528 2592 2384 -2416 2392 -2484 -2352 2452 2764 2456 2396 2604 -2512 -2732 2792 -2560 -2696 -2388 -2668 2188 -2644 2616 2232 -2328 -2500 2128 2748 2172 2692 -2380 2796 -2712 -2456 -2752 -2476 2492 -2772 2700 2732 -2452 -2596 -2792 2760 -2388 2760 2404 2540 2560 2776 -2436 2716 2756 2160 2496 2668 -2216 2676 2612 -2608 2380 -2564 2280 -2664 -2452 2348 -2764 2784 2384 2660 -2744 -2564 2240 -2792 -2792 2124 2552 2620 2220 2640 2732 -2704 -2168 2656 2388 2728 2752 -2800 -2612 2676 -2160 -2704 2364 -2232 2564 2756 -2692 -2552 2756 -2632 2748 -2452 2152 -2184 -2680 -2524 -2468 2688 -2516 -2432 2636 -2748 -2640 -2632 2500 2692 -2160 -2732 2704 -2176 2444 -2132 2596 -2408 -2416 2584 -2596 -2652 2772 -2212 -2120 2392 -2160 2472 -2708 -2768 -2696 2408 -2232 -2192 2172 -2784 -2736 -2624 2252 -2616 -2732 -2432 -2760 -2216 2720 2752 -2376 -2748 2612 -2268 2788 -2640 -2660 2728 -2148 2736 2512 -2444 -2412 2724 -2728 -2684 2748 -2380 2512 2236 2600 -2616 2412 2376 -2692 -2496 -2776 2784 -2692 -2292 2752 -2392 2776 -2416 2520 2776 -2732 2776 -2716 -2472 2296 -2804 -2696 2392 -2200 2736 -2256 2768 2756 -2196 2772 2668 2160 -2524 -2796 -2712 -2652 -2796 2636 -2164 2336 -2696 -2276 -2412 2472 -2744 2676 -2776 2764 2400 2748 -2160 -2416 -2728 -2176 -2796 -2796 -2364 2600 2772 2120 2240 2600 2288 -2204 -2736 2756 -2536 -2664 2664 -2800 -2804 -2216 -2408 -2792 -2716 2176 -2600 -2120 -2428 -2816 2596 2636 2484 -2792 -2484 -2512 2372 2804 2492 2420 -2164 2632 -2152 -2312 -2632 -2692 2732 -2484 -2256 -2200 -2720 2160 -2224 -2796 -2816 2572 -2376 2616 2156 -2132 -2584 2720 -2576 2124 -2776 -2768 -2416 -2468 2664 -2180 2616 -2532 -2180 -2412 -2804 -2532 -2756 -2664 2376 2536 -2200 2600 2616 -2216 -2216 -2192 2524 2744 2732 -2420 2148 2308 2264 2256 2636 -2256 -2796 -2592 -2680 -2388 -2640 2172 2736 2764 -2288 2368 2204 2196 2788 -2192 2760 -2776 -2160 -2596 2356 -2464 -2608 -2304 2772 -2768 -2736 -2308 2768 2776 2160 -2616 2756 2120 2624 2744 2736 -2320 2748 2784 -2652 -2792 2676 -2344 2624 2756 -2284 2664 -2436 2228 2692 -2592 -2732 -2692 2772 2696 -2228 -2444 -2328 2692 2724 2532 2784 2188 2752 -2436 -2404 2756 -2552 2544 2192 -2200 -2696 -2752 2168 -2296 2576 -2700 -2528 2120 -2160 2660 2412 2604 -2776 -2592 -2692 -2816 -2712 -2660 2236 -2144 2816 -2800 -2320 -2568 2760 2772 2320 -2716 2752 2756 -2160 -2216 -2572 -2640 2692 -2692 -2604 2672 2248 2172 2508 -2692 2764 -2376 -2696 -2380 2652 -2232 -2664 2364 2488 -2780 2748 2268 2332 2764
251.49 d NODES 1279
251.49 d CHECKS 177595683
251.49
251.49 totalWckTime=251.258 totalCpuTime=248.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-207556-1168182288 -o ROOT/results/node6/solver-207556-1168182288 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207556-1168182288/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: 2.07 2.08 2.02 4/94 15330
/proc/meminfo: memFree=983912/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=1788 CPUtime=0
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 369 0 0 0 0 0 0 0 18 0 1 0 166624276 1830912 159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15329/statm: 446 160 125 14 0 91 0
[startup+0.10831 s]
/proc/loadavg: 2.07 2.08 2.02 4/94 15330
/proc/meminfo: memFree=983912/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=914988 CPUtime=0.1
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 3086 0 1 0 9 1 0 0 22 0 8 0 166624276 936947712 2832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228747 2832 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988
[startup+0.52037 s]
/proc/loadavg: 2.07 2.08 2.02 4/94 15330
/proc/meminfo: memFree=983912/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915328 CPUtime=0.51
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 7159 0 1 0 46 5 0 0 25 0 8 0 166624276 937295872 6898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228832 6901 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915328
[startup+1.34346 s]
/proc/loadavg: 2.07 2.08 2.02 3/101 15337
/proc/meminfo: memFree=917360/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=1.32
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 20954 0 1 0 118 14 0 0 25 0 8 0 166624276 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154526167 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 20691 2160 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.1
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 4418 0 0 0 7 3 0 0 16 0 8 0 166624279 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.15
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 166624283 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 20691 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915628
[startup+2.98065 s]
/proc/loadavg: 2.07 2.08 2.02 3/101 15337
/proc/meminfo: memFree=908848/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=2.93
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 21029 0 1 0 278 15 0 0 25 0 8 0 166624276 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802643 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 20765 2180 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.1
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 4418 0 0 0 7 3 0 0 17 0 8 0 166624279 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.17
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 416 0 0 0 17 0 0 0 15 0 8 0 166624283 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 20765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915628
[startup+6.27403 s]
/proc/loadavg: 2.06 2.08 2.02 3/101 15337
/proc/meminfo: memFree=902128/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=6.22
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 21044 0 1 0 607 15 0 0 25 0 8 0 166624276 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073811035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 20780 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.1
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 4418 0 0 0 7 3 0 0 16 0 8 0 166624279 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.19
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 430 0 0 0 19 0 0 0 15 0 8 0 166624283 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 20780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915628
[startup+12.7628 s]
/proc/loadavg: 2.05 2.08 2.02 4/101 15337
/proc/meminfo: memFree=898800/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=12.71
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 21048 0 1 0 1254 17 0 0 25 0 8 0 166624276 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804519 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 20783 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.1
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 4418 0 0 0 7 3 0 0 16 0 8 0 166624279 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.19
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 433 0 0 0 19 0 0 0 15 0 8 0 166624283 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 20783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915628
[startup+25.6483 s]
/proc/loadavg: 2.04 2.07 2.02 3/101 15337
/proc/meminfo: memFree=884400/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=25.58
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 22703 0 1 0 2538 20 0 0 25 0 8 0 166624276 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 22435 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.24
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 6066 0 0 0 20 4 0 0 16 0 8 0 166624279 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.21
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 437 0 0 0 21 0 0 0 16 0 8 0 166624283 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 22435 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 915628
[startup+51.3003 s]
/proc/loadavg: 2.03 2.07 2.02 3/101 15337
/proc/meminfo: memFree=860720/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=51.19
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 27164 0 1 0 5091 28 0 0 25 0 8 0 166624276 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802678 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 26894 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.52
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 10517 0 0 0 45 7 0 0 16 0 8 0 166624279 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.22
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 445 0 0 0 22 0 0 0 16 0 8 0 166624283 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 26894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915628
[startup+102.576 s]
/proc/loadavg: 2.01 2.05 2.01 3/101 15337
/proc/meminfo: memFree=794928/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=102.42
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 33451 0 1 0 10202 40 0 0 25 0 8 0 166624276 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803815 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 33178 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=0.9
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 16800 0 0 0 80 10 0 0 16 0 8 0 166624279 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.22
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 446 0 0 0 22 0 0 0 16 0 8 0 166624283 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 33178 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915628
[startup+162.638 s]
/proc/loadavg: 2.06 2.06 2.01 3/101 15337
/proc/meminfo: memFree=739504/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=162.43
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 39374 0 1 0 16189 54 0 0 25 0 8 0 166624276 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 39099 2181 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=1.26
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 22721 0 0 0 113 13 0 0 16 0 8 0 166624279 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.22
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 446 0 0 0 22 0 0 0 16 0 8 0 166624283 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 39099 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.43
Current children cumulated vsize (KiB) 915628
[startup+222.704 s]
/proc/loadavg: 2.02 2.04 2.00 3/101 15337
/proc/meminfo: memFree=661104/2055924 swapFree=4165672/4192956
[pid=15329] ppid=15327 vsize=915628 CPUtime=222.43
/proc/15329/stat : 15329 (java) R 15327 15329 15200 0 -1 0 47396 0 1 0 22176 67 0 0 25 0 8 0 166624276 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15329/statm: 228907 47106 2547 14 0 215377 0
[pid=15329/tid=15331] ppid=15327 vsize=915628 CPUtime=2.26
/proc/15329/task/15331/stat : 15331 (java) S 15327 15329 15200 0 -1 64 30231 0 0 0 209 17 0 0 16 0 8 0 166624279 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15332] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15332/stat : 15332 (java) S 15327 15329 15200 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 166624280 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15333] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15333/stat : 15333 (java) S 15327 15329 15200 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166624280 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15334] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15334/stat : 15334 (java) S 15327 15329 15200 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 166624283 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15335] ppid=15327 vsize=915628 CPUtime=0.36
/proc/15329/task/15335/stat : 15335 (java) S 15327 15329 15200 0 -1 64 511 0 0 0 35 1 0 0 16 0 8 0 166624283 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15336] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15336/stat : 15336 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 166624283 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15329/tid=15337] ppid=15327 vsize=915628 CPUtime=0
/proc/15329/task/15337/stat : 15337 (java) S 15327 15329 15200 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166624283 937603072 47106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.43
Current children cumulated vsize (KiB) 915628
Child status: 0
Real time (s): 251.53
CPU time (s): 251.215
CPU user time (s): 250.479
CPU system time (s): 0.735888
CPU usage (%): 99.8747
Max. virtual memory (cumulated for all children) (KiB): 915628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.479
system time used= 0.735888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51961
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= 6815
involuntary context switches= 10265
runsolver used 0.360945 s user time and 0.958854 s system time
The end
Begin job on node6 on Sun Jan 7 15:04:48 UTC 2007
IDJOB= 207556
IDBENCH= 4298
FILE ID= node6/207556-1168182288
PBS_JOBID= 3478918
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/test01-04/test04/test04-1250-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207556-1168182288/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-207556-1168182288 -o ROOT/results/node6/solver-207556-1168182288 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/207556-1168182288/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d3dec74f6acf47deb39467d9536ae53f
RANDOM SEED= 393619179
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.240
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.240
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: 2055924 kB
MemFree: 984392 kB
Buffers: 70008 kB
Cached: 547116 kB
SwapCached: 2424 kB
Active: 479800 kB
Inactive: 506224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 984392 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 4440 kB
Writeback: 0 kB
Mapped: 387440 kB
Slab: 69436 kB
Committed_AS: 5472952 kB
PageTables: 3128 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= 66544 MiB
End job on node6 on Sun Jan 7 15:09:00 UTC 2007