Trace number 201182

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 441.864 446.582

DiagnosticValue
CHECKS518966018
NODES8612

General information on the benchmark

Namefapp/fapp11-15/fapp12/
fapp12-1500-9.xml
MD5SUMe607438c7b2869fc3dff7cfb5d7cfcb3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark25.3261
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Solver Data (download as text)

0.37	   
0.37	Abscon 109 (November, 2006)
0.37	   
0.37	   configuration
0.37	     name=esac.xml
0.40	   
0.40	   instance
0.40	     name=/tmp/evaluation/201182-1168145912/unknown.xml
0.44	   
0.44	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.73	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310
0.73	       =>  wckTime=0.355  cpuTime=0.25  mem=22M513
0.73	   
0.73	   predicates being loaded...
0.73	   
0.73	   constraints being loaded...
204.04	   
204.05	   INFO : Stopping converting binary constraints (cpu=200.05, mem = 91M286)
206.19	     nbConstraints=13439  nbMergedConstraints=11970  nbConvertedConstraints=5018  nbConvertConstraintsChecks=322865950
206.19	     nbExtensionStructures=3783  nbSharedExtensionStructures=1235  nbConflictsStructures=3783
206.19	     nbSharedConflictsStructures=1235  nbSharedBinaryRepresentations=1791374  nbEvaluationManagers=6037
206.19	     nbSharedEvaluationManagers=2384  maxDegree=22  maxArity=2
206.19	       =>  wckTime=205.817  cpuTime=201.89  mem=138M537
206.72	   
206.72	   solver IterativeSystematicSolver being built... 
207.21	       =>  wckTime=206.838  cpuTime=202.24  mem=148M25
277.02	   
277.02	   INFO : Stopping ESAC
277.02	   
277.02	   preprocessing
277.02	     nbConstraintChecks=127667507  nbValidityChecks=44888910  nbPropagations=28082  nbRevisions=354893
277.02	     nbUselessRevisions=323448  nbSingletonTests=532  nbEffectiveSingletonTests=3  nbESACBranches=8
277.02	     nbRemovedValues=144639  detectedInconsistency=no
277.02	       =>  wckTime=69.788  cpuTime=69.01  mem=148M25
286.97	   
286.97	   search
286.97	     run=0  nbConstraintChecks=18461947  nbValidityChecks=13288768  nbPropagations=36598  nbRevisions=463531
286.97	     nbUselessRevisions=420449  nbAssignments=206  nbFailedAssignments=22  nbBacktracks=14  nbVisitedNodes=232
286.97	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=184
286.97	       =>  wckTime=79.742  cpuTime=78.85  mem=150M44
314.35	   
314.35	   search
314.35	     run=1  nbConstraintChecks=76776167  nbValidityChecks=54413663  nbPropagations=104989  nbRevisions=1324517
314.35	     nbUselessRevisions=1195497  nbAssignments=1049  nbFailedAssignments=65  nbBacktracks=30  nbVisitedNodes=999
314.35	     nbRestartNogoods=12  mapSize=7  nbInferences=0  nbTooLargeKeys=397
314.35	       =>  wckTime=107.121  cpuTime=105.92  mem=168M352
446.53	   
446.53	   search
446.53	     run=2  nbConstraintChecks=391298511  nbValidityChecks=406313941  nbPropagations=419600  nbRevisions=5191991
446.53	     nbUselessRevisions=4718296  nbAssignments=8612  nbFailedAssignments=83  nbBacktracks=32  nbVisitedNodes=2538
446.53	     nbRestartNogoods=36  mapSize=8  nbInferences=0  nbTooLargeKeys=606
446.53	       =>  wckTime=239.297  cpuTime=236.61  mem=182M998
446.53	   
446.53	   global
446.53	     nbConstraintChecks=518966018  nbValidityChecks=451202851  nbPropagations=447682  nbRevisions=5546884
446.53	     nbUselessRevisions=5041744  nbRestartNogoods=36  solvingWckTime=239.298  solvingCpuTime=236.61  expiredTime=no
446.53	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=438.91
446.53	       =>  wckTime=446.158  cpuTime=438.86  mem=182M998
446.53	   
446.53	s SATISFIABLE
446.53	v -2212 -2588 -2268 -2620 -2456 2576 2372 2588 -2300 2392 -2268 2144 2672 2504 2648 2624 -2736 -2276 2688 -2204 -2160 2608 -2172 -2264 2676 -2424 2684 2308 -2444 -2340 2500 -2388 -2220 -2548 2684 2648 -2168 -2272 2260 2672 2544 -2716 -2344 -2524 2268 -2296 2248 -2724 -2252 -2440 2560 -2400 -2688 -2368 -2620 -2136 2188 -2692 2688 2436 -2636 -2344 -2556 -2440 2696 -2416 -2676 2164 2132 2160 -2684 2680 -2612 2516 2144 2696 2524 -2700 2324 -2160 2164 2380 2256 2696 -2436 -2128 2716 -2348 -2176 -2736 2556 -2676 2140 -2736 2736 -2532 -2736 -2172 -2152 -2204 -2544 -2156 -2128 2724 -2496 2384 2568 -2364 2196 2556 2396 -2160 2576 2592 -2236 2572 2612 2312 2400 -2364 2432 -2684 -2648 -2120 2532 2572 2652 2684 2624 2548 -2260 -2164 -2532 2356 -2184 -2204 2480 2696 -2496 2248 2360 2716 -2120 2224 2136 -2664 -2736 2528 -2360 2348 -2436 -2128 2288 2160 2676 -2132 2260 -2324 2556 -2684 -2328 -2736 2216 2136 -2476 -2716 2608 2628 2656 -2120 2532 2568 2148 2424 -2736 -2516 2636 2556 -2732 -2120 -2192 -2500 2188 -2236 -2736 -2336 2548 -2644 -2136 -2216 2240 2128 2628 -2192 2396 -2492 -2716 -2216 2696 -2148 2548 2324 2696 2696 2692 2164 2724 2128 -2372 -2388 -2160 2644 2460 -2736 2260 -2552 -2120 -2624 -2612 2316 2516 2180 -2324 -2484 -2456 -2280 -2316 2640 2204 2488 2396 2476 -2412 -2128 -2200 2312 2468 -2188 -2340 -2276 -2340 2692 -2140 -2636 -2376 2472 -2156 2260 -2736 2648 2388 -2696 -2160 2372 2596 -2204 2552 2696 -2344 2356 2176 -2120 -2376 2332 -2188 2324 -2148 2180 -2404 -2696 -2252 2272 2444 2448 -2240 2160 -2680 -2488 2176 2356 2556 -2120 2352 -2696 2400 -2120 -2380 -2684 2372 2668 -2272 2148 -2392 -2180 2628 -2588 -2736 2460 -2420 2684 -2544 2544 -2184 2672 -2576 2688 -2736 2624 -2192 2520 2252 2168 2636 2308 2176 -2656 2220 -2660 2728 -2160 2728 2404 2696 -2192 -2140 -2160 2728 2604 -2232 2704 2196 2340 -2324 -2184 -2592 -2276 -2592 2316 2268 -2592 2628 -2136 -2280 2288 -2372 -2668 2256 2624 2660 2632 2656 2572 2552 2588 -2236 -2132 2344 2348 -2736 2160 -2640 -2736 2208 2472 -2576 -2124 -2736 2392 2208 -2160 2156 2280 2324 2212 2676 -2736 -2588 -2276 -2732 2480 2120 -2736 2456 -2696 2248 -2176 -2452 -2436 -2160 2356 -2164 2424 -2164 -2120 -2168 -2300 2464 -2268 -2416 -2184 -2176 2548 -2168 -2260 2412 -2160 -2448 2436 2364 2580 2276 -2448 -2736 -2220 2660 -2176 2268 -2720 2292 2480 2600 2548 2376 -2240 -2312 -2432 2596 2728 -2696 -2120 -2520 -2724 2688 2692 -2584 2540 -2484 2396 -2244 2368 -2420 2696 2312 -2120 -2524 -2180 2676 -2452 -2672 -2736 2156 -2292 2384 2556 2712 2396 2676 2316 2288 -2600 2676 -2540 -2228 -2120 2736 -2432 -2120 -2528 2696 -2320 2628 -2348 -2264 2736 2332 2432 2276 2404 -2296 -2736 -2472 -2160 2220 -2328 -2336 -2316 -2328 2696 2228 -2348 2492 -2528 -2440 -2140 2136 -2736 -2344 2124 2696 -2692 2188 -2320 -2296 -2120 -2208 2648 2584 -2384 -2452 2228 2428 -2688 2676 -2480 2628 -2248 -2332 2660 -2312 2260 -2256 2668 -2120 2560 2736 2136 2500 2468 -2728 2388 2696 2364 -2216 -2688 2208 2632 2252 2652 2736 2168 2452 2488 2324 2216 2696 -2388 2120 2216 -2732 2652 2228 -2736 -2684 2628 2164 -2660 -2332 -2664 -2552 2160 -2492 2692 2408 -2188 -2120 -2700 -2232 2216 -2128 2616 -2152 2132 -2180 2680 -2252 -2736 -2260 2400 2212 -2168 2256 -2120 -2704 -2592 -2560 -2716 -2184 -2148 -2552 2696 -2612 -2508 -2732 -2124 2692 2304 -2652 2408 2220 2272 -2160 -2268 2616 -2120 -2404 -2176 2128 2616 -2420 -2668 2716 -2164 2736 -2384 2408 -2340 2696 -2440 2412 -2136 -2464 -2596 -2260 2488 -2624 2168 -2692 -2296 -2312 2184 -2248 -2268 2628 2628 2532 2400 -2368 -2612 -2144 2312 2176 2696 -2324 2348 2564 2696 -2316 -2184 -2512 2352 2380 2720 -2500 -2292 -2568 2488 2648 2720 2680 -2208 -2120 -2456 2264 2732 -2736 -2548 2664 2128 2724 -2520 2676 -2640 2388 -2256 -2716 -2180 2644 -2432 -2180 -2412 2620 -2120 2680 2664 -2556 -2316 -2668 2120 2624 2332 2520 -2284 -2136 -2660 2208 -2412 -2372 -2664 2704 2388 2660 -2168 2120 -2120 -2540 -2640 2676 2508 -2604 -2596 -2644 2176 2620 2496 2272 -2120 2464 -2668 -2716 2208 2204 -2128 -2228 -2136 -2376 -2160 -2604 -2612 2132 2160 -2676 2248 -2208 -2436 2244 -2448 -2336 -2312 -2508 2552 -2736 2192 -2240 -2372 -2384 -2728 -2344 -2512 2284 2156 -2676 -2680 2504 -2244 -2340 -2668 2364 -2164 2248 2696 2460 -2656 2196 -2396 -2624 -2148 -2160 -2416 -2472 -2648 -2152 -2136 2592 -2184 2520 2732 -2736 2724 -2624 2188 -2456 -2248 -2652 -2696 -2240 2160 2672 -2236 -2176 2616 -2368 -2556 2536 -2140 -2688 2380 2236 2140 -2160 2696 2324 2264 -2248 -2304 -2176 -2504 -2352 -2288 2356 2708 -2276 -2152 -2216 2432 2292 -2484 2168 -2244 -2288 2468 -2668 -2120 2232 -2160 -2160 2736 -2196 -2128 2652 2428 2124 -2192 -2176 2280 2432 2596 -2400 -2160 -2620 2688 2680 -2736 -2352 -2168 -2476 -2128 -2416 2280 -2716 -2580 -2536 -2120 -2480 -2556 -2684 2200 2120 -2540 2604 -2120 2212 -2688 2292 2352 2184 2364 2412 -2692 2396 -2332 2372 -2300 -2620 -2152 -2160 2204 2356 2528 2172 -2696 -2712 -2160 -2132 -2692 2632 -2336 2448 2696 2204 2204 -2120 -2204 -2640 -2160 -2160 -2160 -2736 -2680 2248 -2568 2692 2336 2308 2444 2616 -2696 2328 -2176 2284 2196 -2700 -2356 2540 -2280 -2180 -2256 -2680 -2404 -2600 2140 -2204 -2736 2504 -2240 2168 2120 2676 2376 -2692 2492 2696 -2664 2160 -2284 2688 2680 2192 -2120 2252 -2160 2352 2636 2640 2736 -2668 -2720 2292 2728 -2260 -2448 2304 -2532 2724 2160 -2660 2696 -2172 2668 2216 -2312 -2164 -2712 -2292 -2516 -2616 2584 2460 -2600 -2120 2244 -2248 -2140 -2396 2172 -2696 -2592 2616 -2520 2584 2228 2228 -2624 2696 2172 2500 -2608 -2476 -2268 -2268 2256 2160 2648 -2160 2268 2272 2656 -2120 2596 2608 2436 2372 -2336 2412 -2696 -2736 2624 -2364 2160 2596 -2708 2164 -2644 -2292 2416 2464 2132 -2352 -2676 2604 -2120 2704 -2380 -2160 -2548 2668 2120 2688 2724 2696 2364 2608 2716 2212 2664 2120 -2696 -2244 2672 2680 2684 2120 -2168 -2472 -2628 -2692 -2728 -2256 2588 -2560 -2120 2180 -2212 2436 -2736 2212 2736 -2488 -2120 -2736 -2368 -2204 -2736 -2592 -2340 -2168 -2696 -2428 2144 -2568 -2160 -2588 -2488 -2192 -2124 -2716 2184 2644 2696 -2332 2348 2228 -2460 -2500 -2160 2284 -2416 -2304 2608 -2272 -2392 2392 -2388 -2600 2472 -2160 -2160 2584 -2340 -2160 -2200 -2376 -2728 -2160 -2664 -2652 2212 2328 -2160 2696 2720 2648 2232 2240 2120 -2304 -2504 2380 -2332 -2644 -2576 -2584 -2472 2552 2216 2120 2608 2364 2408 -2352 -2664 2228 -2344 2628 2228 2252 -2124 -2380 2656 2660 2508 2120 2348 2564 -2732 2696 -2592 -2736 2364 -2300 -2436 2548 -2236 -2512 -2696 -2716 -2384 -2120 -2316 -2656 -2568 -2528 -2344 2128 2692 -2268 2408 -2692 2700 -2544 2632 -2208 2460 -2736 2172 -2296 2168 2696 -2120 2164 2632 2404 -2244 -2224 2160 2708 -2668 -2512 -2244 -2580 2144 2228 -2472 2268 -2224 2196 -2204 -2388 -2736 2120 -2668 -2404 2416 2328 2584 2704 -2696 2188 -2220 2420 -2124 2276 -2572 2732 -2208 -2244 2404 2640 -2452 2284 2232 -2616 -2304 -2120 -2640 2584 2736 -2556 -2140 2276 -2188 -2648 -2580 -2292 2736 2516 -2540 -2200 2696 2616 2304 -2336 -2508 2488 -2692 -2412 -2440 2456 -2596 -2672 2180 2572 2696 2468 -2160 -2700 2320 2664 -2120 2264 2520 -2192 2396 2224 2172 -2736 -2328 2196 -2228 -2668 2160 -2228 -2408 2536 2664 -2676 2168 2672 2204 -2168 2368 2280 2268 -2260 2732 -2288 -2144 -2564 2240 2284 -2688 2220 -2172 -2664 2696 -2228 -2172 -2688 -2340 -2712 2128 -2736 -2160 -2140 -2692 2360 -2196 2616 2660 2732 2348 -2256 -2416 -2144 -2508 2120 -2476 -2696 2268 -2544 -2220 2600 -2492 -2688 2332 -2168 -2488 -2440 2420 -2280 -2572 -2548 -2632 2168 2720 -2160 -2208 -2432 2632 2560 2320 2176 2448 2244 2176 -2448 -2192 2312 -2296 2708 -2192 2480 -2668 -2624 2280 2492 2696 2160 -2300 -2448 2700 2364 2448 -2160 2256 2324 2484 -2648 2732 2640 2232 2596 2312 2160 -2224 -2632 -2712 -2672 2664 2436 2576 2148 2292 2416 -2492 2164 -2668 -2160 -2560 2468 -2232 -2624 -2620 2364 2164 2312 2396 2680 -2440 -2560 2736 2284 2628 2120 -2124 2292 2172 -2664 2172 2404 2412 2680 2344 2732 2560 2732 2588 -2516 2696 -2448 2548 2380 -2528 -2440 2168 -2716 2532 -2160 2588 -2640 2408 -2232 2176 -2164 2376 2120 -2196 -2364 2624 2684 -2124 2296 2336 -2696 -2696 -2576 2372 -2412 2352 2656 -2524 -2308 2432 -2696 2352 -2736 -2536 2272 2696 -2592 2528 2732 2164 2676 -2288 2128 2120 -2408 2596 -2160 2120 2632 2172 2476 -2304 -2484 -2204 2120 2300 2660 2396 -2456 -2552 -2132 -2456 -2136 2636 2456 2256 -2736 2504 2688 -2232 -2160 2236 -2708 2180 2240 -2136 -2212 2296 
446.53	d NODES 8612
446.53	d CHECKS 518966018
446.53	   
446.53	   totalWckTime=446.246  totalCpuTime=438.92

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node25/watcher-201182-1168145912 -o ROOT/results/node25/solver-201182-1168145912 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201182-1168145912/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.02 1.45 1.75 4/94 25911
/proc/meminfo: memFree=864816/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=9748 CPUtime=0
/proc/25910/stat : 25910 (java) D 25908 25910 25843 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 162983682 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3765028 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/25910/statm: 2437 412 333 14 0 1140 0

[startup+0.103621 s]
/proc/loadavg: 1.02 1.45 1.75 4/94 25911
/proc/meminfo: memFree=864816/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=914988 CPUtime=0.08
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 2979 0 1 0 7 1 0 0 19 0 8 0 162983682 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153584162 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228747 2725 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511693 s]
/proc/loadavg: 1.02 1.45 1.75 4/94 25911
/proc/meminfo: memFree=864816/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915328 CPUtime=0.43
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 6156 0 1 0 40 3 0 0 18 0 8 0 162983682 937295872 5895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228832 5895 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.33484 s]
/proc/loadavg: 1.02 1.45 1.75 3/101 25918
/proc/meminfo: memFree=793528/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=1.25
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 20133 0 1 0 113 12 0 0 24 0 8 0 162983682 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073773889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 19871 2160 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.05
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 3590 0 0 0 4 1 0 0 17 0 8 0 162983686 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.17
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 409 0 0 0 17 0 0 0 15 0 8 0 162983690 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 19871 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915648

[startup+2.9891 s]
/proc/loadavg: 1.02 1.45 1.75 3/101 25918
/proc/meminfo: memFree=785080/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=2.89
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 22255 0 1 0 275 14 0 0 25 0 8 0 162983682 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 21990 2180 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.14
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 5634 0 0 0 12 2 0 0 17 0 8 0 162983686 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.2
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 423 0 0 0 20 0 0 0 15 0 8 0 162983690 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 21990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915648

[startup+6.27066 s]
/proc/loadavg: 1.10 1.45 1.75 3/101 25918
/proc/meminfo: memFree=783480/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=6.14
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 22270 0 1 0 600 14 0 0 25 0 8 0 162983682 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073849018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 22005 2181 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.14
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 5634 0 0 0 12 2 0 0 16 0 8 0 162983686 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.22
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 437 0 0 0 22 0 0 0 15 0 8 0 162983690 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 22005 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915648

[startup+12.7618 s]
/proc/loadavg: 1.17 1.46 1.75 3/101 25918
/proc/meminfo: memFree=781368/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=12.57
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 22272 0 1 0 1243 14 0 0 25 0 8 0 162983682 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 22007 2181 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.14
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 5634 0 0 0 12 2 0 0 17 0 8 0 162983686 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.22
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 439 0 0 0 22 0 0 0 16 0 8 0 162983690 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 22007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915648

[startup+25.6119 s]
/proc/loadavg: 1.42 1.50 1.76 3/101 25918
/proc/meminfo: memFree=765176/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=25.3
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 25599 0 1 0 2512 18 0 0 25 0 8 0 162983682 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 25331 2182 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.32
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 8957 0 0 0 27 5 0 0 16 0 8 0 162983686 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.22
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 440 0 0 0 22 0 0 0 15 0 8 0 162983690 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 25331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915648

[startup+51.2273 s]
/proc/loadavg: 1.69 1.56 1.77 3/101 25918
/proc/meminfo: memFree=761016/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=50.68
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 25606 0 1 0 5047 21 0 0 25 0 8 0 162983682 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836930 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 25337 2182 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.32
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 8957 0 0 0 27 5 0 0 16 0 8 0 162983686 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.23
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 446 0 0 0 23 0 0 0 16 0 8 0 162983690 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 25337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915648

[startup+102.487 s]
/proc/loadavg: 1.86 1.62 1.78 3/101 25918
/proc/meminfo: memFree=721144/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=101.45
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 32119 0 1 0 10113 32 0 0 25 0 8 0 162983682 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 31846 2182 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.8
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 15458 0 0 0 71 9 0 0 16 0 8 0 162983686 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.25
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 454 0 0 0 25 0 0 0 15 0 8 0 162983690 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 31846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915648

[startup+162.531 s]
/proc/loadavg: 2.07 1.72 1.80 3/107 25992
/proc/meminfo: memFree=696856/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=160.83
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 34593 0 1 0 16043 40 0 0 25 0 8 0 162983682 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155169965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 34319 2182 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=0.98
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 17931 0 0 0 87 11 0 0 16 0 8 0 162983686 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.25
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 454 0 0 0 25 0 0 0 16 0 8 0 162983690 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 34319 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 915648

[startup+222.556 s]
/proc/loadavg: 2.12 1.80 1.83 3/107 26084
/proc/meminfo: memFree=633728/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=220.13
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 47925 0 1 0 21958 55 0 0 25 0 8 0 162983682 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074170750 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 47641 2545 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=2.11
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 30760 0 0 0 192 19 0 0 16 0 8 0 162983686 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 162983687 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.38
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 517 0 0 0 37 1 0 0 16 0 8 0 162983690 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 47641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.13
Current children cumulated vsize (KiB) 915648

[startup+282.608 s]
/proc/loadavg: 2.04 1.83 1.83 3/101 26116
/proc/meminfo: memFree=622904/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=279.57
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 47951 0 1 0 27901 56 0 0 25 0 8 0 162983682 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 47659 2547 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=2.11
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 30760 0 0 0 192 19 0 0 16 0 8 0 162983686 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 162983687 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.41
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 535 0 0 0 40 1 0 0 16 0 8 0 162983690 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 47659 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.57
Current children cumulated vsize (KiB) 915648

[startup+342.661 s]
/proc/loadavg: 2.08 1.88 1.84 3/101 26116
/proc/meminfo: memFree=584184/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=338.97
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 55507 0 1 0 33836 61 0 0 25 0 8 0 162983682 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 55205 2548 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=2.22
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 38295 0 0 0 199 23 0 0 16 0 8 0 162983686 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.44
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 549 0 0 0 43 1 0 0 16 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (KiB) 915648

[startup+402.705 s]
/proc/loadavg: 2.03 1.90 1.85 3/101 26116
/proc/meminfo: memFree=572984/2055920 swapFree=4192812/4192956
[pid=25910] ppid=25908 vsize=915648 CPUtime=398.42
/proc/25910/stat : 25910 (java) R 25908 25910 25843 0 -1 0 55509 0 1 0 39780 62 0 0 25 0 8 0 162983682 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837740 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25910/statm: 228912 55205 2548 14 0 215382 0
[pid=25910/tid=25912] ppid=25908 vsize=915648 CPUtime=2.22
/proc/25910/task/25912/stat : 25912 (java) S 25908 25910 25843 0 -1 64 38295 0 0 0 199 23 0 0 16 0 8 0 162983686 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25913] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25913/stat : 25913 (java) S 25908 25910 25843 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 162983687 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25914] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25914/stat : 25914 (java) S 25908 25910 25843 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 162983687 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25915] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25915/stat : 25915 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25916] ppid=25908 vsize=915648 CPUtime=0.44
/proc/25910/task/25916/stat : 25916 (java) S 25908 25910 25843 0 -1 64 550 0 0 0 43 1 0 0 16 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25917] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25917/stat : 25917 (java) S 25908 25910 25843 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25910/tid=25918] ppid=25908 vsize=915648 CPUtime=0
/proc/25910/task/25918/stat : 25918 (java) S 25908 25910 25843 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162983690 937623552 55205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.42
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 446.582
CPU time (s): 441.864
CPU user time (s): 441.202
CPU system time (s): 0.661899
CPU usage (%): 98.9435
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 441.202
system time used= 0.661899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55525
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= 11051
involuntary context switches= 26520

runsolver used 0.573912 s user time and 1.52177 s system time

The end

Launcher Data (download as text)

Begin job on node25 on Sun Jan  7 04:58:33 UTC 2007


IDJOB= 201182
IDBENCH= 3748
FILE ID= node25/201182-1168145912

PBS_JOBID= 3478146

Free space on /tmp= 66547 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201182-1168145912/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-201182-1168145912 -o ROOT/results/node25/solver-201182-1168145912 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201182-1168145912/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e607438c7b2869fc3dff7cfb5d7cfcb3

RANDOM SEED= 569506624

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.279
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.279
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:        865296 kB
Buffers:         57928 kB
Cached:         624180 kB
SwapCached:          0 kB
Active:         609332 kB
Inactive:       502128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        865296 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5112 kB
Writeback:           0 kB
Mapped:         457124 kB
Slab:            63056 kB
Committed_AS:  3983276 kB
PageTables:       3152 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= 66547 MiB



End job on node25 on Sun Jan  7 05:06:00 UTC 2007