Trace number 2097894

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 ESACSAT 1515.09 1515.86

DiagnosticValue
CHECKS3072260000
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.02/0.08	
0.02/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=esac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.28	     name=HOME/instance-2097894-1247414146.xml
0.28/0.31	   
0.28/0.31	   domains being loaded...
0.28/0.35	   
0.28/0.35	   variables being loaded...
0.58/0.64	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362  nbTotalValues=774322
0.58/0.64	       =>  wckTime=0.397  cpuTime=0.29  mem=36M190
0.58/0.64	   
0.58/0.64	   predicates being loaded...
0.69/0.70	   
0.69/0.70	   constraints being loaded...
20.79/20.81	   
20.79/20.81	   INFO : Stopping converting binary constraints (cpu=20.04, mem = 77M482)
33.42/33.58	     nbConstraints=21638  nbGlobalConstraints=28  nbMergedConstraints=19157  nbConvertedConstraints=364
33.42/33.58	     nbConvertConstraintsChecks=39564766  nbExtensionStructures=339  nbSharedExtensionStructures=72
33.42/33.58	     nbConflictsStructures=968  nbSharedConflictsStructures=202  nbUnbuiltConflictsStructures=14201
33.42/33.58	     nbSharedBinaryRepresentations=135652  nbEvaluationManagers=14830  nbSharedEvaluationManagers=6416  minDegree=2
33.42/33.58	     maxDegree=28  minArity=2  avgArity=2.01  maxArity=7  nbGenerators=0  nbFusions=0  symmetryWckTime=3.354
33.42/33.58	     symmetryCpuTime=2.85  nbCliques=28
33.42/33.58	       =>  wckTime=33.337  cpuTime=31.37  mem=114M812
34.03/34.19	   
34.03/34.19	   solver IterativeSystematicSolver being built... 
34.62/34.75	   
34.62/34.75	   INFO : Forward propagation technique limited 
34.82/34.93	       =>  wckTime=34.683  cpuTime=31.88  mem=195M330
90.06/90.36	   
90.06/90.36	   preprocessing
90.06/90.36	     nbConstraintChecks=149228712  nbValidityChecks=3195553  nbPropagations=2915  nbRevisions=55574
90.06/90.36	     nbUselessRevisions=51746  nbRemovedValues=247975  detectedInconsistency=no
90.06/90.36	       =>  wckTime=55.415  cpuTime=55.23  mem=195M330
1514.94/1515.75	   
1514.94/1515.75	   search
1514.94/1515.75	     run=18  nbConstraintChecks=2923033667  nbValidityChecks=3575466249  minDepth=6  maxDepth=2500
1514.94/1515.75	     nbPropagations=7821522  nbRevisions=150618255  nbUselessRevisions=129898127  nbAssignments=62145
1514.94/1515.75	     nbFailedAssignments=42239  nbInferredBacktracks=68  nbBacktracks=9323  nbVisitedNodes=110198  nbRestartNogoods=812
1514.94/1515.75	     nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?  nbDEliminables=?  nbPEliminables=?
1514.94/1515.75	       =>  wckTime=1480.806  cpuTime=1479.95  mem=179M621
1514.94/1515.75	   
1514.94/1515.75	   global
1514.94/1515.75	     nbConstraintChecks=3072262379  nbValidityChecks=3578661802  nbPropagations=7824437  nbRevisions=150673829
1514.94/1515.75	     nbUselessRevisions=129949873  nbRestartNogoods=812  solvingWckTime=1480.808  solvingCpuTime=1479.95  expiredTime=no
1514.94/1515.75	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=1511.71  globalCpuTime=1511.88
1514.94/1515.75	       =>  wckTime=1515.509  cpuTime=1511.85  mem=179M621
1514.94/1515.77	   
1514.94/1515.77	s SATISFIABLE
1514.94/1515.77	v -2100 2148 -2656 -2548 2556 2064 -2100 -2056 -2740 2040 2720 2060 2584 -2040 2580 -2472 2636 -2388 2212 2020 -2072 -2488 2456 -2108 2348 -2328 2676 2588 2404 -2060 -2512 2656 -2208 -2312 -2568 2668 2400 2728 -2524 2068 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 -2192 -2100 2632 -2320 2240 -2288 -2040 2020 -2536 -2592 2468 2612 2120 -2168 2668 -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 -2148 -2096 2636 -2156 -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 2712 -2328 2584 -2216 2704 -2464 2476 -2676 2604 -2572 -2388 2536 2452 -2400 -2700 -2368 -2164 -2560 -2380 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 -2252 -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 -2412 2212 -2700 -2104 -2192 -2336 2080 -2288 -2420 2696 -2572 -2592 -2740 -2740 -2576 2632 -2224 -2164 -2548 -2740 -2340 -2564 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 -2060 -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 -2416 2284 -2616 -2032 2020 -2152 -2568 2400 2296 -2460 -2160 -2456 2368 -2636 -2480 -2736 -2244 2140 -2484 -2720 2308 -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 -2100 2540 2664 -2584 2200 -2072 -2372 2112 -2376 2376 -2592 -2088 2440 2236 -2672 -2640 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 -2284 2036 -2248 -2720 2572 -2136 2392 -2512 2108 2348 -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 -2352 -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 -2100 -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 2308 -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 -2444 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 2476 -2172 2256 -2420 2172 -2524 2692 -2508 -2384 2064 2096 2120 -2060 -2060 -2532 2628 -2740 -2020 2408 -2280 -2432 -2700 -2704 -2344 -2160 -2540 2116 -2284 -2220 2272 2120 -2616 -2164 2216 2384 -2020 -2092 2080 -2656 -2188 -2448 -2508 2068 -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 -2028 -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 2332 2712 2400 -2264 2372 2648 -2608 2068 -2712 -2524 2676 -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 -2324 -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 -2652 2604 -2196 -2692 -2700 -2188 -2312 2020 -2136 -2692 -2320 2060 2088 -2228 -2588 -2544 -2020 2596 2604 2132 2700 -2316 -2452 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 2440 -2204 2108 -2096 2128 -2620 2528 -2060 2280 -2572 -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 2132 -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 -2232 2672 -2460 -2060 2560 2644 2096 -2544 2328 2424 -2492 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 -2708 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 -2172 -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 -2240 -2628 -2676 2520 2696 -2520 -2612 -2644 2620 2668 2488 -2324 -2504 2080 -2620 -2724 -2564 -2364 -2636 2668 2700 -2492 2020 -2260 -2484 2684 -2072 -2020 -2664 -2112 -2288 -2100 2384 -2672 2296 2452 2020 2656 -2652 -2684 -2508 -2248 -2524 -2544 -2484 -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 -2440 -2740 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 2424 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 -2180 -2152 2148 2444 -2496 -2184 2464 -2696 -2268 -2272 -2356 2636 -2192 -2704 2584 2524 -2136 2300 -2640 -2060 2252 -2632 -2424 -2284 -2020 -2080 2600 2188 -2296 2080 2608 2384 -2556 -2400 2496 -2052 -2108 -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 2516 2740 -2116 2164 2592 -2568 -2564 2264 -2664 -2672 -2060 -2348 -2092 -2176 -2700 2200 -2092 -2456 -2496 2364 2396 -2060 2216 -2520 -2548 -2464 -2660 2468 2024 -2712 -2060 2424 -2596 -2228 -2700 2276 -2060 2392 2208 2328 -2728 -2392 2480 -2024 -2020 2680 -2120 -2188 2608 -2256 2508 -2700 -2368 -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 2044 -2740 -2584 -2448 2664 -2504 -2592 2088 -2240 -2308 2412 -2504 -2404 2352 -2660 -2108 -2060 2308 -2244 2432 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 -2148 -2268 2740 -2604 2304 2084 -2740 2700 2644 -2664 2700 2584 2060 2320 -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 2436 -2464 -2316 2700 -2020 -2660 -2092 -2028 2048 2520 2700 2572 2572 -2688 2584 -2688 -2644 -2024 -2372 -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 2532 -2580 -2692 2060 -2248 2732 -2504 -2660 2548 2600 2448 2616 2364 -2612 2100 -2588 2196 2576 2048 -2352 2020 2700 -2060 2624 2268 2068 2652 2476 -2612 -2060 -2284 -2060 2084 -2536 -2556 2072 -2268 2408 -2596 -2604 2284 -2716 2356 -2616 2472 -2148 2624 -2544 -2488 2740 -2324 -2584 -2160 -2044 2424 -2064 -2612 2544 -2680 2092 2660 -2652 -2504 -2112 -2448 2088 2120 2700 2060 -2404 2024 2020 2664 -2216 -2084 -2620 -2312 -2700 -2616 2524 2204 -2032 -2176 2284 2688 2156 -2140 2700 2384 -2540 -2516 2648 -2396 -2100 -2388 -2416 2032 2308 2660 2200 -2164 -2028 -2180 2700 -2664 2448 -2320 -2540 -2256 -2156 -2060 2716 -2436 -2696 -2584 -2496 -2576 2064 -2060 -2680 2480 -2220 2676 -2060 2700 -2104 -2060 -2232 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 -2348 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 -2060 2428 2020 -2080 -2020 2632 -2608 -2508 -2584 -2700 -2596 -2556 2496 -2156 -2676 -2620 2416 2060 2712 -2552 2104 -2444 -2648 -2132 -2344 -2076 -2128 -2640 -2264 2220 -2364 -2060 2212 -2336 -2088 2508 -2700 -2672 2312 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 -2716 -2128 -2680 -2368 2660 -2500 2628 -2404 2616 2168 -2160 -2296 2640 -2404 -2612 -2308 -2612 -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 2020 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 -2360 2292 2484 -2232 -2400 2064 -2696 -2436 -2180 2244 2476 -2688 2144 -2492 2280 2128 -2508 -2416 -2436 -2584 2152 -2468 -2020 2260 2644 -2572 2604 2324 2636 -2172 2212 -2208 2596 -2264 -2724 -2064 2604 -2172 2740 -2436 -2192 -2668 -2500 -2400 -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 -2212 2020 -2604 -2380 -2096 2688 -2468 2692 -2440 2588 -2408 
1514.94/1515.77	d NODES 62145
1514.94/1515.77	d CHECKS 3072262379
1514.94/1515.78	   
1514.94/1515.78	   totalWckTime=1515.602  totalCpuTime=1511.9

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-2097894-1247414146/watcher-2097894-1247414146 -o /tmp/evaluation-result-2097894-1247414146/solver-2097894-1247414146 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097894-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: 1.96 2.01 1.99 3/80 2614
/proc/meminfo: memFree=1405040/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=152 CPUtime=0
/proc/2614/stat : 2614 (java) R 2612 2614 724 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 28478132 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 10384164 0 0 4096 0 0 0 0 17 0 0 0
/proc/2614/statm: 38 26 19 9 0 4 0

[startup+0.025024 s]
/proc/loadavg: 1.96 2.01 1.99 3/80 2614
/proc/meminfo: memFree=1405040/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=861936 CPUtime=0.02
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 1893 0 1 0 1 1 0 0 18 0 5 0 28478132 882622464 1575 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 215484 1578 693 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936

[startup+0.101029 s]
/proc/loadavg: 1.96 2.01 1.99 3/80 2614
/proc/meminfo: memFree=1405040/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=865940 CPUtime=0.09
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 3780 0 1 0 7 2 0 0 18 0 9 0 28478132 886722560 3237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 216485 3238 1708 9 0 210970 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865940

[startup+0.301045 s]
/proc/loadavg: 1.96 2.01 1.99 3/80 2614
/proc/meminfo: memFree=1405040/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=866432 CPUtime=0.28
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 6003 0 1 0 25 3 0 0 18 0 9 0 28478132 887226368 5369 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 216608 5369 1986 9 0 211066 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866432

[startup+0.701086 s]
/proc/loadavg: 1.96 2.01 1.99 3/80 2614
/proc/meminfo: memFree=1405040/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=867588 CPUtime=0.69
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 14313 0 1 0 61 8 0 0 18 0 9 0 28478132 888410112 13667 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 216897 13667 2031 9 0 211333 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867588

[startup+1.50216 s]
/proc/loadavg: 1.96 2.01 1.99 4/89 2623
/proc/meminfo: memFree=1325736/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=867500 CPUtime=1.48
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 22511 0 1 0 137 11 0 0 18 0 9 0 28478132 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 216875 21840 2029 9 0 211333 0
[pid=2614/tid=2616] ppid=2612 vsize=867500 CPUtime=1.22
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 15795 0 1 0 114 8 0 0 25 0 9 0 28478133 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 102094027 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=867500 CPUtime=0.06
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 5374 0 0 0 4 2 0 0 17 0 9 0 28478134 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28478137 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=867500 CPUtime=0.17
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 642 0 0 0 17 0 0 0 16 0 9 0 28478137 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28478137 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28478137 888320000 21840 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867500

[startup+3.10231 s]
/proc/loadavg: 1.97 2.01 1.99 3/89 2623
/proc/meminfo: memFree=1313000/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=867500 CPUtime=3.09
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 27086 0 1 0 295 14 0 0 18 0 9 0 28478132 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 216875 26413 2029 9 0 211333 0
[pid=2614/tid=2616] ppid=2612 vsize=867500 CPUtime=2.64
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 15797 0 1 0 256 8 0 0 25 0 9 0 28478133 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4126410922 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=867500 CPUtime=0.24
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 9946 0 0 0 20 4 0 0 16 0 9 0 28478134 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28478137 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=867500 CPUtime=0.17
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 643 0 0 0 17 0 0 0 17 0 9 0 28478137 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28478137 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28478137 888320000 26413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867500

[startup+6.30162 s]
/proc/loadavg: 1.97 2.01 1.99 3/89 2623
/proc/meminfo: memFree=1300328/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=867500 CPUtime=6.28
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 28720 0 1 0 613 15 0 0 18 0 9 0 28478132 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 216875 28042 2032 9 0 211333 0
[pid=2614/tid=2616] ppid=2612 vsize=867500 CPUtime=5.69
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 15833 0 1 0 560 9 0 0 25 0 9 0 28478133 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4126933400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=867500 CPUtime=0.35
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 11503 0 0 0 30 5 0 0 17 0 9 0 28478134 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28478137 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=867500 CPUtime=0.22
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 684 0 0 0 22 0 0 0 16 0 9 0 28478137 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28478137 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28478137 888320000 28042 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 867500

[startup+12.7022 s]
/proc/loadavg: 1.97 2.00 1.99 3/89 2623
/proc/meminfo: memFree=1300136/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=867500 CPUtime=12.69
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 28725 0 1 0 1253 16 0 0 18 0 9 0 28478132 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 216875 28045 2032 9 0 211333 0
[pid=2614/tid=2616] ppid=2612 vsize=867500 CPUtime=12.08
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 15835 0 1 0 1199 9 0 0 25 0 9 0 28478133 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4126967558 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=867500 CPUtime=0.35
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 11503 0 0 0 30 5 0 0 16 0 9 0 28478134 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28478137 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=867500 CPUtime=0.23
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 687 0 0 0 23 0 0 0 15 0 9 0 28478137 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28478137 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28478137 888320000 28045 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 867500

[startup+25.5014 s]
/proc/loadavg: 2.06 2.02 2.00 3/89 2623
/proc/meminfo: memFree=1274728/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=867500 CPUtime=25.48
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 35125 0 1 0 2528 20 0 0 18 0 9 0 28478132 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 216875 34438 2033 9 0 211333 0
[pid=2614/tid=2616] ppid=2612 vsize=867500 CPUtime=24.37
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 15845 0 1 0 2427 10 0 0 25 0 9 0 28478133 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 103774189 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=867500 CPUtime=0.8
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 17866 0 0 0 73 7 0 0 16 0 9 0 28478134 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28478135 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 28478137 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=867500 CPUtime=0.27
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 714 0 0 0 27 0 0 0 16 0 9 0 28478137 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28478137 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=867500 CPUtime=0
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28478137 888320000 34438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 867500

[startup+51.1019 s]
/proc/loadavg: 2.04 2.02 2.00 3/78 2630
/proc/meminfo: memFree=1407680/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=868236 CPUtime=50.89
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 92439 1361 1 0 5027 35 25 2 18 0 9 0 28478132 889073664 55359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 217059 55359 2663 9 0 211495 0
[pid=2614/tid=2616] ppid=2612 vsize=868236 CPUtime=48.34
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 32477 1361 1 0 4793 14 25 2 25 0 9 0 28478133 889073664 55359 996147200 134512640 134550932 4294955968 18446744073709551615 4126937468 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=868236 CPUtime=2.36
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 58106 1361 0 0 192 17 25 2 16 0 9 0 28478134 889073664 55359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2614/tid=2618] ppid=2612 vsize=868236 CPUtime=0.27
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 20 1361 0 0 0 0 25 2 16 0 9 0 28478135 889073664 55359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2614/tid=2619] ppid=2612 vsize=868236 CPUtime=0.27
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 25 1361 0 0 0 0 25 2 15 0 9 0 28478135 889073664 55359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2614/tid=2620] ppid=2612 vsize=868236 CPUtime=0.27
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 1361 0 0 0 0 25 2 24 0 9 0 28478137 889073664 55359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=868236 CPUtime=0.67
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 982 1361 0 0 40 0 25 2 16 0 9 0 28478137 889073664 55359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2614/tid=2622] ppid=2612 vsize=868236 CPUtime=0.27
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 1361 0 0 0 0 25 2 25 0 9 0 28478137 889073664 55359 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0

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

/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 99495 1361 1 0 150247 41 25 2 18 0 9 0 28478132 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 217037 62343 2641 9 0 211495 0
[pid=2614/tid=2616] ppid=2612 vsize=868148 CPUtime=1500.45
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 32498 1361 1 0 150000 18 25 2 25 0 9 0 28478133 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4126937476 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=868148 CPUtime=2.44
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 65080 1361 0 0 198 19 25 2 16 0 9 0 28478134 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 20 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 31 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 1361 0 0 0 0 25 2 24 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=868148 CPUtime=0.74
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 1037 1361 0 0 47 0 25 2 16 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 1361 0 0 0 0 25 2 25 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 11 1361 0 0 0 0 25 2 15 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1503.15
Current children cumulated vsize (KiB) 868148

[startup+1510.31 s]
/proc/loadavg: 2.11 2.04 2.00 3/89 2672
/proc/meminfo: memFree=1365096/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=868148 CPUtime=1509.55
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 99495 1361 1 0 150887 41 25 2 18 0 9 0 28478132 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 217037 62343 2641 9 0 211495 0
[pid=2614/tid=2616] ppid=2612 vsize=868148 CPUtime=1506.85
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 32498 1361 1 0 150640 18 25 2 25 0 9 0 28478133 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4127501696 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=868148 CPUtime=2.44
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 65080 1361 0 0 198 19 25 2 16 0 9 0 28478134 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 20 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 31 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 1361 0 0 0 0 25 2 24 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=868148 CPUtime=0.74
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 1037 1361 0 0 47 0 25 2 16 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 1361 0 0 0 0 25 2 25 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 11 1361 0 0 0 0 25 2 15 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1509.55
Current children cumulated vsize (KiB) 868148

[startup+1513.5 s]
/proc/loadavg: 2.10 2.04 2.00 3/89 2672
/proc/meminfo: memFree=1365096/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=868148 CPUtime=1512.75
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 99495 1361 1 0 151207 41 25 2 18 0 9 0 28478132 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 217037 62343 2641 9 0 211495 0
[pid=2614/tid=2616] ppid=2612 vsize=868148 CPUtime=1510.05
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 32498 1361 1 0 150960 18 25 2 25 0 9 0 28478133 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4127515392 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=868148 CPUtime=2.44
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 65080 1361 0 0 198 19 25 2 16 0 9 0 28478134 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 20 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 31 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 1361 0 0 0 0 25 2 24 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=868148 CPUtime=0.74
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 1037 1361 0 0 47 0 25 2 16 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 1361 0 0 0 0 25 2 25 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 11 1361 0 0 0 0 25 2 15 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1512.75
Current children cumulated vsize (KiB) 868148

[startup+1515.1 s]
/proc/loadavg: 2.10 2.04 2.00 3/89 2672
/proc/meminfo: memFree=1365096/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=868148 CPUtime=1514.34
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 99495 1361 1 0 151366 41 25 2 18 0 9 0 28478132 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 217037 62343 2641 9 0 211495 0
[pid=2614/tid=2616] ppid=2612 vsize=868148 CPUtime=1511.65
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 32498 1361 1 0 151120 18 25 2 25 0 9 0 28478133 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4126931978 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=868148 CPUtime=2.44
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 65080 1361 0 0 198 19 25 2 16 0 9 0 28478134 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 20 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 31 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 1361 0 0 0 0 25 2 24 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=868148 CPUtime=0.74
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 1037 1361 0 0 47 0 25 2 16 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 1361 0 0 0 0 25 2 25 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 11 1361 0 0 0 0 25 2 15 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1514.34
Current children cumulated vsize (KiB) 868148

[startup+1515.5 s]
/proc/loadavg: 2.10 2.04 2.00 3/89 2672
/proc/meminfo: memFree=1365096/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=868148 CPUtime=1514.74
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 99495 1361 1 0 151406 41 25 2 18 0 9 0 28478132 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 217037 62343 2641 9 0 211495 0
[pid=2614/tid=2616] ppid=2612 vsize=868148 CPUtime=1512.05
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 32498 1361 1 0 151160 18 25 2 25 0 9 0 28478133 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4127589389 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=868148 CPUtime=2.44
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 65080 1361 0 0 198 19 25 2 16 0 9 0 28478134 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 20 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 31 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 1361 0 0 0 0 25 2 24 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=868148 CPUtime=0.74
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 1037 1361 0 0 47 0 25 2 16 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 1361 0 0 0 0 25 2 25 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 11 1361 0 0 0 0 25 2 15 0 9 0 28478137 888983552 62343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1514.74
Current children cumulated vsize (KiB) 868148

[startup+1515.7 s]
/proc/loadavg: 2.10 2.04 2.00 3/89 2672
/proc/meminfo: memFree=1365096/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=868148 CPUtime=1514.94
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 99500 1361 1 0 151426 41 25 2 18 0 9 0 28478132 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 217037 62348 2641 9 0 211495 0
[pid=2614/tid=2616] ppid=2612 vsize=868148 CPUtime=1512.25
/proc/2614/task/2616/stat : 2616 (java) R 2612 2614 724 0 -1 64 32500 1361 1 0 151180 18 25 2 25 0 9 0 28478133 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4127555504 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2617] ppid=2612 vsize=868148 CPUtime=2.44
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 65080 1361 0 0 198 19 25 2 16 0 9 0 28478134 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 20 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 31 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 1361 0 0 0 0 25 2 24 0 9 0 28478137 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=868148 CPUtime=0.75
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 1040 1361 0 0 48 0 25 2 16 0 9 0 28478137 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 1361 0 0 0 0 25 2 25 0 9 0 28478137 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 11 1361 0 0 0 0 25 2 15 0 9 0 28478137 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1514.94
Current children cumulated vsize (KiB) 868148

[startup+1515.81 s]
/proc/loadavg: 2.10 2.04 2.00 3/89 2672
/proc/meminfo: memFree=1365096/2055920 swapFree=4192812/4192956
[pid=2614] ppid=2612 vsize=868148 CPUtime=1515.02
/proc/2614/stat : 2614 (java) S 2612 2614 724 0 -1 0 99509 1361 1 0 151434 41 25 2 18 0 9 0 28478132 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2614/statm: 217037 62348 2641 9 0 211495 0
[pid=2614/tid=2616] ppid=2612 vsize=868148 CPUtime=1512.32
/proc/2614/task/2616/stat : 2616 (java) S 2612 2614 724 0 -1 64 32509 1361 1 0 151187 18 25 2 24 0 9 0 28478133 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2614/tid=2617] ppid=2612 vsize=868148 CPUtime=2.44
/proc/2614/task/2617/stat : 2617 (java) S 2612 2614 724 0 -1 64 65080 1361 0 0 198 19 25 2 16 0 9 0 28478134 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2618] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2618/stat : 2618 (java) S 2612 2614 724 0 -1 64 20 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2619] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2619/stat : 2619 (java) S 2612 2614 724 0 -1 64 31 1361 0 0 0 0 25 2 16 0 9 0 28478135 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2620] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2620/stat : 2620 (java) S 2612 2614 724 0 -1 64 1 1361 0 0 0 0 25 2 24 0 9 0 28478137 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2621] ppid=2612 vsize=868148 CPUtime=0.75
/proc/2614/task/2621/stat : 2621 (java) S 2612 2614 724 0 -1 64 1040 1361 0 0 48 0 25 2 15 0 9 0 28478137 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2622] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2622/stat : 2622 (java) S 2612 2614 724 0 -1 64 0 1361 0 0 0 0 25 2 25 0 9 0 28478137 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2614/tid=2623] ppid=2612 vsize=868148 CPUtime=0.27
/proc/2614/task/2623/stat : 2623 (java) S 2612 2614 724 0 -1 64 11 1361 0 0 0 0 25 2 15 0 9 0 28478137 888983552 62348 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1515.02
Current children cumulated vsize (KiB) 868148

Child status: 0
Real time (s): 1515.86
CPU time (s): 1515.09
CPU user time (s): 1514.6
CPU system time (s): 0.483926
CPU usage (%): 99.9489
Max. virtual memory (cumulated for all children) (KiB): 875896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1514.6
system time used= 0.483926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100899
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= 33394
involuntary context switches= 50562

runsolver used 1.81772 second user time and 5.08623 second system time

The end

Launcher Data 

Begin job on node61 at 2009-07-12 17:55:47
IDJOB=2097894
IDBENCH=57949
IDSOLVER=774
FILE ID=node61/2097894-1247414146
PBS_JOBID= 9510523
Free space on /tmp= 66384 MiB

SOLVER NAME= Abscon 112v4 ESAC
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 esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097894-1247414146/watcher-2097894-1247414146 -o /tmp/evaluation-result-2097894-1247414146/solver-2097894-1247414146 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097894-1247414146.xml

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

MD5SUM BENCH= 82e6ad1aef50625fbf6be40e28789b38
RANDOM SEED=1372208384

node61.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.229
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.229
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1405520 kB
Buffers:         90260 kB
Cached:         247700 kB
SwapCached:          0 kB
Active:         453956 kB
Inactive:       129312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1405520 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            7804 kB
Writeback:           0 kB
Mapped:         265748 kB
Slab:            52040 kB
Committed_AS:  1042444 kB
PageTables:       2224 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66404 MiB
End job on node61 at 2009-07-12 18:21:03