Trace number 2097756

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 112v4 ESACSAT 66.3489 67.0085

DiagnosticValue
CHECKS91885400
NODES4568

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.04/0.09	
0.04/0.09	Abscon 112 (May, 2008)
0.18/0.25	
0.18/0.25	   configuration
0.18/0.25	     name=esac.xml
0.18/0.29	   
0.18/0.29	   instance
0.18/0.29	     name=HOME/instance-2097756-1247413968.xml
0.28/0.32	   
0.28/0.32	   domains being loaded...
0.28/0.36	   
0.28/0.36	   variables being loaded...
0.58/0.63	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182  nbTotalValues=515606
0.58/0.63	       =>  wckTime=0.377  cpuTime=0.26  mem=29M383
0.58/0.63	   
0.58/0.63	   predicates being loaded...
0.58/0.69	   
0.58/0.69	   constraints being loaded...
20.78/21.08	   
20.78/21.08	   INFO : Stopping converting binary constraints (cpu=20.06, mem = 69M716)
29.00/29.35	     nbConstraints=17755  nbGlobalConstraints=1  nbMergedConstraints=15267  nbConvertedConstraints=1531
29.00/29.35	     nbConvertConstraintsChecks=43614640  nbExtensionStructures=1356  nbSharedExtensionStructures=792
29.00/29.35	     nbConflictsStructures=2140  nbSharedConflictsStructures=876  nbUnbuiltConflictsStructures=6830
29.00/29.35	     nbSharedBinaryRepresentations=371530  nbEvaluationManagers=7614  nbSharedEvaluationManagers=8609  minDegree=2
29.00/29.35	     maxDegree=16  minArity=2  avgArity=2  maxArity=5  nbGenerators=0  nbFusions=0  symmetryWckTime=1.611
29.00/29.35	     symmetryCpuTime=1.26  nbCliques=1
29.00/29.35	       =>  wckTime=29.095  cpuTime=27.41  mem=69M446
29.41/29.79	   
29.41/29.79	   solver IterativeSystematicSolver being built... 
29.70/30.08	   
29.70/30.08	   INFO : Forward propagation technique limited 
29.91/30.28	       =>  wckTime=30.032  cpuTime=27.78  mem=128M961
43.78/44.27	   
43.78/44.27	   preprocessing
43.78/44.27	     nbConstraintChecks=41930685  nbValidityChecks=574384  nbPropagations=3135  nbRevisions=32874
43.78/44.27	     nbUselessRevisions=31832  nbRemovedValues=36691  detectedInconsistency=no
43.78/44.27	       =>  wckTime=13.971  cpuTime=13.8  mem=130M61
66.26/66.94	   
66.26/66.94	   search
66.26/66.94	     run=1  nbConstraintChecks=49954714  nbValidityChecks=52096902  minDepth=1557  maxDepth=3000  nbPropagations=105826
66.26/66.94	     nbRevisions=882970  nbUselessRevisions=785579  nbAssignments=4568  nbFailedAssignments=11  nbBacktracks=0
66.26/66.94	     nbVisitedNodes=4580  nbRestartNogoods=10  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
66.26/66.94	     nbDEliminables=?  nbPEliminables=?
66.26/66.94	       =>  wckTime=36.639  cpuTime=36.21  mem=133M77
66.26/66.94	   
66.26/66.94	   global
66.26/66.94	     nbConstraintChecks=91885399  nbValidityChecks=52671286  nbPropagations=108961  nbRevisions=915844
66.26/66.94	     nbUselessRevisions=817411  nbRestartNogoods=10  solvingWckTime=36.641  solvingCpuTime=36.21  expiredTime=no
66.26/66.94	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=63.88  globalCpuTime=64.05
66.26/66.94	       =>  wckTime=66.685  cpuTime=64.01  mem=133M77
66.26/66.94	   
66.26/66.94	s SATISFIABLE
66.26/66.94	v -2560 2500 -2556 2580 -2592 2620 -2336 -2600 2440 -2384 2384 -2288 2280 2280 -2640 2472 2376 -2280 2400 2428 2512 2408 -2500 -2640 -2392 2596 -2592 2604 -2540 -2532 -2584 -2320 -2640 2640 2360 2320 -2352 2592 -2392 -2300 -2468 2296 -2456 2500 -2304 -2428 -2488 -2344 -2616 2512 -2356 2292 -2360 -2300 2600 2332 2620 2552 2280 -2348 -2392 2508 -2460 -2564 -2592 2284 2496 2484 -2544 2284 -2436 2596 -2280 2368 2540 2496 2524 -2640 -2376 2280 -2620 -2336 -2332 -2496 -2396 2572 -2600 2280 -2300 -2640 2592 2320 -2440 -2324 2300 -2600 2444 -2540 -2640 -2600 -2292 -2564 2280 2544 2296 -2500 -2328 2340 -2628 -2592 2584 -2600 -2336 -2280 -2340 2532 2280 -2304 -2616 -2320 2372 -2580 -2516 -2608 -2336 -2280 2540 -2424 2352 -2340 2320 2408 -2316 -2600 -2600 2604 -2472 -2640 -2396 -2404 2560 -2600 -2424 -2364 2428 -2640 -2624 2348 -2540 -2468 -2344 -2572 2404 -2616 -2344 2600 -2448 2456 2572 2304 2416 -2448 2320 2548 -2584 2524 2320 2468 -2600 2424 -2640 -2468 -2432 -2348 -2400 2632 -2304 -2548 -2608 -2608 -2468 2424 -2388 2584 2472 -2484 -2604 -2376 -2348 -2456 2320 -2580 2328 2340 2396 2296 -2640 -2536 -2336 -2556 -2616 -2320 -2428 2576 -2628 2280 -2640 2480 2432 -2284 -2292 -2280 -2576 -2588 -2412 -2472 2320 2460 2336 -2620 -2292 2520 2488 -2512 2516 -2452 2312 -2380 -2320 2496 -2400 -2356 -2336 -2628 -2336 -2408 -2600 2280 2496 2616 -2320 2388 2428 -2280 2392 2416 2308 -2504 2564 -2280 -2360 2640 2592 2324 -2404 2640 2468 2492 2600 2448 2328 2364 -2456 -2640 -2640 2600 -2344 2528 -2364 -2340 2280 -2404 2380 -2360 -2600 2372 2580 2284 -2640 -2312 -2640 2340 -2476 -2600 -2416 2368 -2364 -2292 -2600 -2320 2280 2556 -2344 2460 2280 -2364 -2600 -2312 -2512 -2320 -2428 2408 -2632 -2320 2536 -2376 2280 2348 -2320 2320 -2336 -2428 2528 -2356 -2480 2452 -2452 -2392 2512 -2564 2520 -2436 -2548 2280 -2324 -2548 2444 2552 2492 -2428 -2324 -2600 -2640 2356 -2532 -2456 2300 -2336 2584 2428 2532 -2552 2472 2392 -2388 2372 -2496 2320 2336 -2624 2352 -2600 -2472 -2464 2320 -2628 -2468 2588 2488 -2600 2536 -2640 -2432 -2280 2372 2416 2352 -2448 -2280 -2624 -2320 -2580 2520 2384 -2548 2508 -2584 2280 2416 -2636 2284 -2540 -2516 2280 -2320 -2496 -2500 -2640 -2568 -2640 2600 2320 2476 -2320 -2456 2640 -2616 -2600 -2464 2300 2556 -2580 2292 -2320 -2332 2444 2388 -2640 -2440 2368 2548 2444 2392 -2596 2580 2280 2536 2364 2392 -2580 2320 2356 -2416 -2612 2444 2556 -2556 2280 2384 -2640 -2576 -2592 -2328 -2408 -2484 -2568 -2512 -2464 2408 -2428 -2468 -2384 -2600 -2612 -2360 2604 2460 -2576 2540 -2640 -2532 2548 -2548 2488 -2320 -2420 -2392 2356 -2472 -2600 -2320 -2416 -2364 2612 -2424 2572 -2496 2320 -2508 -2628 -2280 -2496 -2400 -2496 -2488 -2564 -2640 -2332 2384 -2536 -2608 2308 -2508 -2432 2432 -2600 -2388 -2640 -2280 -2316 -2640 2372 -2352 -2496 2628 2596 -2632 -2488 -2624 -2640 2596 2280 -2452 -2344 2404 -2320 -2600 -2444 -2484 2588 -2484 -2556 2336 2320 2344 -2428 -2560 -2600 2592 -2340 2348 2560 -2280 2280 -2316 -2384 2312 -2584 -2328 -2380 2500 -2636 2640 2448 2448 2336 2600 -2320 -2468 -2380 -2280 2424 -2592 -2448 2480 -2600 2280 2320 2424 -2640 2368 -2324 -2404 2440 2640 2280 -2624 -2352 -2388 2336 -2432 2376 -2380 2280 2376 2332 -2320 -2452 -2548 -2600 -2424 2412 -2500 2392 -2488 2280 2620 -2448 -2540 -2584 -2600 -2348 -2588 -2356 2452 -2500 -2600 -2600 2604 2408 2320 -2416 -2436 2532 -2284 2576 -2600 -2432 2640 -2528 -2444 -2412 2280 -2320 -2464 2632 -2516 2580 2380 2404 -2468 -2324 -2540 2444 2360 -2640 2536 -2320 2348 2384 -2612 -2596 -2600 2344 2308 2320 2400 -2500 -2596 -2636 -2388 -2436 -2420 -2600 -2468 2320 -2456 2472 -2376 2516 -2624 -2496 -2472 -2568 -2640 2280 2320 -2280 -2508 -2408 -2620 2320 2444 2400 2280 2584 2360 -2580 2348 -2500 -2320 -2324 -2520 -2532 2432 2340 -2320 -2348 -2504 -2496 -2600 -2640 -2404 2476 -2320 -2520 2280 -2384 2428 2612 2532 -2320 2588 -2492 2592 -2360 2468 2424 2464 2600 2488 2640 -2556 2488 2632 -2364 2280 -2432 2288 -2412 -2344 2440 2388 2360 2296 -2480 2584 -2520 2392 -2408 2304 -2640 2320 2636 -2600 -2320 -2380 -2640 2340 -2352 -2404 2568 -2600 2380 -2564 2288 2376 2600 2280 2388 -2600 -2292 2280 -2360 -2596 -2520 -2600 -2512 2372 2324 2388 2332 -2420 -2320 -2616 -2280 -2600 -2324 -2344 -2588 -2600 2536 2304 -2572 2380 -2600 -2424 -2588 -2324 -2400 2528 -2560 2280 -2600 -2432 2624 2344 -2448 2356 2396 2280 2424 -2640 -2600 -2476 -2476 -2580 -2456 -2576 -2284 2320 2284 -2296 -2456 -2412 2404 -2332 -2456 2284 -2444 -2528 -2476 -2320 2280 -2320 -2380 -2600 -2468 -2480 -2372 -2472 2524 2608 -2316 -2608 -2280 -2280 2504 -2432 2288 2284 2600 2412 2460 -2448 -2624 2544 2552 -2388 2604 2280 2280 2452 2312 -2332 2320 2452 -2640 2560 -2640 -2436 2640 2404 -2340 2280 -2504 -2456 2540 2424 -2384 -2640 2584 2312 -2632 -2576 -2460 2384 -2604 -2280 -2464 2440 2600 2316 -2508 -2496 2612 -2552 2320 -2280 -2544 -2432 2468 2636 -2368 -2288 2320 -2448 -2320 -2320 -2320 2504 2384 -2348 2464 2488 2556 2604 -2464 -2352 -2280 -2600 -2528 -2428 2456 -2528 -2640 -2640 -2344 -2620 -2392 -2284 -2508 2280 -2352 2600 2416 -2280 -2536 -2416 -2280 -2280 2636 2488 -2388 2564 -2476 -2640 2416 -2600 -2320 2352 2344 -2436 -2428 -2284 -2596 2392 -2600 2588 2280 -2540 -2320 -2484 -2360 -2312 2392 -2580 2448 -2600 -2516 -2344 2320 -2280 -2464 -2448 -2636 2512 -2336 -2284 2500 -2600 2324 2492 -2408 2568 2576 2304 -2344 2320 -2512 2312 2616 2384 -2460 2320 2352 2380 -2596 -2412 -2532 -2452 2552 2360 2540 -2532 2488 -2352 2552 -2336 -2292 -2396 -2640 2620 -2408 2640 -2528 -2320 2280 2408 -2632 -2584 -2336 -2336 -2312 -2288 2612 2440 2456 2368 2296 2392 2280 -2412 -2320 -2496 2580 -2404 -2428 -2536 -2596 -2340 -2600 -2348 -2452 -2296 2320 2280 2400 -2592 2424 2316 -2484 2360 -2580 2312 2372 2580 -2452 -2480 2524 -2600 -2312 -2320 2296 -2324 2596 -2640 -2320 -2536 -2320 -2444 2500 -2476 -2600 -2416 -2572 -2512 2280 -2512 2304 -2340 2572 -2600 -2416 2400 -2640 2628 2280 -2388 2364 -2600 2524 2328 2324 -2304 2408 -2488 -2448 2464 2584 2540 -2640 -2352 2400 2280 2408 -2280 -2588 -2392 -2560 2640 -2528 2460 -2460 -2640 -2552 2600 -2412 -2448 -2360 2328 -2396 2320 -2600 -2344 -2352 2324 2640 2632 2280 2560 2524 -2412 -2320 2508 -2320 2280 -2420 -2640 -2320 -2600 2640 -2552 -2352 -2288 2568 2504 -2308 -2456 2564 -2600 2596 -2640 2476 2492 -2320 -2404 -2468 -2640 -2548 -2612 -2352 -2508 2520 -2560 -2400 -2600 -2488 -2612 2340 -2532 -2508 -2320 2636 2412 2280 2608 2536 2476 -2400 2296 2584 -2396 -2488 -2640 2440 -2508 -2600 2408 -2512 -2640 -2640 -2452 -2640 2500 2456 -2500 -2332 -2600 -2496 -2480 2572 2380 2640 -2544 -2552 -2296 -2540 -2560 -2600 2280 2500 2396 -2600 -2608 2356 2476 -2524 2340 -2528 2600 2472 -2640 -2496 2624 2540 2320 -2320 2280 -2428 -2280 2428 2372 2308 2588 2636 -2320 -2432 -2576 2428 -2420 2448 -2372 2336 -2344 2604 -2500 2320 2284 -2384 2444 2564 -2524 -2400 -2508 -2408 2360 2376 -2280 2476 -2320 2432 -2320 2500 -2376 -2636 2640 -2592 -2332 -2432 -2576 -2476 -2640 -2548 -2600 -2280 -2600 2408 2500 2424 2568 2532 -2576 -2484 2280 -2640 2288 -2600 -2640 -2320 -2440 2360 2408 -2320 -2336 -2320 2456 -2284 2448 -2320 -2572 -2564 -2496 2544 2596 -2388 2568 -2640 -2588 -2320 -2512 -2580 -2600 2500 -2288 -2456 2388 -2612 2364 -2280 -2280 2460 -2568 -2320 -2324 2408 -2320 2328 -2328 -2552 -2640 -2492 -2280 2352 -2600 -2476 2556 -2296 2384 2360 2280 -2428 -2580 -2640 2364 -2620 2600 2588 2504 2568 -2340 -2280 2584 2412 2500 2444 2632 2616 -2404 -2304 2312 -2460 2320 2336 -2384 -2452 2348 -2600 -2324 -2404 2404 -2528 -2424 2472 -2432 -2624 2600 -2488 -2600 -2344 -2600 -2448 2316 2500 -2376 -2308 2324 -2640 -2600 -2640 -2640 2308 2428 -2640 -2600 2472 2452 -2404 -2640 -2392 2584 2640 2576 2324 2556 -2388 2320 -2280 -2640 -2520 2576 -2296 2632 -2640 2584 2452 -2328 2620 2384 2356 2640 2444 2280 2448 -2376 2296 -2640 -2580 -2556 -2584 2284 -2304 -2344 2320 2368 -2468 -2280 -2324 2436 -2640 2640 2448 2388 2640 2376 2392 -2428 -2592 2596 2600 -2324 2440 -2588 2392 2576 -2432 2500 -2548 2424 -2400 -2472 2432 2412 -2400 -2456 -2560 -2632 -2436 -2640 -2600 -2408 -2480 2600 -2440 2616 2328 -2320 -2288 -2628 -2516 -2452 2424 2488 -2608 -2640 2620 -2344 -2324 2536 2600 2608 -2640 -2384 -2500 -2584 -2368 2512 -2456 2292 2484 -2360 -2280 -2504 -2640 2560 2504 2432 -2600 2616 -2504 2320 -2640 -2432 -2632 -2600 2616 -2628 2424 -2476 -2636 2640 -2340 2336 2380 2300 -2496 2324 2480 2576 2408 2320 2432 2428 -2508 -2600 -2472 -2640 -2332 2572 2368 -2552 2528 -2332 -2404 2528 2344 2320 2496 2568 2516 -2280 -2600 -2532 2600 -2320 -2600 -2300 -2612 2480 2280 -2636 2420 2524 2400 2328 2584 -2576 2544 2348 2320 -2568 2636 -2592 2468 -2432 -2584 -2640 -2640 2612 -2464 -2588 2388 2536 2460 2368 -2288 -2480 -2356 -2416 -2512 -2600 -2320 2632 -2540 -2392 -2496 2572 -2600 2444 2640 2504 -2296 2520 2292 2392 -2324 -2464 -2452 -2328 -2444 -2284 2380 -2432 -2332 -2320 -2336 2472 2388 -2524 2448 -2492 -2432 -2428 -2596 -2600 2320 2280 -2532 -2464 2408 2428 -2340 -2568 -2348 2408 2300 -2320 2516 -2404 2560 -2440 -2528 -2348 -2292 2280 2320 -2348 2512 -2456 -2424 -2320 -2280 -2348 -2352 2604 -2328 2344 -2320 2320 -2300 2616 2296 -2492 2540 -2388 -2640 -2640 -2408 -2480 2388 -2320 2304 -2392 -2600 2300 -2408 -2500 -2568 -2400 2588 2340 2352 -2528 2540 2612 -2560 2280 2616 2484 -2500 -2576 -2464 -2620 -2568 -2540 -2492 -2576 -2596 2600 2280 -2640 2380 -2472 -2560 2424 -2380 2552 -2448 -2480 2352 -2280 -2424 -2640 2512 -2280 -2340 2600 -2380 -2588 2396 2440 2472 2340 -2472 -2548 2536 2628 -2640 -2640 -2304 -2352 -2572 2280 2580 -2400 2280 -2464 -2516 2508 2444 2320 -2608 -2528 -2432 -2324 2412 -2320 2568 2296 2280 -2448 -2348 2484 2332 2300 2512 -2504 -2508 2432 2492 -2636 -2480 -2320 2356 2620 -2516 -2324 -2600 -2600 -2288 2340 -2432 -2592 2496 -2412 -2320 -2632 -2580 -2448 -2320 -2424 2312 2496 -2472 2448 -2600 -2316 -2636 2512 2332 2440 2280 2576 2552 -2404 2408 2532 2640 -2544 -2340 2384 -2280 2368 -2640 -2448 -2292 -2600 -2280 2344 2600 -2420 2396 -2496 -2464 2340 2568 -2528 -2328 -2296 -2432 -2564 2476 2280 -2424 -2380 -2424 2396 2472 -2632 -2572 2432 -2456 -2604 -2596 -2380 -2400 -2280 -2640 -2456 -2396 -2600 2376 -2336 2360 -2592 2308 -2332 -2324 -2472 2520 -2536 2292 -2364 2612 -2280 -2600 -2460 -2280 -2300 -2572 2528 -2312 2400 2344 -2436 -2408 2452 2488 -2280 2624 2640 2608 -2464 2452 -2492 -2640 2608 2580 -2380 -2388 -2444 -2560 -2492 -2288 2564 2280 2480 -2600 -2612 2588 -2460 -2388 2328 -2404 2452 -2332 2444 -2404 -2372 -2588 -2564 -2456 2640 -2288 -2464 2600 2592 2500 2640 2600 2424 2500 2464 2420 -2636 2348 -2468 -2400 -2424 -2360 -2436 -2320 -2416 2280 -2384 -2520 2364 -2520 -2504 -2500 -2624 -2500 2472 -2320 2428 -2428 2352 -2296 -2640 2320 2556 -2456 2596 2284 -2432 2468 -2372 2428 2492 2488 2412 -2324 2280 2296 2496 2348 2544 -2444 2484 -2284 -2332 2296 -2412 -2320 -2444 -2420 2552 -2392 2452 2280 2328 -2320 -2624 -2416 -2616 -2360 -2320 -2320 -2596 -2320 -2524 -2320 -2356 2328 2328 -2304 2596 -2640 -2600 -2528 -2596 2572 2524 -2332 -2636 2640 -2480 2568 2432 -2428 -2636 2600 2500 -2616 2544 -2516 -2472 -2444 -2548 2280 -2320 -2444 -2284 2600 2400 2548 -2588 -2320 2404 2572 -2416 2312 -2480 2552 -2380 2452 2320 -2344 -2280 -2520 -2640 -2640 -2492 2600 2320 2388 -2280 -2468 2376 2484 -2524 2392 -2320 2320 2612 -2336 2592 -2516 2340 -2432 -2336 2536 -2352 2584 -2512 2520 -2364 2440 -2320 2564 2504 -2320 -2540 2320 2332 -2600 2572 2280 2280 2636 -2280 -2476 2516 -2320 2336 -2512 2352 -2440 2600 -2616 -2552 -2612 -2632 -2512 -2320 -2280 -2384 -2468 2312 2640 -2280 2336 -2328 2296 -2296 -2500 -2352 -2452 2560 -2472 -2568 -2304 -2628 -2360 -2328 -2332 -2328 -2444 -2428 -2640 -2428 -2284 2364 -2640 -2636 -2472 2636 -2320 -2308 2492 -2584 -2376 2600 -2440 -2560 -2528 -2640 2540 -2300 2468 2280 2324 2608 -2600 -2528 -2592 -2612 -2396 -2320 -2584 2316 -2508 2500 2320 2288 -2592 -2280 -2336 -2600 2316 -2600 2352 2340 2396 -2632 -2540 -2568 2552 2524 -2624 2280 2280 2332 2372 -2500 2624 2432 -2520 -2392 2496 2320 -2336 2428 -2600 -2320 2616 -2516 -2320 -2584 -2344 2596 -2376 2324 2308 -2368 -2388 2564 -2576 2640 2328 2476 2360 -2640 -2640 -2360 2600 2640 -2344 -2524 -2336 2388 2428 2340 -2528 -2628 2356 -2540 2280 -2320 2492 -2568 -2540 2588 -2640 -2428 -2576 2488 2452 -2376 2576 -2624 -2392 2640 -2328 2344 -2640 -2340 -2572 2640 -2600 -2336 2284 -2288 -2324 -2324 -2568 -2640 2296 -2336 -2412 2592 -2436 -2536 2468 -2532 -2600 2368 2600 2592 -2400 -2280 -2504 2396 -2452 -2364 -2528 -2600 2504 2564 -2508 2488 2488 -2508 -2568 -2340 2636 2488 -2464 -2328 -2392 -2320 2368 -2300 -2308 -2296 2616 -2320 -2320 -2472 2340 -2544 -2468 -2412 -2464 -2604 2564 -2596 -2600 -2640 -2320 -2556 2472 -2492 -2328 -2480 2536 -2428 -2440 -2552 2588 -2600 2368 2640 2592 2280 -2352 -2312 -2596 -2472 -2600 2640 2392 -2320 2576 2304 -2432 -2600 -2640 -2324 2320 -2600 2416 -2584 2468 2432 -2532 2488 2596 -2320 2352 -2440 -2556 2640 -2572 -2492 2524 2404 -2352 -2348 2464 -2320 -2464 -2356 2532 2312 -2460 2328 -2604 -2280 -2600 -2624 2288 -2576 -2536 -2360 2400 -2400 2452 -2372 -2296 2468 -2332 -2320 -2580 2404 -2372 -2564 -2596 -2336 2388 2360 -2516 -2408 -2440 -2320 2420 -2544 -2324 -2600 2464 -2280 2324 2424 2332 -2452 2280 2420 2392 -2280 2436 2592 -2436 -2320 -2600 2436 2508 -2368 -2592 2396 -2624 2384 2416 -2432 -2372 -2600 -2448 -2336 -2596 -2320 -2580 -2640 2564 2364 -2584 -2544 2580 2460 2500 2508 2280 -2600 -2600 -2600 -2588 2320 -2388 -2536 2480 2572 -2536 -2460 -2640 2564 -2280 -2368 -2600 -2316 -2512 -2300 2376 2544 2576 -2356 -2636 -2600 -2444 -2416 -2636 -2600 2588 2336 -2640 -2536 -2596 -2480 2544 -2600 -2600 2364 2280 -2584 -2592 2640 -2352 -2320 -2364 -2368 -2600 -2480 -2516 -2392 -2556 -2436 2420 -2428 -2464 2468 2504 2536 -2348 2640 2508 2636 -2556 2368 -2292 -2336 2580 -2472 2604 -2304 -2320 2488 2372 -2352 -2348 2280 -2468 -2432 2600 2312 -2380 -2476 2596 2548 2564 -2440 -2424 -2640 2588 -2552 2348 -2448 2284 -2468 -2572 -2600 -2600 2280 -2500 -2532 -2536 -2552 -2448 2280 2572 -2640 2596 -2332 2284 -2280 2284 2512 -2600 2524 -2600 2472 -2600 -2336 2572 2368 -2344 -2320 2280 2324 -2356 2484 -2468 -2384 2320 2572 -2600 -2444 -2376 -2616 -2616 -2568 -2532 -2504 -2632 -2320 2324 -2320 2628 -2380 2280 -2576 -2388 -2376 2512 -2280 2496 -2600 -2440 -2600 -2600 2324 -2572 2384 -2412 -2640 -2436 -2576 2280 -2332 2636 -2492 -2436 -2280 2308 -2536 -2468 2336 -2432 -2600 -2640 -2428 -2528 -2564 -2320 -2612 -2480 2320 2520 2600 -2572 -2364 2376 2524 -2600 2468 -2556 2556 -2320 -2596 2508 2620 2320 -2600 2468 -2348 -2640 2532 -2344 2628 -2400 2284 -2540 -2460 -2484 2364 2444 -2640 2356 2412 -2304 2572 2288 -2504 2356 -2280 -2572 -2568 -2600 -2296 2600 -2340 -2464 -2528 -2480 2580 -2480 -2332 2348 -2316 -2476 2304 -2372 2388 -2320 -2640 -2524 -2320 -2484 2412 2584 2440 2488 -2388 -2468 2364 -2640 -2416 -2604 2344 -2564 -2568 -2428 -2348 -2540 -2400 -2288 -2376 -2540 -2548 -2640 -2488 2592 -2588 -2316 -2336 2280 -2360 2280 -2392 -2356 -2540 2560 -2608 2548 -2600 2408 -2316 2404 -2324 -2516 2280 2640 2280 -2368 2424 2412 2408 -2576 -2284 2348 2596 2568 -2628 -2640 -2488 2596 -2576 -2384 -2460 -2600 2532 2600 2348 -2472 2280 -2356 2576 -2280 -2544 -2452 -2388 2624 2356 2304 2372 -2324 2436 2588 2324 -2420 -2584 2320 2508 -2436 -2608 2344 -2396 -2600 2280 2632 -2320 -2588 -2360 -2456 2328 -2284 2572 2280 -2296 2380 -2476 2596 -2304 2320 -2548 -2500 2424 2348 -2344 -2320 -2460 2584 -2600 -2280 -2556 -2392 2288 -2320 2440 -2640 2356 2424 2400 -2600 -2448 2320 -2572 2488 2484 2360 2324 2596 2492 -2600 -2480 2500 2496 -2328 -2528 2280 2596 -2400 2636 2624 -2356 -2492 -2416 -2620 -2320 -2640 -2348 2320 -2420 -2360 -2576 2280 -2420 -2512 -2280 -2288 2388 2428 -2308 -2468 2504 2376 -2308 -2540 -2280 -2320 2608 2280 2360 2624 2472 2584 -2600 2440 -2608 2312 -2328 -2464 -2408 2280 -2640 2556 2320 2432 2396 -2416 2600 -2516 -2544 2552 -2392 -2600 -2552 -2488 -2600 -2636 2376 -2640 -2640 -2404 -2640 -2380 2404 -2576 -2396 -2532 2468 -2496 2280 2480 2324 2360 -2596 -2600 -2356 -2280 -2320 -2640 -2296 2512 2320 -2384 -2340 2640 2556 -2280 2576 -2384 -2640 -2504 -2540 2540 -2388 2336 2300 2360 -2528 -2484 -2372 -2320 2428 2384 -2320 -2516 2404 -2640 2572 2356 -2640 2328 -2528 2284 -2572 -2524 -2484 2404 -2280 2280 -2468 2284 2540 -2352 2616 -2464 2592 -2440 -2408 -2520 -2336 -2640 2280 -2320 2600 -2328 2384 2600 2500 2564 -2288 -2320 -2288 -2352 -2564 2308 2376 -2640 -2564 -2508 2540 2452 2332 -2480 2280 -2324 -2604 2428 -2528 -2344 -2376 2412 -2372 -2640 -2600 2548 -2388 -2432 -2336 2320 2464 -2596 -2456 -2628 -2336 2480 -2320 -2488 -2536 -2600 -2320 2640 -2392 -2400 2300 -2436 2436 -2396 -2320 -2444 -2280 2420 -2640 2280 -2600 -2284 -2372 -2388 2572 2640 -2640 -2368 2580 -2472 -2588 2280 -2564 -2400 2592 -2280 -2640 2592 2352 2544 2600 -2280 -2600 2620 -2396 -2552 2516 -2540 2424 2580 2572 -2444 2396 -2284 2544 -2320 2552 -2640 
66.26/66.94	d NODES 4568
66.26/66.94	d CHECKS 91885399
66.26/66.95	   
66.26/66.95	   totalWckTime=66.758  totalCpuTime=64.05

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-2097756-1247413968/watcher-2097756-1247413968 -o /tmp/evaluation-result-2097756-1247413968/solver-2097756-1247413968 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097756-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.03 2.09 2.04 3/81 30837
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=18576 CPUtime=0
/proc/30837/stat : 30837 (runsolver) R 30835 30837 29531 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 28462058 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 228043844903 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30837/statm: 4644 284 249 26 0 2626 0

[startup+0.0696701 s]
/proc/loadavg: 2.03 2.09 2.04 3/81 30837
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=864024 CPUtime=0.04
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 2829 0 1 0 3 1 0 0 18 0 9 0 28462058 884760576 2363 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216006 2363 1118 9 0 210899 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864024

[startup+0.101671 s]
/proc/loadavg: 2.03 2.09 2.04 3/81 30837
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=865984 CPUtime=0.08
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 3729 0 1 0 6 2 0 0 18 0 9 0 28462058 886767616 3197 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216496 3197 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984

[startup+0.301707 s]
/proc/loadavg: 2.03 2.09 2.04 3/81 30837
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=866380 CPUtime=0.28
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 5924 0 1 0 25 3 0 0 18 0 9 0 28462058 887173120 5290 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216595 5290 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380

[startup+0.701786 s]
/proc/loadavg: 2.03 2.09 2.04 3/81 30837
/proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867588 CPUtime=0.68
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 12888 0 1 0 61 7 0 0 18 0 9 0 28462058 888410112 12242 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216897 12242 2037 9 0 211333 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867588

[startup+1.50195 s]
/proc/loadavg: 2.03 2.09 2.04 3/90 30846
/proc/meminfo: memFree=1705616/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867500 CPUtime=1.47
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 21255 0 1 0 136 11 0 0 18 0 9 0 28462058 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216875 20584 2029 9 0 211333 0
[pid=30837/tid=30839] ppid=30835 vsize=867500 CPUtime=1.21
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 15797 0 1 0 113 8 0 0 25 0 9 0 28462060 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4126410725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867500 CPUtime=0.06
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 4118 0 0 0 5 1 0 0 17 0 9 0 28462061 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867500 CPUtime=0.16
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 639 0 0 0 16 0 0 0 16 0 9 0 28462064 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28462064 888320000 20584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867500

[startup+3.10226 s]
/proc/loadavg: 2.03 2.09 2.04 3/90 30846
/proc/meminfo: memFree=1675792/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867500 CPUtime=3.06
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 25895 0 1 0 292 14 0 0 18 0 9 0 28462058 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216875 25220 2032 9 0 211333 0
[pid=30837/tid=30839] ppid=30835 vsize=867500 CPUtime=2.58
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 15832 0 1 0 250 8 0 0 25 0 9 0 28462060 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4126123829 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867500 CPUtime=0.24
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 8705 0 0 0 21 3 0 0 16 0 9 0 28462061 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867500 CPUtime=0.19
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 657 0 0 0 19 0 0 0 15 0 9 0 28462064 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28462064 888320000 25220 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867500

[startup+6.30189 s]
/proc/loadavg: 2.11 2.11 2.04 3/90 30846
/proc/meminfo: memFree=1668952/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867500 CPUtime=6.23
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 25926 0 1 0 608 15 0 0 18 0 9 0 28462058 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216875 25249 2032 9 0 211333 0
[pid=30837/tid=30839] ppid=30835 vsize=867500 CPUtime=5.73
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 15836 0 1 0 564 9 0 0 25 0 9 0 28462060 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4126936137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867500 CPUtime=0.24
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 8705 0 0 0 21 3 0 0 16 0 9 0 28462061 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867500 CPUtime=0.21
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 684 0 0 0 21 0 0 0 15 0 9 0 28462064 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28462064 888320000 25249 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867500

[startup+12.7011 s]
/proc/loadavg: 2.10 2.11 2.04 3/90 30846
/proc/meminfo: memFree=1660128/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867500 CPUtime=12.56
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 28138 0 1 0 1238 18 0 0 18 0 9 0 28462058 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216875 27458 2032 9 0 211333 0
[pid=30837/tid=30839] ppid=30835 vsize=867500 CPUtime=11.93
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 15840 0 1 0 1182 11 0 0 25 0 9 0 28462060 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4126933431 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867500 CPUtime=0.37
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 10905 0 0 0 32 5 0 0 16 0 9 0 28462061 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867500 CPUtime=0.24
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 692 0 0 0 23 1 0 0 15 0 9 0 28462064 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28462064 888320000 27458 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867500

[startup+25.5017 s]
/proc/loadavg: 2.23 2.13 2.05 3/90 30846
/proc/meminfo: memFree=1643808/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867500 CPUtime=25.23
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 33051 0 1 0 2500 23 0 0 18 0 9 0 28462058 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216875 32364 2033 9 0 211333 0
[pid=30837/tid=30839] ppid=30835 vsize=867500 CPUtime=24.24
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 15850 0 1 0 2410 14 0 0 25 0 9 0 28462060 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4127193225 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867500 CPUtime=0.69
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 15783 0 0 0 62 7 0 0 17 0 9 0 28462061 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28462062 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867500 CPUtime=0.28
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 717 0 0 0 27 1 0 0 15 0 9 0 28462064 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 28462064 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867500 CPUtime=0
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28462064 888320000 32364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867500

[startup+51.1017 s]
/proc/loadavg: 2.27 2.15 2.06 3/90 30887
/proc/meminfo: memFree=1555360/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867912 CPUtime=50.61
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 73049 1095 1 0 5006 33 20 2 18 0 9 0 28462058 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216978 41502 2664 9 0 211414 0
[pid=30837/tid=30839] ppid=30835 vsize=867912 CPUtime=48.76
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 25169 1095 1 0 4838 16 20 2 25 0 9 0 28462060 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4126936096 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867912 CPUtime=1.62
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 46029 1095 0 0 127 13 20 2 16 0 9 0 28462061 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 23 1095 0 0 0 0 20 2 16 0 9 0 28462062 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 24 1095 0 0 0 0 20 2 15 0 9 0 28462062 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867912 CPUtime=0.63
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 986 1095 0 0 40 1 20 2 15 0 9 0 28462064 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 11 1095 0 0 0 0 20 2 15 0 9 0 28462064 888741888 41502 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 867912

Solver just ended. Dumping a history of the last processes samples

[startup+57.502 s]
/proc/loadavg: 2.25 2.15 2.06 3/90 30887
/proc/meminfo: memFree=1543584/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867912 CPUtime=56.95
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 73052 1095 1 0 5640 33 20 2 18 0 9 0 28462058 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216978 41504 2664 9 0 211414 0
[pid=30837/tid=30839] ppid=30835 vsize=867912 CPUtime=55.09
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 25171 1095 1 0 5471 16 20 2 18 0 9 0 28462060 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4126933455 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867912 CPUtime=1.62
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 46029 1095 0 0 127 13 20 2 16 0 9 0 28462061 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 23 1095 0 0 0 0 20 2 16 0 9 0 28462062 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 24 1095 0 0 0 0 20 2 15 0 9 0 28462062 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867912 CPUtime=0.63
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 987 1095 0 0 40 1 20 2 16 0 9 0 28462064 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 11 1095 0 0 0 0 20 2 15 0 9 0 28462064 888741888 41504 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.95
Current children cumulated vsize (KiB) 867912

[startup+63.9023 s]
/proc/loadavg: 2.23 2.15 2.06 3/90 30891
/proc/meminfo: memFree=1527840/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867912 CPUtime=63.28
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 73065 1095 1 0 6273 33 20 2 18 0 9 0 28462058 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216978 41515 2664 9 0 211414 0
[pid=30837/tid=30839] ppid=30835 vsize=867912 CPUtime=61.41
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 25173 1095 1 0 6102 17 20 2 25 0 9 0 28462060 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4126932089 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867912 CPUtime=1.62
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 46029 1095 0 0 127 13 20 2 16 0 9 0 28462061 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 23 1095 0 0 0 0 20 2 16 0 9 0 28462062 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 24 1095 0 0 0 0 20 2 15 0 9 0 28462062 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867912 CPUtime=0.66
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 998 1095 0 0 43 1 20 2 17 0 9 0 28462064 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 11 1095 0 0 0 0 20 2 15 0 9 0 28462064 888741888 41515 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.28
Current children cumulated vsize (KiB) 867912

[startup+65.5026 s]
/proc/loadavg: 2.21 2.14 2.06 3/90 30891
/proc/meminfo: memFree=1527840/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867912 CPUtime=64.88
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 73068 1095 1 0 6432 34 20 2 18 0 9 0 28462058 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216978 41517 2664 9 0 211414 0
[pid=30837/tid=30839] ppid=30835 vsize=867912 CPUtime=63
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 25175 1095 1 0 6261 17 20 2 18 0 9 0 28462060 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4126934660 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867912 CPUtime=1.62
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 46029 1095 0 0 127 13 20 2 16 0 9 0 28462061 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 23 1095 0 0 0 0 20 2 16 0 9 0 28462062 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 24 1095 0 0 0 0 20 2 15 0 9 0 28462062 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867912 CPUtime=0.66
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 999 1095 0 0 43 1 20 2 15 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 11 1095 0 0 0 0 20 2 15 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 64.88
Current children cumulated vsize (KiB) 867912

[startup+66.3017 s]
/proc/loadavg: 2.21 2.14 2.06 3/90 30891
/proc/meminfo: memFree=1527840/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867912 CPUtime=65.67
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 73068 1095 1 0 6511 34 20 2 18 0 9 0 28462058 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216978 41517 2664 9 0 211414 0
[pid=30837/tid=30839] ppid=30835 vsize=867912 CPUtime=63.79
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 25175 1095 1 0 6340 17 20 2 25 0 9 0 28462060 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4127183920 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867912 CPUtime=1.62
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 46029 1095 0 0 127 13 20 2 16 0 9 0 28462061 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 23 1095 0 0 0 0 20 2 16 0 9 0 28462062 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 24 1095 0 0 0 0 20 2 15 0 9 0 28462062 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867912 CPUtime=0.66
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 999 1095 0 0 43 1 20 2 15 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 11 1095 0 0 0 0 20 2 15 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 65.67
Current children cumulated vsize (KiB) 867912

[startup+66.7018 s]
/proc/loadavg: 2.21 2.14 2.06 3/90 30891
/proc/meminfo: memFree=1527840/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867912 CPUtime=66.06
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 73068 1095 1 0 6550 34 20 2 18 0 9 0 28462058 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216978 41517 2664 9 0 211414 0
[pid=30837/tid=30839] ppid=30835 vsize=867912 CPUtime=64.18
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 25175 1095 1 0 6379 17 20 2 25 0 9 0 28462060 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4127553358 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867912 CPUtime=1.62
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 46029 1095 0 0 127 13 20 2 16 0 9 0 28462061 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 23 1095 0 0 0 0 20 2 16 0 9 0 28462062 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 24 1095 0 0 0 0 20 2 15 0 9 0 28462062 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867912 CPUtime=0.66
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 999 1095 0 0 43 1 20 2 15 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 11 1095 0 0 0 0 20 2 15 0 9 0 28462064 888741888 41517 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 66.06
Current children cumulated vsize (KiB) 867912

[startup+66.9019 s]
/proc/loadavg: 2.21 2.14 2.06 3/90 30891
/proc/meminfo: memFree=1527840/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=867912 CPUtime=66.26
/proc/30837/stat : 30837 (java) S 30835 30837 29531 0 -1 0 73074 1095 1 0 6570 34 20 2 18 0 9 0 28462058 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 216978 41523 2664 9 0 211414 0
[pid=30837/tid=30839] ppid=30835 vsize=867912 CPUtime=64.38
/proc/30837/task/30839/stat : 30839 (java) R 30835 30837 29531 0 -1 64 25177 1095 1 0 6399 17 20 2 25 0 9 0 28462060 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4127535015 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30840] ppid=30835 vsize=867912 CPUtime=1.62
/proc/30837/task/30840/stat : 30840 (java) S 30835 30837 29531 0 -1 64 46029 1095 0 0 127 13 20 2 16 0 9 0 28462061 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30841] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30841/stat : 30841 (java) S 30835 30837 29531 0 -1 64 23 1095 0 0 0 0 20 2 16 0 9 0 28462062 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30842] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30842/stat : 30842 (java) S 30835 30837 29531 0 -1 64 24 1095 0 0 0 0 20 2 15 0 9 0 28462062 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30837/tid=30843] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30843/stat : 30843 (java) S 30835 30837 29531 0 -1 64 1 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30844] ppid=30835 vsize=867912 CPUtime=0.66
/proc/30837/task/30844/stat : 30844 (java) S 30835 30837 29531 0 -1 64 1003 1095 0 0 43 1 20 2 16 0 9 0 28462064 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30845] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30845/stat : 30845 (java) S 30835 30837 29531 0 -1 64 0 1095 0 0 0 0 20 2 18 0 9 0 28462064 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30837/tid=30846] ppid=30835 vsize=867912 CPUtime=0.22
/proc/30837/task/30846/stat : 30846 (java) S 30835 30837 29531 0 -1 64 11 1095 0 0 0 0 20 2 15 0 9 0 28462064 888741888 41523 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 66.26
Current children cumulated vsize (KiB) 867912

[startup+67.002 s]
/proc/loadavg: 2.21 2.14 2.06 3/83 30891
/proc/meminfo: memFree=1676768/2055920 swapFree=4192812/4192956
[pid=30837] ppid=30835 vsize=0 CPUtime=66.33
/proc/30837/stat : 30837 (java) Z 30835 30837 29531 0 -1 12 73112 1095 1 0 6575 36 20 2 16 0 2 0 28462058 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30837/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 66.33
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 67.0085
CPU time (s): 66.3489
CPU user time (s): 65.957
CPU system time (s): 0.39194
CPU usage (%): 99.0157
Max. virtual memory (cumulated for all children) (KiB): 867912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.957
system time used= 0.39194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74207
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= 3727
involuntary context switches= 5467

runsolver used 0.084987 second user time and 0.234964 second system time

The end

Launcher Data 

Begin job on node77 at 2009-07-12 17:52:48
IDJOB=2097756
IDBENCH=57700
IDSOLVER=774
FILE ID=node77/2097756-1247413968
PBS_JOBID= 9510495
Free space on /tmp= 66252 MiB

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

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

MD5SUM BENCH= 8ae74589310914004d3bf891f899393f
RANDOM SEED=1361066308

node77.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.256
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.256
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:       1763128 kB
Buffers:         36856 kB
Cached:         144432 kB
SwapCached:          0 kB
Active:         149952 kB
Inactive:        85896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763128 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6652 kB
Writeback:           0 kB
Mapped:          75008 kB
Slab:            42172 kB
Committed_AS:  1016052 kB
PageTables:       1856 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= 66248 MiB
End job on node77 at 2009-07-12 17:53:56