Trace number 2097755

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 112v4 ACSAT 62.8804 63.7583

DiagnosticValue
CHECKS79424800
NODES3006

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-10.xml
MD5SUM8ae74589310914004d3bf891f899393f
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 benchmark62.8804
Satisfiable
(Un)Satisfiability was proved
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Solver Data 

0.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.18/0.24	
0.18/0.24	   configuration
0.18/0.24	     name=mac.xml
0.28/0.32	   
0.28/0.32	   instance
0.28/0.32	     name=HOME/instance-2097755-1247413968.xml
0.28/0.36	   
0.28/0.36	   domains being loaded...
0.38/0.40	   
0.38/0.40	   variables being loaded...
0.68/0.77	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182  nbTotalValues=515606
0.68/0.77	       =>  wckTime=0.525  cpuTime=0.38  mem=29M383
0.68/0.77	   
0.68/0.77	   predicates being loaded...
0.78/0.83	   
0.78/0.83	   constraints being loaded...
20.83/21.14	   
20.83/21.14	   INFO : Stopping converting binary constraints (cpu=20.06, mem = 65M681)
29.58/30.05	     nbConstraints=17755  nbGlobalConstraints=1  nbMergedConstraints=15267  nbConvertedConstraints=1423
29.58/30.05	     nbConvertConstraintsChecks=40743408  nbExtensionStructures=1263  nbSharedExtensionStructures=719
29.58/30.05	     nbConflictsStructures=2048  nbSharedConflictsStructures=803  nbUnbuiltConflictsStructures=6865
29.58/30.05	     nbSharedBinaryRepresentations=342122  nbEvaluationManagers=7650  nbSharedEvaluationManagers=8681  minDegree=2
29.58/30.05	     maxDegree=16  minArity=2  avgArity=2  maxArity=5  nbGenerators=0  nbFusions=0  symmetryWckTime=1.713
29.58/30.05	     symmetryCpuTime=1.33  nbCliques=1
29.58/30.05	       =>  wckTime=29.809  cpuTime=27.93  mem=67M194
30.07/30.52	   
30.07/30.52	   solver IterativeSystematicSolver being built... 
30.37/30.84	   
30.37/30.84	   INFO : Forward propagation technique limited 
30.57/31.08	       =>  wckTime=30.834  cpuTime=28.33  mem=129M66
45.60/46.27	   
45.60/46.27	   preprocessing
45.60/46.27	     nbConstraintChecks=42210044  nbValidityChecks=578086  nbPropagations=3135  nbRevisions=33088
45.60/46.27	     nbUselessRevisions=32046  nbRemovedValues=36691  detectedInconsistency=no
45.60/46.27	       =>  wckTime=15.175  cpuTime=14.98  mem=129M66
62.76/63.67	   
62.76/63.67	   search
62.76/63.67	     run=0  nbConstraintChecks=37214726  nbValidityChecks=26056365  minDepth=896  maxDepth=3000  nbPropagations=40029
62.76/63.67	     nbRevisions=318343  nbUselessRevisions=282878  nbAssignments=3006  nbFailedAssignments=6  nbBacktracks=0
62.76/63.67	     nbVisitedNodes=3013  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
62.76/63.67	     nbDEliminables=?  nbPEliminables=?
62.76/63.67	       =>  wckTime=32.576  cpuTime=32.08  mem=132M103
62.76/63.67	   
62.76/63.67	   global
62.76/63.67	     nbConstraintChecks=79424770  nbValidityChecks=26634451  nbPropagations=43164  nbRevisions=351431
62.76/63.67	     nbUselessRevisions=314924  nbRestartNogoods=0  solvingWckTime=32.578  solvingCpuTime=32.08  expiredTime=no
62.76/63.67	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=60.3  globalCpuTime=60.48
62.76/63.67	       =>  wckTime=63.427  cpuTime=60.43  mem=132M103
62.76/63.68	   
62.76/63.68	s SATISFIABLE
62.76/63.68	v 2568 2500 -2488 -2328 2472 2600 -2336 2508 2468 -2384 2280 2404 2280 -2480 2520 2464 2568 -2280 -2356 2404 2512 2280 -2336 -2564 -2392 -2596 -2612 -2624 2600 -2600 -2640 -2380 2640 2460 2448 -2380 -2280 2416 -2280 2380 -2492 -2540 -2320 2500 -2304 -2284 -2492 -2476 -2436 -2576 2288 2404 -2420 -2360 2616 2336 2620 -2632 2280 -2536 -2392 2452 -2480 -2596 2596 2284 2372 2572 2624 -2332 2340 2468 2324 -2284 2620 2280 2512 -2640 -2324 2352 -2596 2296 -2412 -2400 -2340 2596 2428 -2320 -2300 2472 2584 2596 -2568 2324 2444 -2600 2360 -2540 -2640 -2568 -2620 2280 -2320 2620 -2296 2560 2388 2580 -2640 2432 -2584 -2556 -2472 2284 -2280 2328 -2280 -2312 -2624 -2320 -2640 -2452 -2416 2612 -2332 -2512 2592 -2508 -2380 -2364 -2620 -2588 -2388 -2600 2548 2604 -2420 2280 -2420 -2288 2504 -2600 2536 -2376 2372 -2640 -2576 -2532 2572 -2468 -2288 -2460 2324 2624 -2620 -2600 -2392 2336 -2604 -2484 -2524 2404 2336 -2572 -2616 -2640 2404 2440 2600 -2380 2640 -2468 2500 -2444 -2400 2608 -2604 2636 -2588 -2580 -2468 -2376 -2300 -2608 2404 -2440 -2628 -2280 2380 2580 2588 2528 2600 2332 2396 -2640 -2344 2580 2280 -2500 2548 -2336 -2428 -2640 -2620 -2368 2616 2444 -2608 -2424 -2600 -2640 -2560 2596 -2576 -2472 2280 2456 2588 2568 -2564 2520 -2284 2592 -2532 -2452 -2452 2512 -2280 2280 2420 -2416 -2404 -2592 2408 -2548 2432 2280 2500 2616 -2320 -2336 -2352 2320 2480 2296 2280 -2572 -2524 -2320 -2360 -2280 -2600 -2556 -2320 2628 -2532 2484 2440 2420 -2604 -2596 2552 -2640 -2600 2600 2340 2500 -2416 -2356 2284 -2504 2380 -2360 -2600 -2600 -2600 -2280 -2600 -2532 -2476 2380 -2492 2392 -2320 -2624 -2444 2640 -2588 -2320 2420 -2480 -2368 -2420 2616 -2364 2580 -2416 -2512 2412 -2508 -2296 -2632 2596 2320 -2456 2512 2284 2280 2320 2500 -2344 2600 2416 -2432 2560 -2280 -2392 2452 -2320 -2320 -2508 -2528 -2512 -2384 -2468 -2364 2500 2516 -2308 -2324 -2496 -2640 -2368 -2532 2592 2640 -2400 2584 -2600 2532 -2640 2504 2372 -2400 -2600 -2496 -2396 2336 -2432 2320 -2320 2568 -2468 2324 2524 2288 2564 2488 -2592 2444 -2620 2344 -2436 2344 2420 2352 -2588 -2280 2460 2352 2580 2596 2384 -2560 2508 -2344 -2424 2428 -2576 -2548 -2612 -2376 -2312 2392 -2440 -2480 -2640 2616 -2640 2388 2332 2484 -2600 2456 2540 -2592 2436 2636 2300 2596 -2640 2404 -2320 2392 2400 -2600 -2640 -2496 2280 -2328 2320 -2320 2536 2468 -2624 2584 -2480 -2572 -2572 -2552 2356 -2320 2520 2444 -2640 2628 -2556 -2516 -2600 -2588 -2596 -2280 -2332 -2324 -2584 -2504 -2640 -2556 -2484 2452 -2396 2600 -2612 2320 2600 2368 -2508 -2496 -2640 -2524 -2332 2576 2464 2340 -2420 -2340 2380 -2348 -2600 -2524 -2284 -2612 2420 -2424 2356 2496 2476 -2612 -2616 -2280 -2396 -2440 2496 -2488 -2280 -2640 -2328 2384 -2360 -2564 -2288 -2312 -2432 2460 -2600 -2404 -2324 -2640 -2332 2640 2372 2332 -2596 2628 -2636 2544 -2640 2588 2416 2596 2280 -2332 -2344 -2640 2364 -2600 -2600 -2396 2600 -2436 -2556 -2404 2292 2372 -2428 -2632 -2596 -2324 -2364 -2432 2544 2636 2456 2428 2492 -2340 -2584 -2328 -2400 2516 2636 -2524 2400 2452 2396 2388 -2320 2476 2320 2292 2368 -2592 -2600 2460 2472 2280 2320 -2596 -2320 2332 2596 2320 2428 2640 -2592 -2636 -2572 2516 2492 2384 2336 2404 2280 2376 2304 -2408 2344 -2560 -2600 2444 2596 -2460 2300 -2320 2280 2280 -2520 -2352 -2500 2576 -2348 -2548 -2368 2600 -2632 2560 -2280 2604 2452 -2320 -2460 -2436 2452 -2472 2616 -2384 2340 -2472 2532 -2624 -2460 2280 2320 -2324 -2636 2552 2432 2296 2372 -2460 -2348 -2392 2436 2368 -2640 2520 -2336 2372 2320 -2580 -2572 -2640 2344 2284 2320 2280 -2392 2536 -2576 -2280 2372 2444 -2600 -2444 2528 -2424 2412 -2452 2516 -2624 -2540 -2432 -2492 2412 2404 -2308 -2304 -2528 -2432 -2640 2464 -2320 2572 2440 2468 -2372 -2608 -2376 -2468 2288 -2332 -2448 2404 -2520 2288 -2320 -2344 -2504 2280 -2332 -2640 2392 2476 -2320 -2492 2372 -2392 2556 2612 -2420 -2600 2600 -2484 -2620 -2600 2424 -2600 -2588 2600 2488 -2324 -2556 2600 2624 -2464 2376 -2580 2376 -2280 -2352 -2640 2428 -2304 -2404 2320 2320 2500 -2352 -2372 -2280 -2324 2320 2572 2420 2344 -2380 -2588 2376 -2372 -2384 2572 -2600 2380 2612 -2576 -2320 2600 2548 -2384 2640 -2308 2296 -2316 2540 -2536 -2640 2424 2348 -2324 2348 2280 2380 -2636 2592 -2600 -2640 2520 -2600 -2556 -2392 2460 -2488 -2600 2600 2320 -2284 2532 2432 -2408 2640 -2560 2280 -2588 -2432 2508 -2388 -2416 2640 2396 -2284 -2320 -2640 2320 -2368 -2476 -2640 -2412 -2540 -2468 -2640 2296 -2640 2436 2600 -2420 -2444 -2456 -2640 -2364 -2424 -2592 -2496 -2640 -2600 -2408 -2612 -2436 -2492 -2572 2508 2416 2452 2280 -2600 -2320 -2280 -2444 2516 2400 -2576 -2600 -2372 -2484 -2492 -2568 2632 2536 -2496 2604 -2388 2280 -2636 -2420 -2516 2440 2320 -2592 -2548 -2640 2532 2380 2280 -2340 -2280 2524 -2440 -2476 -2528 -2496 2516 2584 -2432 2556 2588 -2460 2628 -2484 -2280 -2464 -2624 -2420 2316 -2428 -2320 -2600 -2600 -2576 2420 2620 -2504 -2352 2632 -2640 -2576 2600 2280 2416 -2320 -2320 2364 2536 -2348 -2524 2640 -2548 -2484 -2344 -2352 -2332 -2600 -2528 -2468 -2320 -2528 -2600 -2528 -2280 -2452 2520 2560 -2528 -2360 -2360 2516 2416 -2280 -2600 2568 -2640 -2576 2596 -2600 2384 2520 -2472 -2640 -2384 -2600 2320 2368 -2484 -2344 -2324 -2364 2584 2396 -2588 -2580 2496 -2496 -2352 -2584 -2516 -2308 2384 -2468 -2328 -2536 -2624 -2564 -2600 2508 -2472 -2448 -2612 2496 -2332 2636 2548 2636 -2376 2396 -2364 2568 2392 -2320 -2372 2316 -2640 2592 2628 -2384 -2476 -2320 2376 2368 -2600 -2372 -2568 -2420 2632 2360 -2368 -2532 2628 2332 -2580 -2296 -2280 2280 2308 2508 -2584 -2396 -2528 -2576 2280 2476 -2640 -2580 -2488 -2392 -2280 2280 -2568 -2476 2356 2336 2392 2360 2280 -2488 -2600 -2592 -2640 -2584 -2420 -2480 -2320 -2384 -2600 -2408 2560 -2320 -2344 2280 -2440 2292 2424 -2292 2372 -2316 -2580 -2380 2448 2580 -2588 2388 -2636 -2600 -2388 2292 -2432 -2324 -2576 2640 -2320 2372 -2468 -2536 -2440 -2460 -2360 -2476 -2364 -2492 2280 -2560 2332 2424 -2364 -2600 -2388 2480 -2640 2640 2580 -2388 2364 -2576 2524 -2536 2324 2280 2408 -2288 -2280 -2404 -2604 2520 -2640 -2620 2420 2280 2408 2468 2460 -2416 -2400 2640 -2640 2432 2300 -2640 -2600 -2580 2308 2516 -2372 2320 -2396 -2600 2460 2352 -2348 -2320 2516 2568 2328 2556 2424 -2628 -2320 -2320 -2536 -2584 -2368 -2640 -2320 -2580 2640 -2600 -2352 2280 2280 -2592 2304 -2420 -2600 2516 -2600 -2280 -2380 2432 -2320 2428 -2468 -2576 -2364 2424 -2472 -2412 -2612 -2528 2320 -2640 -2488 -2520 -2476 2532 2436 2280 2636 -2364 2588 2600 2516 2528 2288 2280 2308 -2300 -2496 -2548 -2464 -2396 -2604 2300 2640 2512 -2640 -2588 -2640 2640 2488 2552 -2492 -2284 2548 -2500 2572 2584 2508 -2280 2536 -2364 -2492 -2540 -2640 -2328 2324 -2628 2328 -2608 -2356 2400 2476 2340 -2600 2320 -2628 -2640 -2476 -2624 2284 -2628 -2320 2516 2388 -2280 2384 2500 -2556 2504 2280 -2600 -2468 -2504 2492 -2440 2448 -2432 -2448 -2320 -2480 -2488 -2428 2600 2492 2452 -2476 -2332 -2400 2280 -2432 2332 -2444 -2312 -2416 -2324 2532 -2280 2500 -2512 -2300 2640 -2440 -2364 2388 -2612 -2500 -2428 -2588 -2640 -2296 2544 -2456 2500 -2588 -2568 -2640 2484 -2456 -2640 2536 2280 -2528 -2352 -2320 -2280 -2636 2412 -2388 -2444 -2332 2344 -2392 2448 -2320 -2572 -2564 -2496 -2600 2596 -2300 2424 2488 2288 -2320 -2600 -2640 -2596 2640 -2288 2368 2288 -2396 -2432 -2280 -2280 2460 2392 -2336 -2328 2324 -2324 -2416 2596 2452 -2640 2368 2452 2340 -2600 -2380 2584 -2296 2392 2360 -2344 2512 -2632 -2304 -2284 -2428 2556 2552 2364 2464 -2356 2280 2640 -2304 2636 -2416 2560 2540 -2376 -2376 -2320 -2376 2280 2280 2500 -2444 2432 -2600 -2324 2640 -2452 -2520 -2424 2472 -2620 -2580 -2364 -2560 -2640 -2336 2620 2412 2280 2500 -2360 2636 -2356 -2568 2528 -2420 -2592 -2320 -2412 -2460 -2320 -2600 2512 -2376 -2640 -2368 -2640 2280 2640 -2328 2588 -2468 2320 -2296 -2280 -2472 -2600 -2280 -2624 -2524 2468 2600 -2316 -2600 -2336 2448 2640 -2492 -2328 2596 -2388 -2292 -2640 2492 2320 2580 -2576 2344 -2532 2508 -2476 -2508 -2428 -2336 2360 2600 -2596 -2496 -2472 2320 2420 -2608 -2428 -2592 -2596 -2640 -2320 2420 2596 -2620 2580 -2640 -2428 -2452 -2356 -2600 2320 -2280 2332 -2456 2556 2600 2640 -2516 -2628 2312 2456 -2404 -2512 -2440 2600 2320 2580 2452 -2636 -2528 -2412 2320 -2444 2504 2352 2600 -2320 2320 2524 2600 2544 -2640 -2328 2452 -2548 2380 -2404 -2336 -2320 2492 -2324 -2280 2536 -2640 -2452 2436 2464 -2600 2576 -2504 -2356 2528 -2460 -2400 -2364 2572 -2500 2464 2464 -2640 2440 -2340 2280 2540 2312 2476 2352 2280 -2536 2408 -2400 2388 -2448 2500 -2600 -2444 2504 2560 -2560 2404 -2624 2456 -2320 -2640 2600 2432 -2320 2360 2640 -2488 -2308 -2600 2472 2600 -2416 -2280 -2300 2580 2556 2428 -2640 2308 2640 2428 2464 2540 -2540 2408 2368 -2544 -2640 -2328 -2568 -2568 2568 -2604 -2640 -2640 -2324 -2384 -2600 -2440 2464 2448 2320 -2504 -2464 -2320 -2528 -2592 -2600 -2428 2632 -2600 2332 -2612 2572 -2556 -2576 2372 2452 -2292 -2568 2296 2304 -2536 -2416 2404 -2320 2284 -2336 -2640 -2640 -2580 -2324 -2324 2356 -2412 -2588 2428 -2640 -2580 -2428 -2600 -2280 2320 2348 -2520 -2484 2436 2376 -2600 -2628 2596 -2640 2296 -2320 -2520 -2404 2560 -2408 -2588 -2320 2400 2280 2320 -2280 2380 2528 2600 -2480 -2280 -2368 2308 -2600 -2412 2360 -2404 2632 2300 2640 2448 -2492 -2508 2404 -2640 2320 2280 -2408 -2512 -2320 2524 -2424 -2600 2384 -2284 2564 -2576 -2400 2324 2404 -2328 -2640 2524 2612 -2556 2280 2616 -2332 -2560 -2324 -2460 -2452 -2540 -2488 -2480 -2632 -2596 2280 2344 2536 2340 -2540 -2556 2424 -2344 -2456 -2392 -2464 2320 -2488 -2344 -2540 -2292 -2560 -2584 2600 2348 -2616 2336 2404 2508 2552 -2468 2320 2536 2600 -2640 -2640 -2400 -2352 -2572 2280 -2636 2356 -2444 -2448 -2504 2280 -2500 2408 2572 2324 -2560 2384 2412 -2320 2496 -2364 2344 -2292 -2344 -2280 -2448 2436 -2460 2456 2476 2556 2320 -2636 2348 -2280 -2280 -2420 2280 -2428 -2336 2448 -2292 2420 2380 2584 -2528 -2412 -2336 -2632 -2536 -2496 -2416 -2488 2368 -2488 -2600 -2324 2284 -2288 -2600 2416 2600 -2388 2484 2552 2572 2320 -2372 -2596 2640 2568 -2640 2396 -2280 2564 -2476 -2548 -2520 -2348 -2640 -2312 2280 -2408 2328 -2484 -2464 -2352 2604 -2324 -2320 -2320 -2400 2464 2476 -2376 -2532 -2532 -2436 -2548 2520 -2632 -2540 2576 -2360 2516 -2556 2396 -2400 2468 -2564 -2472 2468 2320 2476 2600 -2612 -2592 2336 -2348 2336 -2556 -2532 -2460 -2556 2332 -2556 -2280 2480 2596 -2280 -2404 2480 -2464 -2280 -2424 -2384 -2460 2388 -2324 -2508 -2280 2600 2296 -2320 -2504 2444 -2552 -2640 2608 2480 -2480 -2388 -2328 -2384 -2464 2372 2476 -2484 2392 -2600 2564 -2600 2592 -2428 2492 -2396 2512 -2324 2532 -2396 2320 -2372 -2640 -2456 -2640 -2388 2412 -2600 -2592 -2416 2640 -2564 2420 2516 2488 2420 -2624 -2324 -2336 2364 2436 -2460 2496 -2496 -2432 2320 2580 2592 2480 2596 2572 -2580 -2564 -2520 2428 -2412 2468 -2296 -2356 -2408 -2508 2320 2556 -2520 -2616 -2636 -2432 2396 -2372 2456 -2608 2488 2412 -2328 2280 2280 2544 -2364 2476 -2436 2600 2320 -2280 2436 -2640 -2320 -2320 -2420 -2632 2392 -2640 2356 2636 2280 -2624 2460 2364 -2360 -2600 -2320 -2292 2640 -2476 -2340 -2356 -2364 -2340 -2328 -2320 -2320 -2600 2456 2440 2492 -2544 -2376 -2636 -2620 -2368 2568 -2504 -2444 -2636 -2412 2312 -2600 -2404 2588 -2516 -2292 -2524 2352 -2328 -2320 -2296 -2436 2412 -2468 -2588 -2320 -2280 -2540 2632 2468 -2320 2552 -2416 -2556 2320 -2488 2536 -2432 2600 2592 -2320 2584 -2324 -2408 -2288 -2468 2380 2472 2320 2364 -2320 -2640 -2576 -2640 2424 -2524 2336 -2428 2404 2572 -2280 -2608 2588 -2608 -2364 2340 -2320 2640 2452 2472 2460 -2640 2600 -2600 2572 2280 2280 2636 -2332 2412 -2560 -2576 -2600 -2396 -2428 2616 2344 2628 -2548 -2612 2460 -2640 -2320 2348 -2396 -2488 2412 2292 2280 -2320 -2332 -2320 -2388 -2420 -2408 -2372 -2544 -2332 -2612 2332 -2572 -2640 2440 -2640 -2320 2468 -2428 -2544 2340 -2428 2284 2416 -2596 -2420 2600 -2320 2492 -2552 -2548 -2464 2600 2596 -2488 2560 -2572 -2320 2280 2312 2280 2572 2616 2600 2640 -2600 2520 -2376 2588 2596 2280 2492 -2500 2320 2380 2584 -2280 -2280 2284 2316 -2480 2632 -2300 -2428 -2640 -2540 2352 2552 -2512 -2588 2284 2600 -2640 2532 2328 2624 2392 -2444 -2408 2452 -2460 -2424 2440 -2600 -2320 2600 -2516 -2320 -2448 2460 -2596 -2408 -2280 2308 -2340 -2420 2588 -2576 -2628 -2548 2476 -2320 -2640 2320 2280 -2344 2640 2280 -2516 2336 2472 -2472 -2320 -2600 -2380 2328 2592 2300 -2492 2376 -2640 -2520 -2640 -2640 -2428 -2624 2600 2280 2340 -2592 -2340 2348 -2516 -2312 2528 -2640 2400 -2608 2312 -2588 2356 2280 -2348 -2320 -2600 -2480 2352 -2628 2380 -2280 2592 -2388 -2600 -2612 2280 2548 2356 2536 2600 2372 -2584 -2384 -2472 -2452 -2344 -2504 -2452 2512 2632 -2480 2488 2600 2512 2460 -2572 -2460 2524 2348 -2284 2504 -2596 -2516 -2344 -2368 -2296 -2300 -2384 2352 -2472 2340 -2508 -2468 -2412 -2640 2592 -2564 -2628 -2632 -2324 -2468 2492 2472 2404 -2280 2496 2632 -2428 -2504 -2464 -2588 2280 -2516 2488 2584 2352 2320 2580 -2500 -2464 -2568 -2324 2320 -2280 -2640 2380 -2312 -2600 -2468 2292 -2308 2368 2284 2392 2320 -2640 -2568 2320 -2564 2456 -2412 -2428 2480 -2640 -2640 2548 -2280 -2404 -2376 -2480 2528 -2628 2408 -2292 -2612 2320 -2600 2476 -2572 -2280 -2600 2564 2280 -2476 -2536 -2400 -2500 -2332 -2600 -2336 -2284 2280 -2604 -2320 2620 -2460 -2288 -2524 -2600 -2320 2404 -2400 -2340 -2600 -2348 -2624 -2476 -2576 -2560 -2600 2464 2588 2536 2424 -2492 -2424 2280 -2600 2600 2568 2408 2608 -2320 -2584 -2352 2432 2508 2580 -2592 2376 -2544 2528 -2480 -2356 2320 -2568 2548 -2320 2396 -2364 2380 -2640 2408 -2380 -2548 -2492 2612 2480 -2448 -2488 2368 2604 2500 -2584 -2428 2348 -2412 -2500 -2608 2572 -2400 -2460 -2280 -2584 -2280 -2324 -2332 -2328 2512 -2340 -2600 -2304 -2584 -2356 2576 -2600 2412 -2296 -2640 2576 2576 2436 2368 -2496 -2368 -2468 2544 -2508 -2604 2280 2320 -2584 2540 2632 2380 -2552 -2360 -2368 -2504 2600 2420 -2540 -2600 2432 -2504 -2284 -2464 2452 2336 2588 -2320 2296 -2400 2616 -2428 2352 -2452 -2412 2600 -2536 2320 -2640 -2320 -2284 2372 -2352 2324 2304 2444 -2468 -2632 2292 2544 2280 2592 2464 2628 2424 -2464 -2528 -2564 2600 2516 -2440 -2316 2552 2356 -2600 -2600 -2280 -2340 -2436 2584 -2472 2564 2456 2616 2564 -2640 -2292 2280 -2280 -2344 -2444 2332 -2320 -2632 -2316 -2600 -2504 2640 -2524 -2420 -2528 2312 2508 -2428 2504 -2416 -2324 -2368 2380 -2488 -2600 -2532 2568 2576 -2464 -2532 -2488 -2632 -2400 -2388 -2320 -2284 2436 2360 -2640 -2324 -2336 2512 2548 -2640 2320 -2396 2484 -2600 2324 -2600 -2280 2380 -2408 -2444 2332 2372 -2612 2636 -2512 -2436 -2280 2352 2492 -2548 -2320 2344 -2600 -2640 -2428 -2640 -2564 -2320 2396 -2636 2304 -2432 2580 -2512 -2368 2392 -2480 -2600 2488 -2640 -2376 -2344 -2636 -2404 2620 -2320 -2600 2460 -2536 -2600 2472 2284 2516 2492 -2396 -2600 -2388 2616 2288 2320 -2468 -2588 -2280 -2304 2608 -2640 -2424 2332 -2640 -2572 -2600 -2548 -2384 2600 -2440 -2464 -2528 2392 2492 2436 -2360 -2640 -2600 -2384 2304 2616 -2284 -2392 -2640 -2544 2556 -2360 2600 -2584 2280 -2556 -2324 -2640 2280 2292 -2432 -2604 2344 -2564 2568 -2360 -2340 -2540 -2608 -2596 2484 -2540 -2440 -2280 -2460 2508 -2340 -2320 -2368 -2372 -2360 -2320 -2500 -2376 -2600 -2548 -2576 -2516 -2600 2376 -2328 2452 -2356 2484 2532 -2320 -2364 2320 -2496 -2628 2360 2340 -2288 2328 2596 2568 -2600 -2520 -2488 2340 -2520 -2340 -2460 -2336 2336 2600 2392 2580 -2600 2320 -2584 -2280 2508 -2472 2576 -2320 -2508 -2348 2332 -2484 2460 2556 2596 -2420 -2584 -2320 -2572 -2436 -2608 2344 -2408 -2376 2280 2432 -2384 2508 -2568 -2516 -2320 -2324 2572 2328 -2368 2396 -2444 -2612 -2380 2320 -2516 -2500 2496 -2280 -2344 -2320 2420 -2300 -2600 2364 -2640 2500 2508 2392 2448 -2496 2416 -2308 2584 2552 -2320 2320 -2572 -2600 -2436 2280 2336 2600 2520 -2600 -2480 2536 2536 -2348 -2528 2376 -2640 -2388 -2280 2600 -2388 -2640 2560 2568 -2320 2616 -2328 -2320 -2336 2380 2608 2280 -2624 -2560 -2280 -2384 2324 2452 -2388 2496 -2628 2280 -2320 -2508 2320 2320 2312 -2620 -2280 2348 -2456 2280 -2600 2460 2352 2312 2536 -2484 -2540 -2284 -2640 -2356 2288 -2352 -2536 -2408 -2600 -2508 -2376 2464 -2392 -2456 -2332 -2560 -2588 -2604 -2324 -2600 -2600 -2520 -2640 2464 -2404 -2500 -2488 -2640 2480 2384 -2456 -2572 2364 2532 -2596 -2544 -2288 -2640 -2320 -2580 -2396 -2544 2524 2324 -2340 -2620 -2332 2280 2576 -2352 -2640 -2564 -2492 2540 -2388 -2496 2328 -2460 -2528 -2280 -2488 2404 2328 -2384 -2320 -2516 2404 -2640 -2480 2320 -2608 -2424 -2528 2284 2320 2448 -2496 2280 -2280 -2296 -2468 2308 2564 -2452 2432 -2360 -2500 2328 -2484 2432 -2336 -2576 2488 -2572 2600 -2420 -2504 -2580 2280 2520 2280 -2320 2320 -2280 -2564 2284 -2428 -2512 2552 -2436 2540 -2588 -2560 2380 2640 -2600 -2604 2296 -2528 -2444 -2280 -2444 2320 -2396 -2600 2552 -2328 -2404 -2432 -2600 2536 2596 2528 2628 -2428 2392 2528 -2400 -2480 -2600 -2368 2428 2312 -2488 -2292 -2420 2320 2376 -2280 2356 -2280 2384 2400 2280 -2600 -2292 -2284 -2332 -2384 2640 -2640 -2556 2604 -2464 -2640 2380 -2564 -2576 -2592 -2596 -2372 -2600 2428 2612 -2600 -2616 -2640 2580 -2484 2364 2600 2560 2400 2320 -2636 2600 2396 2284 -2532 -2320 -2472 -2640 
62.76/63.68	d NODES 3006
62.76/63.68	d CHECKS 79424770
62.76/63.68	   
62.76/63.68	   totalWckTime=63.491  totalCpuTime=60.49

Verifier Data 

OK

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.09 2.05 4/80 5037
/proc/meminfo: memFree=1734320/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=10676 CPUtime=0
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28460328 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 2669 474 207 9 0 1184 0
[pid=5037/tid=5038] ppid=5035 vsize=10676 CPUtime=0
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28460329 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 3465176 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.108723 s]
/proc/loadavg: 2.16 2.09 2.05 4/80 5037
/proc/meminfo: memFree=1734320/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=865984 CPUtime=0.09
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 3835 0 1 0 7 2 0 0 18 0 9 0 28460328 886767616 3278 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216496 3278 1725 9 0 210981 0
[pid=5037/tid=5038] ppid=5035 vsize=865984 CPUtime=0.07
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 2926 0 1 0 6 1 0 0 18 0 9 0 28460329 886767616 3278 996147200 134512640 134550932 4294955968 18446744073709551615 102286809 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984

[startup+0.202303 s]
/proc/loadavg: 2.16 2.09 2.05 4/80 5037
/proc/meminfo: memFree=1734320/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=866144 CPUtime=0.18
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 4715 0 1 0 16 2 0 0 18 0 9 0 28460328 886931456 4132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216536 4132 1878 9 0 211014 0
[pid=5037/tid=5038] ppid=5035 vsize=866144 CPUtime=0.17
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 3806 0 1 0 15 2 0 0 18 0 9 0 28460329 886931456 4132 996147200 134512640 134550932 4294955968 18446744073709551615 4159482301 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866144

[startup+0.302312 s]
/proc/loadavg: 2.16 2.09 2.05 4/80 5037
/proc/meminfo: memFree=1734320/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=866296 CPUtime=0.28
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 5696 0 1 0 25 3 0 0 18 0 9 0 28460328 887087104 5099 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216574 5099 1927 9 0 211052 0
[pid=5037/tid=5038] ppid=5035 vsize=866296 CPUtime=0.24
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 4727 0 1 0 22 2 0 0 19 0 9 0 28460329 887087104 5099 996147200 134512640 134550932 4294955968 18446744073709551615 2618148 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296

[startup+0.702347 s]
/proc/loadavg: 2.16 2.09 2.05 4/80 5037
/proc/meminfo: memFree=1734320/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867540 CPUtime=0.68
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 9506 0 1 0 64 4 0 0 18 0 9 0 28460328 888360960 8868 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216885 8868 2001 9 0 211343 0
[pid=5037/tid=5038] ppid=5035 vsize=867540 CPUtime=0.53
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 8189 0 1 0 49 4 0 0 19 0 9 0 28460329 888360960 8868 996147200 134512640 134550932 4294955968 18446744073709551615 4125977794 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867540

[startup+1.50242 s]
/proc/loadavg: 2.16 2.09 2.05 3/89 5046
/proc/meminfo: memFree=1680424/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867540 CPUtime=1.47
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 21257 0 1 0 137 10 0 0 18 0 9 0 28460328 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216885 20585 2029 9 0 211343 0
[pid=5037/tid=5038] ppid=5035 vsize=867540 CPUtime=1.2
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 15789 0 1 0 113 7 0 0 25 0 9 0 28460329 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 102883956 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867540 CPUtime=0.06
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 4118 0 0 0 5 1 0 0 16 0 9 0 28460330 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460332 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867540 CPUtime=0.18
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 648 0 0 0 18 0 0 0 16 0 9 0 28460333 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28460333 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460333 888360960 20585 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867540

[startup+3.10156 s]
/proc/loadavg: 2.16 2.09 2.05 3/89 5046
/proc/meminfo: memFree=1647144/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867540 CPUtime=3.05
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 25891 0 1 0 293 12 0 0 18 0 9 0 28460328 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216885 25215 2032 9 0 211343 0
[pid=5037/tid=5038] ppid=5035 vsize=867540 CPUtime=2.58
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 15824 0 1 0 250 8 0 0 25 0 9 0 28460329 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 102337871 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867540 CPUtime=0.26
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 8705 0 0 0 23 3 0 0 16 0 9 0 28460330 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460332 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867540 CPUtime=0.19
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 660 0 0 0 19 0 0 0 16 0 9 0 28460333 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28460333 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460333 888360960 25215 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867540

[startup+6.30185 s]
/proc/loadavg: 2.14 2.09 2.05 4/89 5046
/proc/meminfo: memFree=1640552/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867540 CPUtime=6.21
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 25932 0 1 0 608 13 0 0 18 0 9 0 28460328 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216885 25253 2032 9 0 211343 0
[pid=5037/tid=5038] ppid=5035 vsize=867540 CPUtime=5.7
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 15831 0 1 0 560 10 0 0 25 0 9 0 28460329 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4126933602 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867540 CPUtime=0.26
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 8705 0 0 0 23 3 0 0 16 0 9 0 28460330 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460332 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867540 CPUtime=0.23
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 694 0 0 0 23 0 0 0 16 0 9 0 28460333 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28460333 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460333 888360960 25253 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867540

[startup+12.7014 s]
/proc/loadavg: 2.13 2.09 2.05 3/89 5046
/proc/meminfo: memFree=1640360/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867540 CPUtime=12.53
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 28145 0 1 0 1237 16 0 0 18 0 9 0 28460328 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216885 27462 2032 9 0 211343 0
[pid=5037/tid=5038] ppid=5035 vsize=867540 CPUtime=11.88
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 15836 0 1 0 1177 11 0 0 25 0 9 0 28460329 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4126938193 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867540 CPUtime=0.38
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 10905 0 0 0 34 4 0 0 18 0 9 0 28460330 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460332 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867540 CPUtime=0.25
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 702 0 0 0 25 0 0 0 15 0 9 0 28460333 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28460333 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460333 888360960 27462 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 867540

[startup+25.5016 s]
/proc/loadavg: 2.10 2.08 2.05 4/89 5046
/proc/meminfo: memFree=1615272/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867540 CPUtime=25.16
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 32206 0 1 0 2495 21 0 0 18 0 9 0 28460328 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216885 31518 2033 9 0 211343 0
[pid=5037/tid=5038] ppid=5035 vsize=867540 CPUtime=24.2
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 15843 0 1 0 2405 15 0 0 25 0 9 0 28460329 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4126931869 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867540 CPUtime=0.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 14941 0 0 0 61 5 0 0 17 0 9 0 28460330 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28460330 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28460332 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867540 CPUtime=0.28
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 720 0 0 0 28 0 0 0 15 0 9 0 28460333 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28460333 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867540 CPUtime=0
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28460333 888360960 31518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 867540

[startup+51.1029 s]
/proc/loadavg: 2.12 2.09 2.05 4/89 5050
/proc/meminfo: memFree=1578720/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867952 CPUtime=50.42
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 72846 1095 1 0 4987 32 21 2 18 0 9 0 28460328 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216988 41305 2663 9 0 211424 0
[pid=5037/tid=5038] ppid=5035 vsize=867952 CPUtime=48.5
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 28260 1095 1 0 4809 18 21 2 25 0 9 0 28460329 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867952 CPUtime=1.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 42701 1095 0 0 132 11 21 2 17 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0

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

/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 72847 1095 1 0 4997 32 21 2 18 0 9 0 28460328 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216988 41305 2663 9 0 211424 0
[pid=5037/tid=5038] ppid=5035 vsize=867952 CPUtime=48.6
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 28261 1095 1 0 4819 18 21 2 25 0 9 0 28460329 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4127266846 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867952 CPUtime=1.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 42701 1095 0 0 132 11 21 2 17 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 23 1095 0 0 0 0 21 2 16 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 25 1095 0 0 0 0 21 2 15 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 1095 0 0 0 0 21 2 18 0 9 0 28460332 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867952 CPUtime=0.68
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 1019 1095 0 0 44 1 21 2 15 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 1095 0 0 0 0 21 2 19 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 9 1095 0 0 0 0 21 2 15 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 867952

[startup+57.6025 s]
/proc/loadavg: 2.11 2.09 2.05 3/89 5050
/proc/meminfo: memFree=1578720/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867952 CPUtime=56.84
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 72847 1095 1 0 5629 32 21 2 18 0 9 0 28460328 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216988 41305 2663 9 0 211424 0
[pid=5037/tid=5038] ppid=5035 vsize=867952 CPUtime=54.93
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 28261 1095 1 0 5452 18 21 2 25 0 9 0 28460329 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4127249705 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867952 CPUtime=1.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 42701 1095 0 0 132 11 21 2 16 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 23 1095 0 0 0 0 21 2 16 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 25 1095 0 0 0 0 21 2 15 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 1095 0 0 0 0 21 2 18 0 9 0 28460332 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867952 CPUtime=0.68
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 1019 1095 0 0 44 1 21 2 15 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 1095 0 0 0 0 21 2 19 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 9 1095 0 0 0 0 21 2 15 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 56.84
Current children cumulated vsize (KiB) 867952

[startup+60.8028 s]
/proc/loadavg: 2.10 2.09 2.05 4/89 5050
/proc/meminfo: memFree=1578656/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867952 CPUtime=59.99
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 72847 1095 1 0 5944 32 21 2 18 0 9 0 28460328 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216988 41305 2663 9 0 211424 0
[pid=5037/tid=5038] ppid=5035 vsize=867952 CPUtime=58.07
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 28261 1095 1 0 5766 18 21 2 25 0 9 0 28460329 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4127266752 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867952 CPUtime=1.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 42701 1095 0 0 132 11 21 2 16 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 23 1095 0 0 0 0 21 2 16 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 25 1095 0 0 0 0 21 2 15 0 9 0 28460330 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 1095 0 0 0 0 21 2 18 0 9 0 28460332 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867952 CPUtime=0.68
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 1019 1095 0 0 44 1 21 2 15 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 1095 0 0 0 0 21 2 19 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 9 1095 0 0 0 0 21 2 15 0 9 0 28460333 888782848 41305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (KiB) 867952

[startup+62.4019 s]
/proc/loadavg: 2.10 2.09 2.05 4/89 5050
/proc/meminfo: memFree=1578656/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867952 CPUtime=61.58
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 72851 1095 1 0 6102 33 21 2 18 0 9 0 28460328 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216988 41308 2663 9 0 211424 0
[pid=5037/tid=5038] ppid=5035 vsize=867952 CPUtime=59.65
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 28262 1095 1 0 5924 18 21 2 25 0 9 0 28460329 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4127536348 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867952 CPUtime=1.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 42701 1095 0 0 132 11 21 2 17 0 9 0 28460330 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 23 1095 0 0 0 0 21 2 16 0 9 0 28460330 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 25 1095 0 0 0 0 21 2 15 0 9 0 28460330 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 1095 0 0 0 0 21 2 18 0 9 0 28460332 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867952 CPUtime=0.68
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 1022 1095 0 0 44 1 21 2 16 0 9 0 28460333 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 1095 0 0 0 0 21 2 19 0 9 0 28460333 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 9 1095 0 0 0 0 21 2 15 0 9 0 28460333 888782848 41308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 61.58
Current children cumulated vsize (KiB) 867952

[startup+63.202 s]
/proc/loadavg: 2.10 2.09 2.05 4/89 5050
/proc/meminfo: memFree=1578656/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867952 CPUtime=62.36
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 72857 1095 1 0 6180 33 21 2 18 0 9 0 28460328 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216988 41314 2663 9 0 211424 0
[pid=5037/tid=5038] ppid=5035 vsize=867952 CPUtime=60.42
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 28262 1095 1 0 6001 18 21 2 25 0 9 0 28460329 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4126933558 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867952 CPUtime=1.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 42701 1095 0 0 132 11 21 2 17 0 9 0 28460330 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 23 1095 0 0 0 0 21 2 16 0 9 0 28460330 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 25 1095 0 0 0 0 21 2 15 0 9 0 28460330 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 1095 0 0 0 0 21 2 18 0 9 0 28460332 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867952 CPUtime=0.7
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 1028 1095 0 0 46 1 21 2 16 0 9 0 28460333 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 1095 0 0 0 0 21 2 19 0 9 0 28460333 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 9 1095 0 0 0 0 21 2 15 0 9 0 28460333 888782848 41314 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.36
Current children cumulated vsize (KiB) 867952

[startup+63.602 s]
/proc/loadavg: 2.10 2.09 2.05 4/89 5050
/proc/meminfo: memFree=1578656/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867952 CPUtime=62.76
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 72864 1095 1 0 6220 33 21 2 18 0 9 0 28460328 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216988 41320 2663 9 0 211424 0
[pid=5037/tid=5038] ppid=5035 vsize=867952 CPUtime=60.8
/proc/5037/task/5038/stat : 5038 (java) R 5035 5037 32701 0 -1 64 28265 1095 1 0 6039 18 21 2 25 0 9 0 28460329 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4127562915 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867952 CPUtime=1.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 42701 1095 0 0 132 11 21 2 17 0 9 0 28460330 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 23 1095 0 0 0 0 21 2 16 0 9 0 28460330 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 25 1095 0 0 0 0 21 2 15 0 9 0 28460330 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 1095 0 0 0 0 21 2 18 0 9 0 28460332 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867952 CPUtime=0.71
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 1032 1095 0 0 47 1 21 2 16 0 9 0 28460333 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 1095 0 0 0 0 21 2 19 0 9 0 28460333 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 9 1095 0 0 0 0 21 2 15 0 9 0 28460333 888782848 41320 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.76
Current children cumulated vsize (KiB) 867952

[startup+63.701 s]
/proc/loadavg: 2.10 2.09 2.05 4/89 5050
/proc/meminfo: memFree=1578656/2055920 swapFree=4192812/4192956
[pid=5037] ppid=5035 vsize=867952 CPUtime=62.84
/proc/5037/stat : 5037 (java) S 5035 5037 32701 0 -1 0 72875 1095 1 0 6228 33 21 2 18 0 9 0 28460328 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5037/statm: 216988 41322 2663 9 0 211424 0
[pid=5037/tid=5038] ppid=5035 vsize=867952 CPUtime=60.88
/proc/5037/task/5038/stat : 5038 (java) S 5035 5037 32701 0 -1 64 28275 1095 1 0 6047 18 21 2 23 0 9 0 28460329 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5040] ppid=5035 vsize=867952 CPUtime=1.66
/proc/5037/task/5040/stat : 5040 (java) S 5035 5037 32701 0 -1 64 42701 1095 0 0 132 11 21 2 17 0 9 0 28460330 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5041] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5041/stat : 5041 (java) S 5035 5037 32701 0 -1 64 23 1095 0 0 0 0 21 2 16 0 9 0 28460330 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5042] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5042/stat : 5042 (java) S 5035 5037 32701 0 -1 64 25 1095 0 0 0 0 21 2 15 0 9 0 28460330 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5043] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5043/stat : 5043 (java) S 5035 5037 32701 0 -1 64 2 1095 0 0 0 0 21 2 18 0 9 0 28460332 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5044] ppid=5035 vsize=867952 CPUtime=0.71
/proc/5037/task/5044/stat : 5044 (java) S 5035 5037 32701 0 -1 64 1033 1095 0 0 47 1 21 2 15 0 9 0 28460333 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5045] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5045/stat : 5045 (java) S 5035 5037 32701 0 -1 64 0 1095 0 0 0 0 21 2 19 0 9 0 28460333 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5037/tid=5046] ppid=5035 vsize=867952 CPUtime=0.23
/proc/5037/task/5046/stat : 5046 (java) S 5035 5037 32701 0 -1 64 9 1095 0 0 0 0 21 2 15 0 9 0 28460333 888782848 41322 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.84
Current children cumulated vsize (KiB) 867952

Child status: 0
Real time (s): 63.7583
CPU time (s): 62.8804
CPU user time (s): 62.4985
CPU system time (s): 0.381941
CPU usage (%): 98.6232
Max. virtual memory (cumulated for all children) (KiB): 870536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.4985
system time used= 0.381941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73999
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= 3465
involuntary context switches= 4432

runsolver used 0.095985 second user time and 0.234964 second system time

The end

Launcher Data 

Begin job on node51 at 2009-07-12 17:52:48
IDJOB=2097755
IDBENCH=57700
IDSOLVER=773
FILE ID=node51/2097755-1247413968
PBS_JOBID= 9510544
Free space on /tmp= 66200 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp15/normalized-fapp15-3000-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097755-1247413968/watcher-2097755-1247413968 -o /tmp/evaluation-result-2097755-1247413968/solver-2097755-1247413968 -C 1800 -W 2000 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2097755-1247413968.xml

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

MD5SUM BENCH= 8ae74589310914004d3bf891f899393f
RANDOM SEED=1692059227

node51.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.225
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.225
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:       1734800 kB
Buffers:         48400 kB
Cached:         116568 kB
SwapCached:          0 kB
Active:         198688 kB
Inactive:        62508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1734800 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6784 kB
Writeback:           0 kB
Mapped:         116716 kB
Slab:            45124 kB
Committed_AS:  1024204 kB
PageTables:       1956 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= 66200 MiB
End job on node51 at 2009-07-12 17:53:52