Trace number 201183

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 ACSAT 488.298 492.361

DiagnosticValue
CHECKS711745693
NODES14372

General information on the benchmark

Namefapp/fapp11-15/fapp12/
fapp12-1500-9.xml
MD5SUMe607438c7b2869fc3dff7cfb5d7cfcb3
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 benchmark25.3261
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables1500
Number of constraints25409
Maximum constraint arity2
Maximum domain size310
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25409
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.42	   
0.42	   instance
0.42	     name=/tmp/evaluation/201183-1168072267/unknown.xml
0.45	   
0.45	   domains being loaded...
0.49	   
0.49	   variables being loaded...
0.73	     nbVariables=1500  nbDomainTypes=13  minDomainSize=42  maxDomainSize=310
0.73	       =>  wckTime=0.415  cpuTime=0.23  mem=22M513
0.73	   
0.73	   predicates being loaded...
0.73	   
0.73	   constraints being loaded...
4.71	   
4.71	   INFO : Stopping converting binary constraints (cpu=4.07, mem = 44M483)
7.82	     nbConstraints=13439  nbMergedConstraints=11970  nbConvertedConstraints=60  nbConvertConstraintsChecks=4887460
7.82	     nbExtensionStructures=53  nbSharedExtensionStructures=7  nbConflictsStructures=53  nbSharedConflictsStructures=7
7.82	     nbSharedBinaryRepresentations=18186  nbEvaluationManagers=8896  nbSharedEvaluationManagers=4483  maxDegree=22
7.83	     maxArity=2
7.83	       =>  wckTime=7.512  cpuTime=6.74  mem=53M830
8.01	   
8.01	   solver IterativeSystematicSolver being built... 
8.52	       =>  wckTime=8.207  cpuTime=7.08  mem=84M89
50.98	   
50.98	   preprocessing
50.98	     nbConstraintChecks=79013161  nbValidityChecks=2000934  nbPropagations=1774  nbRevisions=36349
50.98	     nbUselessRevisions=33955  nbRemovedValues=144636  detectedInconsistency=no
50.98	       =>  wckTime=42.442  cpuTime=42.21  mem=84M89
77.35	   
77.35	   search
77.35	     run=0  nbConstraintChecks=42470696  nbValidityChecks=30457463  nbPropagations=16439  nbRevisions=276687
77.35	     nbUselessRevisions=252723  nbAssignments=327  nbFailedAssignments=35  nbBacktracks=10  nbVisitedNodes=369
77.35	     nbRestartNogoods=0  mapSize=6  nbInferences=0  nbTooLargeKeys=199
77.35	       =>  wckTime=68.817  cpuTime=68.45  mem=89M856
85.14	   
85.15	   search
85.15	     run=1  nbConstraintChecks=54325753  nbValidityChecks=58756065  nbPropagations=46462  nbRevisions=773071
85.15	     nbUselessRevisions=709722  nbAssignments=632  nbFailedAssignments=43  nbBacktracks=25  nbVisitedNodes=692
85.15	     nbRestartNogoods=32  mapSize=17  nbInferences=0  nbTooLargeKeys=398
85.15	       =>  wckTime=76.612  cpuTime=76.2  mem=94M675
93.34	   
93.34	   search
93.34	     run=2  nbConstraintChecks=66684518  nbValidityChecks=88454078  nbPropagations=91102  nbRevisions=1508259
93.34	     nbUselessRevisions=1387619  nbAssignments=977  nbFailedAssignments=85  nbBacktracks=49  nbVisitedNodes=1096
93.34	     nbRestartNogoods=34  mapSize=37  nbInferences=0  nbTooLargeKeys=597
93.34	       =>  wckTime=84.811  cpuTime=84.36  mem=99M748
111.40	   
111.40	   search
111.40	     run=3  nbConstraintChecks=95104374  nbValidityChecks=119005515  nbPropagations=154694  nbRevisions=2532816
111.40	     nbUselessRevisions=2333511  nbAssignments=1585  nbFailedAssignments=121  nbBacktracks=84  nbVisitedNodes=1758
111.40	     nbRestartNogoods=35  mapSize=65  nbInferences=0  nbTooLargeKeys=809
111.40	       =>  wckTime=102.868  cpuTime=102.32  mem=116M34
118.92	   
118.92	   INFO : Stopping hyperNogood (mapSize=76, nbTooLargekeys=1021, mem=125M358)
119.25	   
119.25	   search
119.25	     run=4  nbConstraintChecks=107648776  nbValidityChecks=148869240  nbPropagations=235754  nbRevisions=3829175
119.25	     nbUselessRevisions=3531082  nbAssignments=2064  nbFailedAssignments=142  nbBacktracks=145  nbVisitedNodes=2278
119.26	     nbRestartNogoods=49
119.26	       =>  wckTime=110.721  cpuTime=110.14  mem=125M358
128.12	   
128.12	   search
128.12	     run=5  nbConstraintChecks=121226162  nbValidityChecks=179998471  nbPropagations=335749  nbRevisions=5429304
128.12	     nbUselessRevisions=5006221  nbAssignments=2544  nbFailedAssignments=183  nbBacktracks=221  nbVisitedNodes=2826
128.12	     nbRestartNogoods=50
128.12	       =>  wckTime=119.586  cpuTime=118.9  mem=125M358
143.56	   
143.56	   search
143.56	     run=6  nbConstraintChecks=145188317  nbValidityChecks=212598595  nbPropagations=454416  nbRevisions=7342582
143.56	     nbUselessRevisions=6766127  nbAssignments=3089  nbFailedAssignments=287  nbBacktracks=348  nbVisitedNodes=3509
143.56	     nbRestartNogoods=53
143.56	       =>  wckTime=135.031  cpuTime=134.22  mem=125M570
254.57	   
254.57	   search
254.57	     run=7  nbConstraintChecks=311415274  nbValidityChecks=352974832  nbPropagations=635116  nbRevisions=10453239
254.57	     nbUselessRevisions=9443343  nbAssignments=4840  nbFailedAssignments=1770  nbBacktracks=519  nbVisitedNodes=6816
254.57	     nbRestartNogoods=72
254.57	       =>  wckTime=246.04  cpuTime=244.19  mem=125M570
286.25	   
286.25	   search
286.25	     run=8  nbConstraintChecks=358404686  nbValidityChecks=412687256  nbPropagations=857028  nbRevisions=14302805
286.25	     nbUselessRevisions=12774168  nbAssignments=5374  nbFailedAssignments=1866  nbBacktracks=778  nbVisitedNodes=7551
286.25	     nbRestartNogoods=89
286.26	       =>  wckTime=277.722  cpuTime=275.6  mem=125M570
328.80	   
328.80	   search
328.80	     run=9  nbConstraintChecks=413117455  nbValidityChecks=535426050  nbPropagations=1175721  nbRevisions=19912280
328.80	     nbUselessRevisions=17642428  nbAssignments=6247  nbFailedAssignments=2178  nbBacktracks=1163  nbVisitedNodes=8945
328.80	     nbRestartNogoods=104
328.80	       =>  wckTime=320.27  cpuTime=317.75  mem=125M570
417.20	   
417.20	   search
417.20	     run=10  nbConstraintChecks=533846220  nbValidityChecks=702156046  nbPropagations=1611749  nbRevisions=27745557
417.20	     nbUselessRevisions=24357963  nbAssignments=9637  nbFailedAssignments=4653  nbBacktracks=1740  nbVisitedNodes=15028
417.20	     nbRestartNogoods=110
417.20	       =>  wckTime=408.667  cpuTime=405.34  mem=125M570
463.59	   
463.59	   search
463.59	     run=11  nbConstraintChecks=592967085  nbValidityChecks=796731896  nbPropagations=2164059  nbRevisions=37615668
463.59	     nbUselessRevisions=32828143  nbAssignments=11874  nbFailedAssignments=5741  nbBacktracks=2604  nbVisitedNodes=18656
463.59	     nbRestartNogoods=127
463.59	       =>  wckTime=455.06  cpuTime=451.31  mem=125M570
492.24	   
492.24	   search
492.24	     run=12  nbConstraintChecks=632732532  nbValidityChecks=856733906  nbPropagations=2769553  nbRevisions=48329009
492.24	     nbUselessRevisions=42034790  nbAssignments=14372  nbFailedAssignments=6361  nbBacktracks=2982  nbVisitedNodes=21951
492.24	     nbRestartNogoods=172
492.24	       =>  wckTime=483.708  cpuTime=479.69  mem=125M570
492.24	   
492.24	   global
492.24	     nbConstraintChecks=711745693  nbValidityChecks=858734840  nbPropagations=2771327  nbRevisions=48365358
492.24	     nbUselessRevisions=42068745  nbRestartNogoods=172  solvingWckTime=483.709  solvingCpuTime=479.69  expiredTime=no
492.24	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=486.85
492.24	       =>  wckTime=491.93  cpuTime=486.8  mem=125M570
492.30	   
492.30	s SATISFIABLE
492.30	v 2268 2588 -2736 2624 2468 2540 -2408 -2732 -2308 2324 2212 -2160 2672 -2244 -2616 2664 -2696 2292 -2696 2192 -2220 2712 -2184 -2256 -2568 2412 2652 2336 -2500 -2436 -2528 -2424 -2292 -2492 -2728 -2708 2180 -2308 2188 -2680 -2736 -2692 -2292 -2432 -2168 2404 2128 -2672 2308 -2468 -2488 -2428 2684 -2452 -2732 2192 -2168 -2696 2532 -2416 -2636 2444 -2416 -2480 -2696 -2292 2592 -2260 -2176 -2168 -2684 -2636 -2696 2572 -2132 2736 -2564 -2732 -2416 2120 -2160 2364 2220 2696 -2460 -2136 -2604 -2408 -2176 2648 -2624 -2608 -2160 -2680 2680 -2472 -2708 -2304 2236 2160 -2568 2120 -2148 -2700 -2484 -2332 2696 2404 2268 2628 2220 2172 -2580 2456 2260 2644 2696 2384 -2520 -2344 -2428 2640 2668 -2192 -2476 2684 -2688 2660 -2588 2532 2284 -2144 -2452 2416 -2136 -2196 2524 -2576 2424 -2320 2452 2632 -2344 -2216 2240 -2624 -2736 -2668 2460 -2396 2316 -2232 -2136 -2192 -2708 -2136 2132 2364 -2664 -2520 -2376 -2696 -2200 -2136 2216 -2572 2716 -2696 -2504 -2164 -2604 2520 -2232 -2496 2484 -2588 2604 -2524 -2660 -2208 -2156 2512 2192 -2312 -2596 -2276 2544 2612 2148 2156 2300 2152 2612 -2196 2696 2512 -2648 2212 2684 -2128 2568 -2252 -2688 -2664 -2476 -2212 -2600 2140 2380 2476 2276 -2724 -2544 2668 2376 -2572 -2180 2680 2508 -2308 2588 2192 2324 2604 -2380 2232 -2444 2736 2240 2696 -2416 2456 -2368 -2136 2144 -2224 -2624 -2232 -2160 -2300 -2348 2700 -2164 2572 2368 2508 -2236 -2332 -2736 2560 2448 -2696 -2124 -2444 2736 -2120 2488 -2600 2352 2356 -2184 2304 -2120 -2356 2184 2232 -2144 -2288 2304 -2696 -2324 -2232 2392 -2488 -2312 2164 -2620 2492 2120 2336 -2376 2304 -2384 -2692 2440 2160 2180 -2640 2188 2640 -2360 -2276 -2416 -2228 -2628 2500 2624 2456 -2504 -2660 -2580 -2580 -2228 2672 2612 -2664 2696 2568 -2240 -2636 -2292 2208 -2528 -2320 2160 -2516 -2416 2628 -2676 -2280 -2628 2520 -2656 -2196 2280 -2412 2664 2596 2196 -2696 -2160 2336 -2252 2168 2736 2272 2444 -2340 2168 2656 -2660 -2208 2464 -2360 -2324 -2620 -2232 -2624 -2692 2696 2624 -2436 -2696 -2492 2236 2120 -2304 -2492 -2640 -2152 -2676 2724 -2176 -2476 -2544 -2200 -2704 2352 2120 2212 -2168 -2276 -2220 2264 2696 -2696 -2564 -2404 -2644 2544 -2176 -2736 2640 -2720 -2364 2120 2516 -2472 -2256 2396 -2212 2352 -2168 2220 -2192 -2324 2380 -2320 -2328 -2228 -2188 -2472 -2324 2168 -2484 2172 -2520 2736 -2504 -2584 2292 -2512 2736 -2232 -2620 2196 2332 -2628 -2232 -2596 -2624 2524 -2512 -2504 2192 2408 2564 2672 2736 -2168 -2644 -2600 -2704 2668 -2600 -2568 -2396 -2376 -2172 -2736 2480 -2728 2348 -2144 -2160 -2160 2596 2492 -2680 -2736 2216 2448 -2484 -2648 2696 -2464 -2672 2260 2320 -2528 2608 -2560 2312 -2200 2528 2412 2424 -2564 -2636 -2504 2640 -2420 -2316 -2736 -2264 2464 -2300 2276 2304 2556 -2528 2276 2148 -2176 2364 -2348 -2412 -2680 -2252 -2360 2516 2736 2400 2124 2160 -2668 -2344 -2128 2604 -2736 -2236 2284 -2384 -2168 -2292 -2672 -2696 -2372 2480 2696 -2384 -2676 2564 -2684 2664 2196 -2360 -2676 -2356 2236 -2344 -2668 2216 -2644 -2696 -2368 2496 -2596 -2684 2532 -2696 2284 -2180 2600 -2256 -2640 2356 2648 2660 2136 -2352 -2436 2284 -2164 2736 -2440 2120 2160 -2696 -2696 2272 -2736 2700 2492 -2180 -2596 -2392 2528 2404 2160 2344 -2696 -2528 -2140 -2124 -2688 -2288 -2272 2316 2680 -2120 2168 -2120 -2696 -2192 -2736 -2228 2500 -2224 -2220 -2292 2192 -2548 2544 2664 -2688 -2160 2208 -2664 -2696 -2580 2488 2736 -2272 2688 -2264 2736 2364 -2128 2320 -2164 -2352 2520 2188 2544 -2172 2168 2584 2392 2656 2668 -2204 -2736 2456 2472 -2316 -2692 -2352 2440 -2160 -2392 2704 -2276 2612 -2600 -2216 -2736 -2344 -2316 2292 -2280 -2292 2596 -2608 -2724 -2412 -2324 2688 2120 2388 2152 -2664 -2324 -2436 -2624 -2524 -2332 -2244 -2544 -2472 2500 -2592 -2600 2316 -2604 2380 2624 -2712 2496 -2156 -2272 -2332 2196 2736 -2644 -2492 2564 -2260 2660 -2528 -2540 -2520 -2460 2152 2580 2124 -2584 2468 -2320 2364 2532 -2224 2600 2656 -2476 -2428 2604 -2180 -2664 2348 -2520 2248 -2132 -2692 2324 2392 2484 2620 -2616 -2436 -2572 -2176 -2228 2240 -2536 -2568 2632 -2608 2584 -2596 -2568 2408 2580 -2612 2344 -2120 2284 2708 -2712 -2364 -2184 -2192 -2280 -2196 -2356 -2188 -2684 -2736 -2256 -2232 2532 -2176 -2280 -2456 2232 -2488 -2384 -2320 2532 -2584 -2696 2160 -2272 2140 -2332 -2736 -2292 -2508 -2244 -2308 2652 -2736 -2528 -2160 2140 2652 -2404 2288 2332 -2696 -2552 -2624 -2240 2396 2576 2256 -2232 -2396 2336 -2492 2120 -2144 -2532 -2172 -2696 -2692 2672 -2688 -2584 2208 2444 2176 2644 2688 2344 2200 2596 2260 -2168 -2640 2436 -2556 2464 2164 2636 2120 2332 2128 2220 2700 -2320 -2332 -2320 2276 -2156 2436 2316 -2296 2300 -2668 -2388 -2200 -2240 -2516 -2224 -2472 2212 2152 -2136 2404 -2680 2216 -2192 -2168 -2148 2688 -2300 -2188 -2360 2556 -2200 -2196 2120 2340 -2488 -2708 -2508 2376 -2608 2668 2596 -2616 -2392 2152 -2500 2168 -2508 -2328 -2568 -2624 2544 2152 -2736 2528 2712 -2272 2160 -2476 2504 -2160 -2120 -2724 -2304 2428 -2120 2420 -2524 -2656 -2376 2344 -2464 -2268 -2668 -2244 -2136 2248 2388 2488 -2124 -2736 -2556 -2160 2164 2636 -2736 2288 2652 2712 2300 2204 -2192 -2252 2580 -2120 -2264 2184 -2668 -2556 2160 2432 -2732 -2472 2368 2356 2540 2488 -2284 2184 -2304 -2196 -2556 2260 -2664 2324 -2256 2172 -2692 -2352 -2456 2248 2236 -2720 2492 -2184 -2228 -2120 2680 -2380 2648 2532 -2640 -2588 -2240 -2280 -2588 -2708 2204 2120 -2160 2128 2408 2696 2596 -2720 2624 2696 2252 2724 -2392 2420 -2512 2512 2660 -2160 2648 2548 -2184 2568 -2300 -2432 2120 2712 2308 2484 2584 2540 -2432 -2560 -2180 2236 -2336 2120 -2432 -2216 2696 -2736 -2664 -2524 -2560 -2324 -2252 -2628 -2736 -2176 -2588 -2560 -2548 -2120 -2268 -2384 -2128 -2560 -2164 2296 -2208 -2728 2168 -2612 -2384 -2480 2408 -2604 2180 -2696 2588 -2592 -2376 2264 -2664 2620 -2160 2644 -2364 2396 2512 -2228 2356 -2648 2608 2120 2556 2356 2208 2460 -2656 -2120 -2700 -2700 -2708 2316 -2580 2720 -2244 2624 -2372 -2696 2244 2624 2672 2700 -2120 2192 2372 -2692 -2400 -2736 -2340 -2432 2416 2168 2168 -2396 2504 -2736 2252 2724 2448 -2252 2728 -2416 2276 -2736 -2628 2608 -2188 -2696 2516 -2188 2344 -2164 -2584 2528 2160 2160 -2656 -2172 2560 2516 -2292 2400 2372 2520 2436 2176 -2120 2600 -2292 2600 -2328 -2468 2448 2408 -2684 -2504 2160 2152 -2616 -2404 2120 -2184 -2248 -2716 2348 2628 -2736 2120 -2488 -2160 -2736 -2732 2684 -2236 -2236 2128 -2376 2420 2464 -2368 -2544 2584 2540 2476 2548 -2368 -2212 -2708 -2560 2344 -2184 2596 -2268 -2416 -2644 -2276 -2184 -2252 -2568 2720 2648 2584 -2132 -2140 -2696 -2728 2656 2492 -2696 -2384 -2172 2256 -2508 2160 -2624 2668 -2672 -2392 -2124 2244 2680 -2540 -2572 2288 -2192 -2696 -2316 2400 -2728 -2704 2532 -2700 -2168 2548 -2696 -2136 -2332 -2120 -2696 -2412 2164 2664 2424 -2208 -2344 2160 2680 2532 -2516 2280 2692 -2176 -2248 -2448 -2408 2252 2120 -2192 -2180 -2732 -2224 -2636 -2400 -2392 -2456 -2588 2524 2688 2248 2352 -2504 -2164 -2348 -2492 -2676 2172 2160 2444 -2596 2384 2260 2200 2476 2156 2160 -2536 -2552 2628 2668 -2216 2284 -2216 2660 -2576 -2432 -2736 -2516 -2548 -2236 -2692 2576 2248 2160 2444 2628 2604 -2424 -2556 -2572 2488 -2660 -2164 -2620 -2708 2556 -2260 -2716 2284 -2736 -2236 -2384 2600 2160 -2356 2208 2204 -2704 2284 -2256 -2208 -2636 -2372 -2160 2396 -2652 -2720 -2664 2128 2736 -2204 -2276 2244 2244 -2308 -2164 2688 -2336 -2132 2636 2224 2212 -2656 2236 2160 -2624 -2708 -2228 -2188 -2696 2460 -2720 -2160 2580 2304 -2268 2684 -2544 -2196 -2544 2664 -2708 2368 -2124 2408 -2268 2452 2416 2612 -2668 -2284 2476 -2276 -2636 2556 -2712 2408 2152 -2532 -2484 2588 2228 -2548 -2548 2696 -2200 2560 -2148 2136 2296 -2588 -2676 -2368 -2328 2452 -2236 2280 2404 2156 -2448 2192 2696 -2232 2392 2580 2592 2384 -2472 2708 -2384 -2376 2440 -2652 -2284 -2476 -2160 2200 -2264 -2460 2676 -2736 2668 2196 -2608 -2344 -2264 2284 2532 -2712 -2696 -2632 -2688 -2536 -2180 2320 -2340 -2392 -2120 -2736 2184 -2564 -2568 2120 -2640 2680 2360 2276 2360 -2356 2588 2388 -2560 2668 -2272 -2676 -2204 2140 2304 2224 2584 -2128 2380 2420 -2632 -2472 2696 2640 -2436 -2548 2376 2540 2384 2528 2396 2736 -2584 -2176 2624 2556 -2128 2528 2556 -2696 -2168 2120 -2236 -2564 -2304 -2208 2212 2660 -2624 -2276 -2424 -2340 -2684 2564 -2560 2432 2148 -2364 2732 -2736 2208 2488 -2664 2376 -2652 2500 2160 -2680 -2528 -2472 2696 2232 2712 2448 2160 -2188 -2480 -2416 -2140 2308 -2504 -2160 2648 -2384 2120 2212 -2204 -2204 -2720 -2440 2356 2416 -2144 2448 -2160 -2592 2432 -2344 2604 2472 -2724 2156 -2344 2200 -2616 -2124 2268 -2144 2264 -2236 
492.30	d NODES 14372
492.30	d CHECKS 711745693
492.30	   
492.30	   totalWckTime=492.068  totalCpuTime=486.85

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/node72/watcher-201183-1168072267 -o ROOT/results/node72/solver-201183-1168072267 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201183-1168072267/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: 0.98 0.99 0.99 4/93 32014
/proc/meminfo: memFree=1323368/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=906644 CPUtime=0.02
/proc/32013/stat : 32013 (java) S 32011 32013 31814 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 155635713 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 226661 1818 1036 14 0 214244 0
[pid=32013/tid=32015] ppid=32011 vsize=906644 CPUtime=0
/proc/32013/task/32015/stat : 32015 (java) R 32011 32013 31814 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 155635717 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103836 s]
/proc/loadavg: 0.98 0.99 0.99 4/93 32014
/proc/meminfo: memFree=1323368/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=914988 CPUtime=0.08
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 2995 0 1 0 7 1 0 0 20 0 8 0 155635713 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228747 2741 1427 14 0 215242 0
[pid=32013/tid=32015] ppid=32011 vsize=914988 CPUtime=0
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155635717 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515876 s]
/proc/loadavg: 0.98 0.99 0.99 4/93 32014
/proc/meminfo: memFree=1323368/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915328 CPUtime=0.42
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 6067 0 1 0 38 4 0 0 18 0 8 0 155635713 937295872 5806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228832 5806 2138 14 0 215302 0
[pid=32013/tid=32015] ppid=32011 vsize=915328 CPUtime=0
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 155635717 937295872 5806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328

[startup+1.33795 s]
/proc/loadavg: 0.98 0.99 0.99 3/100 32021
/proc/meminfo: memFree=1252016/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=1.23
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 21341 0 1 0 112 11 0 0 24 0 8 0 155635713 937623552 21078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 21078 2160 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.05
/proc/32013/task/32015/stat : 32015 (java) R 32011 32013 31814 0 -1 64 4798 0 0 0 4 1 0 0 16 0 8 0 155635717 937623552 21078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 21078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 21078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 21078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.18
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 409 0 0 0 17 1 0 0 15 0 8 0 155635721 937623552 21078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 21078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 21078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915648

[startup+2.97509 s]
/proc/loadavg: 1.06 1.00 1.00 3/100 32021
/proc/meminfo: memFree=1243568/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=2.86
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 22254 0 1 0 274 12 0 0 25 0 8 0 155635713 937623552 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 21989 2180 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.11
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 5635 0 0 0 10 1 0 0 16 0 8 0 155635717 937623552 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.2
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 422 0 0 0 19 1 0 0 15 0 8 0 155635721 937623552 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915648

[startup+6.26941 s]
/proc/loadavg: 1.06 1.00 1.00 3/100 32021
/proc/meminfo: memFree=1231088/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=6.14
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 26122 0 1 0 600 14 0 0 25 0 8 0 155635713 937623552 25854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153626785 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 25854 2182 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.28
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 9473 0 0 0 25 3 0 0 16 0 8 0 155635717 937623552 25854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 25854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 25854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 25854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.24
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 448 0 0 0 23 1 0 0 15 0 8 0 155635721 937623552 25854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 25854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 25854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915648

[startup+12.755 s]
/proc/loadavg: 1.21 1.04 1.01 3/100 32021
/proc/meminfo: memFree=1184304/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=12.59
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37424 0 1 0 1240 19 0 0 25 0 8 0 155635713 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37146 2533 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20295 0 0 0 65 6 0 0 17 0 8 0 155635717 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.34
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 509 0 0 0 32 2 0 0 15 0 8 0 155635721 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915648

[startup+25.6211 s]
/proc/loadavg: 1.33 1.07 1.02 3/100 32021
/proc/meminfo: memFree=1184240/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=25.4
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37425 0 1 0 2521 19 0 0 25 0 8 0 155635713 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074139145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37146 2533 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20295 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.34
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 509 0 0 0 32 2 0 0 15 0 8 0 155635721 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915648

[startup+51.2335 s]
/proc/loadavg: 1.56 1.14 1.04 3/100 32021
/proc/meminfo: memFree=1184304/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=50.9
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37433 0 1 0 5070 20 0 0 25 0 8 0 155635713 937623552 37152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37152 2534 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20295 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.35
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 513 0 0 0 33 2 0 0 16 0 8 0 155635721 937623552 37152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37152 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915648

[startup+102.488 s]
/proc/loadavg: 1.82 1.28 1.10 4/100 32021
/proc/meminfo: memFree=1184240/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=101.91
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37466 0 1 0 10170 21 0 0 25 0 8 0 155635713 937623552 37175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074139225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37175 2538 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20296 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.38
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 533 0 0 0 36 2 0 0 16 0 8 0 155635721 937623552 37175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37175 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915648

[startup+162.59 s]
/proc/loadavg: 1.93 1.41 1.15 3/100 32077
/proc/meminfo: memFree=1184816/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=161.54
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37477 0 1 0 16130 24 0 0 25 0 8 0 155635713 937623552 37182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831574 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37182 2538 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20296 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.4
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 543 0 0 0 38 2 0 0 16 0 8 0 155635721 937623552 37182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37182 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.54
Current children cumulated vsize (KiB) 915648

[startup+222.596 s]
/proc/loadavg: 2.09 1.56 1.22 3/100 32077
/proc/meminfo: memFree=1171568/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=221
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37482 0 1 0 22076 24 0 0 25 0 8 0 155635713 937623552 37185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074144224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37185 2538 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20296 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.4
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 548 0 0 0 38 2 0 0 16 0 8 0 155635721 937623552 37185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221
Current children cumulated vsize (KiB) 915648

[startup+282.6 s]
/proc/loadavg: 2.03 1.64 1.26 3/100 32077
/proc/meminfo: memFree=1147696/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=280.46
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37484 0 1 0 28021 25 0 0 25 0 8 0 155635713 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074139204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37186 2538 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20296 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.41
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 550 0 0 0 39 2 0 0 16 0 8 0 155635721 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.46
Current children cumulated vsize (KiB) 915648

[startup+342.627 s]
/proc/loadavg: 2.01 1.70 1.30 3/100 32077
/proc/meminfo: memFree=1147632/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=339.93
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37485 0 1 0 33968 25 0 0 25 0 8 0 155635713 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074143096 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37186 2538 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20296 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.41
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 550 0 0 0 39 2 0 0 16 0 8 0 155635721 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.93
Current children cumulated vsize (KiB) 915648

[startup+402.658 s]
/proc/loadavg: 2.00 1.75 1.35 4/100 32077
/proc/meminfo: memFree=1147632/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=399.43
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37487 0 1 0 39917 26 0 0 25 0 8 0 155635713 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836993 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37188 2538 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20296 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.41
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 552 0 0 0 39 2 0 0 16 0 8 0 155635721 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.43
Current children cumulated vsize (KiB) 915648

[startup+462.669 s]
/proc/loadavg: 2.00 1.79 1.38 3/100 32077
/proc/meminfo: memFree=1147632/2055920 swapFree=4192812/4192956
[pid=32013] ppid=32011 vsize=915648 CPUtime=458.89
/proc/32013/stat : 32013 (java) R 32011 32013 31814 0 -1 0 37487 0 1 0 45862 27 0 0 25 0 8 0 155635713 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32013/statm: 228912 37188 2538 14 0 215382 0
[pid=32013/tid=32015] ppid=32011 vsize=915648 CPUtime=0.71
/proc/32013/task/32015/stat : 32015 (java) S 32011 32013 31814 0 -1 64 20296 0 0 0 65 6 0 0 16 0 8 0 155635717 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32016] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32016/stat : 32016 (java) S 32011 32013 31814 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32017] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32017/stat : 32017 (java) S 32011 32013 31814 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155635717 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32018] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32018/stat : 32018 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155635721 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32019] ppid=32011 vsize=915648 CPUtime=0.41
/proc/32013/task/32019/stat : 32019 (java) S 32011 32013 31814 0 -1 64 552 0 0 0 39 2 0 0 16 0 8 0 155635721 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32020] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32020/stat : 32020 (java) S 32011 32013 31814 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155635721 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32013/tid=32021] ppid=32011 vsize=915648 CPUtime=0
/proc/32013/task/32021/stat : 32021 (java) S 32011 32013 31814 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155635721 937623552 37188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.89
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 492.361
CPU time (s): 488.298
CPU user time (s): 487.97
CPU system time (s): 0.32795
CPU usage (%): 99.1748
Max. virtual memory (cumulated for all children) (KiB): 915648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 487.97
system time used= 0.32795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42717
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= 11870
involuntary context switches= 22642

runsolver used 0.616906 s user time and 1.56576 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan  6 08:31:09 UTC 2007


IDJOB= 201183
IDBENCH= 3748
FILE ID= node72/201183-1168072267

PBS_JOBID= 3475972

Free space on /tmp= 66542 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201183-1168072267/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-201183-1168072267 -o ROOT/results/node72/solver-201183-1168072267 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201183-1168072267/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e607438c7b2869fc3dff7cfb5d7cfcb3

RANDOM SEED= 494424272

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.223
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.223
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:       1323848 kB
Buffers:         40084 kB
Cached:         433740 kB
SwapCached:          0 kB
Active:         272400 kB
Inactive:       386956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1323848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           11460 kB
Writeback:           0 kB
Mapped:         214536 kB
Slab:            57212 kB
Committed_AS:  3371704 kB
PageTables:       2584 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= 66543 MiB



End job on node72 on Sat Jan  6 08:39:21 UTC 2007