Trace number 200822

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, and are wall clock time (not CPU 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 109 ESACSAT 1586.97 1587.69

DiagnosticValue
CHECKS3300932148
NODES73648

General information on the benchmark

Namefapp/fapp11-15/fapp14/
fapp14-2500-10.xml
MD5SUM7da57cc6785d866f073effab049038df
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 benchmark331.113
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2500
Number of constraints40767
Maximum constraint arity2
Maximum domain size362
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40767
Global constraints used (with number of constraints)

Solver Data (download as text)

0.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=esac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/200822-1168143749/unknown.xml
0.41	   
0.41	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.73	     nbVariables=2500  nbDomainTypes=30  minDomainSize=42  maxDomainSize=362
0.73	       =>  wckTime=0.378  cpuTime=0.3  mem=35M193
0.73	   
0.73	   predicates being loaded...
0.73	   
0.73	   constraints being loaded...
201.86	   
201.86	   INFO : Stopping converting binary constraints (cpu=200.01, mem = 123M988)
205.75	     nbConstraints=21610  nbMergedConstraints=19157  nbConvertedConstraints=4463  nbConvertConstraintsChecks=351305790
205.75	     nbExtensionStructures=3534  nbSharedExtensionStructures=929  nbConflictsStructures=3534
205.75	     nbSharedConflictsStructures=929  nbSharedBinaryRepresentations=1678964  nbEvaluationManagers=11592
205.75	     nbSharedEvaluationManagers=5555  maxDegree=27  maxArity=2
205.75	       =>  wckTime=205.396  cpuTime=203.42  mem=166M4
206.21	   
206.21	   solver IterativeSystematicSolver being built... 
206.81	       =>  wckTime=206.461  cpuTime=203.86  mem=222M341
311.29	   
311.29	   INFO : Stopping ESAC
311.30	   
311.30	   preprocessing
311.30	     nbConstraintChecks=217891514  nbValidityChecks=47161499  nbPropagations=19540  nbRevisions=267499
311.30	     nbUselessRevisions=247612  nbSingletonTests=466  nbEffectiveSingletonTests=0  nbESACBranches=3
311.30	     nbRemovedValues=147567  detectedInconsistency=no
311.30	       =>  wckTime=104.456  cpuTime=104.37  mem=222M341
340.06	   
340.06	   search
340.06	     run=0  nbConstraintChecks=56890260  nbValidityChecks=35999119  nbPropagations=36705  nbRevisions=495862
340.06	     nbUselessRevisions=449770  nbAssignments=580  nbFailedAssignments=100  nbBacktracks=10  nbVisitedNodes=686
340.06	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=480
340.06	       =>  wckTime=133.227  cpuTime=133.11  mem=225M378
461.63	   
461.63	   search
461.63	     run=1  nbConstraintChecks=338373547  nbValidityChecks=322983346  nbPropagations=195079  nbRevisions=2608877
461.63	     nbUselessRevisions=2382767  nbAssignments=4529  nbFailedAssignments=169  nbBacktracks=26  nbVisitedNodes=2382
461.63	     nbRestartNogoods=14  mapSize=8  nbInferences=0  nbTooLargeKeys=1789
461.63	       =>  wckTime=254.798  cpuTime=254.55  mem=212M430
1027.12	   
1027.12	   search
1027.12	     run=2  nbConstraintChecks=1705494987  nbValidityChecks=1944161843  nbPropagations=1162437  nbRevisions=15268820
1027.12	     nbUselessRevisions=14022850  nbAssignments=39073  nbFailedAssignments=220  nbBacktracks=48  nbVisitedNodes=4053
1027.12	     nbRestartNogoods=58  mapSize=25  nbInferences=0  nbTooLargeKeys=3091
1027.12	       =>  wckTime=820.283  cpuTime=819.84  mem=224M125
1177.36	   
1177.36	   INFO : Stopping hyperNogood (mapSize=25, nbTooLargekeys=4370, mem=225M37)
1178.50	   
1178.50	   search
1178.50	     run=3  nbConstraintChecks=2077684652  nbValidityChecks=2397980463  nbPropagations=2358170  nbRevisions=30943566
1178.50	     nbUselessRevisions=28435322  nbAssignments=48495  nbFailedAssignments=278  nbBacktracks=81  nbVisitedNodes=5494
1178.50	     nbRestartNogoods=71
1178.50	       =>  wckTime=971.662  cpuTime=971.17  mem=225M37
1587.62	   
1587.62	   search
1587.62	     run=4  nbConstraintChecks=3083040634  nbValidityChecks=3662216434  nbPropagations=4166531  nbRevisions=54684068
1587.62	     nbUselessRevisions=50276283  nbAssignments=73648  nbFailedAssignments=291  nbBacktracks=124  nbVisitedNodes=8073
1587.62	     nbRestartNogoods=98
1587.62	       =>  wckTime=1380.783  cpuTime=1380.15  mem=225M37
1587.62	   
1587.62	   global
1587.62	     nbConstraintChecks=3300932148  nbValidityChecks=3709377933  nbPropagations=4186071  nbRevisions=54951567
1587.62	     nbUselessRevisions=50523895  nbRestartNogoods=98  solvingWckTime=1380.785  solvingCpuTime=1380.15  expiredTime=no
1587.62	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=1584.08
1587.62	       =>  wckTime=1587.272  cpuTime=1584.03  mem=225M37
1587.63	   
1587.63	s SATISFIABLE
1587.63	v 2272 2076 2616 -2576 -2740 -2156 2076 2204 -2592 -2060 2720 2216 -2716 2580 -2560 -2588 -2636 2540 -2020 -2020 2132 -2460 2428 2100 -2276 2292 -2636 -2608 2740 -2060 2416 -2692 -2412 -2460 -2680 2636 -2480 -2148 -2528 -2448 -2656 2020 -2504 -2236 -2624 2700 2700 -2024 2368 -2064 -2032 -2468 -2700 2728 -2320 -2060 2180 -2344 2740 -2288 2224 -2524 -2556 -2308 -2240 -2520 2740 -2700 -2076 2584 2588 -2584 -2248 2612 -2384 2632 2028 -2136 2352 -2576 -2020 -2700 2628 -2380 -2540 -2376 2020 2536 -2740 -2536 2020 -2592 2544 -2696 -2700 2312 2336 -2048 -2020 2632 -2352 2348 -2280 -2344 2092 2700 2628 2544 -2660 -2132 -2072 2632 -2044 2248 2372 2568 -2084 -2120 2684 2264 2588 -2272 2652 2672 -2280 2532 -2488 -2636 2064 2588 -2416 -2736 -2028 -2080 2668 2224 -2660 -2692 -2540 -2080 2700 2548 -2492 2436 2152 -2676 -2572 -2020 -2636 -2124 -2060 -2352 2492 2472 2428 -2420 -2060 -2644 2428 2348 -2276 -2660 2640 -2724 2680 2152 2324 -2400 2584 -2460 2072 -2236 -2068 2728 2168 -2556 2404 2504 -2740 -2020 -2628 2648 -2256 -2700 2340 2460 -2356 2376 -2256 -2352 2140 -2088 -2636 2284 2640 -2700 2208 -2264 -2056 2460 -2532 -2648 -2592 2728 -2020 -2060 -2616 -2676 -2060 -2028 2404 2060 2040 2184 2384 -2500 -2600 2224 -2572 2296 -2340 -2700 -2428 -2672 -2060 -2428 -2168 -2688 2172 2528 -2516 -2576 2384 -2268 -2528 -2060 2020 -2072 2664 -2544 -2432 2660 -2300 2560 -2108 2704 2700 2460 -2700 -2612 -2660 2232 -2508 -2460 -2040 -2740 2284 -2344 2332 -2392 -2412 -2232 -2428 2300 -2020 -2704 -2740 2524 2060 2464 2496 -2060 -2484 -2740 -2260 2020 2248 2152 -2700 -2580 2112 2020 2024 -2604 -2700 2640 -2604 -2592 -2240 -2608 2020 2712 2496 -2476 2584 -2652 -2420 -2336 -2052 -2384 2640 2020 2648 2312 -2232 -2404 -2700 2140 2600 2020 -2020 2496 2060 2724 -2704 -2580 2276 -2128 2088 -2440 -2584 -2660 -2208 2100 2152 -2060 -2104 -2716 2740 -2060 -2256 2536 2172 -2572 -2032 -2592 2612 -2300 -2608 2528 -2700 -2736 2620 2684 -2196 -2152 -2732 -2060 2536 -2272 -2392 2644 2532 2276 -2444 2652 -2200 2636 2656 -2060 2664 -2308 2020 2668 -2576 2632 -2236 2136 -2060 2740 2048 2484 -2604 2680 -2740 -2580 -2204 2528 2244 -2300 -2168 2408 -2336 2220 2460 2048 -2184 2192 2216 -2272 -2352 2632 -2644 -2592 -2660 -2740 2472 -2700 2212 -2020 -2652 2740 2308 -2628 -2248 -2500 -2416 2740 -2148 -2540 -2136 -2272 -2548 -2500 -2564 2060 -2524 2696 -2104 2108 -2736 -2400 2136 2652 2136 -2632 -2640 -2656 -2352 -2212 -2580 2220 2232 -2600 2440 -2216 -2700 2740 -2736 -2596 -2076 2564 2740 -2412 -2664 2020 -2080 2264 -2020 -2636 -2128 -2660 -2268 2728 2020 -2676 2384 2492 -2440 2112 -2068 2628 -2020 2196 2084 -2576 -2432 2020 -2732 -2260 -2320 -2532 -2700 -2352 -2440 -2508 -2076 -2360 -2412 2532 -2060 2460 2020 2708 2104 2024 -2700 2484 -2628 -2428 2436 -2176 -2708 -2220 2308 -2272 -2060 -2336 -2700 -2192 -2072 -2556 2020 -2136 2056 -2568 -2048 -2396 -2308 2652 2408 -2124 -2592 -2296 2212 -2224 -2624 2300 2244 -2516 -2060 -2372 2344 -2724 2532 -2692 2248 -2168 -2392 -2700 -2300 2024 2740 2316 -2060 -2156 -2584 -2424 2740 -2176 -2060 2076 2620 2664 -2432 -2500 -2724 2280 -2020 2692 2076 -2496 -2532 -2020 2320 2316 -2300 -2188 2700 2576 -2556 -2128 -2712 2580 -2740 2148 -2256 -2328 -2136 2304 -2448 -2604 -2060 -2544 2120 -2700 -2700 2020 2324 2028 -2080 -2672 2544 2336 2740 2280 -2232 -2376 -2428 2036 -2452 2072 2668 -2136 2460 2064 2536 -2668 -2600 -2196 2728 -2068 2252 -2292 -2020 -2060 -2668 -2440 -2072 2516 2468 -2100 -2340 2216 2020 -2672 -2060 -2064 -2432 2332 -2708 -2020 2660 2704 -2696 -2240 -2256 2152 2132 -2380 -2740 -2188 -2112 2660 -2244 -2448 -2548 2276 2692 -2668 -2312 -2360 -2080 -2308 2728 2684 2264 2668 -2600 -2740 -2468 -2724 2684 2020 -2504 -2476 2184 2432 2284 -2024 -2664 -2628 -2476 -2040 2656 -2116 -2060 -2172 -2480 -2088 -2700 -2248 -2344 -2700 2312 -2560 -2060 -2624 -2572 -2188 -2260 2440 -2584 -2284 -2740 2108 -2256 -2172 2372 -2396 2548 2736 2332 2020 2044 -2692 -2160 -2060 2696 -2376 2624 -2436 -2740 -2064 2616 -2172 -2224 -2700 -2664 -2160 -2436 2668 -2060 -2392 -2024 2416 2216 2728 2136 2020 -2656 -2592 2604 -2176 -2556 2700 -2616 -2024 -2248 -2556 -2616 2592 2184 2444 -2740 -2668 2236 -2444 -2736 2544 2700 2592 -2200 -2064 -2164 2072 2076 2696 -2164 2688 -2128 2660 2512 -2024 2060 -2120 -2168 2648 2144 -2560 -2060 2020 2180 2288 -2424 -2508 -2020 -2664 2700 -2740 2120 -2084 2456 -2404 -2356 -2344 2468 2720 -2060 2616 -2232 2620 2020 2644 -2044 -2020 -2060 2036 2736 -2700 -2660 -2588 2476 2372 2656 2196 -2668 2740 -2372 -2740 -2328 2348 -2224 2216 2700 -2600 -2388 2300 -2092 -2176 2288 -2024 2532 2460 2216 2036 -2236 -2740 2252 -2044 2660 -2584 2552 -2152 -2332 2120 -2280 -2500 -2072 2468 -2372 -2516 -2684 2196 2216 -2108 -2448 2396 -2172 -2436 -2704 2640 2312 2740 -2684 -2472 2624 2528 -2204 2376 -2060 -2660 -2128 2664 2484 -2132 -2292 -2672 -2552 2020 -2376 -2692 -2068 -2684 2048 -2516 2280 -2236 2388 2132 -2740 2644 2464 -2392 2380 -2032 -2060 2068 -2032 2484 -2660 -2700 2104 2608 -2392 -2568 -2700 -2704 2216 -2184 -2544 2324 -2348 -2064 2192 -2292 2732 2240 2308 -2720 -2100 -2032 2240 -2700 -2332 2648 2568 -2172 -2024 -2112 -2260 -2596 -2544 2716 2408 -2576 2088 -2388 2176 -2464 -2264 -2552 -2588 2728 2720 2740 -2492 -2444 -2708 2488 2712 -2264 2552 -2060 -2400 2364 2176 2244 2020 -2392 -2060 -2684 -2348 2604 -2132 -2716 2740 2444 -2640 -2028 2728 2312 2672 -2740 -2192 2684 2192 2060 2196 -2120 -2680 -2060 -2428 2568 -2068 2276 -2020 2472 2444 2700 -2320 -2700 -2232 2548 2484 -2516 2660 2208 -2492 -2440 -2076 -2392 -2688 -2392 -2060 2140 2144 -2252 -2536 2668 -2676 2200 -2232 -2644 2736 2716 -2568 2408 -2740 2368 -2236 -2396 2700 -2740 -2080 -2700 -2372 -2740 -2736 2364 2192 -2324 2640 -2608 2724 2176 2688 -2216 2096 -2728 -2452 2564 2676 2564 -2164 2640 2620 2272 2364 2400 -2696 2576 -2092 -2624 -2700 2364 -2432 2300 -2332 -2376 2064 -2456 2020 2152 2740 -2160 2020 -2424 -2668 -2520 -2060 -2020 2640 2528 -2164 -2696 2604 -2656 2288 2400 -2444 2140 2368 -2700 2584 -2620 -2740 -2208 -2676 2564 2072 2496 -2112 -2060 2684 -2196 -2080 -2040 2132 2420 -2576 -2148 -2680 2548 2028 2700 2076 -2296 -2268 2620 2060 2308 2584 -2700 -2484 -2680 2608 2288 2540 2124 2020 -2232 2212 2600 -2360 -2060 2216 -2024 -2060 -2472 -2148 -2124 2536 -2700 -2076 -2352 -2740 -2400 2696 -2064 -2540 2724 -2696 -2020 2648 2696 2152 -2164 2572 -2580 -2368 -2392 2700 -2632 2632 2268 -2528 2020 -2324 -2020 -2472 -2392 -2576 -2532 -2260 2304 2184 2040 2104 -2660 2588 2188 -2364 2740 -2216 -2604 -2040 2328 -2724 2392 2468 2088 -2700 -2596 -2556 -2520 2124 -2068 2484 -2468 -2528 -2624 2512 2284 -2660 -2080 -2392 2076 2600 -2680 -2640 -2616 -2632 2620 -2736 2564 2740 -2708 -2584 -2660 2592 2592 2728 -2224 -2368 2632 2572 -2400 -2612 -2104 -2192 2484 -2476 2664 2740 -2416 2656 -2312 2620 2168 -2576 -2060 -2296 -2220 2020 2472 -2440 -2376 -2320 2164 -2572 -2740 -2532 2656 2560 -2064 2664 2116 -2696 2600 2388 -2496 -2256 -2708 -2620 2164 2088 -2020 2680 -2740 -2060 -2688 -2312 2308 -2708 -2048 2740 -2224 -2544 -2060 -2228 -2540 2036 -2452 2024 2596 2700 2512 -2148 -2060 -2660 2200 2676 2588 -2044 -2612 2272 2660 2092 2088 2076 -2452 -2368 2372 -2316 -2392 2704 -2336 -2244 -2060 2212 -2176 -2236 -2632 2120 -2244 2224 -2452 -2668 -2020 2272 -2708 2548 -2248 -2516 2088 -2632 2048 -2332 -2428 2076 -2616 -2572 2412 -2064 2112 -2712 -2272 2060 -2700 -2700 2500 -2096 2396 -2064 -2060 2428 -2060 -2076 -2064 -2556 -2492 2032 2596 -2020 -2216 2656 2368 -2088 2652 -2332 2108 2600 2376 -2236 -2740 -2404 -2240 -2036 2060 -2176 -2336 -2404 -2204 2300 2020 -2532 -2372 2180 -2404 -2336 -2688 2296 2716 -2480 2020 2652 -2064 -2716 2308 -2720 -2296 -2696 2328 -2164 -2060 -2404 -2632 2148 -2700 -2560 -2384 -2468 -2228 2668 2096 -2356 -2668 2468 -2492 -2544 -2312 -2088 -2072 2740 2700 2196 -2280 -2020 -2020 2296 -2412 -2712 -2452 2640 2208 -2112 -2604 -2668 -2472 2168 -2060 2044 2344 2316 2248 2132 -2600 -2220 2252 -2100 -2020 -2572 -2044 -2500 2020 -2488 2652 2684 2576 2676 -2216 -2684 -2672 -2260 -2072 -2280 2660 2232 -2328 -2032 -2396 -2556 -2080 -2364 2740 2132 -2440 -2320 -2448 -2540 2020 -2164 2700 2436 2364 -2544 2540 -2328 2632 -2112 2740 -2536 -2264 2120 -2288 -2632 2284 2652 -2488 2688 2700 2260 2076 -2272 -2404 -2168 -2064 -2700 -2332 -2516 -2600 -2352 -2740 -2700 2500 2624 -2692 -2508 -2116 -2700 -2252 -2676 2132 -2444 -2612 -2288 2628 2712 2028 2684 -2296 -2736 2212 2688 -2020 -2084 -2660 2616 -2060 -2700 2184 2156 -2500 2620 -2280 2352 2172 -2192 -2252 2520 2252 -2272 2588 -2516 -2672 -2644 -2372 -2368 2356 -2444 2592 -2356 2276 2700 -2384 2352 2296 2628 2600 -2020 2036 2108 -2640 -2700 -2488 -2732 -2640 -2656 2728 -2528 -2036 2624 2224 -2504 -2060 -2620 -2724 -2540 -2372 -2700 -2668 2708 2444 2268 2164 2492 2612 -2048 -2256 -2676 2124 -2384 -2072 -2356 -2688 -2276 2604 2112 -2616 2664 2444 2616 -2208 -2272 -2676 -2356 -2440 2136 2700 -2420 2376 2740 2228 2688 -2740 -2388 -2224 2328 -2340 2696 2596 2528 -2060 2696 2080 2104 2668 2236 2116 2616 2496 -2456 -2580 -2332 -2620 -2508 -2348 2604 2224 2556 -2740 2036 -2028 2436 -2288 -2020 2092 2236 2704 -2104 2496 -2740 -2384 -2344 -2468 -2684 -2020 -2060 -2276 2460 -2548 -2740 -2040 2424 2408 2740 2552 -2256 -2704 2688 -2700 -2300 2060 2404 2144 -2060 2636 2676 2432 2172 -2392 -2504 -2700 -2260 2304 2556 -2060 -2672 -2668 2284 2156 2736 2108 -2064 2144 -2388 -2740 2176 -2396 2740 -2228 -2212 -2316 -2676 -2128 2700 2692 -2692 -2060 2388 2624 2020 -2700 -2688 2476 -2064 2644 -2164 2632 -2388 -2232 2060 2584 2620 -2500 -2456 2248 2072 2408 2488 -2700 -2356 2664 2412 2024 2580 -2612 2612 2632 -2508 -2208 2608 2192 2112 -2396 -2740 2104 2048 -2020 -2320 2676 2020 -2020 -2228 2020 -2600 -2060 -2592 -2732 -2360 2700 2412 -2060 -2340 2264 -2600 2192 -2740 2340 -2596 2204 -2404 -2420 2388 -2036 2256 -2636 2740 2280 2248 -2740 -2628 2428 -2364 -2740 2700 -2060 -2320 -2136 -2148 2664 -2364 2148 -2488 2464 -2404 2252 -2060 -2136 -2588 -2700 -2412 -2648 -2520 2084 -2588 -2068 2324 -2740 2188 -2516 -2096 -2144 -2508 -2296 2248 -2020 -2280 -2508 -2208 -2180 -2740 2080 2192 -2620 -2188 -2700 -2700 -2340 -2500 2740 -2104 -2024 -2268 2348 2208 -2060 2320 -2672 2060 -2176 -2220 -2084 2652 2620 -2256 -2700 -2416 2152 2568 -2740 2720 -2388 -2036 -2284 2644 -2724 2096 -2060 -2664 -2052 2692 2672 -2428 -2700 -2372 2668 -2064 2084 2180 2564 -2504 2352 2352 -2700 -2060 2068 -2380 -2052 2632 -2352 -2700 2660 2428 2404 -2028 2064 -2740 2292 -2612 -2096 -2532 2152 2476 2624 2620 2460 2608 -2060 -2020 2324 2472 2316 -2468 -2700 2656 -2616 -2540 -2020 -2620 2452 -2076 -2620 -2636 2372 -2400 2700 -2668 -2068 2080 -2672 -2516 2692 2612 2464 -2528 -2060 -2508 -2620 2320 -2516 2140 2112 2528 -2740 2684 -2608 2700 -2656 2120 2668 2628 -2688 -2540 -2480 -2064 -2144 2400 -2620 2424 2388 -2272 -2200 2408 2580 -2040 -2328 2664 -2280 2456 2568 -2404 -2032 2280 2580 2144 2692 -2556 2532 2272 2656 2396 2696 -2024 -2084 -2332 2740 2592 2456 -2564 2512 2616 -2740 -2708 2024 2448 -2632 -2068 -2020 -2700 -2020 -2632 -2476 2264 2696 -2060 -2700 -2348 -2444 -2112 -2580 -2628 -2664 -2364 -2732 -2660 -2088 -2372 -2220 -2120 -2336 -2700 -2556 2624 -2060 2024 2716 -2684 -2676 2380 -2572 2500 2620 -2700 -2624 -2116 2740 2112 2688 2024 2420 -2116 -2580 -2144 -2740 -2364 2076 -2584 -2508 -2556 -2060 -2348 2020 -2092 -2208 -2420 2060 -2404 2544 2672 -2652 -2128 2528 -2116 2500 -2592 -2020 -2672 -2568 -2480 2696 2236 -2652 -2172 2068 2396 -2248 -2620 -2700 -2660 2044 -2740 2616 -2656 2124 -2652 2292 -2020 2740 -2088 -2444 -2128 -2064 2640 2096 2028 -2516 2176 2628 2624 2500 -2212 -2060 -2120 2080 -2708 2064 2148 2552 -2740 2608 -2500 2472 2492 -2060 -2312 -2412 2088 2288 2696 -2216 2064 -2020 -2216 2688 -2700 2456 -2432 2740 -2212 -2060 -2136 2672 -2268 2688 -2700 2460 -2564 -2060 2060 -2716 -2444 2020 -2696 2072 2700 2116 2136 2088 2020 -2396 -2656 2500 2620 2416 2556 2232 2456 2568 2020 -2380 2436 2232 -2324 -2208 -2500 -2628 2492 2176 -2020 -2188 -2176 -2548 -2628 -2544 -2668 2664 -2068 -2060 -2060 -2224 2132 -2208 -2620 -2504 2124 2072 -2348 2612 2280 2552 -2364 2604 -2480 2688 -2724 -2516 -2620 -2540 -2128 -2488 -2308 -2580 -2060 2232 2516 2176 -2608 -2188 -2408 2224 -2152 2428 -2608 2516 -2340 -2172 2164 2572 2700 -2500 2556 -2064 -2020 -2416 -2388 2204 -2052 -2412 -2160 2080 -2020 -2548 -2720 -2560 -2740 -2700 -2540 -2596 -2444 -2240 -2740 2580 -2440 2080 -2648 2632 -2396 2340 -2700 -2084 -2304 2128 -2124 2672 -2216 2124 -2204 -2064 -2196 2348 -2072 -2592 2664 -2700 2740 -2580 2268 2088 2512 -2296 2084 2676 2228 2080 -2484 -2436 -2304 -2104 2568 -2740 2700 -2700 -2700 2228 2696 -2588 2232 2600 2600 2576 2252 -2700 2700 2020 -2708 -2336 2620 -2504 -2636 -2444 -2604 2260 -2076 -2700 -2720 -2432 2680 -2360 -2700 2272 2624 -2700 -2572 -2128 -2152 2696 -2388 2232 -2728 -2612 -2508 -2460 2724 -2212 2344 -2192 -2544 2140 2020 -2560 -2160 -2344 -2020 -2688 -2060 -2208 2740 -2020 -2324 -2740 2064 2660 2664 -2176 -2700 2268 -2444 2680 -2724 2568 -2204 2564 -2420 2072 -2660 -2220 2568 2620 2216 2336 -2028 -2608 -2664 -2636 -2700 -2724 2684 -2676 -2588 2440 -2128 -2604 -2168 2020 -2480 -2060 2020 2660 2696 -2088 2176 2656 -2112 -2336 2088 -2036 2308 2672 -2196 -2060 2528 -2152 2740 -2700 2672 -2192 2500 -2596 2736 -2420 2116 2312 2208 2264 -2112 2032 -2172 -2740 2440 -2228 -2516 -2332 2168 -2444 2556 2352 2512 -2480 2504 2728 2344 2684 2388 -2080 -2060 -2060 -2064 -2336 -2176 2728 2544 2580 -2028 -2708 -2064 2684 2528 2568 -2700 2428 -2316 2256 -2084 -2216 -2400 -2628 2680 -2564 2176 -2204 -2200 -2468 2184 2488 -2180 -2304 -2060 2696 -2480 -2132 -2252 2680 2740 2120 2668 -2268 -2292 2616 2400 -2480 -2488 2152 -2632 2020 -2024 -2644 2460 2616 2164 -2640 2104 2180 -2064 -2628 -2108 2468 2168 -2524 2020 -2544 2240 2240 -2668 -2408 -2372 -2740 2600 -2392 -2104 -2240 2700 2600 -2740 2504 -2548 -2084 2096 -2272 -2220 -2660 -2736 -2392 -2308 -2740 -2700 -2324 -2516 2068 -2640 -2700 -2024 2040 -2708 -2532 2188 2580 -2600 -2172 2020 -2572 -2356 2272 -2740 -2468 -2700 -2264 2272 -2244 
1587.63	d NODES 73648
1587.63	d CHECKS 3300932148
1587.63	   
1587.63	   totalWckTime=1587.35  totalCpuTime=1584.09

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-200822-1168143749 -o ROOT/results/node50/solver-200822-1168143749 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200822-1168143749/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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

/proc/loadavg: 1.00 1.00 1.11 3/65 29286
/proc/meminfo: memFree=1517808/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=1784 CPUtime=0
/proc/29285/stat : 29285 (java) D 29283 29285 25072 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 162773499 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/29285/statm: 446 140 106 14 0 91 0

[startup+0.102968 s]
/proc/loadavg: 1.00 1.00 1.11 3/65 29286
/proc/meminfo: memFree=1517808/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=907676 CPUtime=0.03
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 2317 0 1 0 2 1 0 0 19 0 4 0 162773499 929460224 2064 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582939 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 226919 2064 1159 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676

[startup+0.511034 s]
/proc/loadavg: 1.00 1.00 1.11 3/65 29286
/proc/meminfo: memFree=1517808/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915328 CPUtime=0.44
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 6769 0 1 0 40 4 0 0 16 0 8 0 162773499 937295872 6508 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29285/statm: 228832 6510 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328

[startup+1.33437 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 29293
/proc/meminfo: memFree=1437368/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915648 CPUtime=1.27
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 24468 0 1 0 114 13 0 0 16 0 8 0 162773499 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782226 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29285/statm: 228912 24205 2160 14 0 215382 0
[pid=29285/tid=29287] ppid=29283 vsize=915648 CPUtime=0.09
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 7925 0 0 0 7 2 0 0 16 0 8 0 162773508 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915648 CPUtime=0.14
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 410 0 0 0 14 0 0 0 15 0 8 0 162773512 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937623552 24205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915648

[startup+2.97168 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 29293
/proc/meminfo: memFree=1422584/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915648 CPUtime=2.9
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 26187 0 1 0 276 14 0 0 17 0 8 0 162773499 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830962 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29285/statm: 228912 25921 2180 14 0 215382 0
[pid=29285/tid=29287] ppid=29283 vsize=915648 CPUtime=0.2
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 9568 0 0 0 17 3 0 0 17 0 8 0 162773508 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915648 CPUtime=0.16
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 422 0 0 0 15 1 0 0 16 0 8 0 162773512 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937623552 25921 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915648

[startup+6.26619 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 29293
/proc/meminfo: memFree=1422136/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915648 CPUtime=6.18
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 26203 0 1 0 604 14 0 0 17 0 8 0 162773499 937623552 25936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228912 25936 2181 14 0 215382 0
[pid=29285/tid=29287] ppid=29283 vsize=915648 CPUtime=0.2
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 9568 0 0 0 17 3 0 0 16 0 8 0 162773508 937623552 25936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 25936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 25936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937623552 25936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915648 CPUtime=0.18
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 436 0 0 0 17 1 0 0 15 0 8 0 162773512 937623552 25936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937623552 25936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937623552 25936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915648

[startup+12.7373 s]
/proc/loadavg: 1.00 1.00 1.11 2/72 29293
/proc/meminfo: memFree=1422208/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915648 CPUtime=12.65
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 26206 0 1 0 1250 15 0 0 25 0 8 0 162773499 937623552 25939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839159 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228912 25939 2181 14 0 215382 0
[pid=29285/tid=29287] ppid=29283 vsize=915648 CPUtime=0.2
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 9568 0 0 0 17 3 0 0 16 0 8 0 162773508 937623552 25939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 25939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 25939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937623552 25939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915648 CPUtime=0.18
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 439 0 0 0 17 1 0 0 16 0 8 0 162773512 937623552 25939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937623552 25939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937623552 25939 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915648

[startup+25.5784 s]
/proc/loadavg: 1.00 1.00 1.10 2/72 29293
/proc/meminfo: memFree=1411584/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915648 CPUtime=25.48
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 28917 0 1 0 2531 17 0 0 25 0 8 0 162773499 937623552 28647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228912 28647 2181 14 0 215382 0
[pid=29285/tid=29287] ppid=29283 vsize=915648 CPUtime=0.32
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 12275 0 0 0 28 4 0 0 16 0 8 0 162773508 937623552 28647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 28647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 28647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937623552 28647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915648 CPUtime=0.18
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 440 0 0 0 17 1 0 0 15 0 8 0 162773512 937623552 28647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937623552 28647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937623552 28647 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915648

[startup+51.2698 s]
/proc/loadavg: 1.06 1.02 1.10 2/72 29293
/proc/meminfo: memFree=1411584/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915648 CPUtime=51.15
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 28924 0 1 0 5095 20 0 0 25 0 8 0 162773499 937623552 28653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830928 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228912 28653 2181 14 0 215382 0
[pid=29285/tid=29287] ppid=29283 vsize=915648 CPUtime=0.32
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 12275 0 0 0 28 4 0 0 16 0 8 0 162773508 937623552 28653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 28653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 28653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937623552 28653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915648 CPUtime=0.19
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 446 0 0 0 18 1 0 0 16 0 8 0 162773512 937623552 28653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937623552 28653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937623552 28653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915648

[startup+102.545 s]
/proc/loadavg: 1.02 1.01 1.09 2/72 29293
/proc/meminfo: memFree=1380992/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915648 CPUtime=102.37
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 36625 0 1 0 10209 28 0 0 25 0 8 0 162773499 937623552 36350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831013 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228912 36350 2181 14 0 215382 0
[pid=29285/tid=29287] ppid=29283 vsize=915648 CPUtime=0.73
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 19964 0 0 0 67 6 0 0 16 0 8 0 162773508 937623552 36350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 36350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937623552 36350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937623552 36350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915648 CPUtime=0.21
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 454 0 0 0 20 1 0 0 16 0 8 0 162773512 937623552 36350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937623552 36350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915648 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937623552 36350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915648

[startup+162.648 s]
/proc/loadavg: 1.01 1.00 1.09 2/72 29293
/proc/meminfo: memFree=1354368/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915648 CPUtime=162.44
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 43285 0 1 0 16208 36 0 0 25 0 8 0 162773499 937623552 43008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915940 CPUtime=0.38
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 915940

[startup+1182.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29293
/proc/meminfo: memFree=1253248/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915940 CPUtime=1182.29
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 68851 0 1 0 118177 52 0 0 25 0 8 0 162773499 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228985 68502 2548 14 0 215455 0
[pid=29285/tid=29287] ppid=29283 vsize=915940 CPUtime=2.23
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 51550 0 0 0 205 18 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915940 CPUtime=0.38
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 915940

[startup+1242.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29293
/proc/meminfo: memFree=1253248/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915940 CPUtime=1242.28
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 68851 0 1 0 124176 52 0 0 25 0 8 0 162773499 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228985 68502 2548 14 0 215455 0
[pid=29285/tid=29287] ppid=29283 vsize=915940 CPUtime=2.23
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 51550 0 0 0 205 18 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915940 CPUtime=0.38
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 915940

[startup+1302.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29293
/proc/meminfo: memFree=1253312/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915940 CPUtime=1302.27
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 68851 0 1 0 130175 52 0 0 25 0 8 0 162773499 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074216139 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228985 68502 2548 14 0 215455 0
[pid=29285/tid=29287] ppid=29283 vsize=915940 CPUtime=2.23
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 51550 0 0 0 205 18 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915940 CPUtime=0.38
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 915940

[startup+1362.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/72 29293
/proc/meminfo: memFree=1253248/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915940 CPUtime=1362.27
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 68851 0 1 0 136174 53 0 0 25 0 8 0 162773499 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074326388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228985 68502 2548 14 0 215455 0
[pid=29285/tid=29287] ppid=29283 vsize=915940 CPUtime=2.23
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 51550 0 0 0 205 18 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915940 CPUtime=0.38
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 915940

[startup+1422.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29293
/proc/meminfo: memFree=1253248/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915940 CPUtime=1422.25
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 68851 0 1 0 142172 53 0 0 25 0 8 0 162773499 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074228282 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228985 68502 2548 14 0 215455 0
[pid=29285/tid=29287] ppid=29283 vsize=915940 CPUtime=2.23
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 51550 0 0 0 205 18 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915940 CPUtime=0.38
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 915940

[startup+1482.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29293
/proc/meminfo: memFree=1253248/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915940 CPUtime=1482.24
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 68851 0 1 0 148171 53 0 0 25 0 8 0 162773499 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835295 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228985 68502 2548 14 0 215455 0
[pid=29285/tid=29287] ppid=29283 vsize=915940 CPUtime=2.23
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 51550 0 0 0 205 18 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915940 CPUtime=0.38
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 915940

[startup+1542.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 29293
/proc/meminfo: memFree=1253312/2055920 swapFree=4191892/4192956
[pid=29285] ppid=29283 vsize=915940 CPUtime=1542.23
/proc/29285/stat : 29285 (java) R 29283 29285 25072 0 -1 0 68851 0 1 0 154170 53 0 0 25 0 8 0 162773499 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29285/statm: 228985 68502 2548 14 0 215455 0
[pid=29285/tid=29287] ppid=29283 vsize=915940 CPUtime=2.23
/proc/29285/task/29287/stat : 29287 (java) S 29283 29285 25072 0 -1 64 51550 0 0 0 205 18 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29288] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29288/stat : 29288 (java) S 29283 29285 25072 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29289] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29289/stat : 29289 (java) S 29283 29285 25072 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162773508 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29290] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29290/stat : 29290 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29291] ppid=29283 vsize=915940 CPUtime=0.38
/proc/29285/task/29291/stat : 29291 (java) S 29283 29285 25072 0 -1 64 610 0 0 0 36 2 0 0 16 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29292] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29292/stat : 29292 (java) S 29283 29285 25072 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29285/tid=29293] ppid=29283 vsize=915940 CPUtime=0
/proc/29285/task/29293/stat : 29293 (java) S 29283 29285 25072 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162773512 937922560 68502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 915940

Child status: 0
Real time (s): 1587.69
CPU time (s): 1586.97
CPU user time (s): 1586.39
CPU system time (s): 0.573912
CPU usage (%): 99.9545
Max. virtual memory (cumulated for all children) (KiB): 915940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1586.39
system time used= 0.573912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68862
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= 33778
involuntary context switches= 9832

runsolver used 1.39579 s user time and 4.23136 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sun Jan  7 04:22:29 UTC 2007


IDJOB= 200822
IDBENCH= 3729
FILE ID= node50/200822-1168143749

PBS_JOBID= 3478054

Free space on /tmp= 66556 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200822-1168143749/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-200822-1168143749 -o ROOT/results/node50/solver-200822-1168143749 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/200822-1168143749/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7da57cc6785d866f073effab049038df

RANDOM SEED= 707861955

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.263
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	: 5931.00
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.263
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:       1518224 kB
Buffers:         38956 kB
Cached:         426924 kB
SwapCached:        396 kB
Active:         221016 kB
Inactive:       260184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1518224 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            7272 kB
Writeback:           0 kB
Mapped:          24104 kB
Slab:            42492 kB
Committed_AS:  3678688 kB
PageTables:       1464 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= 66556 MiB



End job on node50 on Sun Jan  7 04:48:57 UTC 2007