Trace number 1085761

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 181.505 182.414

DiagnosticValue
CHECKS322191000
NODES10241

General information on the benchmark

Namecsp/fapp/fapp15/
normalized-fapp15-3000-8.xml
MD5SUM3783482c1cbff3c4a72df59d958779fb
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 benchmark68.9175
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 (download as text)

0.03/0.08	
0.03/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-1085761-1215235399.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.34	   
0.29/0.35	   variables being loaded...
0.59/0.61	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182  nbTotalValues=515606
0.59/0.61	       =>  wckTime=0.37  cpuTime=0.26  mem=29M380
0.59/0.61	   
0.59/0.61	   predicates being loaded...
0.59/0.67	   
0.59/0.67	   constraints being loaded...
20.79/20.99	   
20.79/20.99	   INFO : Stopping converting binary constraints (cpu=20.04, mem = 72M115)
29.34/29.54	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=1581  nbConvertConstraintsChecks=44549188
29.34/29.54	     nbExtensionStructures=1386  nbSharedExtensionStructures=744  nbConflictsStructures=2185
29.34/29.54	     nbSharedConflictsStructures=812  nbUnbuiltConflictsStructures=7704  nbSharedBinaryRepresentations=377437
29.34/29.54	     nbEvaluationManagers=8503  nbSharedEvaluationManagers=7670  minDegree=2  maxDegree=15  minArity=2  maxArity=2
29.34/29.54	     nbGenerators=0  nbFusions=0  symmetryWckTime=1.58  symmetryCpuTime=1.3
29.34/29.54	       =>  wckTime=29.301  cpuTime=27.7  mem=98M301
29.83/30.02	   
29.83/30.02	   solver IterativeSystematicSolver being built... 
30.33/30.54	       =>  wckTime=30.295  cpuTime=28.08  mem=130M130
45.85/46.11	   
45.85/46.11	   preprocessing
45.85/46.11	     nbConstraintChecks=44513718  nbValidityChecks=1259462  nbPropagations=3506  nbRevisions=39549
45.85/46.11	     nbUselessRevisions=36413  nbRemovedValues=106624  detectedInconsistency=no
45.85/46.11	       =>  wckTime=15.554  cpuTime=15.45  mem=131M138
181.38/182.37	   
181.38/182.37	   search
181.38/182.37	     run=11  nbConstraintChecks=277677518  nbValidityChecks=336771036  minDepth=57  maxDepth=3000
181.38/182.37	     nbPropagations=2497234  nbRevisions=26477222  nbUselessRevisions=21703145  nbAssignments=10241
181.38/182.37	     nbFailedAssignments=1803  nbInferredBacktracks=3  nbBacktracks=1976  nbVisitedNodes=12702  nbRestartNogoods=149
181.38/182.37	     nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?  nbDEliminables=?  nbPEliminables=?
181.38/182.37	       =>  wckTime=151.814  cpuTime=150.97  mem=134M114
181.38/182.37	   
181.38/182.37	   global
181.38/182.37	     nbConstraintChecks=322191236  nbValidityChecks=338030498  nbPropagations=2500740  nbRevisions=26516771
181.38/182.37	     nbUselessRevisions=21739558  nbRestartNogoods=149  solvingWckTime=151.817  solvingCpuTime=150.98  expiredTime=no
181.38/182.37	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=178.94  globalCpuTime=179.1
181.38/182.37	       =>  wckTime=182.126  cpuTime=179.07  mem=134M114
181.38/182.38	   
181.38/182.38	s SATISFIABLE
181.38/182.38	v 2604 2468 -2524 2520 2440 2628 -2372 2600 -2376 2484 2544 -2616 2284 2528 2376 2508 2552 -2400 2468 2296 -2640 2280 2320 2600 2356 2512 2612 2476 -2400 -2620 -2356 -2320 2640 -2640 -2468 2344 -2560 2532 -2400 -2344 2444 -2348 2600 2500 -2320 -2372 2504 2508 -2284 -2600 2320 2344 2280 -2328 2280 -2316 -2280 2448 -2636 2448 -2372 2404 -2552 -2560 2508 -2612 2396 -2456 2612 -2576 2320 -2512 2340 2352 2280 -2600 2292 2492 -2576 2280 -2572 -2352 -2320 2408 2472 -2584 -2536 2600 2412 -2460 2352 2332 -2304 2404 2584 -2600 2592 -2444 2532 2640 2412 2600 -2400 2492 -2320 2320 2540 2600 -2548 -2588 -2572 -2520 2348 -2280 -2320 2640 -2380 -2640 -2636 -2340 -2472 -2612 -2572 2640 2640 -2620 2596 2380 2284 2280 2280 -2600 2600 -2640 -2600 2500 2492 2612 -2404 -2360 -2640 -2376 -2596 2280 2524 2304 2280 2320 2344 -2388 -2368 2328 -2292 -2640 -2308 2596 -2600 2356 2496 -2400 -2296 2400 -2324 -2492 2320 2496 -2324 -2296 2636 2444 -2600 2384 -2516 -2608 -2280 2628 -2332 -2640 2504 2612 -2424 2640 2500 2280 2364 2348 2572 -2280 2380 2340 -2616 2540 2516 -2288 -2388 -2636 -2600 2496 2416 -2520 -2476 -2280 -2428 -2568 -2608 -2512 -2600 -2408 -2640 -2348 2448 -2348 -2316 -2352 2340 -2340 2320 2548 2280 -2500 -2640 2540 2576 -2380 2280 -2436 2488 -2640 -2640 -2640 -2320 -2360 -2288 -2620 -2320 -2472 -2600 2572 2320 2624 -2392 2532 2520 -2320 2408 2396 2600 -2344 2328 -2280 -2600 2616 -2600 -2440 2320 -2444 -2560 2400 2372 2600 -2640 2400 -2576 -2576 -2344 2288 -2532 -2512 2488 -2320 2368 -2280 -2572 -2548 2320 -2600 2348 2328 -2512 -2484 2592 -2328 2596 -2592 -2280 2280 -2536 -2336 -2600 -2384 2316 -2516 -2400 2320 -2288 2320 -2600 -2404 -2320 -2504 2312 -2444 2600 2524 2640 2304 -2284 2356 -2480 2592 -2388 2508 2500 -2432 2280 2412 -2504 -2336 2328 -2420 -2320 2596 -2584 -2580 2320 2592 2616 -2556 -2492 -2600 2448 2556 -2436 2300 -2536 -2312 2412 -2356 -2600 -2624 2476 2420 2616 2364 2364 2400 -2496 -2384 -2340 2528 -2328 2636 -2600 2420 -2320 2628 -2520 -2588 2560 2544 2620 -2364 -2332 2424 -2320 2496 2296 -2432 -2544 -2612 -2368 2320 2580 2372 -2576 -2424 -2428 2296 -2360 -2500 -2480 2472 2280 -2408 2284 -2432 2292 2540 2600 -2620 -2292 -2360 -2468 2640 2524 -2624 -2428 -2424 -2452 2280 -2548 -2640 2400 -2320 -2312 -2388 -2412 -2640 -2464 2376 2404 2284 -2288 2460 2580 2392 2360 -2560 2472 2432 2324 2328 2372 2552 2444 2604 -2604 -2484 2548 -2640 2600 -2640 -2284 -2452 -2288 -2508 -2352 2540 2448 -2360 -2480 -2316 -2576 2352 2320 2524 -2600 2516 -2504 -2636 2300 2416 -2600 2488 -2320 -2528 2616 2512 2380 -2280 -2496 2320 -2616 -2288 2296 -2524 -2564 2352 2532 -2560 2280 -2464 -2420 2500 -2364 -2508 -2596 -2640 -2640 -2368 2468 -2432 2280 -2280 2320 -2600 2396 2384 -2640 -2340 -2640 -2284 -2344 -2476 2568 -2596 -2568 2460 2336 2476 -2640 -2440 -2304 -2292 2348 -2300 -2636 2572 -2312 -2640 -2600 2332 -2600 2304 2344 -2436 2608 -2584 2596 -2280 2456 -2280 -2292 -2600 -2340 -2364 -2360 2564 2600 -2284 2520 -2600 2556 -2600 -2420 -2496 -2588 2596 -2280 -2280 2400 2428 -2540 -2320 -2436 -2456 2636 2504 2412 2588 2324 -2332 -2632 2540 2508 -2320 -2640 -2524 -2464 2640 -2356 -2312 -2320 2604 2300 2280 -2472 -2400 -2540 2564 2600 2500 -2576 2600 -2396 2544 -2600 -2404 -2432 2572 -2544 -2284 -2464 -2328 2384 -2636 2336 2640 2540 -2440 -2584 -2468 -2352 2396 -2640 -2504 -2640 -2640 -2640 2544 -2356 2504 2584 2448 -2524 2548 2280 2424 2632 -2640 -2428 2580 2384 -2352 2328 -2416 -2356 -2600 -2384 2352 2524 -2552 2492 2524 2352 2600 2320 -2280 -2460 -2500 -2432 2388 2280 -2448 -2400 -2320 -2592 2288 2428 2600 2624 -2300 -2380 2496 2320 2320 -2388 -2280 2424 2324 2284 -2336 -2320 2368 2572 -2588 2556 -2636 -2436 2280 -2320 -2452 -2556 2416 -2448 2280 2624 2600 2468 -2284 -2512 -2624 -2368 -2604 -2328 2500 -2464 2296 -2504 2556 -2420 -2320 2536 -2340 2560 -2392 2280 -2280 -2628 -2456 -2280 -2300 -2588 2412 2392 -2320 -2328 2340 -2588 -2600 -2600 2280 -2640 -2640 -2592 -2436 -2608 2488 2364 -2364 2292 -2372 -2608 2496 2380 -2376 -2376 2640 -2640 -2448 -2452 -2600 2640 -2532 2448 2312 -2328 2392 2384 -2640 -2532 2452 -2280 -2548 -2560 -2604 2568 2412 2280 -2452 2640 -2424 -2280 2624 2584 -2612 -2592 -2544 -2320 -2516 -2456 -2280 -2352 -2444 -2600 -2572 -2392 -2520 2600 2368 -2280 -2640 2640 2404 2396 -2640 2336 2280 -2296 -2408 2284 -2584 -2596 -2344 -2572 -2464 -2556 -2436 -2536 -2280 2432 2372 -2448 -2280 -2320 -2396 -2304 -2512 2320 -2332 2512 2320 -2640 2548 -2380 -2468 -2588 -2460 -2340 2372 -2404 -2492 -2536 -2636 -2364 -2480 -2552 -2432 2376 -2484 2508 -2600 2296 2320 -2480 2540 -2600 -2552 -2408 2624 -2320 2592 -2540 2324 -2324 2568 2464 2552 -2600 2280 -2556 -2468 -2408 -2280 -2640 2496 -2336 2480 -2340 -2556 2572 -2520 2452 -2600 -2640 -2396 -2548 -2348 2352 -2600 -2528 2428 -2600 -2460 -2280 -2280 2404 2580 -2384 2320 -2468 -2320 2640 -2340 -2392 -2636 -2356 -2288 -2408 -2528 -2564 2556 -2292 -2436 -2624 -2460 2288 -2424 2384 2476 2640 -2320 -2600 -2324 2512 2552 2516 -2560 2500 2624 2572 -2616 2280 2312 2372 -2284 -2636 -2612 2356 2596 2600 2636 -2320 -2468 2404 -2640 -2472 2632 2560 -2332 2444 2500 -2280 -2432 -2640 2476 -2548 2560 -2568 2352 -2600 -2320 2420 2452 -2332 -2292 2508 -2460 -2428 -2356 -2292 2396 -2292 -2484 -2476 2592 -2512 -2328 -2292 -2640 2500 2348 -2492 -2500 -2640 2584 2520 -2496 -2584 -2356 2424 -2600 -2620 2396 -2308 2444 2400 2324 -2344 2480 -2384 2540 -2308 2560 2456 2484 -2404 -2520 2352 -2280 2280 -2364 2620 2320 2384 2596 -2640 -2304 -2496 -2640 -2280 -2640 -2432 -2384 -2632 2280 -2332 2424 2404 2368 2416 -2396 -2432 -2388 2536 -2512 -2396 2388 -2564 -2376 -2348 2600 2356 -2552 2280 -2600 -2568 -2500 -2640 -2416 -2284 -2516 -2548 -2584 2300 -2392 2580 -2368 -2448 2520 2572 -2496 2436 2392 -2600 -2336 -2320 -2368 -2376 -2600 -2488 -2592 -2360 -2600 2464 -2376 -2460 -2556 -2524 -2456 -2492 -2484 -2280 2376 2380 -2352 2600 -2320 2396 -2488 -2640 2620 -2352 2284 2528 2436 -2500 -2356 2548 -2368 2504 -2376 -2280 2488 -2300 2336 2460 -2576 -2384 -2640 2280 -2280 -2320 2456 2548 2316 2532 -2320 -2424 -2340 2320 -2288 2600 2380 2436 -2372 -2460 -2480 2532 -2456 2624 2640 -2344 -2600 -2408 -2640 -2624 -2428 -2600 2600 -2584 2484 -2600 -2396 -2308 2628 -2640 -2436 -2428 -2540 -2632 -2280 -2596 2520 -2456 2344 -2408 -2412 -2320 2484 -2344 -2412 -2344 -2488 -2488 2464 2600 2420 -2632 2568 2504 2392 2516 -2472 -2520 2416 2528 2628 -2548 -2348 2464 -2600 2280 -2440 2536 -2280 -2420 -2384 2284 -2640 -2496 -2496 -2600 2600 -2440 -2528 -2416 2540 -2280 -2292 -2584 -2392 2376 2640 -2568 -2640 -2640 2484 -2448 2512 2304 2320 2596 2476 2372 -2328 2400 -2640 2320 2460 2600 2440 -2640 -2320 2508 2280 2572 -2596 2312 -2384 -2640 2320 2544 -2280 2640 2416 -2492 -2364 2608 -2352 -2324 -2296 -2352 -2504 -2332 -2364 2320 -2280 2640 2320 -2320 -2280 2476 -2588 2504 -2640 2356 2304 -2584 -2320 2324 -2432 2360 2540 -2308 -2488 -2640 2588 2360 -2420 -2624 -2320 2628 2504 -2600 -2640 -2600 -2356 -2404 -2588 -2568 2360 2580 2452 2280 2516 2360 2600 2496 -2360 -2476 -2432 -2380 2340 -2632 -2396 2448 -2448 2460 2600 2496 2580 -2552 -2316 2596 -2500 2280 2640 -2444 -2612 2380 -2588 -2600 2524 2640 2296 -2560 -2580 -2408 2640 -2280 -2344 2468 -2420 -2384 -2312 -2320 -2548 2588 -2420 -2280 -2600 2564 2340 2544 -2640 -2396 2416 2396 2332 -2292 -2608 2520 -2640 -2444 2548 -2612 2580 -2588 2612 2620 2572 2468 -2440 -2280 -2356 -2600 2460 -2316 2336 -2352 -2280 2280 -2288 2280 2440 2448 -2616 2572 2612 -2352 2568 2580 2600 -2504 -2628 2340 2420 -2304 2376 -2576 -2360 -2640 -2616 2396 2528 2388 -2560 2600 -2340 -2428 2404 -2440 -2420 -2576 -2572 2404 -2528 2320 -2520 -2492 2560 -2396 -2324 2564 2320 2284 2320 -2616 -2320 2600 2428 -2640 -2292 -2508 2520 -2600 2472 -2600 -2344 -2584 2312 -2280 2488 2320 -2600 -2624 -2380 -2640 -2452 2280 2296 -2280 2420 -2444 -2284 -2300 -2328 2440 -2528 2460 2316 2416 2600 -2640 -2576 -2384 -2388 -2548 -2296 -2392 2396 -2600 -2300 2420 2492 -2556 -2304 -2504 -2596 -2280 -2320 -2304 2424 2436 2532 -2280 -2424 2484 -2532 -2392 -2484 -2500 -2420 2584 -2592 2480 -2628 -2312 -2484 -2336 2356 2360 2572 2552 -2600 2488 2368 2396 2584 2468 -2600 -2440 -2444 -2280 2476 2432 2372 -2464 -2280 -2380 -2328 2504 -2616 2540 2320 -2392 2432 -2432 -2320 -2588 -2512 2456 -2628 -2412 2584 2616 2528 -2384 -2588 2512 -2416 2340 2640 2284 -2588 2408 -2280 -2472 -2428 -2456 2420 -2620 -2304 2396 -2392 -2468 2408 2548 -2460 -2548 2480 2320 -2628 -2536 2336 -2348 -2368 -2404 2508 -2504 -2320 2496 2392 -2280 -2600 -2320 -2612 -2512 -2640 -2320 2396 2500 -2336 2328 -2588 2436 2296 2444 2584 -2488 2280 -2588 -2464 -2616 -2384 -2336 -2640 2444 -2288 2508 -2440 -2568 2280 2388 -2288 -2448 -2576 2512 -2628 -2508 2448 2588 2280 -2488 -2292 2612 -2600 2556 -2424 2412 2288 2528 2356 -2448 -2320 -2424 2444 -2300 2328 -2388 2428 -2612 -2372 2328 -2348 2532 -2416 -2516 -2424 2376 2416 -2468 -2600 -2316 2392 2348 2340 2456 2404 2484 -2452 2464 -2568 2280 2640 -2420 -2556 -2524 -2600 2320 -2524 -2472 2628 2372 -2552 -2360 2532 -2628 -2580 -2532 -2636 2372 2368 -2472 -2468 -2372 -2592 -2280 -2280 -2640 -2600 -2356 2320 -2324 -2596 -2588 2348 2504 -2416 -2368 2540 2316 -2640 2452 -2560 -2388 2620 2292 -2468 2624 2280 -2300 -2348 2572 2540 -2584 2556 -2420 2596 -2576 -2552 -2420 -2572 2424 -2300 -2624 -2600 2548 -2304 -2504 2368 -2376 -2640 -2600 -2324 2492 2284 2472 -2344 2300 -2328 2464 -2336 -2436 -2380 2600 -2436 -2640 2464 -2368 -2404 -2600 -2512 -2436 -2540 2636 -2432 -2560 -2332 -2288 2288 -2640 2612 -2508 -2364 -2468 2344 -2396 2320 -2456 2540 2536 -2584 -2388 2396 -2584 2440 -2328 2280 2412 -2476 -2344 2620 -2608 -2512 -2384 -2432 -2416 -2456 -2636 -2576 -2320 -2528 -2612 2600 -2320 2412 -2496 -2352 -2384 -2576 2588 -2488 -2448 2320 -2580 2544 2432 -2476 -2428 2320 2588 -2624 -2520 -2508 2404 -2552 -2316 -2512 -2616 -2640 2388 2572 -2424 -2400 -2480 -2640 -2320 2640 2416 -2352 -2600 -2332 2456 2428 -2404 -2280 -2412 -2600 2360 2280 -2356 -2280 -2324 2508 -2580 2336 2380 -2456 -2600 2640 2284 2324 -2384 -2356 2560 -2484 -2448 -2564 -2592 -2320 2320 -2588 2280 -2280 -2408 -2424 -2280 -2636 2640 -2396 -2596 -2408 -2628 -2476 -2492 -2320 -2416 2380 -2424 -2284 -2600 -2624 -2300 -2552 2320 -2640 -2320 -2592 -2320 -2288 -2320 2336 -2280 2464 2480 -2416 2488 -2428 -2372 2588 2488 2476 -2640 -2600 -2568 2544 -2456 -2428 -2320 -2476 -2300 -2428 2640 -2456 -2320 2456 2536 2580 2376 -2344 2588 -2324 -2600 -2416 -2416 -2324 -2640 2376 -2512 -2324 -2600 -2388 -2292 -2640 -2408 2508 2412 2516 2512 2356 -2300 -2532 -2516 2444 -2336 -2420 2456 -2472 -2280 -2568 -2320 2280 2348 -2568 -2504 2552 2480 -2320 -2408 -2472 -2380 2340 -2324 -2572 -2508 -2636 -2400 -2356 2552 2580 2592 2280 2380 -2432 -2408 -2372 -2520 -2616 -2324 -2328 -2308 2280 -2400 2356 2280 -2284 -2536 -2320 -2332 2456 2344 2600 -2368 -2356 2420 -2436 2280 -2624 -2616 -2440 -2604 -2600 2616 2320 2320 -2640 -2628 2372 -2460 -2640 -2640 2576 2436 -2408 2600 -2640 -2600 -2480 2356 -2544 2552 -2320 -2300 2572 -2280 2608 -2548 2284 2320 2464 -2472 -2504 2392 -2564 -2456 -2380 -2496 2524 2460 -2368 -2368 2480 2300 2500 -2528 -2640 2324 2572 -2352 2596 -2608 -2588 -2600 -2532 -2596 -2332 -2620 -2564 2472 -2476 -2544 2556 -2464 -2412 -2500 2332 2536 -2640 2640 -2308 -2544 2572 -2572 -2640 2600 -2508 -2600 -2472 2344 -2332 -2328 2580 -2480 2564 2564 2516 -2592 -2484 2332 2620 -2520 2600 2376 -2600 2604 -2428 2624 2600 -2344 2428 -2564 -2328 -2488 -2572 -2636 -2600 2600 -2640 2392 -2332 -2324 -2364 2516 -2280 2464 -2580 -2456 -2552 -2360 2504 -2392 -2376 2396 -2480 -2480 -2344 -2596 2296 -2580 2304 -2480 2556 -2524 -2440 2348 -2448 -2436 -2552 -2460 2372 2292 -2520 -2640 -2552 2584 -2320 -2280 2364 -2600 -2288 2524 -2536 -2596 -2588 2628 2368 -2300 -2480 2300 2576 2580 2600 -2452 -2640 2508 -2400 -2424 2600 2616 2520 -2304 -2408 2460 2528 -2564 -2320 2424 -2288 -2320 2464 -2304 2280 2620 2500 2340 2280 -2600 -2320 -2424 -2412 -2640 -2332 -2640 2600 -2340 -2444 -2484 -2556 -2356 -2528 2320 -2580 -2596 -2528 2564 -2388 2336 -2320 -2340 -2544 2280 -2332 -2324 -2340 2532 2516 -2640 -2340 2312 -2280 -2600 -2640 -2424 -2436 2640 -2392 -2600 2280 2488 -2376 -2340 2584 2560 -2444 -2480 2280 2524 2480 -2496 2332 2596 2396 -2428 -2280 2340 -2496 -2304 -2568 2348 2408 -2640 -2360 2312 -2436 -2368 2320 -2548 -2524 -2520 2500 -2500 -2624 -2280 2528 -2492 -2320 -2344 -2424 -2640 -2320 -2436 -2516 -2460 -2600 2640 -2464 -2580 -2396 -2624 2384 2400 2364 2412 -2448 -2280 -2444 2280 2336 -2280 -2320 -2600 2472 2344 2280 2348 -2308 2484 2352 -2392 2536 -2308 -2316 -2412 2608 -2332 2624 -2344 -2320 -2548 -2420 -2324 -2320 -2320 -2572 -2604 -2436 2468 -2332 -2320 -2320 -2516 2316 -2564 2608 -2452 -2512 -2452 2584 2548 -2492 -2456 2600 -2324 -2440 -2320 2320 -2392 -2552 -2320 -2600 2280 2544 2492 -2404 -2600 -2640 -2616 2320 -2540 2616 -2568 2464 -2584 2324 -2396 -2388 -2312 2448 -2540 2316 2580 -2580 -2408 2380 2576 -2424 -2480 -2424 2456 -2468 -2300 2564 -2352 -2636 2452 -2488 -2368 -2372 -2344 2436 2324 -2536 -2460 2432 2516 -2416 2280 2308 -2368 -2600 -2584 2564 2280 -2600 -2308 2548 2388 2568 -2460 -2480 -2380 -2408 2584 2320 2544 2600 -2476 2564 -2612 -2468 -2640 -2292 2340 -2492 -2468 2452 2584 -2612 -2572 -2320 -2352 2588 2360 -2372 2304 -2408 2472 -2560 -2292 -2296 -2320 -2372 -2600 2560 -2320 2356 2280 2572 2452 2528 2436 -2376 -2452 2304 2432 -2384 -2624 2496 2640 -2600 -2320 -2460 2464 -2424 -2476 -2344 -2292 -2328 2488 2600 2436 2632 2444 -2608 -2288 2552 -2344 2600 -2388 -2600 -2428 -2632 2600 -2576 2412 2640 -2600 -2600 -2356 2516 -2480 2320 2500 2480 -2576 2540 2384 -2476 -2584 -2516 2504 2320 -2580 -2352 2388 2512 -2320 -2600 -2556 -2604 -2600 2544 -2372 -2336 2312 2640 2332 -2640 2308 2340 -2296 -2472 2400 -2580 2468 2324 -2632 2548 -2280 -2600 2540 -2280 -2368 -2312 2336 -2336 -2444 2512 2304 2340 2312 2600 -2600 2556 -2408 -2528 -2600 -2456 2420 -2320 -2376 2280 -2568 -2540 -2492 2356 2324 -2496 -2452 -2320 -2512 -2388 2608 2532 2500 2624 -2320 2584 -2328 2280 2404 -2384 -2384 -2468 -2280 2556 2328 -2320 -2548 -2320 -2340 2280 -2440 -2640 -2592 -2524 -2340 2360 -2380 2476 2308 -2600 -2328 -2544 -2552 -2328 2384 -2428 2320 -2332 2604 -2428 -2360 2416 2544 -2332 2312 -2384 -2576 2572 2576 -2508 -2332 2620 2332 -2320 2316 -2424 2500 2388 -2336 2300 -2332 2640 2424 -2292 2288 2340 2516 2352 -2320 -2488 2600 2596 -2280 -2416 2540 -2612 2564 -2496 2344 2280 -2404 -2320 2284 -2280 -2528 -2320 2576 2640 2612 2320 2600 -2524 -2620 2324 -2344 -2344 -2448 -2336 2280 -2300 2596 2476 -2428 -2596 2516 2516 -2368 2328 -2576 -2636 2336 -2332 -2284 2556 -2604 -2324 -2340 -2516 2548 -2360 -2488 2640 -2416 -2508 -2576 -2568 2540 -2292 -2588 -2372 2336 -2320 2332 -2300 -2472 -2320 -2328 -2380 -2492 -2408 2512 -2468 -2568 -2384 2396 2584 2280 -2568 -2320 -2292 -2332 -2580 -2332 2404 -2460 2428 -2320 -2576 -2336 -2540 -2300 -2304 2560 2352 2600 -2568 2596 2356 2320 -2440 2416 -2424 2484 -2600 2560 -2472 2580 2320 -2288 -2616 -2320 -2508 2640 2356 2632 -2324 -2480 2560 -2640 -2568 -2424 -2520 -2640 -2472 2572 -2280 2556 2528 -2604 -2404 2396 -2348 -2520 2584 -2380 -2464 -2640 2600 -2596 -2336 2548 2384 2408 2636 -2520 2296 2280 2496 2444 2556 2320 2572 -2640 2320 2476 -2368 2600 -2280 -2340 -2560 -2636 -2480 2320 2552 2280 -2504 -2476 -2292 2596 -2400 -2280 2580 2468 2536 -2280 -2340 2556 -2436 2516 -2364 -2372 2348 2616 -2308 -2640 -2392 -2364 2280 -2300 -2484 2464 -2504 -2460 2348 2488 2540 2320 -2600 -2496 -2376 2420 -2348 -2332 2600 -2372 -2452 -2500 -2640 2520 -2428 2528 2320 2592 2500 2640 2532 2380 2480 -2620 -2596 -2296 -2640 -2472 -2596 2592 2448 -2288 -2640 -2336 2380 2448 -2388 2412 -2456 2324 -2332 -2588 2320 2320 -2600 -2328 2400 2300 -2520 2544 2640 2356 -2596 2548 2544 -2508 -2328 -2352 -2640 -2344 2280 -2524 -2396 2344 -2412 -2320 2336 2336 -2500 -2600 -2640 2408 -2516 -2600 -2444 -2640 -2428 2280 -2640 -2572 -2520 -2488 2584 -2280 2384 2384 2404 2280 2488 2516 2448 -2332 -2516 -2280 2428 -2328 -2600 -2452 2616 -2480 2576 -2600 -2432 2372 -2640 2588 2488 2584 2452 -2396 2476 -2572 2576 -2396 -2344 2320 -2280 2324 -2280 -2580 2352 2480 -2456 -2340 2292 2484 -2640 -2592 2596 2640 -2428 -2520 -2492 -2420 2568 2448 2368 -2640 -2380 2388 2620 -2640 -2416 2624 -2356 2364 2308 2588 2528 -2376 -2468 -2280 -2600 2636 2420 2568 -2424 2328 2568 -2340 2600 -2356 -2392 -2584 2484 -2416 2500 -2332 -2320 2624 -2384 -2388 -2476 2532 -2532 2612 -2296 2320 -2360 -2332 2404 2296 2440 2356 -2640 -2484 2348 -2408 2508 2520 -2512 -2396 -2624 -2356 -2604 -2624 2336 -2472 2600 -2416 2332 2424 -2428 2328 2320 2352 2500 -2368 -2364 -2424 2284 -2332 -2600 -2472 2412 -2376 2564 -2384 2352 2432 2548 2600 2508 2612 2600 2332 -2640 -2580 -2584 2424 2320 2456 2384 -2392 -2600 2552 -2524 2348 -2636 -2564 -2308 2316 2640 2520 -2588 -2332 2324 -2440 2564 -2548 -2640 
181.38/182.38	d NODES 10241
181.38/182.38	d CHECKS 322191236
181.38/182.38	   
181.38/182.38	   totalWckTime=182.204  totalCpuTime=179.11

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085761-1215235399/watcher-1085761-1215235399 -o /tmp/evaluation-result-1085761-1215235399/solver-1085761-1215235399 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085761-1215235399.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.50 2.15 2.05 4/73 2585
/proc/meminfo: memFree=1636120/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=18572 CPUtime=0
/proc/2585/stat : 2585 (runsolver) R 2583 2585 2342 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 635795630 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 254613712167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2585/statm: 4643 292 257 25 0 2626 0

[startup+0.0433879 s]
/proc/loadavg: 2.50 2.15 2.05 4/73 2585
/proc/meminfo: memFree=1636120/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=861876 CPUtime=0.03
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 2344 0 1 0 2 1 0 0 21 0 5 0 635795630 882561024 1935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 215469 1935 892 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.102396 s]
/proc/loadavg: 2.50 2.15 2.05 4/73 2585
/proc/meminfo: memFree=1636120/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=865884 CPUtime=0.09
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 3742 0 1 0 7 2 0 0 21 0 9 0 635795630 886665216 3205 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216471 3205 1697 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.302418 s]
/proc/loadavg: 2.50 2.15 2.05 4/73 2585
/proc/meminfo: memFree=1636120/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=866408 CPUtime=0.29
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 6023 0 1 0 25 4 0 0 21 0 9 0 635795630 887201792 5397 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216602 5397 1956 9 0 211130 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866408

[startup+0.701469 s]
/proc/loadavg: 2.50 2.15 2.05 4/73 2585
/proc/meminfo: memFree=1636120/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867416 CPUtime=0.69
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 12902 0 1 0 61 8 0 0 21 0 9 0 635795630 888233984 12262 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216854 12262 2010 9 0 211360 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867416

[startup+1.50155 s]
/proc/loadavg: 2.50 2.15 2.05 4/82 2594
/proc/meminfo: memFree=1578000/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867460 CPUtime=1.48
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 21201 0 1 0 136 12 0 0 21 0 9 0 635795630 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216865 20537 2004 9 0 211393 0
[pid=2585/tid=2587] ppid=2583 vsize=867460 CPUtime=1.21
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 15744 0 1 0 112 9 0 0 25 0 9 0 635795631 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 102888644 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867460 CPUtime=0.06
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 4129 0 0 0 5 1 0 0 17 0 9 0 635795633 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867460 CPUtime=0.17
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 631 0 0 0 17 0 0 0 16 0 9 0 635795635 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635795635 888279040 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867460

[startup+3.10173 s]
/proc/loadavg: 2.50 2.15 2.05 3/82 2594
/proc/meminfo: memFree=1549264/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867460 CPUtime=3.07
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 25842 0 1 0 292 15 0 0 21 0 9 0 635795630 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216865 25174 2006 9 0 211393 0
[pid=2585/tid=2587] ppid=2583 vsize=867460 CPUtime=2.59
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 15781 0 1 0 249 10 0 0 25 0 9 0 635795631 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4126902007 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867460 CPUtime=0.25
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 8717 0 0 0 22 3 0 0 17 0 9 0 635795633 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867460 CPUtime=0.2
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 647 0 0 0 20 0 0 0 15 0 9 0 635795635 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635795635 888279040 25174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867460

[startup+6.30208 s]
/proc/loadavg: 2.46 2.14 2.05 3/82 2594
/proc/meminfo: memFree=1542288/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867460 CPUtime=6.25
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 25872 0 1 0 610 15 0 0 21 0 9 0 635795630 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216865 25202 2006 9 0 211393 0
[pid=2585/tid=2587] ppid=2583 vsize=867460 CPUtime=5.74
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 15783 0 1 0 564 10 0 0 25 0 9 0 635795631 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4126917338 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867460 CPUtime=0.25
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 8717 0 0 0 22 3 0 0 16 0 9 0 635795633 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867460 CPUtime=0.22
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 675 0 0 0 22 0 0 0 15 0 9 0 635795635 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635795635 888279040 25202 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867460

[startup+12.7018 s]
/proc/loadavg: 2.43 2.14 2.05 3/82 2594
/proc/meminfo: memFree=1533136/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867460 CPUtime=12.62
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 28169 0 1 0 1243 19 0 0 21 0 9 0 635795630 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216865 27495 2006 9 0 211393 0
[pid=2585/tid=2587] ppid=2583 vsize=867460 CPUtime=11.97
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 15788 0 1 0 1184 13 0 0 25 0 9 0 635795631 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4126935845 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867460 CPUtime=0.39
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 11002 0 0 0 35 4 0 0 16 0 9 0 635795633 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867460 CPUtime=0.25
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 682 0 0 0 24 1 0 0 15 0 9 0 635795635 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635795635 888279040 27495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867460

[startup+25.5022 s]
/proc/loadavg: 2.33 2.13 2.05 3/82 2594
/proc/meminfo: memFree=1513936/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867460 CPUtime=25.36
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 33015 0 1 0 2511 25 0 0 21 0 9 0 635795630 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216865 32334 2007 9 0 211393 0
[pid=2585/tid=2587] ppid=2583 vsize=867460 CPUtime=24.3
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 15796 0 1 0 2414 16 0 0 25 0 9 0 635795631 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 102887769 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867460 CPUtime=0.74
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 15817 0 0 0 68 6 0 0 17 0 9 0 635795633 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 635795633 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867460 CPUtime=0.28
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 705 0 0 0 27 1 0 0 16 0 9 0 635795635 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 635795635 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867460 CPUtime=0
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 635795635 888279040 32334 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 867460

[startup+51.1021 s]
/proc/loadavg: 2.27 2.14 2.05 3/82 2598
/proc/meminfo: memFree=1478600/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867872 CPUtime=50.82
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 74030 1070 1 0 5024 36 20 2 21 0 9 0 635795630 888700928 41794 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216968 41794 2638 9 0 211474 0
[pid=2585/tid=2587] ppid=2583 vsize=867872 CPUtime=48.9
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 30425 1070 1 0 4848 20 20 2 25 0 9 0 635795631 888700928 41794 996147200 134512640 134550740 4294955968 18446744073709551615 4127139172 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867872 CPUtime=1.69
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 41784 1070 0 0 135 12 20 2 17 0 9 0 635795633 888700928 41794 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 14 1070 0 0 0 0 20 2 16 0 9 0 635795633 888700928 41794 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 25 1070 0 0 0 0 20 2 15 0 9 0 635795633 888700928 41794 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41794 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867872 CPUtime=0.63
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 963 1070 0 0 40 1 20 2 15 0 9 0 635795635 888700928 41794 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867872 CPUtime=0.22

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

/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 25 1070 0 0 0 0 20 2 15 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867872 CPUtime=0.69
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 989 1070 0 0 45 2 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 9 1070 0 0 0 0 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 165.46
Current children cumulated vsize (KiB) 867872

[startup+172.707 s]
/proc/loadavg: 2.03 2.09 2.04 3/82 2598
/proc/meminfo: memFree=1478408/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867872 CPUtime=171.84
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 74073 1070 1 0 17125 37 20 2 21 0 9 0 635795630 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216968 41815 2638 9 0 211474 0
[pid=2585/tid=2587] ppid=2583 vsize=867872 CPUtime=169.85
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 30441 1070 1 0 16943 20 20 2 25 0 9 0 635795631 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4126903835 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867872 CPUtime=1.69
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 41784 1070 0 0 135 12 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 14 1070 0 0 0 0 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 25 1070 0 0 0 0 20 2 15 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867872 CPUtime=0.69
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 990 1070 0 0 45 2 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 9 1070 0 0 0 0 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 171.84
Current children cumulated vsize (KiB) 867872

[startup+179.102 s]
/proc/loadavg: 2.03 2.08 2.04 3/82 2598
/proc/meminfo: memFree=1478408/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867872 CPUtime=178.2
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 74073 1070 1 0 17761 37 20 2 21 0 9 0 635795630 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216968 41815 2638 9 0 211474 0
[pid=2585/tid=2587] ppid=2583 vsize=867872 CPUtime=176.22
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 30441 1070 1 0 17580 20 20 2 25 0 9 0 635795631 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4127491019 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867872 CPUtime=1.69
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 41784 1070 0 0 135 12 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 14 1070 0 0 0 0 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 25 1070 0 0 0 0 20 2 15 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867872 CPUtime=0.69
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 990 1070 0 0 45 2 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 9 1070 0 0 0 0 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 178.2
Current children cumulated vsize (KiB) 867872

[startup+180.702 s]
/proc/loadavg: 2.03 2.08 2.04 3/82 2598
/proc/meminfo: memFree=1478408/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867872 CPUtime=179.79
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 74073 1070 1 0 17920 37 20 2 21 0 9 0 635795630 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216968 41815 2638 9 0 211474 0
[pid=2585/tid=2587] ppid=2583 vsize=867872 CPUtime=177.81
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 30441 1070 1 0 17739 20 20 2 25 0 9 0 635795631 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4126903335 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867872 CPUtime=1.69
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 41784 1070 0 0 135 12 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 14 1070 0 0 0 0 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 25 1070 0 0 0 0 20 2 15 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867872 CPUtime=0.69
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 990 1070 0 0 45 2 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 9 1070 0 0 0 0 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 179.79
Current children cumulated vsize (KiB) 867872

[startup+181.507 s]
/proc/loadavg: 2.03 2.08 2.04 3/82 2598
/proc/meminfo: memFree=1478408/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867872 CPUtime=180.59
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 74073 1070 1 0 18000 37 20 2 21 0 9 0 635795630 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216968 41815 2638 9 0 211474 0
[pid=2585/tid=2587] ppid=2583 vsize=867872 CPUtime=178.61
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 30441 1070 1 0 17819 20 20 2 25 0 9 0 635795631 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4127492758 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867872 CPUtime=1.69
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 41784 1070 0 0 135 12 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 14 1070 0 0 0 0 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 25 1070 0 0 0 0 20 2 15 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867872 CPUtime=0.69
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 990 1070 0 0 45 2 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 9 1070 0 0 0 0 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 180.59
Current children cumulated vsize (KiB) 867872

[startup+181.902 s]
/proc/loadavg: 2.03 2.08 2.04 3/82 2598
/proc/meminfo: memFree=1478408/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867872 CPUtime=180.98
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 74073 1070 1 0 18039 37 20 2 21 0 9 0 635795630 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216968 41815 2638 9 0 211474 0
[pid=2585/tid=2587] ppid=2583 vsize=867872 CPUtime=179
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 30441 1070 1 0 17858 20 20 2 25 0 9 0 635795631 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4127446115 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867872 CPUtime=1.69
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 41784 1070 0 0 135 12 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 14 1070 0 0 0 0 20 2 16 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 25 1070 0 0 0 0 20 2 15 0 9 0 635795633 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867872 CPUtime=0.69
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 990 1070 0 0 45 2 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 9 1070 0 0 0 0 20 2 15 0 9 0 635795635 888700928 41815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 180.98
Current children cumulated vsize (KiB) 867872

[startup+182.302 s]
/proc/loadavg: 2.03 2.08 2.04 3/82 2598
/proc/meminfo: memFree=1478408/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=867872 CPUtime=181.38
/proc/2585/stat : 2585 (java) S 2583 2585 2342 0 -1 0 74078 1070 1 0 18079 37 20 2 21 0 9 0 635795630 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 216968 41820 2638 9 0 211474 0
[pid=2585/tid=2587] ppid=2583 vsize=867872 CPUtime=179.4
/proc/2585/task/2587/stat : 2587 (java) R 2583 2585 2342 0 -1 64 30443 1070 1 0 17898 20 20 2 25 0 9 0 635795631 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4127517856 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2588] ppid=2583 vsize=867872 CPUtime=1.69
/proc/2585/task/2588/stat : 2588 (java) S 2583 2585 2342 0 -1 64 41784 1070 0 0 135 12 20 2 16 0 9 0 635795633 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2589] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2589/stat : 2589 (java) S 2583 2585 2342 0 -1 64 14 1070 0 0 0 0 20 2 16 0 9 0 635795633 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2590] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2590/stat : 2590 (java) S 2583 2585 2342 0 -1 64 25 1070 0 0 0 0 20 2 15 0 9 0 635795633 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2591] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2591/stat : 2591 (java) S 2583 2585 2342 0 -1 64 1 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2592] ppid=2583 vsize=867872 CPUtime=0.69
/proc/2585/task/2592/stat : 2592 (java) S 2583 2585 2342 0 -1 64 993 1070 0 0 45 2 20 2 16 0 9 0 635795635 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2593] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2593/stat : 2593 (java) S 2583 2585 2342 0 -1 64 2 1070 0 0 0 0 20 2 25 0 9 0 635795635 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2585/tid=2594] ppid=2583 vsize=867872 CPUtime=0.22
/proc/2585/task/2594/stat : 2594 (java) S 2583 2585 2342 0 -1 64 9 1070 0 0 0 0 20 2 15 0 9 0 635795635 888700928 41820 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 181.38
Current children cumulated vsize (KiB) 867872

[startup+182.402 s]
/proc/loadavg: 2.03 2.08 2.04 3/82 2598
/proc/meminfo: memFree=1478408/2055920 swapFree=4179368/4192956
[pid=2585] ppid=2583 vsize=0 CPUtime=181.48
/proc/2585/stat : 2585 (java) Z 2583 2585 2342 0 -1 12 74119 1070 1 0 18088 38 20 2 16 0 2 0 635795630 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2585/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 181.48
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.414
CPU time (s): 181.505
CPU user time (s): 181.084
CPU system time (s): 0.420936
CPU usage (%): 99.5018
Max. virtual memory (cumulated for all children) (KiB): 867872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.084
system time used= 0.420936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75189
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= 6300
involuntary context switches= 8739

runsolver used 0.266959 second user time and 0.565913 second system time

The end

Launcher Data (download as text)

Begin job on node87 at 2008-07-05 07:23:20
IDJOB=1085761
IDBENCH=57693
IDSOLVER=363
FILE ID=node87/1085761-1215235399
PBS_JOBID= 7881958
Free space on /tmp= 66480 MiB

SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp15/normalized-fapp15-3000-8.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085761-1215235399/watcher-1085761-1215235399 -o /tmp/evaluation-result-1085761-1215235399/solver-1085761-1215235399 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085761-1215235399.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 3783482c1cbff3c4a72df59d958779fb
RANDOM SEED=954628629

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1636472 kB
Buffers:         69100 kB
Cached:         269388 kB
SwapCached:       7632 kB
Active:         187544 kB
Inactive:       179548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1636472 kB
SwapTotal:     4192956 kB
SwapFree:      4179368 kB
Dirty:            6728 kB
Writeback:           0 kB
Mapped:          36100 kB
Slab:            37564 kB
Committed_AS:  1665584 kB
PageTables:       1872 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264992 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66476 MiB
End job on node87 at 2008-07-05 07:26:22