Trace number 1087231

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 511.534 514.17

DiagnosticValue
CHECKS1141320000
NODES22541

General information on the benchmark

Namecsp/fapp/fapp14/
normalized-fapp14-2500-9.xml
MD5SUM82e6ad1aef50625fbf6be40e28789b38
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 benchmark415.716
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Solver Data (download as text)

0.06/0.08	
0.06/0.08	Abscon 112 (May, 2008)
0.16/0.26	
0.16/0.26	   configuration
0.16/0.26	     name=mac.xml
0.25/0.33	   
0.25/0.33	   instance
0.25/0.33	     name=HOME/instance-1087231-1215243153.xml
0.25/0.37	   
0.25/0.37	   domains being loaded...
0.33/0.41	   
0.33/0.41	   variables being loaded...
0.53/0.69	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362  nbTotalValues=774322
0.53/0.69	       =>  wckTime=0.421  cpuTime=0.29  mem=36M194
0.53/0.69	   
0.53/0.69	   predicates being loaded...
0.63/0.75	   
0.63/0.75	   constraints being loaded...
20.73/20.96	   
20.73/20.96	   INFO : Stopping converting binary constraints (cpu=20.04, mem = 78M593)
33.15/33.44	     nbConstraints=21638  nbGlobalConstraints=28  nbMergedConstraints=19157  nbConvertedConstraints=381
33.15/33.44	     nbConvertConstraintsChecks=41418930  nbExtensionStructures=354  nbSharedExtensionStructures=76
33.15/33.44	     nbConflictsStructures=983  nbSharedConflictsStructures=206  nbUnbuiltConflictsStructures=14191
33.15/33.44	     nbSharedBinaryRepresentations=142202  nbEvaluationManagers=14820  nbSharedEvaluationManagers=6409  minDegree=2
33.15/33.44	     maxDegree=28  minArity=2  avgArity=2.01  maxArity=7  nbGenerators=0  nbFusions=0  symmetryWckTime=3.207
33.15/33.44	     symmetryCpuTime=2.72  nbCliques=28
33.15/33.44	       =>  wckTime=33.172  cpuTime=31.03  mem=115M477
33.65/34.00	   
33.65/34.00	   solver IterativeSystematicSolver being built... 
34.14/34.48	   
34.14/34.48	   INFO : Forward propagation technique limited 
34.35/34.64	       =>  wckTime=34.377  cpuTime=31.48  mem=195M349
83.20/83.78	   
83.20/83.78	   preprocessing
83.20/83.78	     nbConstraintChecks=149105879  nbValidityChecks=3193552  nbPropagations=2915  nbRevisions=55539
83.20/83.78	     nbUselessRevisions=51711  nbRemovedValues=247975  detectedInconsistency=no
83.20/83.78	       =>  wckTime=49.114  cpuTime=48.85  mem=195M349
511.38/514.07	   
511.38/514.07	   search
511.38/514.07	     run=15  nbConstraintChecks=992217434  nbValidityChecks=1216582699  minDepth=6  maxDepth=2500
511.38/514.07	     nbPropagations=3213206  nbRevisions=59208266  nbUselessRevisions=52155809  nbAssignments=22541
511.38/514.07	     nbFailedAssignments=10917  nbInferredBacktracks=1  nbBacktracks=3487  nbVisitedNodes=35463  nbRestartNogoods=521
511.38/514.07	     nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?  nbDEliminables=?  nbPEliminables=?
511.38/514.07	       =>  wckTime=479.41  cpuTime=476.86  mem=178M757
511.38/514.07	   
511.38/514.07	   global
511.38/514.07	     nbConstraintChecks=1141323313  nbValidityChecks=1219776251  nbPropagations=3216121  nbRevisions=59263805
511.38/514.07	     nbUselessRevisions=52207520  nbRestartNogoods=521  solvingWckTime=479.412  solvingCpuTime=476.86  expiredTime=no
511.38/514.07	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=508.22  globalCpuTime=508.38
511.38/514.07	       =>  wckTime=513.806  cpuTime=508.35  mem=178M757
511.38/514.10	   
511.38/514.10	s SATISFIABLE
511.38/514.10	v 2184 -2284 -2576 -2584 2508 -2040 2132 -2248 -2728 -2136 2684 -2096 2596 2140 2580 -2572 2644 2444 2172 2096 -2088 -2584 2508 -2064 -2300 -2316 2616 -2564 -2668 -2060 2408 -2680 -2212 2308 2492 -2740 -2336 -2060 2468 -2288 2656 2060 2488 -2232 2672 -2700 -2696 2020 -2364 2088 2092 -2468 2440 2520 -2232 -2164 -2688 -2476 -2640 2256 -2292 -2612 2608 -2180 -2284 -2580 -2712 2444 -2084 -2600 -2724 -2580 -2364 -2556 -2360 -2676 -2068 2024 2116 -2580 2656 2676 -2660 -2444 -2540 -2368 2076 -2700 -2740 -2500 2224 -2584 2552 2656 -2696 2144 -2440 -2200 2024 -2632 -2292 2196 -2324 2020 2152 2504 2668 2468 2368 2020 -2060 2620 -2040 2180 -2408 2472 -2148 2128 2684 -2256 2520 -2484 -2412 2656 -2280 -2524 2480 -2520 -2096 2564 -2508 -2700 -2060 -2268 2624 -2216 2644 2668 -2440 2136 -2644 2700 2488 2580 -2084 -2676 -2700 -2024 2536 -2180 -2084 -2740 -2320 -2436 -2456 -2700 -2084 -2628 -2612 -2532 -2200 2624 -2640 -2740 2716 2028 2440 -2412 -2700 -2312 2248 -2184 -2072 -2692 -2268 2412 2312 2428 -2536 2096 2620 2572 2116 2640 2368 -2548 -2068 -2700 2296 -2352 -2104 -2092 2504 2072 -2632 -2652 2336 2156 -2092 -2204 2452 -2704 2696 2700 2084 -2168 2620 2604 2060 2068 2556 2316 -2104 2140 2456 2452 2640 2344 2516 2152 -2328 -2652 2608 2572 -2060 2532 2160 2684 2124 2444 -2568 -2500 -2408 -2380 2636 -2240 2020 -2020 2424 -2740 2356 -2700 -2400 -2604 -2048 -2704 2552 -2428 -2700 -2548 2512 -2320 2560 -2496 -2028 -2700 -2368 -2136 -2432 -2340 2280 -2060 -2428 2288 2020 -2664 2560 -2528 2152 2556 2436 -2060 -2472 -2696 -2060 -2060 -2176 -2060 -2740 2732 -2020 2452 -2160 2272 2532 2672 -2688 2568 -2528 -2556 2096 -2644 -2644 2416 2460 2652 2036 -2300 2020 -2388 -2640 2060 -2636 -2464 -2140 -2404 -2700 2196 -2600 -2304 2216 2456 -2072 2676 2384 2452 2620 2128 2388 2376 -2592 2636 -2064 2192 -2276 2060 -2060 -2544 -2720 -2700 -2504 -2544 -2236 -2740 -2060 2564 2648 2192 -2596 -2536 -2492 -2652 -2536 2700 -2208 -2184 -2740 -2060 -2476 -2348 2320 -2584 2520 2332 -2328 -2696 2160 2684 -2636 -2060 -2628 2292 2100 2576 -2740 2632 -2196 -2184 2092 -2740 -2084 2592 2604 -2660 2740 2512 -2196 2528 2080 -2408 -2160 -2460 2344 -2404 2564 2084 -2220 -2344 2120 2196 2300 2688 2660 -2548 -2700 -2740 -2504 -2636 2200 -2252 2588 -2740 2276 -2596 -2264 2484 2444 2532 -2052 2628 2084 2176 -2516 -2468 -2440 2084 2656 2572 2316 2220 -2700 2464 2108 -2704 2168 -2392 2620 -2576 -2320 2228 -2580 2176 -2100 2600 -2464 2056 -2688 -2700 -2728 2700 -2136 -2524 2652 -2368 -2628 -2076 -2060 2296 -2140 2632 -2260 -2616 2252 -2696 -2192 2504 -2404 2592 -2424 -2044 -2216 -2684 2084 2300 -2080 2544 -2380 -2104 -2704 -2300 2368 2428 -2676 -2320 -2220 2488 2088 2268 -2316 -2528 -2700 2408 2020 2680 -2048 -2112 -2616 2492 -2580 2332 -2492 2240 2516 2064 -2088 2160 -2116 2344 2632 -2192 2236 2556 -2136 -2104 2100 -2596 -2112 -2264 2296 2632 -2124 -2100 -2636 -2144 2020 2180 2632 2576 -2368 2596 -2072 2356 -2364 -2740 -2396 -2684 2132 -2300 -2528 -2716 2328 2064 -2660 -2412 -2100 -2168 -2568 -2564 2740 2064 -2020 2700 -2664 -2704 -2432 2584 -2636 2348 2176 2668 2060 -2412 -2360 2156 2360 2324 -2540 -2436 -2724 -2540 -2740 -2020 -2404 2636 -2700 -2084 2104 -2260 -2176 -2700 2084 -2632 -2164 -2528 -2148 2600 -2732 2080 -2360 -2256 -2092 -2444 -2536 -2672 2612 2328 2200 2332 2540 -2264 -2408 -2060 -2720 -2340 2424 -2084 2584 2632 2472 2372 2484 2136 -2436 -2240 2168 2264 -2740 2484 -2148 -2408 -2432 -2208 2288 -2212 -2368 2432 -2196 -2024 2552 -2356 -2740 2208 2632 -2700 2620 2212 -2508 -2124 2328 -2356 -2736 2220 2028 -2700 -2272 -2516 -2616 2236 2664 2632 2388 -2372 -2140 2196 -2696 2532 2256 2668 -2620 2504 2572 -2736 -2700 -2348 2384 -2488 2376 -2460 -2120 -2144 -2632 2600 -2492 2028 -2616 -2184 2196 -2212 2388 -2124 2724 -2428 -2352 -2252 -2388 -2560 2020 -2640 2508 2020 -2444 2320 -2492 -2312 2680 2160 -2216 -2224 -2172 2580 -2536 2740 -2312 -2740 -2068 -2696 -2108 -2212 -2724 -2632 -2720 2368 2332 2200 -2432 -2216 2236 2720 2668 2216 2396 -2672 -2288 -2312 -2188 -2740 2076 -2740 2320 -2128 2696 -2520 -2624 -2096 -2640 -2564 -2528 -2024 -2216 -2508 -2524 2460 -2252 -2432 2732 2628 2312 2444 2644 2716 2628 -2740 2064 2044 2156 -2212 -2124 2648 2308 -2700 2132 2692 -2440 -2064 -2076 -2080 -2248 -2604 2180 2660 -2144 -2096 -2244 2324 -2252 2524 -2020 2616 -2700 -2740 -2176 2068 2388 -2288 2224 -2348 -2428 2612 -2124 -2648 2280 -2616 -2288 2416 2028 2032 -2136 2124 2532 -2688 2624 2628 2408 -2472 2664 -2388 2556 -2500 2476 2600 2344 -2388 2184 -2252 2620 2600 -2396 -2328 2060 -2380 -2172 -2136 -2580 -2740 2196 2060 -2360 -2684 2260 -2060 2684 -2484 2688 -2060 2332 -2156 2204 -2368 2132 -2600 2592 -2516 -2696 -2320 2220 2092 2340 -2452 -2276 -2300 -2588 2512 -2340 2700 -2716 -2396 -2508 -2636 -2408 -2484 2328 -2684 -2308 -2640 -2688 2184 -2364 2652 2584 -2032 2316 -2640 2060 -2668 2428 2556 -2236 2412 -2372 2020 2492 -2648 2380 2384 -2076 -2108 -2176 -2120 2020 -2524 2616 2700 -2060 2584 2320 -2400 2680 -2680 2176 -2260 -2544 2112 2252 -2080 -2020 -2396 2720 2164 -2308 2672 2124 -2060 2196 2700 2060 -2544 2492 2060 2020 -2196 2232 -2676 -2524 -2704 -2556 2568 -2036 2492 2044 2656 2144 -2700 -2700 -2740 -2548 2704 -2468 -2332 -2724 2488 2632 -2304 -2544 -2124 2308 -2196 -2216 2212 -2132 2368 -2056 -2676 -2272 2400 -2020 -2716 2404 2444 -2584 2172 -2740 -2116 2592 -2740 2328 -2724 -2100 -2120 2192 -2100 -2584 2088 -2364 -2672 -2132 2364 2020 -2404 2444 -2716 -2320 -2700 -2292 2596 -2484 -2620 -2668 2024 -2564 -2376 -2144 2500 -2740 -2332 2080 2084 -2184 2268 -2452 -2660 -2636 -2252 2192 -2700 2688 2724 -2576 2384 2672 -2512 -2240 -2344 -2700 -2740 -2096 -2740 2492 -2696 -2612 -2432 2060 -2104 -2640 2428 2500 -2180 2656 -2224 -2132 2712 2248 -2572 -2660 2312 2260 -2688 -2692 -2244 2400 2344 2612 2592 2240 2600 2700 2160 -2380 2328 -2248 -2332 -2152 2316 -2020 -2208 -2740 2104 -2068 2616 2676 -2504 -2108 -2020 -2640 -2584 -2460 2700 2456 -2656 -2224 2332 -2380 -2728 -2368 -2700 2596 2408 -2728 2120 2700 -2716 2168 -2276 2020 2060 -2696 -2348 -2080 -2100 -2172 -2468 2580 -2028 -2584 2480 2096 2492 2284 2304 -2128 -2740 -2140 -2340 -2676 2660 2616 2512 2648 2288 -2724 2268 -2024 -2316 2236 -2520 2304 -2176 -2344 -2020 -2020 -2344 -2260 2184 2604 -2688 -2280 2240 -2664 -2260 -2564 -2076 -2592 2720 2696 2164 -2468 2684 -2264 -2224 -2480 2560 -2360 2392 -2700 -2740 -2420 -2108 2720 2204 -2200 -2200 2544 2292 -2484 -2636 2536 2176 -2068 -2136 2072 -2656 -2616 2068 -2400 -2576 -2228 2740 -2056 2328 -2660 -2592 2388 2144 -2664 -2544 -2368 -2540 -2272 -2700 -2516 -2316 2448 -2644 -2444 2516 2660 2116 2280 -2156 2580 2692 -2620 -2740 -2736 -2620 2688 -2568 2656 -2668 -2576 2680 2720 -2544 2700 -2216 -2500 -2508 2476 2524 -2636 -2080 -2248 -2428 2668 2520 2548 -2428 -2672 2204 2688 2060 2472 -2204 -2200 2084 -2356 2400 2240 2196 -2276 -2220 2412 2600 -2740 2480 -2724 -2032 -2660 2116 -2696 -2600 -2440 2468 2292 -2648 2456 -2224 -2120 2268 2644 -2728 -2060 2732 2244 2156 -2632 -2076 2740 2196 2504 -2228 2036 -2592 -2048 2492 -2044 2704 2460 -2544 -2060 -2064 -2588 -2216 -2672 2556 2020 -2672 -2252 2580 2128 2036 2124 2396 2384 2372 -2360 2280 -2620 -2152 -2284 -2060 -2276 -2216 2228 -2612 -2228 -2264 2256 -2068 -2684 -2328 2160 -2696 2604 2024 2456 -2152 2596 2680 -2452 -2436 -2020 2604 -2496 -2108 -2148 -2224 -2616 -2020 -2320 -2740 -2700 2536 2160 2540 -2020 2100 -2356 -2208 2052 -2104 -2580 -2532 -2140 -2576 -2252 2176 -2660 -2420 -2088 2628 -2552 2020 -2564 -2348 -2660 -2520 -2368 -2312 -2044 2020 2172 -2160 -2508 2224 -2340 2044 2516 -2364 2104 2132 -2292 -2484 2340 2468 -2544 -2020 -2600 -2060 2720 2452 2676 -2192 2696 2344 -2084 2328 -2404 2636 2208 -2700 -2560 2212 2528 2180 2640 2080 -2384 2656 2372 -2356 -2620 2084 -2720 -2156 -2736 2624 -2224 -2352 -2204 2160 -2484 -2332 2612 2480 2472 2468 -2160 -2564 -2700 2340 2320 -2064 -2076 -2416 -2276 2140 -2024 2636 -2132 -2160 -2396 -2044 -2676 -2052 -2496 -2068 2680 2724 2620 -2576 -2724 2464 2680 -2660 -2388 -2060 2280 -2716 -2368 2472 -2136 -2436 2600 -2096 -2392 -2452 2164 -2288 -2392 -2340 2516 -2060 2208 -2264 -2540 -2328 2452 -2548 2328 -2608 2072 -2700 -2428 -2196 -2132 -2724 -2632 -2172 2636 2476 2700 -2688 -2500 -2076 -2156 -2372 -2064 2024 -2740 -2324 -2412 2592 -2568 2568 2612 2588 2728 2540 -2636 -2116 -2492 -2256 2508 -2252 2548 2484 2220 -2668 2660 2020 -2700 -2336 -2604 -2276 2672 -2136 -2036 -2636 2540 -2492 2672 2304 -2260 2292 -2664 2320 -2344 -2064 -2180 2156 2388 -2236 2276 2540 -2468 -2596 2504 -2352 -2300 -2548 -2596 2568 2124 -2352 -2628 -2604 -2424 -2468 -2740 2684 -2236 -2164 2044 2640 -2676 -2596 2708 2536 -2700 -2648 -2584 -2740 -2480 -2336 2484 -2140 -2620 2676 -2624 -2208 -2700 2580 -2700 -2484 -2276 2232 -2060 -2612 -2096 2056 2560 -2188 -2312 -2068 2356 2656 -2060 2520 -2256 2656 -2652 2552 2544 -2116 2284 -2636 -2492 -2428 -2216 2740 -2384 -2304 -2740 2260 2688 -2532 -2652 -2216 2684 -2368 -2740 2560 2360 -2020 2740 2068 -2740 -2700 -2020 2092 -2540 -2504 -2404 -2500 -2400 2576 -2620 2396 2676 -2220 2716 2576 -2244 2740 -2448 2136 -2204 2276 -2340 2576 -2228 -2720 -2740 -2060 -2740 2548 -2716 2180 2668 -2060 -2448 2456 -2512 -2096 2400 -2380 2676 2480 2248 2668 -2700 2464 -2020 -2168 -2356 2040 2028 -2620 -2664 2364 -2212 2360 -2684 -2660 -2216 -2516 2632 -2100 -2672 -2708 2216 -2388 -2716 2292 2076 2028 2416 2464 -2144 2364 -2700 -2296 2300 -2372 2656 -2280 -2704 -2676 -2700 -2052 -2324 2648 -2028 -2252 2560 -2508 -2356 2672 -2060 2604 2232 2304 2088 -2592 2592 -2540 -2428 -2428 2020 2248 -2740 -2740 -2372 2584 2288 -2096 -2736 2452 2548 2528 2276 -2136 2432 -2320 -2288 -2508 -2584 -2084 2076 2020 -2352 -2684 -2740 -2092 -2476 2100 -2600 -2136 2648 -2736 2192 -2700 -2448 -2076 -2368 2220 -2576 2236 -2700 2168 -2740 2300 2404 -2468 2396 2020 -2172 2508 -2728 -2108 -2096 -2596 -2576 2428 -2272 -2664 -2712 2168 2280 -2200 2088 2688 2092 -2200 -2500 2424 -2344 -2360 -2060 2040 -2532 2532 -2196 -2660 -2508 -2092 -2740 -2180 2432 -2740 2256 -2628 -2360 -2020 -2332 -2132 2296 -2628 -2392 -2576 2032 -2024 2676 -2140 -2144 2540 -2248 -2576 -2700 -2360 -2684 -2700 2240 -2064 -2400 -2316 -2288 -2292 -2320 2648 -2060 -2260 -2232 2224 -2704 -2620 2236 -2600 -2364 2212 -2596 -2740 -2732 2492 -2116 -2244 2672 2724 -2260 2616 -2560 2024 -2652 -2700 2452 -2696 -2156 2620 2060 2020 2192 2480 -2544 -2332 -2408 2660 -2060 -2020 -2248 2200 -2492 -2280 -2468 -2660 -2480 -2404 -2140 -2700 -2740 2196 2640 2060 -2580 2060 2636 -2628 -2696 2428 2632 2072 -2708 -2176 2484 2396 -2568 -2700 2696 -2632 -2500 -2156 2620 2552 2224 -2512 -2664 -2020 2312 -2672 2556 2024 -2168 2620 2700 2676 2664 2684 -2700 -2096 -2288 2492 -2388 -2452 2356 2196 2540 2592 -2544 -2620 -2700 -2644 -2020 -2644 -2672 2640 -2180 2280 2064 -2088 2280 2620 -2596 -2348 2184 -2216 2300 2576 -2100 -2400 2608 -2236 2020 -2624 2368 -2252 -2320 -2568 -2112 -2664 2516 2456 -2380 -2596 -2084 -2556 2060 -2060 -2132 2480 2700 -2680 -2608 -2700 -2440 -2672 -2616 -2048 -2424 2528 2028 -2048 -2704 -2116 -2740 -2372 2176 -2688 2072 -2564 -2348 2728 2128 2588 -2700 -2740 -2400 -2692 2560 -2044 -2320 -2204 -2160 -2276 2480 2536 -2692 2064 -2208 -2660 2460 -2660 2508 2676 -2544 2600 2628 2520 -2096 -2572 -2172 -2444 2020 -2348 -2164 -2700 2264 2740 -2064 -2084 2468 -2416 -2648 -2136 2336 2068 -2064 2388 -2352 -2264 -2392 2420 -2592 -2636 -2216 2604 2324 -2668 2532 -2044 -2648 -2484 2372 2676 2348 2580 2060 2048 -2532 -2072 2528 2740 -2692 2120 2580 -2528 2488 2076 2444 -2092 -2032 -2648 2060 -2384 -2020 2020 2596 -2176 2088 -2576 -2304 -2584 -2624 2480 -2216 2036 -2048 -2200 2716 2268 -2252 2688 -2304 2528 -2552 -2740 -2540 2028 -2700 -2356 -2072 2304 2616 2280 -2060 -2032 -2220 -2612 -2700 -2548 -2360 -2524 -2256 -2308 2220 2604 -2540 2656 -2700 2332 2560 -2120 2196 -2716 -2444 2020 -2712 2296 -2540 -2080 2020 2160 -2060 -2340 -2688 2408 2520 -2060 2472 -2236 2416 2580 2280 -2208 -2468 -2136 -2476 2100 -2556 2564 2520 2208 -2036 2092 -2264 -2532 2600 2444 -2740 -2684 2028 -2104 2060 -2180 -2212 2020 2584 2724 2264 2180 2412 -2700 -2352 -2680 -2328 2672 -2580 2740 2656 -2608 2468 2472 -2032 2568 2292 -2496 2060 2200 -2672 -2080 -2540 2140 -2404 2324 -2188 2468 2444 2512 -2316 -2252 -2228 -2620 -2688 2604 2476 2168 2020 -2236 -2356 -2184 -2192 -2436 2040 2068 -2064 -2580 2532 -2548 -2700 -2588 -2552 -2548 -2476 -2148 2580 2508 2360 -2116 -2616 -2604 -2108 -2404 2624 2080 -2464 -2080 -2044 2644 2452 -2272 2348 -2060 -2236 -2296 2096 -2584 -2680 -2740 2292 -2552 -2236 -2060 -2504 2480 -2232 -2676 2068 2064 2340 -2404 -2380 -2144 2568 -2640 -2608 2600 2472 -2360 2676 2540 -2524 -2600 2728 -2468 -2060 -2548 -2656 2104 2700 2388 2660 -2504 -2596 -2444 2600 2124 2156 -2372 2544 -2384 2652 -2352 -2616 -2360 2556 -2020 -2688 -2104 2140 2648 2336 -2224 2444 -2736 -2576 -2492 2716 -2320 -2504 2228 -2448 -2232 2140 -2600 -2088 -2420 2060 2664 -2068 2120 2212 -2048 -2440 2560 -2056 2704 2664 -2064 -2720 2220 -2452 -2632 -2572 -2484 2420 2712 -2288 -2120 -2660 -2348 -2608 2676 -2248 -2444 -2032 -2452 -2640 -2620 2656 2684 -2676 -2680 -2640 2332 2020 2568 2060 -2020 2328 -2292 2040 -2660 -2652 2176 -2188 -2656 -2068 -2112 2136 -2092 -2316 -2672 -2268 -2064 -2436 2112 2060 -2560 -2636 2164 2552 -2516 -2732 -2244 -2240 2296 2020 -2284 -2020 -2020 2368 -2508 2452 -2228 2600 -2324 2076 -2316 -2700 -2428 2476 -2428 -2452 2680 -2448 -2632 -2500 2060 -2668 2164 -2024 -2372 2148 -2724 2412 -2580 -2080 2708 -2200 -2608 2520 -2644 -2576 -2392 -2020 2288 -2108 2208 -2400 -2492 -2712 2648 -2492 -2100 2488 -2328 2072 -2428 -2172 -2512 -2100 2692 -2424 -2236 2200 -2508 -2712 -2156 -2524 2188 -2372 -2616 -2416 -2620 2544 2152 -2624 -2020 -2040 -2564 2536 -2704 2060 -2624 -2116 -2156 -2200 2684 2064 -2660 -2060 -2468 -2060 2724 2176 2256 2688 -2460 -2360 -2740 2544 2076 2116 -2200 2600 2576 2648 2420 2580 -2116 -2140 2232 2144 2728 2684 2340 -2500 -2524 -2692 -2236 2452 -2132 -2536 -2712 -2160 -2040 -2592 2020 -2076 2512 2620 -2060 2020 -2600 -2400 -2044 -2664 -2484 -2604 -2472 2336 -2408 
511.38/514.10	d NODES 22541
511.38/514.10	d CHECKS 1141323313
511.47/514.10	   
511.47/514.10	   totalWckTime=513.895  totalCpuTime=508.4

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-1087231-1215243153/watcher-1087231-1215243153 -o /tmp/evaluation-result-1087231-1215243153/solver-1087231-1215243153 -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-1087231-1215243153.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: 2.00 2.05 2.24 4/73 32270
/proc/meminfo: memFree=1924024/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=18572 CPUtime=0
/proc/32270/stat : 32270 (runsolver) R 32268 32270 31264 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 647235506 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 243665530151 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/32270/statm: 4643 292 257 25 0 2626 0

[startup+0.070099 s]
/proc/loadavg: 2.00 2.05 2.24 4/73 32270
/proc/meminfo: memFree=1924024/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=865856 CPUtime=0.06
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 3344 0 1 0 4 2 0 0 21 0 9 0 647235506 886636544 2867 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216464 2867 1557 9 0 211026 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 865856

[startup+0.102111 s]
/proc/loadavg: 2.00 2.05 2.24 4/73 32270
/proc/meminfo: memFree=1924024/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=865884 CPUtime=0.09
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 3750 0 1 0 7 2 0 0 21 0 9 0 647235506 886665216 3212 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216471 3212 1702 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.301198 s]
/proc/loadavg: 2.00 2.05 2.24 4/73 32270
/proc/meminfo: memFree=1924024/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=866204 CPUtime=0.25
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 5629 0 2 0 21 4 0 0 21 0 9 0 647235506 886992896 5045 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216551 5045 1902 9 0 211099 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 866204

[startup+0.702173 s]
/proc/loadavg: 2.00 2.05 2.24 4/73 32270
/proc/meminfo: memFree=1924024/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867328 CPUtime=0.63
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 13752 0 4 0 53 10 0 0 21 0 9 0 647235506 888143872 13125 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216832 13125 1973 9 0 211360 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 867328

[startup+1.50226 s]
/proc/loadavg: 2.00 2.05 2.24 4/82 32279
/proc/meminfo: memFree=1858992/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867460 CPUtime=1.43
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 22450 0 4 0 128 15 0 0 21 0 9 0 647235506 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216865 21789 2004 9 0 211393 0
[pid=32270/tid=32272] ppid=32268 vsize=867460 CPUtime=1.17
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 15738 0 4 0 106 11 0 0 25 0 9 0 647235507 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4126864759 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867460 CPUtime=0.06
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 5385 0 0 0 4 2 0 0 17 0 9 0 647235508 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867460 CPUtime=0.17
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 631 0 0 0 17 0 0 0 15 0 9 0 647235510 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647235511 888279040 21789 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 867460

[startup+3.10142 s]
/proc/loadavg: 2.00 2.05 2.24 3/82 32279
/proc/meminfo: memFree=1830768/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867460 CPUtime=3.02
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 27028 0 4 0 285 17 0 0 21 0 9 0 647235506 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216865 26365 2004 9 0 211393 0
[pid=32270/tid=32272] ppid=32268 vsize=867460 CPUtime=2.58
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 15744 0 4 0 246 12 0 0 25 0 9 0 647235507 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 102888218 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867460 CPUtime=0.24
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 9957 0 0 0 21 3 0 0 17 0 9 0 647235508 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867460 CPUtime=0.17
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 631 0 0 0 17 0 0 0 15 0 9 0 647235510 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647235511 888279040 26365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 867460

[startup+6.30173 s]
/proc/loadavg: 2.00 2.05 2.24 3/82 32279
/proc/meminfo: memFree=1817840/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867460 CPUtime=6.2
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 28663 0 4 0 602 18 0 0 21 0 9 0 647235506 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216865 27994 2006 9 0 211393 0
[pid=32270/tid=32272] ppid=32268 vsize=867460 CPUtime=5.6
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 15784 0 4 0 548 12 0 0 25 0 9 0 647235507 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4126935385 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867460 CPUtime=0.35
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 11514 0 0 0 31 4 0 0 17 0 9 0 647235508 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867460 CPUtime=0.22
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 669 0 0 0 22 0 0 0 16 0 9 0 647235510 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647235511 888279040 27994 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867460

[startup+12.7014 s]
/proc/loadavg: 2.00 2.04 2.24 3/82 32279
/proc/meminfo: memFree=1817776/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867460 CPUtime=12.57
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 28667 0 4 0 1238 19 0 0 21 0 9 0 647235506 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216865 27996 2006 9 0 211393 0
[pid=32270/tid=32272] ppid=32268 vsize=867460 CPUtime=11.97
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 15786 0 4 0 1184 13 0 0 25 0 9 0 647235507 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4126901952 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867460 CPUtime=0.35
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 11514 0 0 0 31 4 0 0 16 0 9 0 647235508 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867460 CPUtime=0.22
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 671 0 0 0 22 0 0 0 15 0 9 0 647235510 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647235511 888279040 27996 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867460

[startup+25.5027 s]
/proc/loadavg: 2.08 2.06 2.24 3/82 32279
/proc/meminfo: memFree=1791920/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867460 CPUtime=25.3
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 35169 0 4 0 2508 22 0 0 21 0 9 0 647235506 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216865 34491 2007 9 0 211393 0
[pid=32270/tid=32272] ppid=32268 vsize=867460 CPUtime=24.19
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 15795 0 4 0 2405 14 0 0 25 0 9 0 647235507 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 102689657 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867460 CPUtime=0.82
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 17981 0 0 0 76 6 0 0 16 0 9 0 647235508 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 647235509 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867460 CPUtime=0.26
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 697 0 0 0 26 0 0 0 16 0 9 0 647235510 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 647235510 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867460 CPUtime=0
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 647235511 888279040 34491 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 867460

[startup+51.1023 s]
/proc/loadavg: 2.05 2.05 2.24 3/82 32283
/proc/meminfo: memFree=1711080/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867872 CPUtime=50.76
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 92410 1356 4 0 5010 40 23 3 21 0 9 0 647235506 888700928 55270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216968 55270 2638 9 0 211474 0
[pid=32270/tid=32272] ppid=32268 vsize=867872 CPUtime=48.26
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 32427 1356 4 0 4782 18 23 3 25 0 9 0 647235507 888700928 55270 996147200 134512640 134550740 4294955968 18446744073709551615 4126901952 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867872 CPUtime=2.31
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 58162 1356 0 0 188 17 23 3 17 0 9 0 647235508 888700928 55270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867872 CPUtime=0.26
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 17 1356 0 0 0 0 23 3 16 0 9 0 647235509 888700928 55270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867872 CPUtime=0.26
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 24 1356 0 0 0 0 23 3 15 0 9 0 647235509 888700928 55270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867872 CPUtime=0.26
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888700928 55270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867872 CPUtime=0.65
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 962 1356 0 0 38 1 23 3 16 0 9 0 647235510 888700928 55270 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867872 CPUtime=0.26

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

/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 99498 1356 4 0 49585 44 23 3 21 0 9 0 647235506 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216946 62288 2616 9 0 211474 0
[pid=32270/tid=32272] ppid=32268 vsize=867784 CPUtime=493.89
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 32448 1356 4 0 49344 19 23 3 25 0 9 0 647235507 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4127075136 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867784 CPUtime=2.4
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 65171 1356 0 0 194 20 23 3 16 0 9 0 647235508 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 17 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 29 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867784 CPUtime=0.72
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 1015 1356 0 0 45 1 23 3 15 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 6 1356 0 0 0 0 23 3 15 0 9 0 647235511 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 496.55
Current children cumulated vsize (KiB) 867784

[startup+505.503 s]
/proc/loadavg: 2.00 2.00 2.13 3/82 32283
/proc/meminfo: memFree=1682600/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867784 CPUtime=502.92
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 99498 1356 4 0 50222 44 23 3 21 0 9 0 647235506 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216946 62288 2616 9 0 211474 0
[pid=32270/tid=32272] ppid=32268 vsize=867784 CPUtime=500.26
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 32448 1356 4 0 49981 19 23 3 25 0 9 0 647235507 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4127449266 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867784 CPUtime=2.4
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 65171 1356 0 0 194 20 23 3 16 0 9 0 647235508 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 17 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 29 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867784 CPUtime=0.72
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 1015 1356 0 0 45 1 23 3 15 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 6 1356 0 0 0 0 23 3 15 0 9 0 647235511 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 502.92
Current children cumulated vsize (KiB) 867784

[startup+508.702 s]
/proc/loadavg: 2.00 2.00 2.13 3/82 32283
/proc/meminfo: memFree=1682600/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867784 CPUtime=506.1
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 99498 1356 4 0 50540 44 23 3 21 0 9 0 647235506 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216946 62288 2616 9 0 211474 0
[pid=32270/tid=32272] ppid=32268 vsize=867784 CPUtime=503.45
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 32448 1356 4 0 50300 19 23 3 25 0 9 0 647235507 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4126904375 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867784 CPUtime=2.4
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 65171 1356 0 0 194 20 23 3 16 0 9 0 647235508 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 17 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 29 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867784 CPUtime=0.72
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 1015 1356 0 0 45 1 23 3 15 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 6 1356 0 0 0 0 23 3 15 0 9 0 647235511 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 506.1
Current children cumulated vsize (KiB) 867784

[startup+511.902 s]
/proc/loadavg: 2.00 2.00 2.13 3/82 32283
/proc/meminfo: memFree=1682600/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867784 CPUtime=509.29
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 99498 1356 4 0 50859 44 23 3 21 0 9 0 647235506 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216946 62288 2616 9 0 211474 0
[pid=32270/tid=32272] ppid=32268 vsize=867784 CPUtime=506.63
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 32448 1356 4 0 50618 19 23 3 25 0 9 0 647235507 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4127434116 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867784 CPUtime=2.4
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 65171 1356 0 0 194 20 23 3 16 0 9 0 647235508 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 17 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 29 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867784 CPUtime=0.72
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 1015 1356 0 0 45 1 23 3 15 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 6 1356 0 0 0 0 23 3 15 0 9 0 647235511 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 509.29
Current children cumulated vsize (KiB) 867784

[startup+513.503 s]
/proc/loadavg: 2.00 2.00 2.13 3/82 32283
/proc/meminfo: memFree=1682536/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867784 CPUtime=510.88
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 99498 1356 4 0 51018 44 23 3 21 0 9 0 647235506 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216946 62288 2616 9 0 211474 0
[pid=32270/tid=32272] ppid=32268 vsize=867784 CPUtime=508.23
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 32448 1356 4 0 50778 19 23 3 25 0 9 0 647235507 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4126907063 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867784 CPUtime=2.4
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 65171 1356 0 0 194 20 23 3 16 0 9 0 647235508 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 17 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 29 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867784 CPUtime=0.72
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 1015 1356 0 0 45 1 23 3 15 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 6 1356 0 0 0 0 23 3 15 0 9 0 647235511 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 510.88
Current children cumulated vsize (KiB) 867784

[startup+513.903 s]
/proc/loadavg: 2.00 2.00 2.13 3/82 32283
/proc/meminfo: memFree=1682536/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867784 CPUtime=511.28
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 99498 1356 4 0 51058 44 23 3 21 0 9 0 647235506 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216946 62288 2616 9 0 211474 0
[pid=32270/tid=32272] ppid=32268 vsize=867784 CPUtime=508.62
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 32448 1356 4 0 50817 19 23 3 25 0 9 0 647235507 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4126901916 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867784 CPUtime=2.4
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 65171 1356 0 0 194 20 23 3 16 0 9 0 647235508 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 17 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 29 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867784 CPUtime=0.72
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 1015 1356 0 0 45 1 23 3 15 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 6 1356 0 0 0 0 23 3 15 0 9 0 647235511 888610816 62288 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 511.28
Current children cumulated vsize (KiB) 867784

[startup+514.103 s]
/proc/loadavg: 2.00 2.00 2.13 3/82 32283
/proc/meminfo: memFree=1682536/2055920 swapFree=4177348/4192956
[pid=32270] ppid=32268 vsize=867784 CPUtime=511.47
/proc/32270/stat : 32270 (java) S 32268 32270 31264 0 -1 0 99511 1356 4 0 51077 44 23 3 21 0 9 0 647235506 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32270/statm: 216946 62294 2616 9 0 211474 0
[pid=32270/tid=32272] ppid=32268 vsize=867784 CPUtime=508.81
/proc/32270/task/32272/stat : 32272 (java) R 32268 32270 31264 0 -1 64 32458 1356 4 0 50836 19 23 3 25 0 9 0 647235507 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32273] ppid=32268 vsize=867784 CPUtime=2.4
/proc/32270/task/32273/stat : 32273 (java) S 32268 32270 31264 0 -1 64 65171 1356 0 0 194 20 23 3 16 0 9 0 647235508 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32274] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32274/stat : 32274 (java) S 32268 32270 31264 0 -1 64 17 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32275] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32275/stat : 32275 (java) S 32268 32270 31264 0 -1 64 29 1356 0 0 0 0 23 3 16 0 9 0 647235509 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32276] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32276/stat : 32276 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32277] ppid=32268 vsize=867784 CPUtime=0.73
/proc/32270/task/32277/stat : 32277 (java) S 32268 32270 31264 0 -1 64 1018 1356 0 0 46 1 23 3 15 0 9 0 647235510 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32278] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32278/stat : 32278 (java) S 32268 32270 31264 0 -1 64 1 1356 0 0 0 0 23 3 25 0 9 0 647235510 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32270/tid=32279] ppid=32268 vsize=867784 CPUtime=0.26
/proc/32270/task/32279/stat : 32279 (java) S 32268 32270 31264 0 -1 64 6 1356 0 0 0 0 23 3 15 0 9 0 647235511 888610816 62294 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 511.47
Current children cumulated vsize (KiB) 867784

Child status: 0
Real time (s): 514.17
CPU time (s): 511.534
CPU user time (s): 511.015
CPU system time (s): 0.518921
CPU usage (%): 99.4874
Max. virtual memory (cumulated for all children) (KiB): 875856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 511.015
system time used= 0.518921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100900
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13214
involuntary context switches= 19742

runsolver used 0.634903 second user time and 1.71074 second system time

The end

Launcher Data (download as text)

Begin job on node84 at 2008-07-05 09:32:34
IDJOB=1087231
IDBENCH=57949
IDSOLVER=363
FILE ID=node84/1087231-1215243153
PBS_JOBID= 7881932
Free space on /tmp= 66552 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp14/normalized-fapp14-2500-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-1087231-1215243153/watcher-1087231-1215243153 -o /tmp/evaluation-result-1087231-1215243153/solver-1087231-1215243153 -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-1087231-1215243153.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 82e6ad1aef50625fbf6be40e28789b38
RANDOM SEED=210794775

node84.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.231
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.231
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:       1924504 kB
Buffers:          5432 kB
Cached:          63376 kB
SwapCached:       9596 kB
Active:          53632 kB
Inactive:        32296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1924504 kB
SwapTotal:     4192956 kB
SwapFree:      4177348 kB
Dirty:            7792 kB
Writeback:           0 kB
Mapped:          24584 kB
Slab:            30908 kB
Committed_AS:  1179944 kB
PageTables:       1736 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= 66552 MiB
End job on node84 at 2008-07-05 09:41:08