Trace number 1086013

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 112v4 ACSAT 1072.47 1076.76

DiagnosticValue
CHECKS2710230000
NODES16896

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-10.xml
MD5SUM029bcf31114915c1681378a4f18ed14e
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 benchmark1072.47
Satisfiable
(Un)Satisfiability was proved
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.03/0.08	
0.03/0.08	Abscon 112 (May, 2008)
0.19/0.22	
0.19/0.22	   configuration
0.19/0.22	     name=mac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-1086013-1215236872.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.35	   
0.29/0.35	   variables being loaded...
0.49/0.58	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310  nbTotalValues=436967
0.49/0.58	       =>  wckTime=0.36  cpuTime=0.24  mem=23M500
0.49/0.58	   
0.49/0.58	   predicates being loaded...
0.59/0.64	   
0.59/0.64	   constraints being loaded...
20.69/20.86	   
20.69/20.86	   INFO : Stopping converting binary constraints (cpu=20.07, mem = 46M237)
27.15/27.33	     nbConstraints=13445  nbGlobalConstraints=6  nbMergedConstraints=11970  nbConvertedConstraints=479
27.15/27.33	     nbConvertConstraintsChecks=38753380  nbExtensionStructures=434  nbSharedExtensionStructures=153
27.15/27.33	     nbConflictsStructures=527  nbSharedConflictsStructures=196  nbUnbuiltConflictsStructures=7869
27.15/27.33	     nbSharedBinaryRepresentations=174509  nbEvaluationManagers=7962  nbSharedEvaluationManagers=4998  minDegree=3
27.15/27.33	     maxDegree=23  minArity=2  avgArity=2  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=1.841
27.15/27.33	     symmetryCpuTime=1.61  nbCliques=6
27.15/27.33	       =>  wckTime=27.109  cpuTime=25.71  mem=75M759
27.44/27.70	   
27.44/27.70	   solver IterativeSystematicSolver being built... 
27.74/27.98	   
27.74/27.98	   INFO : Forward propagation technique limited 
27.95/28.15	       =>  wckTime=27.936  cpuTime=26.04  mem=113M644
53.62/53.94	   
53.62/53.94	   preprocessing
53.62/53.94	     nbConstraintChecks=80789485  nbValidityChecks=1141889  nbPropagations=1631  nbRevisions=29436
53.62/53.94	     nbUselessRevisions=28306  nbRemovedValues=64087  detectedInconsistency=no
53.62/53.94	       =>  wckTime=25.775  cpuTime=25.62  mem=113M644
203.33/204.40	   
203.33/204.40	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=116M736)
1072.42/1076.70	   
1072.42/1076.71	   search
1072.42/1076.71	     run=15  nbConstraintChecks=2629440665  nbValidityChecks=2406347368  minDepth=0  maxDepth=1500
1072.42/1076.71	     nbPropagations=2219101  nbRevisions=44423061  nbUselessRevisions=35206025  nbAssignments=16896
1072.42/1076.71	     nbFailedAssignments=12595  nbBacktracks=2762  nbVisitedNodes=31350  nbRestartNogoods=266  nbFoundSolutions=1
1072.42/1076.71	     nbSEliminables=0  nbREliminables=609.55  nbIEliminables=887.89  nbDEliminables=0  nbPEliminables=0
1072.42/1076.71	       =>  wckTime=1048.531  cpuTime=1044.29  mem=116M736
1072.42/1076.71	   
1072.42/1076.71	   global
1072.42/1076.71	     nbConstraintChecks=2710230150  nbValidityChecks=2407489257  nbPropagations=2220732  nbRevisions=44452497
1072.42/1076.71	     nbUselessRevisions=35234331  nbRestartNogoods=266  solvingWckTime=1048.533  solvingCpuTime=1044.3  expiredTime=no
1072.42/1076.71	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=1070.26  globalCpuTime=1070.38
1072.42/1076.71	       =>  wckTime=1076.48  cpuTime=1070.35  mem=116M736
1072.42/1076.71	   
1072.42/1076.71	s SATISFIABLE
1072.42/1076.71	v -2212 -2548 -2168 2436 2360 2608 2364 2584 2292 -2472 -2292 -2176 2696 2340 -2660 2624 -2444 2236 -2736 -2160 -2404 2696 -2168 -2160 -2704 2476 2652 -2368 2464 -2232 2408 2144 -2320 -2460 -2696 -2728 -2160 2160 2324 2680 -2656 -2728 -2120 2512 2352 -2328 -2296 2596 -2252 2196 2364 2292 2504 -2372 -2644 2136 -2120 2632 2660 2588 -2676 2320 -2392 -2440 2696 -2384 2432 -2160 -2252 2276 2728 -2684 2728 -2500 -2252 2624 2608 -2620 2352 2148 -2348 2228 2220 -2736 -2492 -2144 -2716 -2736 2120 2380 -2624 -2696 2264 2668 2644 2432 2540 -2244 -2220 2180 -2720 -2164 -2272 -2684 2520 -2704 2332 2540 -2204 -2572 2284 -2332 -2580 -2568 -2268 2532 2736 -2468 -2480 -2376 2452 -2720 2676 -2128 2248 -2576 -2700 2628 -2656 -2560 2288 -2160 -2572 -2432 -2208 -2180 -2428 2532 2520 2208 -2736 -2472 2324 2120 -2216 2664 -2736 -2728 2340 -2252 2160 2172 -2416 2328 -2648 2228 -2272 -2544 -2696 2480 -2168 -2540 2196 -2160 -2408 -2716 -2584 -2696 2420 -2140 -2572 -2512 -2224 2544 -2692 -2552 2680 2452 -2620 -2204 -2160 2696 -2264 -2348 2684 -2464 2548 -2692 -2168 -2256 2268 -2120 2720 -2172 -2580 2392 2736 2176 2648 -2160 2592 -2320 2340 -2472 2692 2128 -2680 -2120 -2404 -2448 -2180 -2572 -2684 2672 -2360 -2524 2244 -2696 -2696 -2244 2532 2296 -2448 -2648 2132 2360 2124 2120 -2172 2172 -2444 -2628 -2404 -2188 2192 -2348 2676 -2284 -2464 -2316 2252 2660 2220 2484 -2456 -2216 2168 -2280 -2596 -2592 -2696 -2696 -2180 -2728 -2536 -2180 2464 2676 -2464 2400 2176 2160 -2392 -2368 -2196 2308 -2236 2160 2336 2736 -2256 -2132 -2348 -2608 2228 2228 2672 -2732 -2320 -2480 -2400 2268 -2520 2532 -2736 2144 -2492 2584 2396 2652 2248 -2312 2236 -2172 2668 2724 -2696 2508 2464 -2724 -2460 -2696 -2324 -2696 2532 -2632 2696 -2624 -2184 2520 -2172 2284 2664 2164 2156 2520 -2320 -2668 2720 -2276 -2700 -2516 2728 -2260 2316 -2120 2676 2552 2216 -2660 2124 2348 -2432 2120 2300 2308 -2156 -2276 -2188 2624 -2668 -2444 -2308 -2272 -2364 2628 -2332 2720 -2668 -2340 2660 -2288 -2524 2520 -2224 -2224 -2488 -2388 -2716 -2232 2536 2608 -2176 -2576 -2568 -2308 2432 -2644 -2596 -2172 -2128 -2404 -2224 2120 -2680 2592 2496 2164 2668 -2696 2160 2736 -2644 -2684 -2356 2248 2308 -2296 -2284 2556 -2256 2404 -2132 -2132 2132 -2328 -2564 2168 2416 -2212 2208 2568 -2160 -2324 -2688 -2136 -2436 2540 -2516 2396 2340 2280 2632 -2256 2596 2296 2352 -2696 2404 -2416 2552 2536 -2476 -2268 2172 2516 -2640 -2512 -2632 2140 -2540 -2624 2716 -2732 -2576 2448 2320 2520 -2188 -2492 -2636 -2696 -2120 -2128 -2296 -2164 -2716 -2732 2708 -2696 2136 2476 -2280 2452 -2692 2448 -2648 -2304 -2128 -2444 -2696 2572 -2356 -2452 -2584 -2120 2144 -2556 2724 -2472 -2684 -2400 2296 2696 -2276 2160 -2372 -2436 2472 -2464 -2460 2260 -2284 -2376 2288 -2276 2332 2720 2228 -2124 -2456 -2132 -2696 2152 -2272 2496 -2300 -2172 -2572 2660 2272 -2368 -2240 -2196 2320 -2656 2616 2436 2556 2208 2184 -2660 2676 2500 -2628 2224 2328 -2708 -2360 2336 -2512 2628 2324 2604 -2664 -2160 -2548 2636 2724 -2428 2672 2408 2260 -2728 -2364 -2668 -2308 2584 -2736 -2136 2248 2224 2120 -2276 -2484 -2348 2124 -2280 -2700 -2696 -2244 -2736 -2732 -2668 -2184 -2696 2164 -2664 -2196 -2148 2388 -2620 2656 -2284 -2188 2660 2208 -2292 2244 2584 -2132 -2160 -2304 2160 -2444 2608 -2192 2380 -2128 -2124 -2284 -2192 -2640 -2736 2592 2560 -2188 2336 -2640 -2696 2580 -2608 2580 2276 -2716 2448 -2688 -2520 2364 -2272 2264 -2396 2532 2120 -2556 -2160 -2244 -2620 -2480 -2608 2608 -2160 2684 2504 2320 -2420 -2664 -2508 -2516 -2196 -2444 -2736 -2260 -2592 -2552 -2404 -2512 2288 -2348 -2276 -2168 -2268 -2632 -2608 2536 -2696 -2236 -2544 -2148 -2548 2176 2736 2300 2408 -2588 -2732 2300 -2328 -2644 -2428 2160 2592 -2612 2328 -2516 -2120 2592 -2648 -2440 -2264 -2416 -2344 -2432 2672 2612 -2524 2532 -2164 -2696 -2404 2644 -2684 2360 2188 2604 2260 -2708 -2256 -2356 2404 -2512 -2128 2696 -2660 2532 2384 -2664 2364 2652 2160 -2560 2288 2120 -2660 2396 2368 2712 -2664 2700 2212 -2552 -2184 2168 -2316 -2536 2484 -2680 2488 -2628 -2596 2552 2120 -2636 2576 2428 2188 -2300 -2604 -2688 2120 2120 -2200 -2208 -2148 -2388 -2208 2532 -2736 -2208 -2168 2676 -2376 -2248 -2404 -2120 -2696 2328 2208 -2500 -2684 -2688 2144 -2320 -2372 2160 2572 -2664 -2672 -2160 2244 -2688 2592 -2680 -2208 -2452 2680 2504 2192 -2360 2636 -2736 -2580 -2200 2360 -2624 2140 -2376 -2396 -2544 2620 2184 -2124 -2484 -2236 2592 2696 2676 2736 2712 -2152 -2480 -2156 2656 -2696 -2264 -2296 2692 -2332 2404 2696 -2496 -2556 2560 2252 2680 -2424 -2276 -2136 2284 -2696 2376 2280 2232 2256 -2188 -2436 -2400 -2236 -2264 2644 -2424 -2144 2216 -2496 2308 2472 -2204 -2456 2416 -2480 2644 -2228 -2404 -2164 -2160 -2736 -2308 -2344 -2320 -2676 -2124 -2276 -2156 2308 2308 2564 2156 -2392 -2316 2688 -2688 2492 -2684 -2160 2532 -2188 2400 -2216 -2736 2512 -2620 -2368 2552 2500 -2636 -2268 2256 -2456 2664 2188 -2184 2684 -2316 -2588 -2136 2612 2672 -2624 2392 -2280 2736 -2152 2628 2124 -2120 2232 -2236 -2560 -2256 -2736 -2732 -2160 -2216 2384 -2620 -2264 -2552 2716 2120 -2428 -2160 -2168 -2712 -2180 -2160 2168 2696 -2680 -2636 -2612 2736 2436 -2340 -2360 -2620 2624 2308 2164 2364 -2184 -2656 2244 -2552 -2204 2120 -2136 -2692 -2308 -2676 2120 -2256 -2680 2472 -2152 2384 2120 2600 -2280 2636 2692 -2708 -2600 2492 2336 -2660 -2632 -2164 2176 -2224 -2156 -2512 2496 -2720 -2684 2668 -2632 2256 2544 -2376 -2160 2600 2364 -2692 -2160 -2620 2692 2136 -2648 -2320 2388 2320 -2736 -2120 -2492 -2608 2420 2520 2644 -2224 2220 -2276 -2204 2336 -2248 2568 -2564 -2620 -2564 -2512 2320 -2252 2608 2696 -2188 -2572 -2552 2512 2180 -2268 -2480 2180 -2688 2228 2328 2312 -2688 -2236 2444 2528 -2428 2344 2736 -2412 2736 -2732 -2576 -2392 -2248 -2664 2580 -2164 2688 -2296 2348 2488 -2220 -2388 2520 2592 -2260 -2404 -2380 -2196 2684 2608 -2188 2696 2588 2632 2476 2520 2640 -2416 2672 2160 2668 2200 2628 -2688 -2736 2120 2160 -2160 2544 -2360 -2696 -2280 -2528 2716 -2156 2176 2348 2488 -2708 2132 -2680 2568 -2132 -2736 -2412 2164 -2736 -2644 -2528 -2312 -2696 2436 2284 2488 2228 -2588 -2520 -2200 -2360 -2640 -2212 2440 -2504 -2296 -2388 2312 -2676 -2416 2188 -2168 -2684 2320 -2552 2248 2412 2348 -2524 -2644 2120 -2220 2120 -2584 -2268 -2184 -2160 -2304 -2700 -2160 -2616 -2696 2120 -2332 -2164 2500 -2732 2664 -2212 2364 -2316 -2440 -2604 -2424 2304 2624 2580 -2736 2536 -2712 -2120 2372 2636 2476 -2464 -2388 2364 -2324 -2400 -2624 -2128 -2268 2216 -2488 -2624 2276 -2716 -2176 -2160 -2596 2676 2688 2576 -2728 2380 2312 2368 2424 -2436 2600 -2580 2716 -2424 2268 -2300 -2736 -2480 2696 2284 -2232 2696 2168 -2416 2660 -2736 -2512 -2728 -2256 2500 -2736 -2292 2324 2192 -2724 2220 2468 2668 2420 -2248 -2488 2136 2612 -2708 2616 -2212 -2604 2168 -2192 -2556 -2300 -2236 -2396 -2416 2120 2572 2120 -2644 -2412 2588 2372 -2568 -2492 -2728 -2376 -2336 2724 -2120 -2284 -2532 2424 -2244 -2140 -2580 2644 2428 2264 2204 2480 2392 2140 -2480 -2536 -2672 -2604 -2160 -2260 -2180 -2736 -2576 2124 2696 -2572 -2532 -2300 2680 2540 2244 2432 2520 2688 -2708 -2696 -2456 2536 2460 -2688 2192 2620 -2736 2476 2172 -2668 -2164 2620 2220 -2528 2372 2172 2596 -2160 -2456 2588 -2196 2176 -2312 2592 2180 -2140 -2456 2492 -2736 2700 2148 2732 -2240 2204 2268 -2328 -2284 2360 -2676 -2128 -2276 2512 -2120 2280 2700 2220 -2264 -2612 -2640 -2228 -2180 2612 -2120 2720 2188 -2656 -2284 -2132 2696 2512 -2128 2460 -2696 2692 -2484 2316 2444 2252 2564 2432 2460 2632 -2280 2476 -2376 -2576 2268 -2552 2516 -2192 -2736 -2388 2540 -2284 -2736 2508 2584 -2148 -2736 -2160 2196 -2584 -2684 2560 2176 -2160 2692 -2124 -2256 -2560 2256 2472 2148 -2648 -2364 2468 2620 -2644 2304 -2404 2536 2184 -2308 -2456 2628 2260 -2264 -2148 -2176 2404 -2504 -2624 -2736 2672 -2120 2492 2560 2120 2288 -2616 -2736 2660 -2604 2452 -2500 -2324 2288 -2172 2208 -2220 -2736 -2168 -2524 -2448 2160 -2616 -2380 -2372 -2216 2232 -2120 -2736 2332 -2520 2600 -2268 2604 2304 2144 -2320 -2160 -2680 2120 -2652 2364 2632 -2560 2664 2332 -2732 -2464 -2432 2616 -2424 -2648 2192 2372 2736 -2228 -2660 -2496 -2276 -2552 2728 -2452 -2352 -2232 -2184 2696 -2208 -2168 -2392 -2624 2668 -2224 -2440 -2240 2640 -2656 -2572 -2408 -2436 2432 2704 -2556 -2148 2420 -2628 2276 2720 -2648 2164 2644 2424 -2572 -2552 -2236 2676 -2292 -2232 2120 2396 2440 2264 2120 2696 2160 -2412 -2340 2256 -2148 -2188 -2400 -2340 2468 2356 -2528 -2176 2484 2208 -2640 2548 -2280 2616 2448 2624 -2316 2228 -2240 2648 -2292 -2324 2136 -2204 -2504 
1072.42/1076.71	d NODES 16896
1072.42/1076.71	d CHECKS 2710230150
1072.42/1076.71	   
1072.42/1076.71	   totalWckTime=1076.536  totalCpuTime=1070.39

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086013-1215236872/watcher-1086013-1215236872 -o /tmp/evaluation-result-1086013-1215236872/solver-1086013-1215236872 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1086013-1215236872.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.95 1.98 4/81 3018
/proc/meminfo: memFree=989696/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=1616 CPUtime=0
/proc/3018/stat : 3018 (java) D 3016 3018 2981 0 -1 0 177 0 0 0 0 0 0 0 19 0 1 0 635934470 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 0 0 0
/proc/3018/statm: 404 145 119 9 0 46 0

[startup+0.044555 s]
/proc/loadavg: 1.84 1.95 1.98 4/81 3018
/proc/meminfo: memFree=989696/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=861876 CPUtime=0.03
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 2360 0 1 0 2 1 0 0 19 0 5 0 635934470 882561024 1947 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 215469 1948 898 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.103484 s]
/proc/loadavg: 1.84 1.95 1.98 4/81 3018
/proc/meminfo: memFree=989696/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=865884 CPUtime=0.09
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 3832 0 1 0 7 2 0 0 19 0 9 0 635934470 886665216 3283 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216471 3283 1735 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.301508 s]
/proc/loadavg: 1.84 1.95 1.98 4/81 3018
/proc/meminfo: memFree=989696/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=866408 CPUtime=0.29
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 6005 0 1 0 25 4 0 0 19 0 9 0 635934470 887201792 5379 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216602 5379 1956 9 0 211130 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866408

[startup+0.701553 s]
/proc/loadavg: 1.84 1.95 1.98 4/81 3018
/proc/meminfo: memFree=989696/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867420 CPUtime=0.69
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 11726 0 1 0 61 8 0 0 19 0 9 0 635934470 888238080 11086 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216855 11087 2011 9 0 211361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867420

[startup+1.50265 s]
/proc/loadavg: 1.84 1.95 1.98 3/90 3027
/proc/meminfo: memFree=935040/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867464 CPUtime=1.48
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 20728 0 1 0 135 13 0 0 19 0 9 0 635934470 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216866 20063 2004 9 0 211394 0
[pid=3018/tid=3020] ppid=3016 vsize=867464 CPUtime=1.23
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 15749 0 1 0 112 11 0 0 20 0 9 0 635934471 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 103824377 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867464 CPUtime=0.06
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 3652 0 0 0 6 0 0 0 17 0 9 0 635934473 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635934475 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867464 CPUtime=0.16
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 635934475 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635934475 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635934475 888283136 20063 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867464

[startup+3.10187 s]
/proc/loadavg: 1.84 1.95 1.98 3/90 3027
/proc/meminfo: memFree=904896/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867464 CPUtime=3.08
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 23786 0 1 0 293 15 0 0 19 0 9 0 635934470 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216866 23117 2006 9 0 211394 0
[pid=3018/tid=3020] ppid=3016 vsize=867464 CPUtime=2.72
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 15784 0 1 0 260 12 0 0 25 0 9 0 635934471 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4126900391 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867464 CPUtime=0.14
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 6657 0 0 0 13 1 0 0 17 0 9 0 635934473 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635934475 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867464 CPUtime=0.19
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 648 0 0 0 19 0 0 0 15 0 9 0 635934475 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635934475 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635934475 888283136 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867464

[startup+6.3012 s]
/proc/loadavg: 1.85 1.95 1.98 3/90 3027
/proc/meminfo: memFree=904320/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867464 CPUtime=6.26
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 23817 0 1 0 611 15 0 0 19 0 9 0 635934470 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216866 23145 2006 9 0 211394 0
[pid=3018/tid=3020] ppid=3016 vsize=867464 CPUtime=5.87
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 15789 0 1 0 575 12 0 0 25 0 9 0 635934471 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4126898129 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867464 CPUtime=0.14
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 6657 0 0 0 13 1 0 0 16 0 9 0 635934473 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635934475 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867464 CPUtime=0.21
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 674 0 0 0 21 0 0 0 15 0 9 0 635934475 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635934475 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635934475 888283136 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867464

[startup+12.7019 s]
/proc/loadavg: 1.86 1.95 1.98 4/90 3027
/proc/meminfo: memFree=896832/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867464 CPUtime=12.63
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 26354 0 1 0 1246 17 0 0 19 0 9 0 635934470 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216866 25680 2006 9 0 211394 0
[pid=3018/tid=3020] ppid=3016 vsize=867464 CPUtime=12.1
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 15791 0 1 0 1197 13 0 0 25 0 9 0 635934471 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4126901927 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867464 CPUtime=0.29
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 9189 0 0 0 27 2 0 0 17 0 9 0 635934473 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635934475 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867464 CPUtime=0.22
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 677 0 0 0 22 0 0 0 16 0 9 0 635934475 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635934475 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635934475 888283136 25680 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 867464

[startup+25.5024 s]
/proc/loadavg: 1.97 1.97 1.99 3/90 3027
/proc/meminfo: memFree=874304/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867464 CPUtime=25.37
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 32773 0 1 0 2517 20 0 0 19 0 9 0 635934470 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216866 32090 2007 9 0 211394 0
[pid=3018/tid=3020] ppid=3016 vsize=867464 CPUtime=24.29
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 15805 0 1 0 2415 14 0 0 25 0 9 0 635934471 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4125963118 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867464 CPUtime=0.78
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 15568 0 0 0 74 4 0 0 16 0 9 0 635934473 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635934473 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 635934475 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867464 CPUtime=0.26
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 703 0 0 0 26 0 0 0 16 0 9 0 635934475 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 635934475 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867464 CPUtime=0
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635934475 888283136 32090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 867464

[startup+51.1023 s]
/proc/loadavg: 1.98 1.97 1.99 3/90 3031
/proc/meminfo: memFree=835136/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867788 CPUtime=50.83
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 70385 937 1 0 5038 29 14 2 19 0 9 0 635934470 888614912 40977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216947 40977 2616 9 0 211475 0
[pid=3018/tid=3020] ppid=3016 vsize=867788 CPUtime=49.18
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 30679 937 1 0 4885 17 14 2 25 0 9 0 635934471 888614912 40977 996147200 134512640 134550740 4294955968 18446744073709551615 4127217274 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867788 CPUtime=1.4
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 37916 937 0 0 115 9 14 2 16 0 9 0 635934473 888614912 40977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 18 937 0 0 0 0 14 2 16 0 9 0 635934473 888614912 40977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 28 937 0 0 0 0 14 2 15 0 9 0 635934473 888614912 40977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 937 0 0 0 0 14 2 18 0 9 0 635934475 888614912 40977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867788 CPUtime=0.53
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 916 937 0 0 37 0 14 2 16 0 9 0 635934475 888614912 40977 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867788 CPUtime=0.16

################
# More data... #
################

[pid=3018/tid=3020] ppid=3016 vsize=867788 CPUtime=1056.39
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 30709 937 1 0 105565 58 14 2 25 0 9 0 635934471 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4126457888 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867788 CPUtime=1.4
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 37916 937 0 0 115 9 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 18 937 0 0 0 0 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 28 937 0 0 0 0 14 2 15 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 937 0 0 0 0 14 2 18 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867788 CPUtime=0.6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 954 937 0 0 44 0 14 2 16 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 937 0 0 0 0 14 2 19 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 14 937 0 0 0 0 14 2 15 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1058.11
Current children cumulated vsize (KiB) 867788

Solver just ended. Dumping a history of the last processes samples

[startup+1068.7 s]
/proc/loadavg: 2.00 2.16 2.21 3/83 3115
/proc/meminfo: memFree=1726840/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867788 CPUtime=1064.47
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 70453 937 1 0 106362 69 14 2 19 0 9 0 635934470 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216947 41013 2616 9 0 211475 0
[pid=3018/tid=3020] ppid=3016 vsize=867788 CPUtime=1062.76
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 30709 937 1 0 106202 58 14 2 25 0 9 0 635934471 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4127132083 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867788 CPUtime=1.4
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 37916 937 0 0 115 9 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 18 937 0 0 0 0 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 28 937 0 0 0 0 14 2 15 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 937 0 0 0 0 14 2 18 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867788 CPUtime=0.6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 954 937 0 0 44 0 14 2 16 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 937 0 0 0 0 14 2 19 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 14 937 0 0 0 0 14 2 15 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1064.47
Current children cumulated vsize (KiB) 867788

[startup+1071.9 s]
/proc/loadavg: 2.00 2.15 2.20 3/83 3115
/proc/meminfo: memFree=1726840/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867788 CPUtime=1067.66
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 70453 937 1 0 106681 69 14 2 19 0 9 0 635934470 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216947 41013 2616 9 0 211475 0
[pid=3018/tid=3020] ppid=3016 vsize=867788 CPUtime=1065.94
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 30709 937 1 0 106520 58 14 2 25 0 9 0 635934471 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4127379008 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867788 CPUtime=1.4
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 37916 937 0 0 115 9 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 18 937 0 0 0 0 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 28 937 0 0 0 0 14 2 15 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 937 0 0 0 0 14 2 18 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867788 CPUtime=0.6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 954 937 0 0 44 0 14 2 16 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 937 0 0 0 0 14 2 19 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 14 937 0 0 0 0 14 2 15 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1067.66
Current children cumulated vsize (KiB) 867788

[startup+1075.1 s]
/proc/loadavg: 2.00 2.15 2.20 3/83 3115
/proc/meminfo: memFree=1726840/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867788 CPUtime=1070.84
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 70453 937 1 0 106999 69 14 2 19 0 9 0 635934470 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216947 41013 2616 9 0 211475 0
[pid=3018/tid=3020] ppid=3016 vsize=867788 CPUtime=1069.12
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 30709 937 1 0 106838 58 14 2 25 0 9 0 635934471 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4127132065 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867788 CPUtime=1.4
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 37916 937 0 0 115 9 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 18 937 0 0 0 0 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 28 937 0 0 0 0 14 2 15 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 937 0 0 0 0 14 2 18 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867788 CPUtime=0.6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 954 937 0 0 44 0 14 2 16 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 937 0 0 0 0 14 2 19 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 14 937 0 0 0 0 14 2 15 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1070.84
Current children cumulated vsize (KiB) 867788

[startup+1075.9 s]
/proc/loadavg: 2.00 2.15 2.20 3/83 3115
/proc/meminfo: memFree=1726840/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867788 CPUtime=1071.64
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 70453 937 1 0 107079 69 14 2 19 0 9 0 635934470 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216947 41013 2616 9 0 211475 0
[pid=3018/tid=3020] ppid=3016 vsize=867788 CPUtime=1069.92
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 30709 937 1 0 106918 58 14 2 25 0 9 0 635934471 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4126901960 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867788 CPUtime=1.4
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 37916 937 0 0 115 9 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 18 937 0 0 0 0 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 28 937 0 0 0 0 14 2 15 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 937 0 0 0 0 14 2 18 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867788 CPUtime=0.6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 954 937 0 0 44 0 14 2 16 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 937 0 0 0 0 14 2 19 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 14 937 0 0 0 0 14 2 15 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1071.64
Current children cumulated vsize (KiB) 867788

[startup+1076.3 s]
/proc/loadavg: 2.00 2.15 2.20 3/83 3115
/proc/meminfo: memFree=1726840/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867788 CPUtime=1072.04
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 70453 937 1 0 107119 69 14 2 19 0 9 0 635934470 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216947 41013 2616 9 0 211475 0
[pid=3018/tid=3020] ppid=3016 vsize=867788 CPUtime=1070.32
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 30709 937 1 0 106958 58 14 2 25 0 9 0 635934471 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4127394469 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867788 CPUtime=1.4
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 37916 937 0 0 115 9 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 18 937 0 0 0 0 14 2 16 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 28 937 0 0 0 0 14 2 15 0 9 0 635934473 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 937 0 0 0 0 14 2 18 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867788 CPUtime=0.6
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 954 937 0 0 44 0 14 2 16 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 937 0 0 0 0 14 2 19 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 14 937 0 0 0 0 14 2 15 0 9 0 635934475 888614912 41013 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1072.04
Current children cumulated vsize (KiB) 867788

[startup+1076.7 s]
/proc/loadavg: 2.00 2.15 2.20 3/83 3115
/proc/meminfo: memFree=1726840/2055920 swapFree=4179952/4192956
[pid=3018] ppid=3016 vsize=867788 CPUtime=1072.42
/proc/3018/stat : 3018 (java) S 3016 3018 2981 0 -1 0 70460 937 1 0 107156 70 14 2 19 0 9 0 635934470 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3018/statm: 216947 41019 2616 9 0 211475 0
[pid=3018/tid=3020] ppid=3016 vsize=867788 CPUtime=1070.69
/proc/3018/task/3020/stat : 3020 (java) R 3016 3018 2981 0 -1 64 30711 937 1 0 106995 58 14 2 22 0 9 0 635934471 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4125961380 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3021] ppid=3016 vsize=867788 CPUtime=1.4
/proc/3018/task/3021/stat : 3021 (java) S 3016 3018 2981 0 -1 64 37916 937 0 0 115 9 14 2 16 0 9 0 635934473 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3022] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3022/stat : 3022 (java) S 3016 3018 2981 0 -1 64 18 937 0 0 0 0 14 2 16 0 9 0 635934473 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3023] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3023/stat : 3023 (java) S 3016 3018 2981 0 -1 64 28 937 0 0 0 0 14 2 15 0 9 0 635934473 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3024] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3024/stat : 3024 (java) S 3016 3018 2981 0 -1 64 0 937 0 0 0 0 14 2 18 0 9 0 635934475 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3025] ppid=3016 vsize=867788 CPUtime=0.62
/proc/3018/task/3025/stat : 3025 (java) S 3016 3018 2981 0 -1 64 959 937 0 0 45 1 14 2 15 0 9 0 635934475 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3018/tid=3026] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3026/stat : 3026 (java) S 3016 3018 2981 0 -1 64 2 937 0 0 0 0 14 2 19 0 9 0 635934475 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3018/tid=3027] ppid=3016 vsize=867788 CPUtime=0.16
/proc/3018/task/3027/stat : 3027 (java) S 3016 3018 2981 0 -1 64 14 937 0 0 0 0 14 2 15 0 9 0 635934475 888614912 41019 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1072.42
Current children cumulated vsize (KiB) 867788

Child status: 0
Real time (s): 1076.76
CPU time (s): 1072.47
CPU user time (s): 1071.72
CPU system time (s): 0.750885
CPU usage (%): 99.6014
Max. virtual memory (cumulated for all children) (KiB): 867876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1071.72
system time used= 0.750885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71432
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= 24242
involuntary context switches= 35573

runsolver used 1.25781 second user time and 3.62745 second system time

The end

Launcher Data (download as text)

Begin job on node88 at 2008-07-05 07:47:52
IDJOB=1086013
IDBENCH=57740
IDSOLVER=363
FILE ID=node88/1086013-1215236872
PBS_JOBID= 7881971
Free space on /tmp= 66492 MiB

SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086013-1215236872/watcher-1086013-1215236872 -o /tmp/evaluation-result-1086013-1215236872/solver-1086013-1215236872 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1086013-1215236872.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 029bcf31114915c1681378a4f18ed14e
RANDOM SEED=324006689

node88.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.232
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.232
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:        990112 kB
Buffers:         33152 kB
Cached:         815428 kB
SwapCached:       7404 kB
Active:         289544 kB
Inactive:       724468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        990112 kB
SwapTotal:     4192956 kB
SwapFree:      4179952 kB
Dirty:            5704 kB
Writeback:           0 kB
Mapped:         181284 kB
Slab:            36584 kB
Committed_AS:  1834996 kB
PageTables:       2152 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= 66488 MiB
End job on node88 at 2008-07-05 08:05:49