Trace number 2097893

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 1529.19 1536.73

DiagnosticValue
CHECKS3072200000
NODES62145

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 benchmark1515.09
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 

0.00/0.09	
0.00/0.09	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.25	     name=mac.xml
0.18/0.28	   
0.18/0.28	   instance
0.18/0.28	     name=HOME/instance-2097893-1247414146.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.58/0.64	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362  nbTotalValues=774322
0.58/0.64	       =>  wckTime=0.393  cpuTime=0.3  mem=36M190
0.58/0.64	   
0.58/0.64	   predicates being loaded...
0.68/0.70	   
0.68/0.70	   constraints being loaded...
20.78/20.93	   
20.78/20.93	   INFO : Stopping converting binary constraints (cpu=20.09, mem = 77M482)
33.22/33.45	     nbConstraints=21638  nbGlobalConstraints=28  nbMergedConstraints=19157  nbConvertedConstraints=361
33.22/33.45	     nbConvertConstraintsChecks=39259962  nbExtensionStructures=336  nbSharedExtensionStructures=72
33.22/33.45	     nbConflictsStructures=965  nbSharedConflictsStructures=202  nbUnbuiltConflictsStructures=14204
33.22/33.45	     nbSharedBinaryRepresentations=134181  nbEvaluationManagers=14833  nbSharedEvaluationManagers=6416  minDegree=2
33.22/33.45	     maxDegree=28  minArity=2  avgArity=2.01  maxArity=7  nbGenerators=0  nbFusions=0  symmetryWckTime=3.121
33.22/33.45	     symmetryCpuTime=2.66  nbCliques=28
33.22/33.45	       =>  wckTime=33.201  cpuTime=31.18  mem=114M872
33.82/34.01	   
33.82/34.01	   solver IterativeSystematicSolver being built... 
34.22/34.49	   
34.22/34.49	   INFO : Forward propagation technique limited 
34.41/34.65	       =>  wckTime=34.406  cpuTime=31.62  mem=195M242
89.33/89.83	   
89.33/89.83	   preprocessing
89.33/89.83	     nbConstraintChecks=149240088  nbValidityChecks=3196516  nbPropagations=2915  nbRevisions=55584
89.33/89.83	     nbUselessRevisions=51756  nbRemovedValues=247975  detectedInconsistency=no
89.33/89.83	       =>  wckTime=55.155  cpuTime=54.85  mem=195M242
1529.06/1536.65	   
1529.06/1536.65	   search
1529.06/1536.65	     run=18  nbConstraintChecks=2922961304  nbValidityChecks=3575679290  minDepth=6  maxDepth=2500
1529.06/1536.65	     nbPropagations=7821912  nbRevisions=150633388  nbUselessRevisions=129912825  nbAssignments=62145
1529.06/1536.65	     nbFailedAssignments=42239  nbInferredBacktracks=68  nbBacktracks=9323  nbVisitedNodes=110198  nbRestartNogoods=812
1529.06/1536.65	     nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?  nbDEliminables=?  nbPEliminables=?
1529.06/1536.65	       =>  wckTime=1501.98  cpuTime=1494.42  mem=179M513
1529.06/1536.65	   
1529.06/1536.65	   global
1529.06/1536.65	     nbConstraintChecks=3072201392  nbValidityChecks=3578875806  nbPropagations=7824827  nbRevisions=150688972
1529.06/1536.65	     nbUselessRevisions=129964581  nbRestartNogoods=812  solvingWckTime=1501.984  solvingCpuTime=1494.42  expiredTime=no
1529.06/1536.65	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=1525.93  globalCpuTime=1526.1
1529.06/1536.65	       =>  wckTime=1536.407  cpuTime=1526.06  mem=179M513
1529.06/1536.68	   
1529.06/1536.68	s SATISFIABLE
1529.06/1536.68	v -2100 2148 -2656 -2548 2556 2064 -2100 -2056 -2740 2040 2720 2060 2584 -2040 2580 -2472 2636 -2388 2212 2020 -2072 2500 2456 -2060 2348 -2328 2676 2588 2404 -2060 -2512 -2648 -2208 -2312 -2568 2668 2400 2728 -2524 2092 2644 -2076 -2488 2248 2596 2700 2704 2020 2384 -2064 2048 -2444 -2480 2672 -2384 -2084 -2716 2368 -2712 -2248 2080 -2612 2400 -2288 -2328 -2396 -2700 -2696 2084 -2700 -2724 -2580 2280 2696 -2392 -2640 -2036 -2056 2060 -2576 -2700 2608 -2660 -2404 -2644 -2472 -2088 -2400 -2704 -2492 2032 2548 2572 2696 -2696 2140 2448 -2188 -2100 2632 -2320 2240 -2288 -2040 2068 -2536 -2592 2468 2620 2120 -2168 -2740 -2060 -2176 2372 -2400 2072 2124 2684 2160 2644 -2488 2564 -2576 2304 -2476 2476 -2704 -2096 2580 2408 -2720 2020 2248 2660 -2120 2732 2736 2484 -2060 -2580 2672 2448 -2528 -2084 -2608 -2740 -2020 2576 -2092 -2048 -2428 -2376 2396 2404 2304 2060 2600 -2440 2528 2304 -2632 -2740 -2716 -2684 2328 2440 -2388 2620 -2516 2304 2232 -2172 -2700 -2204 2696 -2304 -2428 -2468 -2116 -2628 -2740 -2124 -2724 -2460 -2544 2064 -2484 -2288 2300 -2020 -2096 2636 -2124 -2672 -2652 -2288 -2296 -2084 -2500 2512 2688 -2680 -2720 2156 -2056 -2504 2676 -2060 2040 2596 2028 2140 2220 -2384 -2460 -2636 -2344 2736 -2020 -2328 2664 -2456 2644 2232 -2580 2160 2672 2220 2504 2360 -2472 -2472 -2208 -2560 -2240 -2024 -2036 -2680 2580 2464 -2664 -2324 2584 -2216 2704 -2436 2476 -2676 2604 -2572 -2388 2536 2452 -2400 -2700 -2368 -2164 -2560 -2460 2336 -2060 -2484 2288 2020 2632 2740 2508 2304 2424 2456 2020 -2240 2740 -2284 2064 2244 -2060 -2684 -2700 -2208 -2720 2168 -2060 2484 2596 -2608 2556 2476 2424 2036 2676 2616 -2484 2448 -2724 2024 2380 -2084 2260 2600 2028 -2636 2452 2084 2372 2700 -2260 -2700 -2288 2160 2612 -2096 -2740 -2640 2480 2464 -2020 2312 2376 2612 2636 2108 2188 -2388 2052 -2060 2572 -2740 -2676 -2508 -2576 2060 2408 2076 2512 -2672 -2064 2676 -2544 2560 -2728 -2536 2676 -2200 -2228 -2564 -2060 -2496 -2344 -2336 -2556 -2620 -2316 2412 2632 -2156 2684 -2660 -2260 2592 -2324 -2096 -2604 2360 -2584 2252 -2224 2036 2596 -2140 2724 -2604 -2668 -2740 -2556 -2140 2672 2020 -2448 -2156 2464 -2428 2212 -2700 -2104 -2192 -2284 2080 -2288 -2420 2696 -2572 -2592 -2740 -2740 -2576 2632 -2224 -2164 -2548 -2740 -2340 -2628 2236 2428 -2444 2600 -2056 2576 -2176 2364 -2512 2472 2584 2108 -2676 -2444 -2244 2164 2740 -2504 -2060 -2704 -2076 -2488 -2640 -2700 -2284 -2220 2684 -2184 -2600 -2640 2476 -2112 -2720 2672 -2728 2628 -2140 2484 2700 -2356 2592 2072 -2028 -2372 -2068 -2732 -2180 -2700 -2296 -2736 2264 -2532 2408 2684 -2464 -2044 -2324 -2684 2156 -2204 -2020 2624 2416 2060 -2688 2320 2332 2484 -2676 -2308 -2424 2524 -2208 2232 -2416 2408 2688 -2448 -2320 -2740 2036 -2220 2568 -2524 2552 -2380 2464 -2160 2516 -2060 -2020 -2332 2048 2304 -2560 -2192 -2280 -2556 2076 -2024 -2132 -2384 -2060 -2432 -2324 2652 -2452 2276 -2616 -2032 2020 -2152 -2556 2444 2296 -2460 -2160 -2456 2368 -2636 -2480 -2736 -2244 2140 -2484 -2720 2332 -2168 2600 -2316 -2028 -2160 2480 2444 -2684 -2064 2132 -2628 -2672 -2592 2376 2524 -2676 2184 2020 -2600 -2060 -2508 -2336 2020 -2420 -2208 2488 -2360 -2724 -2532 -2740 2068 2540 2664 -2584 2184 -2072 -2372 2112 -2376 -2492 -2592 -2088 2440 2236 -2672 -2596 2024 2080 -2284 -2228 -2500 2544 -2428 2704 2292 -2140 2296 -2436 -2144 2316 2060 -2700 -2288 -2456 -2084 2664 2616 -2596 -2296 -2616 -2092 -2160 -2488 2036 -2248 -2720 2572 -2136 2392 -2512 2108 -2292 -2208 -2360 2528 -2132 2208 2384 2368 -2704 2020 -2424 -2728 -2632 2240 -2420 -2204 2336 -2380 2664 -2296 -2140 -2700 -2384 2500 2536 2168 2664 -2628 -2456 -2356 2128 -2316 2740 2552 2152 2668 2620 2668 -2540 2652 2676 2116 2456 -2560 2364 -2488 2060 -2208 -2636 2600 2512 2040 2696 2140 -2240 2216 2412 -2144 2724 2268 -2328 2348 -2384 2636 -2024 2660 2564 2688 -2252 -2428 2432 2344 -2684 -2132 -2384 2248 -2248 2452 2440 -2732 -2352 -2716 -2068 -2536 -2196 -2252 -2524 2468 -2740 -2264 -2256 -2080 -2464 -2216 -2188 2556 -2200 -2244 2368 -2672 2140 -2340 2020 2444 2164 2720 2236 -2096 -2696 2408 2596 2072 -2704 -2500 2464 2136 -2288 2556 -2504 2612 -2120 2280 2700 -2632 2268 -2476 -2732 2492 2604 2712 -2084 -2116 2180 2296 2160 -2676 2324 -2692 -2136 2692 2348 -2108 -2064 2060 -2200 2628 2180 2668 2168 -2080 -2164 2320 2404 2508 -2020 2640 -2636 2740 2204 2024 -2428 2288 -2392 -2300 2492 2572 2196 2608 -2392 -2660 -2068 2384 2064 -2136 -2060 -2124 -2404 2700 2632 2604 -2224 -2520 2644 2364 2556 2540 2388 2684 2300 -2344 2212 2184 -2636 2588 -2404 -2352 2044 2248 2284 -2056 -2356 2264 2260 -2084 -2324 -2684 -2232 -2280 -2684 -2484 -2700 -2232 -2168 2020 2124 -2408 2088 -2576 -2684 -2516 -2720 -2364 -2276 2060 2360 -2480 2236 2356 2552 -2636 2276 -2700 2700 2504 -2692 2592 2256 2404 2028 -2620 -2164 -2664 2588 -2288 -2276 -2624 2536 -2064 -2364 -2700 2036 2560 2352 2484 -2172 2256 -2420 2144 -2524 2692 -2508 -2384 2064 2096 2120 -2060 -2060 2392 2628 -2740 -2020 2408 -2280 -2432 -2700 -2704 -2344 -2160 -2540 2164 -2284 -2220 2272 2120 -2608 -2164 2216 2384 -2020 -2092 2080 -2656 -2040 -2448 -2508 2064 -2048 -2240 2024 -2716 -2524 -2728 -2540 -2692 2192 -2488 -2136 -2692 2252 -2672 2700 2732 -2516 2704 -2524 -2332 2724 2508 2556 -2304 -2588 -2116 -2272 -2136 2072 2144 -2076 2312 -2076 2600 -2228 -2544 2024 -2568 -2736 -2476 2576 -2116 -2612 -2308 -2584 -2716 2272 2684 2044 -2076 -2288 2124 -2680 -2024 -2340 2740 2076 -2168 -2192 -2396 2412 -2700 -2320 -2700 2400 -2604 2520 -2576 2644 -2248 2436 -2440 -2180 -2448 -2600 2280 2060 2060 -2164 2180 -2468 -2660 -2668 -2200 -2092 -2700 -2716 -2736 -2584 2388 2712 2400 -2264 2372 2648 -2608 2068 -2712 -2524 -2736 -2676 -2308 -2640 2308 2616 -2592 2464 2220 -2700 2088 -2124 2684 2308 -2572 2728 2020 -2316 -2688 -2740 -2216 -2480 -2560 2688 2576 -2204 -2740 2676 -2252 2420 -2420 -2348 -2400 2180 -2352 2148 -2248 -2740 -2124 -2140 -2732 -2648 -2504 -2108 -2020 2620 -2544 -2416 2692 2424 -2656 -2196 2396 -2344 -2676 -2560 -2664 -2584 -2660 2604 -2196 -2692 -2700 -2188 -2312 2020 -2136 -2692 -2320 2060 2088 -2228 -2588 -2544 -2020 2596 -2604 2132 2700 -2316 2388 2060 -2700 -2080 -2168 -2532 -2740 2636 2400 2632 2036 -2500 2288 -2180 2332 2276 -2564 2520 2036 -2352 2124 -2116 -2364 -2124 -2220 -2576 -2740 -2056 -2388 2580 -2384 2588 -2132 -2544 -2720 -2580 2028 2632 -2692 2060 -2216 2580 2556 2216 2336 -2700 -2740 -2652 2228 2508 -2044 2292 -2200 -2396 -2444 -2464 -2648 2404 -2204 2108 -2096 2128 -2620 2528 -2060 2280 2216 -2316 2740 -2028 -2600 2736 2344 -2524 -2068 -2664 -2596 -2432 2464 -2348 -2700 2536 2392 2468 -2652 2528 2348 -2540 2104 -2428 -2148 2600 2700 2708 2572 -2640 2600 -2716 2468 2624 2684 -2584 2596 -2712 -2576 2560 2272 2424 -2632 2656 -2532 2560 -2060 -2208 -2564 -2740 -2528 -2740 -2388 -2716 -2176 2564 2124 2504 -2068 -2020 -2208 -2068 2308 -2152 2160 -2132 2132 2472 -2700 -2700 -2624 2684 -2168 2704 2116 -2696 2676 2412 -2440 2144 -2708 -2612 2216 2116 -2356 2680 -2680 -2060 -2740 2484 -2280 2632 -2152 -2624 2256 -2544 -2316 -2060 -2556 -2248 -2404 2044 -2740 -2580 2536 2136 -2140 2600 -2232 2692 2472 2068 -2612 2440 -2560 2112 -2168 2060 -2456 2340 -2396 -2340 2348 -2664 -2368 -2060 -2280 2020 -2272 -2352 2584 2208 2208 2332 -2328 -2684 -2100 2180 2612 -2620 2068 -2444 2020 -2576 -2740 -2484 -2444 2044 2708 -2504 -2368 -2060 -2020 2616 -2020 2244 -2728 -2640 -2492 -2132 -2488 2052 -2076 -2512 2076 2080 -2168 -2536 -2444 2180 -2536 -2212 -2312 2672 -2460 -2060 2560 2644 2096 -2544 2328 2424 -2448 2360 -2276 2028 2068 2248 2060 2468 2248 -2360 2020 2616 -2356 -2312 2160 -2336 2488 -2420 -2580 -2464 -2020 -2660 -2088 2628 -2400 2724 2328 -2684 2348 2168 -2320 -2436 2632 2216 -2692 -2524 -2364 2564 -2268 -2568 2176 -2332 -2652 2352 2440 2620 -2136 -2700 2120 2656 -2740 -2272 -2280 2236 -2036 2376 -2436 -2604 -2460 -2440 -2228 -2252 2444 -2664 -2380 -2232 -2020 -2080 -2424 -2208 -2224 -2076 2704 -2192 2264 2104 -2088 -2688 -2064 2532 -2068 -2548 -2696 -2696 2468 -2724 -2468 2680 -2700 2264 2020 2280 2716 2232 -2360 -2128 -2328 -2652 -2136 2384 -2740 2260 -2352 -2320 -2340 2512 -2036 -2096 -2344 -2412 2320 -2472 -2588 -2076 -2584 -2188 -2724 2428 2148 -2188 2640 2624 2184 -2624 -2620 2652 -2700 2448 2156 -2348 -2372 -2208 -2068 -2736 -2316 -2568 -2632 -2444 -2568 2660 -2584 -2740 -2624 2564 2120 -2740 -2244 2540 -2176 -2508 2408 2216 -2564 -2700 -2076 -2612 2328 -2628 -2168 -2724 2020 -2152 -2568 2512 -2680 -2648 2020 -2164 -2456 2648 2380 -2344 -2036 -2068 2204 2464 -2128 -2292 2520 -2516 -2672 -2700 -2392 -2332 2676 -2636 2584 2060 2228 -2640 2484 -2492 -2380 2724 -2724 -2172 -2120 -2224 -2628 -2676 2520 2696 -2520 -2612 -2644 2620 2668 2488 -2324 -2504 2080 -2620 -2724 -2564 -2388 -2636 2668 2700 -2352 2020 -2260 -2484 2684 -2072 -2020 2664 -2112 -2288 -2100 2384 -2672 2296 2452 2020 2656 -2652 -2684 -2508 -2248 -2524 -2544 -2440 -2452 -2256 2740 -2416 -2264 2616 -2336 -2604 2700 2400 -2112 -2680 -2392 -2700 -2692 2472 2068 -2680 2360 -2732 2684 -2124 2040 -2536 -2536 -2436 -2568 -2404 -2660 2684 -2336 2740 -2200 2676 -2608 2188 -2740 2520 2124 -2048 -2140 2308 -2680 -2196 2532 -2740 2080 2336 -2496 -2684 2040 -2668 2084 -2412 2516 2476 2020 -2352 -2320 -2740 2368 -2284 -2632 -2680 -2628 -2324 -2148 2296 2020 2020 -2688 -2688 2356 2188 -2324 2700 -2624 -2224 2328 -2616 2076 2624 2724 -2216 2360 -2700 -2212 -2152 2148 2444 -2496 -2184 2464 -2696 -2268 -2272 -2356 2636 -2192 -2704 2584 2524 -2136 2300 -2640 -2200 2252 -2632 -2424 -2284 -2020 -2080 2600 2188 -2244 2080 2596 2384 -2556 -2400 2496 -2052 -2132 -2544 2740 -2356 -2576 -2348 2112 2700 -2604 -2508 2544 -2352 2284 -2440 2352 2344 2716 -2700 -2156 -2128 -2092 -2352 -2696 -2728 -2096 -2400 -2040 -2576 2076 -2740 -2576 2344 -2724 2332 2084 -2408 -2208 -2560 2348 -2688 -2156 2684 2276 -2436 2436 -2552 2020 -2168 -2624 2740 -2132 2164 2592 -2568 -2564 2264 -2664 -2672 -2060 -2348 -2092 -2176 -2700 2200 -2092 -2456 -2496 2332 2396 -2060 2216 -2520 -2548 -2464 -2660 2468 2024 -2712 -2060 2424 -2596 -2228 -2700 2276 -2060 2392 2208 2328 -2728 -2392 2480 -2036 -2020 2680 -2120 -2188 2608 -2256 2508 -2700 -2364 -2460 -2700 -2120 -2200 -2320 -2380 2240 -2204 -2344 2656 -2060 -2236 2348 -2260 -2704 2580 -2220 -2700 -2396 -2236 2632 2700 2740 2488 2108 2020 -2632 -2724 2020 2740 2572 2064 -2740 -2584 -2448 2664 -2504 -2592 2088 -2240 -2308 2412 -2504 -2404 2352 -2660 -2108 -2060 2308 -2244 2512 2296 -2504 -2620 -2452 -2444 2020 2692 2652 2244 -2564 -2020 2648 -2064 2500 2160 2740 2432 -2700 -2068 2628 -2176 2488 2424 -2496 -2700 2656 -2616 -2516 -2200 -2620 2724 2104 -2512 -2700 -2080 -2268 2740 -2588 2304 2084 -2740 2700 2644 -2664 2700 2584 2060 -2308 -2520 2224 -2656 -2144 2160 -2496 2520 -2740 -2620 -2700 -2668 2068 -2556 -2656 -2652 -2080 2468 -2176 2076 -2192 2580 2464 -2304 -2360 -2396 2300 2576 2160 -2256 -2600 2120 2092 -2580 2372 -2256 -2308 2572 -2332 -2728 2444 -2464 -2316 2700 -2020 -2660 -2092 -2028 2048 2520 2700 2572 2572 -2688 2584 -2688 -2644 -2024 -2428 -2516 -2080 2040 -2540 -2104 -2624 -2528 2232 2688 2024 -2544 -2256 -2548 -2228 2628 -2656 -2688 2040 2700 2656 2180 -2296 2124 -2244 2324 -2408 -2580 -2692 2060 -2248 2732 -2504 -2660 2548 2600 2460 2616 2364 -2612 2100 -2588 2196 2576 2048 -2352 2020 2700 -2060 2624 2268 2068 2652 2476 -2612 -2060 -2284 -2060 2104 -2536 -2556 2072 -2268 2408 -2596 -2604 2284 -2716 2356 -2616 2472 -2148 2624 -2544 -2488 2740 -2324 -2584 -2160 -2044 2424 2076 -2612 -2616 -2636 2092 2660 -2652 -2504 -2112 -2448 2088 2120 -2700 2028 -2372 2024 2020 2664 -2216 -2084 -2620 -2312 -2700 -2616 2524 2204 -2032 -2176 2284 2688 2156 -2172 2700 2384 -2540 -2516 2648 -2396 -2100 -2388 -2416 2032 2308 2660 2200 -2164 -2028 -2180 2700 -2664 2448 -2320 -2540 -2256 -2076 -2060 2716 -2436 -2696 -2584 -2496 -2576 2064 -2060 -2680 2480 -2220 2676 -2060 2700 -2104 -2060 -2228 2116 -2396 -2568 2452 -2596 -2132 2540 2248 -2652 -2604 -2204 -2196 2464 -2404 2308 2184 -2552 2452 -2500 2036 2044 2096 -2128 2512 2608 -2544 -2696 2692 -2076 2060 -2064 2168 -2052 -2164 2592 -2740 2176 2220 -2360 -2368 -2316 -2672 -2328 2684 -2424 -2680 -2680 -2652 2580 2492 2072 -2712 -2256 2572 2020 2292 -2656 2040 -2564 -2308 2424 -2344 2240 -2452 2360 2500 -2340 -2092 -2248 2688 -2644 2740 -2572 -2208 2060 -2200 2296 -2176 -2108 2428 2020 -2080 -2020 2632 -2608 -2508 -2656 -2700 -2596 -2584 2496 -2092 -2676 2620 2416 2060 2712 -2552 2104 -2444 -2648 -2132 -2344 -2076 -2128 -2640 -2264 2220 -2364 -2060 2212 -2336 -2088 2508 -2700 -2704 2308 2552 2356 -2064 2436 2488 -2308 2640 -2188 2100 2304 -2424 -2260 -2204 -2500 2692 -2608 2600 2532 2360 -2700 -2672 2528 -2580 -2648 -2468 -2060 -2596 2696 -2128 -2680 -2368 2660 -2500 2628 -2404 2616 2168 -2160 -2296 2640 -2404 -2612 -2308 2256 -2428 2544 -2068 -2632 -2108 -2028 2676 2296 -2320 2448 2672 -2496 -2500 2560 -2436 2384 -2200 -2528 2228 2104 2596 -2216 2300 -2028 2648 2160 2120 2212 2064 -2320 2640 -2152 -2688 2664 -2096 -2724 -2328 -2484 2556 2512 -2400 -2456 2724 -2268 -2292 -2660 2224 -2672 2704 2392 2336 -2212 -2468 -2700 2620 -2700 -2724 -2716 2588 -2640 2448 2176 -2532 -2136 -2060 -2392 2172 -2020 -2660 -2636 2244 -2276 2620 -2288 -2060 -2112 -2060 2060 -2672 2312 -2220 -2660 -2228 -2108 -2740 2600 2164 -2504 -2532 2656 -2460 2096 -2548 -2024 -2304 -2024 2020 2296 2544 2348 -2240 2664 -2316 2288 -2256 -2724 -2416 -2436 -2504 -2448 2612 -2512 -2060 2476 -2084 -2688 -2196 -2240 -2360 2020 2712 -2408 -2580 2020 2708 2128 2652 -2516 -2676 -2668 -2472 -2336 2432 -2108 -2244 2456 -2480 2424 2648 2224 -2120 -2436 -2348 2292 2484 -2232 -2400 2064 -2696 -2436 -2180 2528 2476 -2688 2144 -2492 2280 2128 -2508 -2416 -2436 -2584 2152 -2468 -2020 2260 2644 -2572 2604 2316 2636 -2172 2220 -2208 2596 -2264 -2724 -2064 2604 -2172 2740 -2436 -2192 -2668 -2500 -2444 -2716 2536 2020 2112 -2116 -2732 2576 -2740 -2548 2560 -2120 -2172 -2052 -2272 2604 2484 2376 2476 -2504 -2740 2176 -2472 -2020 -2536 -2728 2168 2020 2668 -2524 2020 2532 2628 -2184 2020 -2604 -2380 -2096 2688 -2468 2692 -2440 2588 -2408 
1529.06/1536.68	d NODES 62145
1529.06/1536.68	d CHECKS 3072201392
1529.06/1536.68	   
1529.06/1536.68	   totalWckTime=1536.497  totalCpuTime=1526.14

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097893-1247414146/watcher-2097893-1247414146 -o /tmp/evaluation-result-2097893-1247414146/solver-2097893-1247414146 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097893-1247414146.xml 

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 572
/proc/meminfo: memFree=1569400/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=18576 CPUtime=0
/proc/572/stat : 572 (runsolver) R 570 572 31032 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 28479848 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 249069890855 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/572/statm: 4644 284 249 26 0 2626 0

[startup+0.099836 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 572
/proc/meminfo: memFree=1569400/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=865984 CPUtime=0.08
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 3740 0 1 0 6 2 0 0 18 0 9 0 28479848 886767616 3206 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216496 3206 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.102834 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 572
/proc/meminfo: memFree=1569400/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=865984 CPUtime=0.08
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 3795 0 1 0 6 2 0 0 18 0 9 0 28479848 886767616 3246 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216496 3246 1713 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.30186 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 572
/proc/meminfo: memFree=1569400/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=866380 CPUtime=0.28
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 5973 0 1 0 24 4 0 0 18 0 9 0 28479848 887173120 5339 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216595 5339 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.702896 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 572
/proc/meminfo: memFree=1569400/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867588 CPUtime=0.68
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 14314 0 1 0 60 8 0 0 18 0 9 0 28479848 888410112 13668 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216897 13668 2031 9 0 211333 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867588

[startup+1.50298 s]
/proc/loadavg: 2.00 2.00 2.00 4/90 581
/proc/meminfo: memFree=1489776/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867500 CPUtime=1.48
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 22511 0 1 0 136 12 0 0 18 0 9 0 28479848 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216875 21840 2029 9 0 211333 0
[pid=572/tid=574] ppid=570 vsize=867500 CPUtime=1.23
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 15795 0 1 0 114 9 0 0 25 0 9 0 28479849 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4126874908 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867500 CPUtime=0.06
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 5373 0 0 0 4 2 0 0 17 0 9 0 28479851 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28479853 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867500 CPUtime=0.16
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 642 0 0 0 16 0 0 0 16 0 9 0 28479853 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28479853 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28479853 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867500

[startup+3.10114 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 581
/proc/meminfo: memFree=1477488/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867500 CPUtime=3.07
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 27086 0 1 0 292 15 0 0 18 0 9 0 28479848 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216875 26413 2029 9 0 211333 0
[pid=572/tid=574] ppid=570 vsize=867500 CPUtime=2.63
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 15797 0 1 0 254 9 0 0 25 0 9 0 28479849 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4126614608 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867500 CPUtime=0.24
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 9945 0 0 0 20 4 0 0 16 0 9 0 28479851 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28479853 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867500 CPUtime=0.17
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 643 0 0 0 17 0 0 0 17 0 9 0 28479853 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28479853 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28479853 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867500

[startup+6.30144 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 581
/proc/meminfo: memFree=1464496/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867500 CPUtime=6.26
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 28721 0 1 0 609 17 0 0 18 0 9 0 28479848 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216875 28043 2032 9 0 211333 0
[pid=572/tid=574] ppid=570 vsize=867500 CPUtime=5.67
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 15833 0 1 0 557 10 0 0 25 0 9 0 28479849 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4126467427 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867500 CPUtime=0.34
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 11502 0 0 0 29 5 0 0 17 0 9 0 28479851 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28479853 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867500 CPUtime=0.21
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 685 0 0 0 21 0 0 0 16 0 9 0 28479853 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28479853 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28479853 888320000 28043 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867500

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 581
/proc/meminfo: memFree=1464376/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867500 CPUtime=12.62
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 28727 0 1 0 1245 17 0 0 18 0 9 0 28479848 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216875 28046 2032 9 0 211333 0
[pid=572/tid=574] ppid=570 vsize=867500 CPUtime=12.04
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 15836 0 1 0 1194 10 0 0 25 0 9 0 28479849 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4126931746 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867500 CPUtime=0.34
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 11502 0 0 0 29 5 0 0 16 0 9 0 28479851 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28479853 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867500 CPUtime=0.22
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 688 0 0 0 22 0 0 0 15 0 9 0 28479853 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28479853 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28479853 888320000 28046 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867500

[startup+25.5023 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 581
/proc/meminfo: memFree=1438904/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867500 CPUtime=25.36
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 35114 0 1 0 2517 19 0 0 18 0 9 0 28479848 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216875 34426 2033 9 0 211333 0
[pid=572/tid=574] ppid=570 vsize=867500 CPUtime=24.28
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 15846 0 1 0 2417 11 0 0 25 0 9 0 28479849 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4126931836 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867500 CPUtime=0.79
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 17852 0 0 0 73 6 0 0 16 0 9 0 28479851 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=576] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=577] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28479851 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=578] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28479853 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867500 CPUtime=0.26
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 715 0 0 0 26 0 0 0 16 0 9 0 28479853 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28479853 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867500 CPUtime=0
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28479853 888320000 34426 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 867500

[startup+51.1029 s]
/proc/loadavg: 2.06 2.02 2.00 3/90 585
/proc/meminfo: memFree=1357744/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867912 CPUtime=50.83
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 92494 1360 1 0 5022 35 24 2 18 0 9 0 28479848 888741888 55332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216978 55332 2664 9 0 211414 0
[pid=572/tid=574] ppid=570 vsize=867912 CPUtime=48.39
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 32453 1360 1 0 4798 15 24 2 25 0 9 0 28479849 888741888 55332 996147200 134512640 134550932 4294955968 18446744073709551615 4127501632 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=575] ppid=570 vsize=867912 CPUtime=2.25
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 58185 1360 0 0 183 16 24 2 16 0 9 0 28479851 888741888 55332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=576] ppid=570 vsize=867912 CPUtime=0.26
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 20 1360 0 0 0 0 24 2 16 0 9 0 28479851 888741888 55332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=577] ppid=570 vsize=867912 CPUtime=0.26
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 25 1360 0 0 0 0 24 2 15 0 9 0 28479851 888741888 55332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=578] ppid=570 vsize=867912 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 1360 0 0 0 0 24 2 18 0 9 0 28479853 888741888 55332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867912 CPUtime=0.66
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 989 1360 0 0 39 1 24 2 16 0 9 0 28479853 888741888 55332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=580] ppid=570 vsize=867912 CPUtime=0.26
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 1360 0 0 0 0 24 2 19 0 9 0 28479853 888741888 55332 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0

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

/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 30 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=578] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 1360 0 0 0 0 24 2 18 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867824 CPUtime=0.73
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 1041 1360 0 0 46 1 24 2 16 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 1360 0 0 0 0 24 2 19 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 12 1360 0 0 0 0 24 2 15 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1502.88
Current children cumulated vsize (KiB) 867824

[startup+1523.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 632
/proc/meminfo: memFree=1449096/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867824 CPUtime=1515.62
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 99547 1360 1 0 151497 39 24 2 18 0 9 0 28479848 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216956 62315 2642 9 0 211414 0
[pid=572/tid=574] ppid=570 vsize=867824 CPUtime=1513.02
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 32476 1360 1 0 151260 16 24 2 25 0 9 0 28479849 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4127121866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867824 CPUtime=2.34
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 65158 1360 0 0 189 19 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=576] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 20 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=577] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 30 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=578] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 1360 0 0 0 0 24 2 18 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867824 CPUtime=0.73
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 1041 1360 0 0 46 1 24 2 16 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 1360 0 0 0 0 24 2 19 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 12 1360 0 0 0 0 24 2 15 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1515.62
Current children cumulated vsize (KiB) 867824

[startup+1529.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 632
/proc/meminfo: memFree=1449096/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867824 CPUtime=1521.99
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 99547 1360 1 0 152134 39 24 2 18 0 9 0 28479848 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216956 62315 2642 9 0 211414 0
[pid=572/tid=574] ppid=570 vsize=867824 CPUtime=1519.39
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 32476 1360 1 0 151897 16 24 2 25 0 9 0 28479849 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4126931938 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867824 CPUtime=2.34
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 65158 1360 0 0 189 19 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=576] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 20 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=577] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 30 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=578] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 1360 0 0 0 0 24 2 18 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867824 CPUtime=0.73
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 1041 1360 0 0 46 1 24 2 16 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 1360 0 0 0 0 24 2 19 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 12 1360 0 0 0 0 24 2 15 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1521.99
Current children cumulated vsize (KiB) 867824

[startup+1532.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 632
/proc/meminfo: memFree=1449096/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867824 CPUtime=1525.17
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 99547 1360 1 0 152452 39 24 2 18 0 9 0 28479848 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216956 62315 2642 9 0 211414 0
[pid=572/tid=574] ppid=570 vsize=867824 CPUtime=1522.58
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 32476 1360 1 0 152216 16 24 2 25 0 9 0 28479849 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4127261142 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867824 CPUtime=2.34
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 65158 1360 0 0 189 19 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=576] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 20 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=577] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 30 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=578] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 1360 0 0 0 0 24 2 18 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867824 CPUtime=0.73
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 1041 1360 0 0 46 1 24 2 16 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 1360 0 0 0 0 24 2 19 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 12 1360 0 0 0 0 24 2 15 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1525.17
Current children cumulated vsize (KiB) 867824

[startup+1534.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 632
/proc/meminfo: memFree=1449096/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867824 CPUtime=1526.77
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 99547 1360 1 0 152612 39 24 2 18 0 9 0 28479848 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216956 62315 2642 9 0 211414 0
[pid=572/tid=574] ppid=570 vsize=867824 CPUtime=1524.17
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 32476 1360 1 0 152375 16 24 2 25 0 9 0 28479849 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4126934591 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867824 CPUtime=2.34
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 65158 1360 0 0 189 19 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=576] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 20 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=577] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 30 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=578] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 1360 0 0 0 0 24 2 18 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867824 CPUtime=0.73
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 1041 1360 0 0 46 1 24 2 16 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 1360 0 0 0 0 24 2 19 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 12 1360 0 0 0 0 24 2 15 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1526.77
Current children cumulated vsize (KiB) 867824

[startup+1535.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 632
/proc/meminfo: memFree=1449096/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867824 CPUtime=1528.36
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 99547 1360 1 0 152771 39 24 2 18 0 9 0 28479848 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216956 62315 2642 9 0 211414 0
[pid=572/tid=574] ppid=570 vsize=867824 CPUtime=1525.76
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 32476 1360 1 0 152534 16 24 2 25 0 9 0 28479849 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4127269330 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867824 CPUtime=2.34
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 65158 1360 0 0 189 19 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=576] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 20 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=577] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 30 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=578] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 1360 0 0 0 0 24 2 18 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867824 CPUtime=0.73
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 1041 1360 0 0 46 1 24 2 16 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 1360 0 0 0 0 24 2 19 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 12 1360 0 0 0 0 24 2 15 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.36
Current children cumulated vsize (KiB) 867824

[startup+1536.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 632
/proc/meminfo: memFree=1449096/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=867824 CPUtime=1528.76
/proc/572/stat : 572 (java) S 570 572 31032 0 -1 0 99547 1360 1 0 152811 39 24 2 18 0 9 0 28479848 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 216956 62315 2642 9 0 211414 0
[pid=572/tid=574] ppid=570 vsize=867824 CPUtime=1526.16
/proc/572/task/574/stat : 574 (java) R 570 572 31032 0 -1 64 32476 1360 1 0 152574 16 24 2 25 0 9 0 28479849 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4126931789 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=575] ppid=570 vsize=867824 CPUtime=2.34
/proc/572/task/575/stat : 575 (java) S 570 572 31032 0 -1 64 65158 1360 0 0 189 19 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=576] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/576/stat : 576 (java) S 570 572 31032 0 -1 64 20 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=577] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/577/stat : 577 (java) S 570 572 31032 0 -1 64 30 1360 0 0 0 0 24 2 16 0 9 0 28479851 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=572/tid=578] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/578/stat : 578 (java) S 570 572 31032 0 -1 64 2 1360 0 0 0 0 24 2 18 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=579] ppid=570 vsize=867824 CPUtime=0.73
/proc/572/task/579/stat : 579 (java) S 570 572 31032 0 -1 64 1041 1360 0 0 46 1 24 2 16 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=580] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/580/stat : 580 (java) S 570 572 31032 0 -1 64 0 1360 0 0 0 0 24 2 19 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=572/tid=581] ppid=570 vsize=867824 CPUtime=0.26
/proc/572/task/581/stat : 581 (java) S 570 572 31032 0 -1 64 12 1360 0 0 0 0 24 2 15 0 9 0 28479853 888651776 62315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.76
Current children cumulated vsize (KiB) 867824

[startup+1536.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/90 632
/proc/meminfo: memFree=1449096/2055920 swapFree=4192812/4192956
[pid=572] ppid=570 vsize=0 CPUtime=1529.15
/proc/572/stat : 572 (java) Z 570 572 31032 0 -1 12 99590 1360 1 0 152848 41 24 2 16 0 2 0 28479848 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/572/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1529.15
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1536.73
CPU time (s): 1529.19
CPU user time (s): 1528.73
CPU system time (s): 0.460929
CPU usage (%): 99.5093
Max. virtual memory (cumulated for all children) (KiB): 875896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1528.73
system time used= 0.460929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100950
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= 33852
involuntary context switches= 51505

runsolver used 1.85672 second user time and 5.14022 second system time

The end

Launcher Data 

Begin job on node89 at 2009-07-12 17:55:47
IDJOB=2097893
IDBENCH=57949
IDSOLVER=773
FILE ID=node89/2097893-1247414146
PBS_JOBID= 9510473
Free space on /tmp= 66260 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097893-1247414146/watcher-2097893-1247414146 -o /tmp/evaluation-result-2097893-1247414146/solver-2097893-1247414146 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097893-1247414146.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 82e6ad1aef50625fbf6be40e28789b38
RANDOM SEED=223618913

node89.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.213
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.213
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:       1569880 kB
Buffers:         43024 kB
Cached:         175120 kB
SwapCached:          0 kB
Active:         306160 kB
Inactive:       119352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1569880 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7972 kB
Writeback:           0 kB
Mapped:         227864 kB
Slab:            45428 kB
Committed_AS:   997432 kB
PageTables:       2148 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= 66256 MiB
End job on node89 at 2009-07-12 18:21:24