Trace number 1085992

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 285.524 288.023

DiagnosticValue
CHECKS561995000
NODES9933

General information on the benchmark

Namecsp/fapp/fapp12/
normalized-fapp12-1500-9.xml
MD5SUMa935103af39bd284c54c6d98a149f42a
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 benchmark203.296
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.05/0.08	
0.05/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mac.xml
0.18/0.27	   
0.18/0.27	   instance
0.18/0.27	     name=HOME/instance-1085992-1215236729.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.35	   
0.28/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.337  cpuTime=0.23  mem=23M500
0.49/0.58	   
0.49/0.58	   predicates being loaded...
0.58/0.64	   
0.58/0.64	   constraints being loaded...
20.68/20.77	   
20.68/20.77	   INFO : Stopping converting binary constraints (cpu=20.06, mem = 47M442)
27.55/27.65	     nbConstraints=13446  nbGlobalConstraints=7  nbMergedConstraints=11970  nbConvertedConstraints=485
27.55/27.65	     nbConvertConstraintsChecks=39199056  nbExtensionStructures=439  nbSharedExtensionStructures=144
27.55/27.65	     nbConflictsStructures=540  nbSharedConflictsStructures=179  nbUnbuiltConflictsStructures=8534
27.55/27.65	     nbSharedBinaryRepresentations=174358  nbEvaluationManagers=8635  nbSharedEvaluationManagers=4319  minDegree=3
27.55/27.65	     maxDegree=23  minArity=2  avgArity=2  maxArity=6  nbGenerators=0  nbFusions=0  symmetryWckTime=2.02
27.55/27.65	     symmetryCpuTime=1.77  nbCliques=7
27.55/27.65	       =>  wckTime=27.409  cpuTime=26.14  mem=95M513
27.95/28.07	   
27.95/28.07	   solver IterativeSystematicSolver being built... 
28.25/28.36	   
28.25/28.36	   INFO : Forward propagation technique limited 
28.45/28.55	       =>  wckTime=28.31  cpuTime=26.46  mem=114M270
56.17/56.54	   
56.17/56.54	   preprocessing
56.17/56.54	     nbConstraintChecks=76629298  nbValidityChecks=1957191  nbPropagations=1774  nbRevisions=35218
56.17/56.54	     nbUselessRevisions=32812  nbRemovedValues=144636  detectedInconsistency=no
56.17/56.54	       =>  wckTime=27.971  cpuTime=27.69  mem=115M300
107.59/108.44	   
107.59/108.44	   INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=123M344)
285.40/287.96	   
285.40/287.96	   search
285.40/287.96	     run=13  nbConstraintChecks=485365879  nbValidityChecks=690589892  minDepth=28  maxDepth=1500
285.40/287.96	     nbPropagations=1993398  nbRevisions=35280438  nbUselessRevisions=31078908  nbAssignments=9933
285.40/287.96	     nbFailedAssignments=3907  nbBacktracks=1739  nbVisitedNodes=14821  nbRestartNogoods=326  nbFoundSolutions=1
285.40/287.96	     nbSEliminables=0  nbREliminables=59.17  nbIEliminables=1321.38  nbDEliminables=0  nbPEliminables=0
285.40/287.96	       =>  wckTime=259.392  cpuTime=256.84  mem=123M344
285.40/287.96	   
285.40/287.96	   global
285.40/287.96	     nbConstraintChecks=561995177  nbValidityChecks=692547083  nbPropagations=1995172  nbRevisions=35315656
285.40/287.96	     nbUselessRevisions=31111720  nbRestartNogoods=326  solvingWckTime=259.394  solvingCpuTime=256.84  expiredTime=no
285.40/287.96	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=283.23  globalCpuTime=283.36
285.40/287.96	       =>  wckTime=287.717  cpuTime=283.31  mem=123M344
285.40/287.97	   
285.40/287.97	s SATISFIABLE
285.40/287.97	v -2220 -2544 2672 2496 -2332 2528 2360 -2736 -2348 2388 -2212 2148 2468 -2256 2616 -2664 -2736 -2336 -2672 2228 -2220 2648 2160 -2136 2620 2416 2640 2368 -2488 -2356 -2516 -2376 -2284 -2388 -2696 -2648 -2184 -2164 -2328 -2600 2608 -2692 2352 -2532 -2156 2248 2332 -2688 2260 -2396 2460 2416 2600 -2408 2696 2160 -2260 2660 -2536 2492 2600 -2364 -2356 -2344 2680 -2412 -2616 2228 2128 -2136 2660 2692 -2716 -2612 2184 -2692 -2556 -2736 -2356 2232 -2128 -2436 2148 2732 2516 2220 2492 2720 -2160 2652 2620 -2588 -2252 -2728 -2736 2516 2684 2184 2176 2140 -2612 -2160 2152 2664 -2448 -2380 2328 2344 2316 -2576 -2232 -2148 -2616 2508 -2244 2628 -2736 -2368 2304 -2384 -2544 2580 2616 2156 -2496 2520 -2724 2588 2624 -2524 -2328 2132 2436 -2336 -2140 -2192 2448 -2592 2516 2248 2440 -2656 -2272 -2176 2120 -2624 2720 -2572 -2360 -2236 -2376 -2164 2340 -2132 -2524 -2488 2160 -2428 2696 2632 -2232 -2688 -2252 -2120 -2488 2676 -2536 2696 2544 -2204 -2668 2608 -2160 2456 2736 2588 -2584 -2552 2736 -2200 2332 2460 2120 2384 -2696 -2448 2556 2600 2200 2120 2352 -2128 2484 -2240 2348 2476 -2548 2204 2576 -2220 2544 2224 2692 2696 2496 2128 -2620 -2144 -2452 2488 2212 2684 -2560 -2620 2392 -2572 -2172 -2696 -2524 2384 2536 -2296 2248 2516 -2368 -2316 -2412 -2716 -2244 -2692 2392 -2532 -2320 -2348 -2220 2172 -2540 -2264 2380 -2340 2308 2696 2208 -2664 2508 -2544 -2160 2324 2680 -2616 -2680 -2696 -2164 -2416 -2720 2248 2448 2696 -2384 -2372 2148 2160 -2372 2368 -2164 -2264 -2124 -2160 2424 2576 2252 -2252 -2348 2596 -2256 -2200 2660 -2724 -2256 2272 2524 2320 2408 2676 2364 -2132 2272 -2696 2324 2692 -2284 2144 2404 2140 -2628 -2648 2648 2464 2500 -2704 2488 2552 -2216 -2696 -2552 2640 -2696 2560 -2232 -2548 -2344 2152 2580 2372 2212 -2620 -2352 2656 2664 2272 2612 2452 -2736 -2216 2252 -2160 2696 -2596 2224 2688 2120 -2456 -2296 2180 -2540 2344 2604 -2300 2252 -2632 -2604 -2136 2376 -2284 -2232 2644 2260 -2660 2644 -2580 -2648 2456 2448 2564 -2284 2160 -2396 -2432 2736 -2120 2636 2616 -2160 -2424 2404 -2168 -2736 -2360 2344 -2136 -2120 -2256 -2352 -2224 2692 -2660 2584 -2372 -2648 2608 -2128 2696 2556 2696 -2380 -2216 -2400 2328 -2160 2456 -2208 -2412 2412 2188 -2124 -2368 2620 2204 -2468 2124 -2240 2516 -2160 -2208 2456 2132 -2548 -2388 2500 2536 2316 -2448 -2708 2256 -2600 -2160 -2736 -2728 2272 2540 -2640 2544 -2440 -2336 2212 2464 -2624 -2692 -2700 2136 2596 -2736 -2736 2644 2604 2476 -2356 2312 2208 2408 2520 -2696 -2124 -2212 -2696 2228 2640 -2440 2608 -2672 -2264 2288 2324 -2696 2736 -2428 -2584 2180 -2120 -2568 -2696 -2508 -2300 -2280 2732 2376 2124 2656 -2736 -2440 2580 -2120 2328 -2692 2256 -2544 2232 -2388 2412 -2636 2484 -2208 -2288 -2380 2288 -2328 -2368 -2672 -2280 -2412 -2520 -2732 2404 -2148 -2160 -2696 2232 2452 2576 -2672 -2184 -2260 2308 -2124 -2196 -2688 2648 -2376 2416 -2632 2336 2600 -2532 -2636 -2628 2304 2172 2676 -2268 -2268 -2452 2588 2120 -2384 -2732 -2272 2504 -2592 -2736 2472 2668 2288 -2188 2616 -2268 2648 2348 -2492 2712 -2120 -2576 -2428 -2332 -2176 -2696 -2428 -2152 2216 2632 -2652 2224 -2736 2684 -2668 2160 2548 -2356 -2520 2564 -2200 2332 2696 -2464 2160 -2136 2660 -2284 2220 2124 2648 -2140 -2180 -2212 -2676 2232 -2604 -2160 2400 2120 2152 -2164 -2160 2528 2640 2680 2596 -2468 -2128 2628 -2736 -2588 2388 -2736 -2128 2692 2356 -2676 -2472 2248 2320 -2172 -2340 -2624 2132 -2540 -2220 2192 2608 2348 2664 2484 -2256 -2736 -2496 2488 -2368 -2688 2344 -2456 -2204 -2452 -2736 2240 2652 -2596 -2228 -2624 2232 -2608 2204 -2160 -2320 -2628 -2648 2480 2480 2124 2532 -2428 -2516 -2120 2688 -2356 -2528 -2496 -2696 2356 2148 -2472 2400 2384 2572 -2548 2408 -2616 2308 2680 2724 -2452 -2264 2200 2452 -2336 -2620 -2616 2504 2664 -2192 2552 2500 2736 -2636 -2160 -2244 -2696 2248 -2580 2504 2212 2272 -2564 2128 2736 -2664 -2468 -2356 2668 2260 -2656 -2360 2736 -2320 -2180 -2696 -2340 -2480 2472 -2664 2704 2276 2604 -2260 -2216 -2232 -2584 -2528 -2664 2600 2536 -2596 -2588 -2232 -2640 2580 2328 -2180 -2296 2676 2624 -2120 -2172 2212 2164 -2120 -2396 -2256 -2724 -2612 2224 -2196 -2716 -2300 2208 2352 2268 -2504 -2272 -2244 -2428 -2512 2696 2132 -2276 2160 -2312 -2736 -2340 2496 2292 -2356 -2732 -2620 -2572 2196 2232 -2444 2388 -2160 2156 2640 -2500 -2624 -2264 2412 -2544 2200 2160 -2408 -2508 -2496 2172 -2124 -2532 -2256 -2696 2696 2664 2736 -2692 -2212 2408 -2160 2652 2300 -2280 2456 2696 -2192 -2176 -2472 2388 -2556 -2556 2192 2704 2420 2296 2120 -2132 2672 2344 -2404 -2244 -2368 -2160 2436 -2308 -2156 2220 2716 -2396 -2272 2216 -2368 -2132 -2492 -2248 2196 -2340 -2320 -2620 2140 -2164 -2240 2200 -2736 2204 -2160 -2484 -2632 2176 -2192 2164 -2392 -2400 -2652 2356 -2332 -2596 -2688 2584 -2632 2400 2172 -2556 -2184 2372 -2360 -2736 -2624 2660 -2172 -2736 2552 2728 2216 -2496 -2520 -2592 2192 2120 2696 2216 2476 2188 2408 -2512 -2692 2376 -2480 2708 2120 -2616 2268 -2168 2120 2288 -2592 -2236 -2736 -2736 -2164 2196 -2736 2620 -2188 2692 -2624 -2268 -2396 -2120 -2168 2700 -2120 -2160 -2168 2736 -2696 2304 2496 2736 2400 2284 2316 -2576 -2692 2372 -2164 2276 -2244 2588 -2272 2664 2160 -2216 2164 -2692 2308 2692 2120 -2136 2712 2480 -2260 -2120 2124 -2676 -2320 -2652 -2480 -2688 2568 -2240 2304 2572 -2680 2228 -2120 -2160 -2164 2348 2680 2736 -2576 -2668 -2660 2240 2640 -2384 2348 -2492 -2548 2644 -2160 2700 -2552 2172 2688 2268 -2440 -2160 -2736 2320 -2512 -2444 -2528 -2308 2596 -2180 -2152 2196 -2188 -2288 -2264 -2644 -2488 -2664 -2504 -2556 -2336 2252 2492 2736 -2448 -2696 -2568 -2548 2120 -2268 2272 2176 2576 2128 -2328 2124 -2640 -2188 -2624 2328 -2456 -2444 -2572 2120 -2712 2512 -2552 -2396 2168 -2660 -2580 -2136 2700 -2212 -2356 -2660 2120 2568 -2636 2628 -2120 -2736 -2408 -2200 -2608 2640 -2240 2692 -2628 -2580 -2428 2608 2716 -2120 2652 -2120 -2668 2320 2612 2684 2592 -2120 2168 2336 -2696 -2444 2712 2228 -2556 2652 2240 -2160 -2388 -2468 2628 -2304 2736 -2556 -2176 -2260 -2344 -2276 -2736 -2620 -2360 2192 -2696 2512 -2176 -2368 2176 -2516 -2552 -2328 2120 2652 -2144 -2592 2676 -2280 2388 2696 -2560 -2560 -2180 -2156 2596 -2364 -2576 2244 2584 -2360 -2356 2424 -2584 -2160 2160 -2584 -2476 2172 -2232 -2228 2640 -2172 -2664 -2696 2120 -2304 -2192 -2648 2732 -2664 -2280 2216 2176 2440 -2580 -2460 -2404 -2632 -2620 2512 2408 2536 -2216 2188 -2656 2412 2404 -2212 -2696 -2276 2400 -2628 2276 -2172 -2168 -2400 -2688 2636 2580 -2172 -2136 -2460 2732 2696 -2640 -2736 -2340 2120 2448 2536 2192 2588 2724 2648 2344 -2160 2348 2432 -2568 2504 -2308 -2132 -2668 -2316 -2736 2684 -2688 2520 -2704 2292 -2524 -2696 2168 -2204 -2164 -2696 -2388 2436 2652 -2380 2280 -2348 -2160 -2652 -2628 2464 -2204 -2736 -2180 -2252 -2504 -2324 2244 -2232 2156 -2176 -2636 2200 2668 -2408 -2736 -2384 -2452 -2704 -2600 -2168 -2344 2520 2216 -2344 -2476 -2696 -2208 2288 -2384 2652 -2372 -2392 -2256 -2660 2376 -2160 2492 -2512 2708 2612 -2176 2308 -2240 -2732 -2544 -2316 2616 -2428 -2736 -2248 -2664 -2696 -2268 2332 2280 -2532 2608 2668 -2500 2540 -2512 2664 2188 2628 2696 2552 -2228 -2716 -2120 2728 -2252 2308 -2600 -2180 -2416 2220 2160 -2700 2164 -2304 -2196 -2668 -2428 2160 2428 2592 -2736 -2672 2224 -2696 -2280 -2164 -2332 -2220 -2316 2128 2612 -2272 2216 2636 2272 -2184 -2656 -2280 2120 2616 2684 -2228 2160 2696 -2344 -2560 2160 2704 -2232 -2180 -2692 2480 -2120 2504 2728 -2684 -2316 -2136 -2440 2164 2544 -2292 -2652 2668 2296 -2476 2308 -2676 -2440 -2732 2328 2172 2544 2408 2484 -2284 -2484 2584 -2672 -2120 -2696 -2172 -2120 2468 -2580 2588 -2400 2256 2684 -2316 -2160 -2512 2264 -2388 2204 2704 -2204 2384 -2620 2652 -2320 -2508 -2736 -2164 2416 2696 -2684 2396 -2388 -2140 -2256 2236 -2528 2576 2708 2640 -2372 -2736 2368 -2120 2188 -2680 2428 2660 -2612 2484 -2736 -2120 2132 2328 -2536 -2180 -2736 -2172 -2544 -2560 2288 -2644 2652 -2368 -2176 -2360 -2416 2688 2376 -2696 2724 2224 -2708 -2212 2120 -2520 -2264 -2700 -2140 2448 2412 -2532 -2452 -2732 2640 -2456 -2496 -2396 -2664 2364 2428 -2316 2368 2568 2308 2712 2560 2228 -2504 2544 -2448 2164 2120 -2180 -2612 -2128 -2160 2256 -2624 -2620 2140 2312 2280 -2696 2608 -2584 -2440 -2364 -2348 2728 -2500 -2292 -2444 2660 -2364 2704 2488 -2296 -2536 -2408 -2536 2584 -2168 -2688 -2344 -2204 2240 -2508 -2564 -2140 2132 -2680 2160 -2444 -2192 -2736 2168 -2168 -2168 -2692 2416 -2448 2548 2132 2480 2176 2704 -2696 2348 -2648 -2620 -2624 -2232 2280 -2224 -2680 -2232 2324 -2188 -2144 -2488 
285.40/287.97	d NODES 9933
285.40/287.97	d CHECKS 561995177
285.40/287.98	   
285.40/287.98	   totalWckTime=287.797  totalCpuTime=283.37

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-1085992-1215236729/watcher-1085992-1215236729 -o /tmp/evaluation-result-1085992-1215236729/solver-1085992-1215236729 -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-1085992-1215236729.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.92 1.98 1.99 4/80 32178
/proc/meminfo: memFree=1212920/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=144 CPUtime=0
/proc/32178/stat : 32178 (java) R 32176 32178 31347 0 -1 0 198 0 0 0 0 0 0 0 18 0 1 0 2002646186 147456 19 996147200 134512640 134550740 4294955968 18446744073709551615 3156992 0 0 4096 0 0 0 0 17 0 0 0
/proc/32178/statm: 38 21 14 9 0 4 0

[startup+0.0701361 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 32178
/proc/meminfo: memFree=1212920/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=865856 CPUtime=0.05
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 3293 0 1 0 4 1 0 0 18 0 9 0 2002646186 886636544 2819 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216464 2827 1526 9 0 211026 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 865856

[startup+0.101135 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 32178
/proc/meminfo: memFree=1212920/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=865884 CPUtime=0.08
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 3705 0 1 0 6 2 0 0 18 0 9 0 2002646186 886665216 3178 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216471 3181 1687 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.30116 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 32178
/proc/meminfo: memFree=1212920/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=866284 CPUtime=0.28
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 5988 0 1 0 24 4 0 0 18 0 9 0 2002646186 887074816 5362 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216571 5362 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284

[startup+0.701201 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 32178
/proc/meminfo: memFree=1212920/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=867416 CPUtime=0.68
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 11704 0 1 0 60 8 0 0 18 0 9 0 2002646186 888233984 11064 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216854 11065 2011 9 0 211360 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867416

[startup+1.50129 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 32187
/proc/meminfo: memFree=1158448/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=867460 CPUtime=1.48
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 20726 0 1 0 136 12 0 0 18 0 9 0 2002646186 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216865 20061 2004 9 0 211393 0
[pid=32178/tid=32180] ppid=32176 vsize=867460 CPUtime=1.23
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 15747 0 1 0 113 10 0 0 25 0 9 0 2002646187 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4126524042 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32181] ppid=32176 vsize=867460 CPUtime=0.06
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 3654 0 0 0 5 1 0 0 17 0 9 0 2002646189 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32182] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32183] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32184] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002646191 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=867460 CPUtime=0.17
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 2002646191 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32186] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002646191 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002646191 888279040 20061 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867460

[startup+3.10246 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 32187
/proc/meminfo: memFree=1128176/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=867460 CPUtime=3.08
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 23786 0 1 0 295 13 0 0 18 0 9 0 2002646186 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216865 23117 2006 9 0 211393 0
[pid=32178/tid=32180] ppid=32176 vsize=867460 CPUtime=2.72
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 15784 0 1 0 262 10 0 0 25 0 9 0 2002646187 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4126899191 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32181] ppid=32176 vsize=867460 CPUtime=0.15
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 6659 0 0 0 13 2 0 0 17 0 9 0 2002646189 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32182] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32183] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32184] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002646191 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=867460 CPUtime=0.19
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 646 0 0 0 19 0 0 0 15 0 9 0 2002646191 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32186] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002646191 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002646191 888279040 23117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867460

[startup+6.30281 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 32187
/proc/meminfo: memFree=1127600/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=867460 CPUtime=6.28
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 23817 0 1 0 614 14 0 0 18 0 9 0 2002646186 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216865 23145 2006 9 0 211393 0
[pid=32178/tid=32180] ppid=32176 vsize=867460 CPUtime=5.89
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 15787 0 1 0 579 10 0 0 25 0 9 0 2002646187 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4126902135 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32181] ppid=32176 vsize=867460 CPUtime=0.15
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 6659 0 0 0 13 2 0 0 16 0 9 0 2002646189 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32182] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32183] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32184] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002646191 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=867460 CPUtime=0.21
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 674 0 0 0 21 0 0 0 15 0 9 0 2002646191 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32186] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002646191 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002646191 888279040 23145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867460

[startup+12.7025 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 32187
/proc/meminfo: memFree=1117360/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=867460 CPUtime=12.68
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 26362 0 1 0 1252 16 0 0 18 0 9 0 2002646186 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216865 25688 2006 9 0 211393 0
[pid=32178/tid=32180] ppid=32176 vsize=867460 CPUtime=12.14
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 15789 0 1 0 1203 11 0 0 25 0 9 0 2002646187 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4126897873 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32181] ppid=32176 vsize=867460 CPUtime=0.29
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 9200 0 0 0 26 3 0 0 17 0 9 0 2002646189 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32182] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32183] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32184] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002646191 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=867460 CPUtime=0.22
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 676 0 0 0 22 0 0 0 15 0 9 0 2002646191 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32186] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002646191 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002646191 888279040 25688 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 867460

[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 32187
/proc/meminfo: memFree=1097712/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=867460 CPUtime=25.48
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 31994 0 1 0 2529 19 0 0 18 0 9 0 2002646186 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 216865 31311 2007 9 0 211393 0
[pid=32178/tid=32180] ppid=32176 vsize=867460 CPUtime=24.42
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 15800 0 1 0 2429 13 0 0 25 0 9 0 2002646187 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4126550304 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32181] ppid=32176 vsize=867460 CPUtime=0.76
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 14796 0 0 0 72 4 0 0 16 0 9 0 2002646189 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32182] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32183] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002646189 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32184] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 2002646191 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=867460 CPUtime=0.26
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 701 0 0 0 26 0 0 0 16 0 9 0 2002646191 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32186] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2002646191 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=867460 CPUtime=0
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2002646191 888279040 31311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 867460

[startup+51.1017 s]
/proc/loadavg: 2.02 2.00 2.00 3/89 32191
/proc/meminfo: memFree=1057328/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=868108 CPUtime=50.83
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 69956 941 1 0 5037 29 15 2 18 0 9 0 2002646186 888942592 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 217027 41183 2616 9 0 211555 0
[pid=32178/tid=32180] ppid=32176 vsize=868108 CPUtime=49.14
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 27971 941 1 0 4881 16 15 2 25 0 9 0 2002646187 888942592 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4126901664 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32181] ppid=32176 vsize=868108 CPUtime=1.44
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 40205 941 0 0 117 10 15 2 16 0 9 0 2002646189 888942592 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32182] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 18 941 0 0 0 0 15 2 16 0 9 0 2002646189 888942592 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32183] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 28 941 0 0 0 0 15 2 15 0 9 0 2002646189 888942592 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32184] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 941 0 0 0 0 15 2 23 0 9 0 2002646191 888942592 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=868108 CPUtime=0.56
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 907 941 0 0 38 1 15 2 16 0 9 0 2002646191 888942592 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32186] ppid=32176 vsize=868108 CPUtime=0.17

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

/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 941 0 0 0 0 15 2 23 0 9 0 2002646191 888942592 41221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=868108 CPUtime=0.64
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 959 941 0 0 46 1 15 2 16 0 9 0 2002646191 888942592 41221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32186] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 941 0 0 0 0 15 2 24 0 9 0 2002646191 888942592 41221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 14 941 0 0 0 0 15 2 15 0 9 0 2002646191 888942592 41221 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.42
Current children cumulated vsize (KiB) 868108

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32191
/proc/meminfo: memFree=1056624/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=868108 CPUtime=279.85
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 70030 941 1 0 27938 30 15 2 18 0 9 0 2002646186 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 217027 41223 2616 9 0 211555 0
[pid=32178/tid=32180] ppid=32176 vsize=868108 CPUtime=278.07
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 27990 941 1 0 27774 16 15 2 25 0 9 0 2002646187 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4126899253 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32181] ppid=32176 vsize=868108 CPUtime=1.44
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 40205 941 0 0 117 10 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32182] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 18 941 0 0 0 0 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32183] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 28 941 0 0 0 0 15 2 15 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32184] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 941 0 0 0 0 15 2 23 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=868108 CPUtime=0.64
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 962 941 0 0 46 1 15 2 16 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32186] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 941 0 0 0 0 15 2 24 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 14 941 0 0 0 0 15 2 15 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 279.85
Current children cumulated vsize (KiB) 868108

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

[startup+284.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32191
/proc/meminfo: memFree=1056624/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=868108 CPUtime=282.23
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 70030 941 1 0 28176 30 15 2 18 0 9 0 2002646186 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 217027 41223 2616 9 0 211555 0
[pid=32178/tid=32180] ppid=32176 vsize=868108 CPUtime=280.45
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 27990 941 1 0 28012 16 15 2 25 0 9 0 2002646187 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4126897864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32181] ppid=32176 vsize=868108 CPUtime=1.44
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 40205 941 0 0 117 10 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32182] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 18 941 0 0 0 0 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32183] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 28 941 0 0 0 0 15 2 15 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32184] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 941 0 0 0 0 15 2 23 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=868108 CPUtime=0.64
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 962 941 0 0 46 1 15 2 16 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32186] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 941 0 0 0 0 15 2 24 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 14 941 0 0 0 0 15 2 15 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 868108

[startup+286.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32191
/proc/meminfo: memFree=1056624/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=868108 CPUtime=283.81
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 70030 941 1 0 28334 30 15 2 18 0 9 0 2002646186 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 217027 41223 2616 9 0 211555 0
[pid=32178/tid=32180] ppid=32176 vsize=868108 CPUtime=282.03
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 27990 941 1 0 28170 16 15 2 25 0 9 0 2002646187 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4127130928 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32181] ppid=32176 vsize=868108 CPUtime=1.44
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 40205 941 0 0 117 10 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32182] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 18 941 0 0 0 0 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32183] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 28 941 0 0 0 0 15 2 15 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32184] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 941 0 0 0 0 15 2 23 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=868108 CPUtime=0.64
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 962 941 0 0 46 1 15 2 16 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32186] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 941 0 0 0 0 15 2 24 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 14 941 0 0 0 0 15 2 15 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 283.81
Current children cumulated vsize (KiB) 868108

[startup+287.107 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32191
/proc/meminfo: memFree=1056624/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=868108 CPUtime=284.61
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 70030 941 1 0 28414 30 15 2 18 0 9 0 2002646186 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 217027 41223 2616 9 0 211555 0
[pid=32178/tid=32180] ppid=32176 vsize=868108 CPUtime=282.83
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 27990 941 1 0 28250 16 15 2 25 0 9 0 2002646187 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4126935351 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32181] ppid=32176 vsize=868108 CPUtime=1.44
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 40205 941 0 0 117 10 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32182] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 18 941 0 0 0 0 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32183] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 28 941 0 0 0 0 15 2 15 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32184] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 941 0 0 0 0 15 2 23 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=868108 CPUtime=0.64
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 962 941 0 0 46 1 15 2 16 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32186] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 941 0 0 0 0 15 2 24 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 14 941 0 0 0 0 15 2 15 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 284.61
Current children cumulated vsize (KiB) 868108

[startup+287.503 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32191
/proc/meminfo: memFree=1056624/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=868108 CPUtime=285
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 70030 941 1 0 28453 30 15 2 18 0 9 0 2002646186 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 217027 41223 2616 9 0 211555 0
[pid=32178/tid=32180] ppid=32176 vsize=868108 CPUtime=283.22
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 27990 941 1 0 28289 16 15 2 25 0 9 0 2002646187 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4126934852 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32181] ppid=32176 vsize=868108 CPUtime=1.44
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 40205 941 0 0 117 10 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32182] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 18 941 0 0 0 0 15 2 16 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32183] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 28 941 0 0 0 0 15 2 15 0 9 0 2002646189 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32184] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 941 0 0 0 0 15 2 23 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=868108 CPUtime=0.64
/proc/32178/task/32185/stat : 32185 (java) S 32176 32178 31347 0 -1 64 962 941 0 0 46 1 15 2 16 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32186] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 941 0 0 0 0 15 2 24 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 14 941 0 0 0 0 15 2 15 0 9 0 2002646191 888942592 41223 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 285
Current children cumulated vsize (KiB) 868108

[startup+287.903 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32191
/proc/meminfo: memFree=1056624/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=868108 CPUtime=285.4
/proc/32178/stat : 32178 (java) S 32176 32178 31347 0 -1 0 70033 941 1 0 28493 30 15 2 18 0 9 0 2002646186 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32178/statm: 217027 41226 2616 9 0 211555 0
[pid=32178/tid=32180] ppid=32176 vsize=868108 CPUtime=283.61
/proc/32178/task/32180/stat : 32180 (java) R 32176 32178 31347 0 -1 64 27992 941 1 0 28328 16 15 2 25 0 9 0 2002646187 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32181] ppid=32176 vsize=868108 CPUtime=1.44
/proc/32178/task/32181/stat : 32181 (java) S 32176 32178 31347 0 -1 64 40205 941 0 0 117 10 15 2 16 0 9 0 2002646189 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32182] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32182/stat : 32182 (java) S 32176 32178 31347 0 -1 64 18 941 0 0 0 0 15 2 16 0 9 0 2002646189 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32183] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32183/stat : 32183 (java) S 32176 32178 31347 0 -1 64 28 941 0 0 0 0 15 2 15 0 9 0 2002646189 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32184] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32184/stat : 32184 (java) S 32176 32178 31347 0 -1 64 0 941 0 0 0 0 15 2 23 0 9 0 2002646191 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32185] ppid=32176 vsize=868108 CPUtime=0.64
/proc/32178/task/32185/stat : 32185 (java) R 32176 32178 31347 0 -1 64 963 941 0 0 46 1 15 2 16 0 9 0 2002646191 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 102198944 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32178/tid=32186] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32186/stat : 32186 (java) S 32176 32178 31347 0 -1 64 2 941 0 0 0 0 15 2 24 0 9 0 2002646191 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32178/tid=32187] ppid=32176 vsize=868108 CPUtime=0.17
/proc/32178/task/32187/stat : 32187 (java) S 32176 32178 31347 0 -1 64 14 941 0 0 0 0 15 2 15 0 9 0 2002646191 888942592 41226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 285.4
Current children cumulated vsize (KiB) 868108

[startup+288.003 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 32191
/proc/meminfo: memFree=1056624/2055920 swapFree=4179916/4192956
[pid=32178] ppid=32176 vsize=0 CPUtime=285.49
/proc/32178/stat : 32178 (java) Z 32176 32178 31347 0 -1 12 70077 941 1 0 28501 31 15 2 16 0 2 0 2002646186 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32178/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 285.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 288.023
CPU time (s): 285.524
CPU user time (s): 285.165
CPU system time (s): 0.358945
CPU usage (%): 99.1323
Max. virtual memory (cumulated for all children) (KiB): 868196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.165
system time used= 0.358945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71018
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= 8468
involuntary context switches= 9304

runsolver used 0.26296 second user time and 1.06384 second system time

The end

Launcher Data (download as text)

Begin job on node37 at 2008-07-05 07:45:29
IDJOB=1085992
IDBENCH=57738
IDSOLVER=363
FILE ID=node37/1085992-1215236729
PBS_JOBID= 7881909
Free space on /tmp= 66548 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp12/normalized-fapp12-1500-9.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-1085992-1215236729/watcher-1085992-1215236729 -o /tmp/evaluation-result-1085992-1215236729/solver-1085992-1215236729 -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-1085992-1215236729.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= a935103af39bd284c54c6d98a149f42a
RANDOM SEED=1665576425

node37.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.236
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.236
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:       1213400 kB
Buffers:         40392 kB
Cached:         188332 kB
SwapCached:       6964 kB
Active:         698164 kB
Inactive:        82964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1213400 kB
SwapTotal:     4192956 kB
SwapFree:      4179916 kB
Dirty:            5520 kB
Writeback:           0 kB
Mapped:         565928 kB
Slab:            45644 kB
Committed_AS:  4358752 kB
PageTables:       2860 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66548 MiB
End job on node37 at 2008-07-05 07:50:17