0.06/0.09
0.06/0.09 Abscon 112 (May, 2008)
0.18/0.22
0.18/0.22 configuration
0.18/0.22 name=esac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-2097780-1247414016.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.68/0.71 nbVariables=1500 nbDomainTypes=13 minDomainSize=42 maxDomainSize=310 nbTotalValues=436967
0.68/0.71 => wckTime=0.485 cpuTime=0.35 mem=23M560
0.68/0.71
0.68/0.71 predicates being loaded...
0.68/0.77
0.68/0.77 constraints being loaded...
20.68/20.87
20.68/20.87 INFO : Stopping converting binary constraints (cpu=20.08, mem = 48M227)
27.04/27.20 nbConstraints=13445 nbGlobalConstraints=6 nbMergedConstraints=11970 nbConvertedConstraints=490
27.04/27.20 nbConvertConstraintsChecks=39738560 nbExtensionStructures=445 nbSharedExtensionStructures=158
27.04/27.20 nbConflictsStructures=538 nbSharedConflictsStructures=201 nbUnbuiltConflictsStructures=7864
27.04/27.20 nbSharedBinaryRepresentations=179841 nbEvaluationManagers=7957 nbSharedEvaluationManagers=4992 minDegree=3
27.04/27.20 maxDegree=23 minArity=2 avgArity=2 maxArity=6 nbGenerators=0 nbFusions=0 symmetryWckTime=1.811
27.04/27.20 symmetryCpuTime=1.57 nbCliques=6
27.04/27.20 => wckTime=26.974 cpuTime=25.58 mem=76M947
27.34/27.56
27.34/27.56 solver IterativeSystematicSolver being built...
27.64/27.84
27.64/27.84 INFO : Forward propagation technique limited
27.84/28.03 => wckTime=27.799 cpuTime=25.91 mem=113M716
54.40/54.72
54.40/54.72 preprocessing
54.40/54.72 nbConstraintChecks=80750731 nbValidityChecks=1140075 nbPropagations=1631 nbRevisions=29412
54.40/54.72 nbUselessRevisions=28282 nbRemovedValues=64087 detectedInconsistency=no
54.40/54.72 => wckTime=26.68 cpuTime=26.52 mem=113M716
173.39/174.34
173.39/174.34 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=116M750)
1248.55/1256.00
1248.55/1256.00 search
1248.55/1256.00 run=16 nbConstraintChecks=3018478759 nbValidityChecks=2691189569 minDepth=0 maxDepth=1500
1248.55/1256.00 nbPropagations=3304056 nbRevisions=65855590 nbUselessRevisions=52721035 nbAssignments=18052
1248.55/1256.00 nbFailedAssignments=14707 nbBacktracks=1810 nbVisitedNodes=34258 nbRestartNogoods=389 nbFoundSolutions=1
1248.55/1256.00 nbSEliminables=0 nbREliminables=613.28 nbIEliminables=884.05 nbDEliminables=0 nbPEliminables=0
1248.55/1256.00 => wckTime=1227.96 cpuTime=1220.58 mem=116M750
1248.55/1256.00
1248.55/1256.00 global
1248.55/1256.00 nbConstraintChecks=3099229490 nbValidityChecks=2692329644 nbPropagations=3305687 nbRevisions=65885002
1248.55/1256.00 nbUselessRevisions=52749317 nbRestartNogoods=389 solvingWckTime=1227.962 solvingCpuTime=1220.58 expiredTime=no
1248.55/1256.00 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=1246.41 globalCpuTime=1246.55
1248.55/1256.00 => wckTime=1255.773 cpuTime=1246.5 mem=116M750
1248.55/1256.01
1248.55/1256.01 s SATISFIABLE
1248.55/1256.01 v -2160 2532 -2280 -2696 2400 -2624 2380 2628 -2408 -2696 -2356 -2132 -2548 2260 -2604 -2592 -2692 2344 2736 -2160 -2384 -2684 -2268 -2152 -2648 2400 -2736 2296 2424 2160 -2492 -2736 -2420 -2340 -2696 -2616 -2184 2160 2440 2568 -2692 -2720 -2236 -2456 2140 -2300 -2328 -2608 2120 -2480 2400 -2444 -2664 2336 2440 2180 -2208 2592 -2736 2588 2572 2620 -2468 -2616 2676 -2456 -2696 -2352 -2380 2224 -2660 -2680 2728 -2612 -2120 -2692 -2512 -2664 -2320 2148 -2316 -2352 -2176 2632 -2508 2260 -2724 -2368 -2160 2680 2664 -2472 -2200 2600 2688 2528 2544 2300 2236 -2120 2732 -2260 2368 -2684 -2120 2316 -2540 2600 -2268 -2680 2256 -2256 2600 -2532 -2172 -2600 2696 -2332 -2576 2376 2488 -2696 2580 -2152 2256 2600 2444 -2644 -2640 -2548 2256 -2160 -2512 -2484 2168 -2304 -2344 2496 2508 -2316 -2416 -2736 2244 -2192 -2144 2552 2716 2508 -2428 -2252 2304 -2136 -2400 -2160 -2452 -2412 -2292 -2508 -2588 -2736 -2412 -2608 -2168 2120 -2424 -2672 2636 2548 2684 -2160 2640 -2512 -2144 -2436 2736 -2560 -2600 2592 -2632 -2264 -2392 -2524 -2184 -2368 2672 -2464 -2476 -2696 -2124 -2264 -2524 -2120 -2548 -2160 -2736 2568 2432 2120 -2716 -2248 2652 -2228 2640 -2708 -2736 -2324 -2736 -2144 2396 -2372 -2228 2572 -2696 -2652 -2408 -2488 -2220 -2696 2516 2368 2720 -2300 2544 -2552 2320 -2284 2168 2692 2368 -2700 -2380 -2628 -2340 2336 -2176 -2376 2680 -2388 2400 2276 2368 -2672 -2368 -2660 -2472 -2216 2120 2460 -2612 2644 2408 -2688 2120 2324 2640 -2412 -2472 2696 -2404 -2388 2180 -2160 2348 -2412 -2284 2220 -2244 -2196 -2416 -2668 2236 2324 -2368 2404 2160 2164 -2668 -2560 2300 2480 2160 -2188 -2464 -2668 2552 2144 -2392 2592 2308 2728 -2352 -2160 2460 -2240 2632 2628 -2736 -2488 2504 -2724 2448 -2556 -2160 -2688 2516 -2696 2484 -2616 2244 2660 2120 -2240 2608 2172 -2208 2624 2368 -2652 -2696 -2236 -2712 -2380 2568 -2276 -2244 -2384 -2564 2532 2272 -2732 -2220 -2428 -2340 -2168 2384 2328 -2156 2316 2120 -2704 2620 -2404 -2260 -2400 -2280 -2660 2248 -2640 -2628 2424 -2684 -2296 -2500 -2588 -2232 -2160 2352 -2472 2736 2120 2640 2676 2308 2396 -2736 -2276 2668 -2452 2120 2244 2216 -2252 -2312 -2120 -2680 2680 2508 2128 2664 2520 2136 2488 -2696 2728 -2324 2272 -2464 -2268 2228 -2556 2296 2368 2172 -2160 -2176 -2296 2632 2172 -2432 -2380 2164 -2704 -2160 -2324 -2364 2120 -2396 2696 -2496 -2736 -2348 -2496 2640 -2340 -2664 -2224 -2292 -2696 2252 2496 -2556 -2468 -2456 -2300 -2284 2584 -2640 -2560 2720 -2136 -2468 2552 2604 2696 2556 -2532 2352 2440 -2212 2572 -2396 -2696 -2120 -2328 -2160 2120 2532 -2372 2680 -2692 2176 2408 2580 2432 -2580 -2428 2636 2292 -2284 -2596 2672 -2564 2240 2224 -2736 -2344 2176 2572 -2712 2696 -2700 -2220 2300 2592 -2300 2492 2392 -2316 2188 -2676 -2512 2240 -2400 -2440 -2260 -2320 2296 -2160 2228 -2132 -2608 2660 -2512 -2220 -2164 2696 -2272 -2212 -2696 2564 2120 -2292 -2344 -2168 2444 2724 -2652 -2360 -2388 2240 -2696 -2720 2684 2508 2628 2236 -2400 -2708 -2220 -2492 -2148 2592 -2268 2584 -2732 -2372 -2528 2160 -2572 2512 2600 -2584 2216 -2648 -2296 -2720 -2508 -2680 2628 2348 -2356 -2592 2356 2164 -2652 2300 2124 -2340 2524 2624 -2348 -2612 -2680 -2572 -2240 -2636 -2480 -2576 -2196 2148 2420 -2576 2728 -2212 2120 2660 2220 2208 2204 -2736 2256 -2160 -2240 2652 -2212 -2736 2404 -2468 -2308 2148 2292 -2160 -2696 -2160 2516 2728 -2376 2264 2608 -2448 -2696 2576 -2616 -2140 -2736 2312 -2688 2440 2364 2284 2164 -2200 2572 2160 -2536 -2168 -2200 2644 -2460 -2688 -2492 -2184 -2700 2396 2456 2248 -2624 2716 -2428 -2188 2408 2628 -2292 2584 -2552 2256 -2736 2208 2136 -2344 2324 -2268 -2628 2708 -2640 -2456 -2196 -2640 2336 2496 2140 -2696 2356 2332 -2684 2696 2308 -2396 -2648 2304 2120 -2652 2524 -2372 -2612 -2348 -2736 -2692 -2404 -2276 2136 2496 2144 -2632 -2736 -2500 2676 -2188 -2660 -2440 -2716 -2440 2260 2164 2676 2408 2688 -2256 2284 -2240 -2636 2128 2688 -2696 2736 -2332 2668 2424 -2616 2316 -2524 -2248 2128 -2704 2284 -2520 -2736 2552 2736 2212 -2676 -2220 2312 -2196 -2576 2636 -2696 2596 -2724 2540 2552 2332 -2624 2660 2292 2172 -2300 -2680 -2596 2120 2120 -2204 -2132 2396 2360 -2272 -2532 2584 -2216 -2192 -2712 -2360 -2276 2340 -2120 2688 2248 2312 -2300 -2688 -2608 2264 2244 2212 -2196 2708 -2276 -2672 2316 -2228 2680 -2732 -2692 -2248 2352 2508 -2468 -2196 -2404 -2652 -2484 -2624 -2240 -2428 -2608 2120 2176 -2356 2120 -2696 -2304 2352 -2528 -2328 2644 -2696 2696 2736 2452 -2216 -2160 2124 2736 -2696 2212 -2452 -2696 -2432 2364 -2628 -2380 -2500 2548 2132 -2736 -2440 2304 -2136 -2260 2668 -2296 -2692 -2360 -2260 2356 -2548 -2260 2120 2252 -2640 2292 -2204 -2160 -2328 -2172 -2496 -2176 2228 2400 -2148 -2660 2160 -2404 -2224 2164 -2736 -2212 -2736 -2184 2120 -2120 -2220 2148 2484 2500 2656 -2440 2212 -2600 -2656 -2560 2536 -2492 2164 2468 -2160 -2360 -2424 -2712 2664 -2684 -2200 -2604 2468 2648 2200 -2492 -2612 -2536 2188 2392 2612 -2340 -2536 -2172 -2664 2696 -2736 -2444 -2340 -2504 2364 -2612 2244 -2176 2236 -2280 -2552 2164 -2524 2736 2336 -2124 2528 -2672 2184 2544 2736 -2312 2188 -2120 2284 2628 2340 -2160 2168 2696 2628 -2160 -2124 -2736 2416 2444 2312 2560 -2696 -2120 2312 2288 2192 2596 -2296 -2624 -2196 -2136 -2160 2668 2328 -2432 -2156 -2188 2120 2708 -2216 -2696 2296 2680 2256 -2560 2332 2560 -2736 2184 2256 2672 2664 -2204 -2204 2352 2128 -2316 2600 -2588 -2708 -2668 2692 -2304 2704 -2424 2388 2676 2476 -2720 -2352 2700 2636 -2200 -2668 2120 2264 2120 2728 2276 -2552 -2696 2488 -2420 2480 2148 2264 -2160 -2160 -2228 2176 2696 2540 -2584 -2420 -2512 2188 -2316 2556 -2684 2372 2592 -2552 -2520 2172 -2268 2324 2176 -2608 -2736 2256 2332 -2604 2120 -2620 -2416 -2224 -2292 -2584 2252 -2732 -2676 -2552 -2360 2120 -2624 2580 -2160 2620 -2276 -2320 2360 -2228 -2176 -2688 2592 -2160 2460 -2288 -2160 2588 2668 -2188 2648 2684 -2692 2356 2632 2720 -2176 2412 -2344 2588 2320 -2460 -2732 -2620 2392 2160 -2384 -2668 2144 -2696 -2160 2664 2392 2120 2176 -2468 2468 2628 -2160 2716 2444 2204 -2736 2208 2336 -2728 -2688 -2352 2328 -2572 -2476 2120 2456 -2160 -2516 -2592 2240 -2160 -2640 -2160 2696 -2716 2344 2340 -2252 2356 -2652 -2120 2288 -2736 2732 2604 2260 2448 -2460 2360 2624 -2532 -2120 -2160 -2568 -2392 -2184 -2120 -2224 2680 -2276 2600 -2736 -2232 2260 -2164 2568 -2708 -2664 -2120 -2292 2264 -2504 2672 -2464 -2332 -2576 2724 -2516 2288 -2632 2312 2296 2620 2340 -2508 2336 -2500 -2248 -2464 -2628 -2228 -2132 2256 -2392 -2696 2560 2720 -2160 -2128 -2604 2696 -2736 2616 -2696 2400 -2252 2384 -2492 -2312 -2568 -2584 2676 -2364 -2204 -2252 2668 2592 -2536 -2448 2180 -2696 -2188 2460 -2484 -2640 -2668 2504 -2368 -2704 -2724 -2340 2252 2736 -2660 -2244 -2148 2500 -2440 -2208 2224 2164 2688 2612 2436 -2328 -2480 -2208 -2256 2624 -2404 -2304 2272 2268 -2168 -2708 2120 -2708 -2300 -2428 2248 -2516 2716 -2644 -2304 -2464 -2736 -2144 -2328 -2552 -2568 -2136 -2372 -2560 -2640 -2460 -2352 -2188 -2584 -2184 2380 2444 -2512 2692 2696 -2176 -2212 2160 2688 -2536 2440 2708 -2696 -2632 -2280 2680 2572 2408 2308 2188 2548 -2624 -2544 2536 2700 2428 2464 2260 2736 -2736 2516 2120 -2668 2156 -2692 2188 2264 2660 -2296 -2596 -2208 -2216 2544 -2156 -2216 2180 -2668 -2284 2132 -2420 2556 -2736 2660 -2120 -2540 -2280 2244 2160 2252 -2288 2444 -2600 -2452 2368 2572 -2160 -2188 -2644 2252 -2120 -2656 -2640 -2228 -2268 -2668 -2160 2528 2132 2680 -2204 -2280 -2696 2736 -2160 2724 2600 -2736 -2400 2124 2384 2420 2540 2172 2652 2652 2228 2588 -2532 2600 2424 2600 -2448 2140 2496 -2384 -2664 -2176 -2476 2572 2664 -2172 -2728 2120 2164 2160 2728 2700 2384 2272 -2520 2296 -2184 -2400 2232 2356 2124 2728 -2364 2676 2620 -2624 2252 -2436 -2736 -2136 2388 -2500 -2668 -2396 2632 -2132 -2120 -2328 -2384 2676 -2736 -2704 -2432 -2472 -2504 -2120 2356 2576 -2508 -2712 2664 2460 -2612 2172 2360 -2280 -2396 -2160 2588 -2288 2380 -2556 -2200 -2596 -2632 -2340 2148 2324 2344 -2736 -2484 -2564 2600 -2260 -2668 2204 2200 -2300 -2160 -2680 2120 -2704 2436 -2612 2716 -2696 2700 -2696 -2452 2508 -2720 -2468 -2616 2120 -2500 -2480 -2376 -2620 -2568 -2160 -2692 -2520 -2532 -2372 2124 -2172 -2544 -2160 -2176 -2300 -2512 2648 -2132 -2364 -2216 -2676 -2696 -2612 -2560 -2348 2736 -2584 2564 -2160 2472 -2504 -2420 2720 -2664 -2228 -2668 -2432 -2164 -2696 2180 2716 2220 -2696 2124 2356 2120 -2188 2236 2120 -2272 -2420 -2312 2120 2252 -2696 2484 2672 -2184 2396 2572 -2160 2424 2232 -2736 2468 -2384 -2736 -2320 -2624 -2260 2148 -2200 -2708 -2172 2216 2140 2260 -2504
1248.55/1256.01 d NODES 18052
1248.55/1256.01 d CHECKS 3099229490
1248.55/1256.01
1248.55/1256.01 totalWckTime=1255.833 totalCpuTime=1246.56
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097780-1247414016/watcher-2097780-1247414016 -o /tmp/evaluation-result-2097780-1247414016/solver-2097780-1247414016 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097780-1247414016.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.97 4/81 1350
/proc/meminfo: memFree=1621528/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=18576 CPUtime=0
/proc/1350/stat : 1350 (runsolver) R 1348 1350 30726 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28467014 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 265674091815 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1350/statm: 4644 284 249 26 0 2626 0
[startup+0.086935 s]
/proc/loadavg: 1.92 1.98 1.97 4/81 1350
/proc/meminfo: memFree=1621528/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=865956 CPUtime=0.06
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 3614 0 1 0 5 1 0 0 18 0 9 0 28467014 886738944 3097 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216489 3097 1652 9 0 210981 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865956
[startup+0.102936 s]
/proc/loadavg: 1.92 1.98 1.97 4/81 1350
/proc/meminfo: memFree=1621528/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=865984 CPUtime=0.08
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 3831 0 1 0 6 2 0 0 18 0 9 0 28467014 886767616 3274 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216496 3274 1722 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301973 s]
/proc/loadavg: 1.92 1.98 1.97 4/81 1350
/proc/meminfo: memFree=1621528/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=866376 CPUtime=0.28
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 5810 0 1 0 25 3 0 0 18 0 9 0 28467014 887169024 5188 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216594 5188 1972 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866376
[startup+0.701049 s]
/proc/loadavg: 1.92 1.98 1.97 4/81 1350
/proc/meminfo: memFree=1621528/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867244 CPUtime=0.68
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 10655 0 1 0 62 6 0 0 18 0 9 0 28467014 888057856 10017 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216811 10017 2001 9 0 211269 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867244
[startup+1.5012 s]
/proc/loadavg: 1.92 1.98 1.97 3/90 1359
/proc/meminfo: memFree=1575312/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867540 CPUtime=1.47
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 20783 0 1 0 138 9 0 0 18 0 9 0 28467014 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216885 20111 2029 9 0 211343 0
[pid=1350/tid=1352] ppid=1348 vsize=867540 CPUtime=1.22
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 15791 0 1 0 115 7 0 0 25 0 9 0 28467015 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4126547987 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867540 CPUtime=0.05
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 3643 0 0 0 5 0 0 0 16 0 9 0 28467017 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28467019 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867540 CPUtime=0.17
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 648 0 0 0 17 0 0 0 16 0 9 0 28467019 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28467019 888360960 20111 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467019 888360960 20111 996147200 134512640 134550932 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) 867540
[startup+3.1025 s]
/proc/loadavg: 1.92 1.98 1.97 3/90 1359
/proc/meminfo: memFree=1536592/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867540 CPUtime=3.07
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 23842 0 1 0 297 10 0 0 18 0 9 0 28467014 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216885 23166 2032 9 0 211343 0
[pid=1350/tid=1352] ppid=1348 vsize=867540 CPUtime=2.7
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 15827 0 1 0 263 7 0 0 25 0 9 0 28467015 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4126935415 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867540 CPUtime=0.14
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 6647 0 0 0 13 1 0 0 17 0 9 0 28467017 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28467019 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867540 CPUtime=0.19
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 667 0 0 0 19 0 0 0 16 0 9 0 28467019 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28467019 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467019 888360960 23166 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867540
[startup+6.30112 s]
/proc/loadavg: 1.93 1.98 1.97 3/90 1359
/proc/meminfo: memFree=1536016/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867540 CPUtime=6.25
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 23873 0 1 0 614 11 0 0 18 0 9 0 28467014 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216885 23194 2032 9 0 211343 0
[pid=1350/tid=1352] ppid=1348 vsize=867540 CPUtime=5.86
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 15831 0 1 0 578 8 0 0 25 0 9 0 28467015 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4126936516 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867540 CPUtime=0.14
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 6647 0 0 0 13 1 0 0 16 0 9 0 28467017 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28467019 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867540 CPUtime=0.22
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 694 0 0 0 22 0 0 0 15 0 9 0 28467019 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28467019 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467019 888360960 23194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867540
[startup+12.7014 s]
/proc/loadavg: 1.93 1.98 1.97 3/90 1359
/proc/meminfo: memFree=1526104/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867540 CPUtime=12.62
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 26345 0 1 0 1249 13 0 0 18 0 9 0 28467014 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216885 25664 2032 9 0 211343 0
[pid=1350/tid=1352] ppid=1348 vsize=867540 CPUtime=12.09
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 15833 0 1 0 1200 9 0 0 25 0 9 0 28467015 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4126962873 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867540 CPUtime=0.27
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 9114 0 0 0 25 2 0 0 17 0 9 0 28467017 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28467019 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867540 CPUtime=0.22
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 697 0 0 0 22 0 0 0 16 0 9 0 28467019 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28467019 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467019 888360960 25664 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867540
[startup+25.5028 s]
/proc/loadavg: 1.95 1.98 1.97 3/90 1359
/proc/meminfo: memFree=1505880/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867540 CPUtime=25.35
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 32863 0 1 0 2518 17 0 0 18 0 9 0 28467014 888360960 32173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216885 32173 2034 9 0 211343 0
[pid=1350/tid=1352] ppid=1348 vsize=867540 CPUtime=24.28
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 15849 0 1 0 2418 10 0 0 25 0 9 0 28467015 888360960 32173 996147200 134512640 134550932 4294955968 18446744073709551615 102094004 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867540 CPUtime=0.76
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 15582 0 0 0 71 5 0 0 16 0 9 0 28467017 888360960 32173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 32173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28467017 888360960 32173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28467019 888360960 32173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867540 CPUtime=0.28
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 731 0 0 0 28 0 0 0 16 0 9 0 28467019 888360960 32173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28467019 888360960 32173 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867540 CPUtime=0
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28467019 888360960 32173 996147200 134512640 134550932 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) 867540
[startup+51.1018 s]
/proc/loadavg: 1.96 1.98 1.97 3/90 1363
/proc/meminfo: memFree=1466840/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867864 CPUtime=50.82
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 70342 937 1 0 5038 28 14 2 18 0 9 0 28467014 888692736 41073 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216966 41073 2641 9 0 211424 0
[pid=1350/tid=1352] ppid=1348 vsize=867864 CPUtime=49.19
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 30612 937 1 0 4889 14 14 2 25 0 9 0 28467015 888692736 41073 996147200 134512640 134550932 4294955968 18446744073709551615 4127174433 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867864 CPUtime=1.36
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 37914 937 0 0 109 11 14 2 16 0 9 0 28467017 888692736 41073 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 20 937 0 0 0 0 14 2 16 0 9 0 28467017 888692736 41073 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 29 937 0 0 0 0 14 2 15 0 9 0 28467017 888692736 41073 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 937 0 0 0 0 14 2 18 0 9 0 28467019 888692736 41073 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867864 CPUtime=0.54
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 943 937 0 0 38 0 14 2 16 0 9 0 28467019 888692736 41073 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 937 0 0 0 0 14 2 19 0 9 0 28467019 888692736 41073 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 70411 937 1 0 124007 30 14 2 18 0 9 0 28467014 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216966 41112 2641 9 0 211424 0
[pid=1350/tid=1352] ppid=1348 vsize=867864 CPUtime=1238.83
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 30632 937 1 0 123851 16 14 2 25 0 9 0 28467015 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4127425779 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867864 CPUtime=1.36
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 37914 937 0 0 109 11 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 20 937 0 0 0 0 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 29 937 0 0 0 0 14 2 15 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 937 0 0 0 0 14 2 18 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867864 CPUtime=0.61
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 992 937 0 0 45 0 14 2 16 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 937 0 0 0 0 14 2 19 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 13 937 0 0 0 0 14 2 15 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1240.53
Current children cumulated vsize (KiB) 867864
[startup+1251.1 s]
/proc/loadavg: 2.12 2.09 2.01 3/90 1410
/proc/meminfo: memFree=1535320/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867864 CPUtime=1243.69
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 70411 937 1 0 124323 30 14 2 18 0 9 0 28467014 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216966 41112 2641 9 0 211424 0
[pid=1350/tid=1352] ppid=1348 vsize=867864 CPUtime=1242
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 30632 937 1 0 124168 16 14 2 25 0 9 0 28467015 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4126931816 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867864 CPUtime=1.36
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 37914 937 0 0 109 11 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 20 937 0 0 0 0 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 29 937 0 0 0 0 14 2 15 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 937 0 0 0 0 14 2 18 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867864 CPUtime=0.61
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 992 937 0 0 45 0 14 2 16 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 937 0 0 0 0 14 2 19 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 13 937 0 0 0 0 14 2 15 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1243.69
Current children cumulated vsize (KiB) 867864
[startup+1254.3 s]
/proc/loadavg: 2.11 2.09 2.01 3/90 1410
/proc/meminfo: memFree=1535320/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867864 CPUtime=1246.86
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 70411 937 1 0 124640 30 14 2 18 0 9 0 28467014 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216966 41112 2641 9 0 211424 0
[pid=1350/tid=1352] ppid=1348 vsize=867864 CPUtime=1245.17
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 30632 937 1 0 124485 16 14 2 25 0 9 0 28467015 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4126972327 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867864 CPUtime=1.36
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 37914 937 0 0 109 11 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 20 937 0 0 0 0 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 29 937 0 0 0 0 14 2 15 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 937 0 0 0 0 14 2 18 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867864 CPUtime=0.61
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 992 937 0 0 45 0 14 2 16 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 937 0 0 0 0 14 2 19 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 13 937 0 0 0 0 14 2 15 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1246.86
Current children cumulated vsize (KiB) 867864
[startup+1255.11 s]
/proc/loadavg: 2.11 2.09 2.01 3/90 1410
/proc/meminfo: memFree=1535320/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867864 CPUtime=1247.66
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 70411 937 1 0 124720 30 14 2 18 0 9 0 28467014 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216966 41112 2641 9 0 211424 0
[pid=1350/tid=1352] ppid=1348 vsize=867864 CPUtime=1245.96
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 30632 937 1 0 124564 16 14 2 25 0 9 0 28467015 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4126931748 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867864 CPUtime=1.36
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 37914 937 0 0 109 11 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 20 937 0 0 0 0 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 29 937 0 0 0 0 14 2 15 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 937 0 0 0 0 14 2 18 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867864 CPUtime=0.61
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 992 937 0 0 45 0 14 2 16 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 937 0 0 0 0 14 2 19 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 13 937 0 0 0 0 14 2 15 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1247.66
Current children cumulated vsize (KiB) 867864
[startup+1255.5 s]
/proc/loadavg: 2.11 2.09 2.01 3/90 1410
/proc/meminfo: memFree=1535320/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867864 CPUtime=1248.05
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 70411 937 1 0 124759 30 14 2 18 0 9 0 28467014 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216966 41112 2641 9 0 211424 0
[pid=1350/tid=1352] ppid=1348 vsize=867864 CPUtime=1246.35
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 30632 937 1 0 124603 16 14 2 25 0 9 0 28467015 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4127451734 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867864 CPUtime=1.36
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 37914 937 0 0 109 11 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 20 937 0 0 0 0 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 29 937 0 0 0 0 14 2 15 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 937 0 0 0 0 14 2 18 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867864 CPUtime=0.61
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 992 937 0 0 45 0 14 2 16 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 937 0 0 0 0 14 2 19 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 13 937 0 0 0 0 14 2 15 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1248.05
Current children cumulated vsize (KiB) 867864
[startup+1255.9 s]
/proc/loadavg: 2.11 2.09 2.01 3/90 1410
/proc/meminfo: memFree=1535320/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867864 CPUtime=1248.45
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 70411 937 1 0 124799 30 14 2 18 0 9 0 28467014 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216966 41112 2641 9 0 211424 0
[pid=1350/tid=1352] ppid=1348 vsize=867864 CPUtime=1246.75
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 30632 937 1 0 124643 16 14 2 25 0 9 0 28467015 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4127173825 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867864 CPUtime=1.36
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 37914 937 0 0 109 11 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 20 937 0 0 0 0 14 2 16 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 29 937 0 0 0 0 14 2 15 0 9 0 28467017 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 937 0 0 0 0 14 2 18 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867864 CPUtime=0.61
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 992 937 0 0 45 0 14 2 16 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 937 0 0 0 0 14 2 19 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 13 937 0 0 0 0 14 2 15 0 9 0 28467019 888692736 41112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1248.45
Current children cumulated vsize (KiB) 867864
[startup+1256 s]
/proc/loadavg: 2.11 2.09 2.01 3/90 1410
/proc/meminfo: memFree=1535320/2055920 swapFree=4192812/4192956
[pid=1350] ppid=1348 vsize=867864 CPUtime=1248.55
/proc/1350/stat : 1350 (java) S 1348 1350 30726 0 -1 0 70417 937 1 0 124809 30 14 2 18 0 9 0 28467014 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1350/statm: 216966 41117 2641 9 0 211424 0
[pid=1350/tid=1352] ppid=1348 vsize=867864 CPUtime=1246.85
/proc/1350/task/1352/stat : 1352 (java) R 1348 1350 30726 0 -1 64 30635 937 1 0 124653 16 14 2 25 0 9 0 28467015 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4125978581 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1353] ppid=1348 vsize=867864 CPUtime=1.36
/proc/1350/task/1353/stat : 1353 (java) S 1348 1350 30726 0 -1 64 37914 937 0 0 109 11 14 2 16 0 9 0 28467017 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1354] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1354/stat : 1354 (java) S 1348 1350 30726 0 -1 64 20 937 0 0 0 0 14 2 16 0 9 0 28467017 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1355] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1355/stat : 1355 (java) S 1348 1350 30726 0 -1 64 29 937 0 0 0 0 14 2 15 0 9 0 28467017 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1350/tid=1356] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1356/stat : 1356 (java) S 1348 1350 30726 0 -1 64 2 937 0 0 0 0 14 2 18 0 9 0 28467019 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1357] ppid=1348 vsize=867864 CPUtime=0.62
/proc/1350/task/1357/stat : 1357 (java) S 1348 1350 30726 0 -1 64 995 937 0 0 46 0 14 2 16 0 9 0 28467019 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1358] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1358/stat : 1358 (java) S 1348 1350 30726 0 -1 64 0 937 0 0 0 0 14 2 19 0 9 0 28467019 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1350/tid=1359] ppid=1348 vsize=867864 CPUtime=0.16
/proc/1350/task/1359/stat : 1359 (java) S 1348 1350 30726 0 -1 64 13 937 0 0 0 0 14 2 15 0 9 0 28467019 888692736 41117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1248.55
Current children cumulated vsize (KiB) 867864
Child status: 0
Real time (s): 1256.07
CPU time (s): 1248.61
CPU user time (s): 1248.25
CPU system time (s): 0.358945
CPU usage (%): 99.4058
Max. virtual memory (cumulated for all children) (KiB): 867952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1248.25
system time used= 0.358945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71390
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= 27775
involuntary context switches= 49801
runsolver used 1.54076 second user time and 4.18336 second system time
The end
Begin job on node76 at 2009-07-12 17:53:37
IDJOB=2097780
IDBENCH=57740
IDSOLVER=774
FILE ID=node76/2097780-1247414016
PBS_JOBID= 9510498
Free space on /tmp= 66424 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097780-1247414016/watcher-2097780-1247414016 -o /tmp/evaluation-result-2097780-1247414016/solver-2097780-1247414016 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097780-1247414016.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 029bcf31114915c1681378a4f18ed14e
RANDOM SEED=803116703
node76.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.277
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.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1622008 kB
Buffers: 43236 kB
Cached: 130912 kB
SwapCached: 0 kB
Active: 298924 kB
Inactive: 74596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1622008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5552 kB
Writeback: 0 kB
Mapped: 219856 kB
Slab: 45224 kB
Committed_AS: 1000804 kB
PageTables: 2208 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= 66420 MiB
End job on node76 at 2009-07-12 18:14:33