Trace number 1085930

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 53.7878 54.0976

DiagnosticValue
CHECKS48414900
NODES2020

General information on the benchmark

Namecsp/fapp/fapp13/
normalized-fapp13-2000-9.xml
MD5SUM8646843a2e95f500eada934cacf94d53
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 benchmark53.7878
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
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.18/0.23	
0.18/0.23	   configuration
0.18/0.23	     name=esac.xml
0.29/0.30	   
0.29/0.30	   instance
0.29/0.30	     name=HOME/instance-1085930-1215236126.xml
0.29/0.34	   
0.29/0.34	   domains being loaded...
0.39/0.42	   
0.39/0.42	   variables being loaded...
0.59/0.66	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190  nbTotalValues=320494
0.59/0.66	       =>  wckTime=0.426  cpuTime=0.27  mem=21M512
0.59/0.66	   
0.59/0.66	   predicates being loaded...
0.69/0.72	   
0.69/0.72	   constraints being loaded...
20.79/20.92	   
20.79/20.92	   INFO : Stopping converting binary constraints (cpu=20.08, mem = 69M959)
32.01/32.26	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=1447  nbConvertConstraintsChecks=46835336
32.01/32.26	     nbExtensionStructures=1315  nbSharedExtensionStructures=515  nbConflictsStructures=3137
32.01/32.26	     nbSharedConflictsStructures=704  nbUnbuiltConflictsStructures=6643  nbSharedBinaryRepresentations=319927
32.01/32.26	     nbEvaluationManagers=8465  nbSharedEvaluationManagers=3757  minDegree=3  maxDegree=17  minArity=2  maxArity=2
32.01/32.26	     nbGenerators=0  nbFusions=0  symmetryWckTime=1.317  symmetryCpuTime=0.98
32.01/32.26	       =>  wckTime=32.032  cpuTime=30.39  mem=68M555
32.40/32.66	   
32.40/32.66	   solver IterativeSystematicSolver being built... 
32.90/33.14	       =>  wckTime=32.912  cpuTime=30.75  mem=93M503
43.05/43.32	   
43.05/43.32	   preprocessing
43.05/43.32	     nbConstraintChecks=26192851  nbValidityChecks=701886  nbPropagations=2215  nbRevisions=26003
43.05/43.32	     nbUselessRevisions=23985  nbRemovedValues=64440  detectedInconsistency=no
43.05/43.32	       =>  wckTime=10.168  cpuTime=10.1  mem=93M503
53.69/54.03	   
53.69/54.03	   search
53.69/54.03	     run=0  nbConstraintChecks=22222026  nbValidityChecks=17606590  minDepth=56  maxDepth=2000  nbPropagations=30463
53.69/54.03	     nbRevisions=281936  nbUselessRevisions=251996  nbAssignments=2020  nbFailedAssignments=8  nbBacktracks=12
53.69/54.03	     nbVisitedNodes=2032  nbRestartNogoods=0  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
53.69/54.03	     nbDEliminables=?  nbPEliminables=?
53.69/54.03	       =>  wckTime=20.875  cpuTime=20.71  mem=95M476
53.69/54.03	   
53.69/54.03	   global
53.69/54.03	     nbConstraintChecks=48414877  nbValidityChecks=18308476  nbPropagations=32678  nbRevisions=307939
53.69/54.03	     nbUselessRevisions=275981  nbRestartNogoods=0  solvingWckTime=20.877  solvingCpuTime=20.71  expiredTime=no
53.69/54.03	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=51.38  globalCpuTime=51.52
53.69/54.03	       =>  wckTime=53.799  cpuTime=51.46  mem=95M476
53.69/54.04	   
53.69/54.04	s SATISFIABLE
53.69/54.04	v -2580 -2512 2532 2548 2360 2468 -2656 2296 -2636 2372 2336 2324 -2596 2600 -2616 2508 -2656 -2288 -2316 -2316 2424 2396 -2300 2492 -2380 -2636 -2348 2476 2592 2480 -2320 -2652 -2512 -2320 -2656 2452 -2360 -2340 -2528 -2380 2324 -2304 2280 2412 -2448 2656 2540 2616 -2636 -2320 2364 2560 2560 -2616 -2496 -2552 2616 -2320 -2396 -2500 -2580 -2432 2388 2308 -2328 -2560 -2356 2580 -2572 -2280 2484 -2648 2428 2648 -2280 -2504 2340 2624 2412 -2352 2640 2300 2476 2428 -2612 -2320 -2512 -2616 2516 2280 2368 2352 2564 2284 -2436 -2468 2456 -2532 -2432 2608 -2280 2652 2468 -2456 -2376 -2640 2656 2424 -2356 -2428 -2504 2288 -2320 -2320 -2572 2616 -2540 2628 2452 2432 2616 2600 2612 2604 -2364 2584 2548 2432 2656 -2284 -2440 -2416 2588 2604 -2328 -2456 2436 2456 -2600 2452 -2384 -2448 -2596 2428 2528 2656 2608 -2488 -2444 -2628 -2456 -2392 2396 -2280 2580 -2568 -2320 -2416 -2324 -2280 2464 -2280 -2432 2644 -2492 -2388 -2412 2612 2348 -2448 -2508 2320 -2344 2384 -2656 2288 -2348 -2616 -2432 2480 -2504 2380 -2368 -2612 -2608 2420 -2496 -2480 2596 -2468 -2280 -2320 2368 2308 -2300 2572 -2320 -2304 2588 2464 -2280 -2584 -2528 -2620 2536 2600 -2588 2484 -2340 -2616 2644 2392 -2300 -2320 -2552 2368 -2492 2644 2472 2384 2400 2584 -2320 -2360 -2448 -2544 2616 2508 -2336 -2556 -2432 2580 -2368 -2576 -2620 -2280 2596 -2584 2616 -2592 2652 -2468 2284 -2328 -2280 -2520 -2388 -2320 -2348 -2616 -2640 -2456 2600 2280 -2544 -2340 -2512 -2476 -2336 2320 2624 -2480 2416 2360 2508 -2312 -2600 2280 2580 -2656 -2304 2540 2592 2512 2580 2616 2332 2332 -2304 -2288 2472 2556 -2452 2380 -2616 -2404 -2360 2448 2524 2320 -2460 2616 -2396 -2444 -2468 2428 -2488 2576 -2340 -2568 2452 2280 -2500 -2536 -2396 -2556 2596 2416 -2364 2376 -2472 -2600 2420 -2616 -2500 -2336 2608 -2320 2360 -2332 -2616 -2512 2596 -2568 -2332 -2496 -2656 -2300 2320 2648 2288 -2500 2600 2584 -2612 -2336 2392 -2352 -2284 2656 2504 -2444 2624 -2564 -2384 2572 -2576 -2484 -2292 -2468 -2404 2632 2556 2608 2492 -2436 -2328 -2424 -2376 2328 -2520 2360 -2600 2320 2656 2592 -2424 -2612 -2572 2336 2284 2492 -2452 -2320 2512 -2536 -2412 -2344 -2472 2576 2656 2408 -2428 -2368 -2368 -2652 -2428 2588 2320 -2656 -2436 -2372 2544 -2400 2488 2516 -2384 2424 -2456 2528 2432 -2280 2556 -2560 2472 2432 -2392 2508 -2376 2328 -2536 2568 2408 2408 -2560 -2656 -2348 2588 -2616 2572 -2320 2452 2420 -2656 -2616 2516 -2440 2512 -2596 -2540 2376 2600 -2348 -2280 -2580 2512 2616 2604 -2344 -2656 2456 -2548 2608 -2352 -2356 -2632 -2332 2280 2548 -2428 2312 2284 -2476 2320 -2284 2584 -2556 2320 -2308 -2600 -2524 2548 -2656 -2400 -2300 2352 -2480 -2292 -2524 2616 -2392 -2360 -2416 2280 -2328 -2468 2280 2320 -2616 2456 -2632 -2392 -2656 2580 -2592 -2348 -2320 2424 2496 -2356 2540 -2320 2596 -2576 -2408 2456 2340 -2472 2544 -2372 -2324 -2280 2392 2588 -2280 -2408 2640 -2656 2460 -2304 -2448 -2488 -2548 -2592 2532 2292 -2656 2548 2540 -2640 -2384 2324 2592 -2592 -2544 2400 -2456 -2312 2432 -2348 -2616 2320 -2632 2316 2612 -2280 -2584 -2500 2520 -2448 2348 2580 2632 -2592 -2284 2508 2540 2280 -2404 -2616 -2656 2320 -2360 2352 2344 -2472 -2380 -2280 -2320 2648 2488 2360 -2656 -2560 2324 -2628 -2584 -2504 -2280 2280 -2616 2584 -2320 -2600 2524 -2580 -2516 -2296 -2608 -2656 2468 2336 -2532 2320 -2348 -2588 2588 2540 2552 2428 2548 2328 -2416 -2456 -2404 2408 -2288 -2596 2572 2560 -2616 2320 2460 -2448 -2332 -2356 -2356 -2596 -2412 2656 2492 -2288 -2656 -2600 -2368 2460 -2616 -2464 2532 -2536 -2552 -2620 2452 2656 -2476 2600 2656 2372 -2652 -2612 -2292 2328 2388 -2656 -2292 2652 -2324 -2616 2508 -2336 2320 -2460 -2344 2616 2324 2324 -2432 2344 2304 -2320 2416 -2328 2528 -2496 2468 -2280 2632 -2616 -2636 -2324 -2580 -2592 2556 -2432 2392 -2584 -2656 -2552 -2616 -2408 -2440 2600 -2548 2552 2616 -2616 -2412 2396 2476 -2280 2600 2280 -2320 2376 -2432 -2604 -2632 -2656 -2356 2476 -2416 -2388 2404 2280 2336 2300 2328 -2368 2428 -2360 -2472 2568 -2616 -2324 -2544 -2588 2520 2548 -2580 -2552 -2616 -2420 -2628 -2280 -2656 -2436 -2548 2320 2640 -2344 2616 2380 -2656 -2624 -2528 -2288 2516 2476 2452 -2280 -2424 -2372 -2320 2604 2488 2604 -2576 2284 -2392 2456 -2388 -2280 -2588 -2368 2536 -2520 -2536 2500 -2560 2556 -2496 -2300 -2592 2564 -2448 -2640 2404 -2492 2336 -2520 2520 -2452 2368 2288 -2516 -2656 -2332 2640 -2592 2596 -2392 2344 -2656 2356 -2324 2604 -2284 -2636 -2376 2324 -2548 -2340 2572 -2616 -2616 2624 -2496 2488 2620 -2496 2588 2300 2532 2624 -2448 -2368 -2388 -2340 -2452 -2412 -2532 -2508 -2600 -2492 2508 2576 -2296 2280 -2472 -2308 2320 -2388 -2616 -2328 2288 -2416 -2408 2400 -2388 -2488 -2468 -2364 2320 -2652 2612 -2384 -2452 -2332 -2480 2396 -2468 -2324 2480 -2404 -2576 -2584 2576 -2408 2280 -2420 -2568 2380 2384 -2516 -2492 2600 -2580 -2320 -2448 -2428 -2284 2564 -2584 2312 -2296 2320 -2616 2552 -2452 2436 -2384 -2656 -2584 2392 2412 -2296 2640 2308 -2528 -2592 -2336 -2320 -2320 2352 -2356 2616 -2440 2464 2424 2616 -2344 -2552 2320 -2284 -2612 -2456 -2480 -2516 2476 -2584 -2428 -2476 -2656 -2428 -2396 2632 2436 -2544 2316 2468 -2476 2656 -2652 -2364 -2328 -2280 2440 -2640 -2428 -2564 -2532 2656 -2540 2280 2584 -2388 -2644 -2616 -2536 2596 -2432 -2404 2588 2540 -2608 -2464 2340 2608 2540 -2312 2436 -2612 2652 -2572 -2512 -2476 -2620 -2632 2380 2520 -2408 2320 -2572 2392 2608 -2444 -2456 2628 2372 2324 2560 -2592 2496 -2512 2472 -2444 -2500 -2516 -2404 -2328 2556 -2344 -2280 2628 2356 -2320 -2412 -2504 -2432 2572 -2396 2508 -2328 2460 -2344 -2320 2572 -2568 2488 -2396 -2368 2460 2320 2592 2636 -2592 -2460 2616 -2380 -2332 2616 2396 2544 -2572 2320 -2616 2468 2588 2564 -2420 2508 -2460 -2628 2440 -2444 -2612 -2568 -2464 -2292 2348 -2472 2308 2428 -2448 -2556 2556 2556 -2472 -2344 -2584 -2280 -2616 2612 -2656 2376 2468 -2636 -2540 -2640 2436 2580 -2440 -2492 -2492 -2412 -2384 2584 2552 -2656 -2628 -2328 -2468 2436 -2408 2452 2524 -2384 2604 -2568 2552 2340 2344 -2372 -2640 2428 2384 2384 -2400 -2616 2456 2572 -2292 -2408 -2320 -2508 -2592 2284 2604 2516 2320 -2500 2400 -2616 -2332 -2288 -2640 -2596 -2340 -2348 2616 2420 -2280 -2508 2280 2372 2600 -2280 -2572 2456 2548 -2568 -2520 2640 2360 -2368 -2432 2416 2308 2400 -2324 2340 -2356 -2656 2612 -2352 2620 -2616 2616 -2656 2656 -2512 -2560 -2528 -2584 -2340 -2336 2592 -2644 2560 -2376 2420 2332 -2480 -2616 2544 2364 -2532 2464 -2408 2492 -2656 2284 2420 2644 -2284 2516 -2280 -2428 2492 -2488 2616 -2336 2364 2280 -2332 2496 -2364 -2448 -2508 -2536 -2636 2468 -2508 2444 -2416 2384 2512 -2656 2488 2612 -2380 2320 2428 -2616 2320 -2616 2592 2636 -2460 -2592 -2340 2508 2532 -2508 2396 -2460 2572 2320 -2564 2604 -2572 2332 2540 -2372 -2472 -2280 2552 -2392 -2280 2536 2400 2524 2496 -2588 2444 -2344 -2552 2640 -2396 2592 -2316 -2516 2320 2556 -2508 2388 -2616 2616 -2616 2368 -2616 -2636 -2480 -2452 -2436 -2652 -2368 -2280 -2656 -2520 -2604 -2380 2560 -2468 -2376 2572 -2416 -2576 -2656 2540 2280 -2440 -2528 2612 -2640 -2636 2424 -2656 2648 -2384 -2612 2364 2476 2644 2460 -2344 2312 -2320 -2544 2656 -2344 2320 -2484 2328 -2388 2488 -2496 2320 -2532 -2628 2624 2440 2592 -2320 -2420 2336 -2304 -2592 -2588 -2296 2516 -2520 -2616 2648 -2408 2564 -2632 -2480 2408 -2500 -2376 -2608 -2532 2620 -2568 2612 -2440 2604 2480 2280 2472 2376 2340 -2624 -2428 -2644 -2536 -2380 -2468 -2632 -2280 2604 2320 2568 2412 -2344 2332 -2492 -2340 -2384 -2524 -2412 -2620 2588 -2384 2424 -2412 2604 -2508 -2576 -2608 -2496 2400 -2476 -2592 -2324 -2584 2540 -2500 -2532 -2360 -2616 2520 -2504 -2324 2412 2324 -2652 -2540 -2536 -2284 -2352 2604 -2428 2600 2280 2296 -2636 -2580 -2320 -2392 2364 2536 -2600 -2364 2280 -2324 2656 -2444 -2624 2280 2304 -2320 -2640 -2280 -2520 -2508 2444 -2596 -2508 2320 2584 2484 2400 -2324 2632 -2320 -2468 -2496 -2656 2352 2540 -2460 -2300 -2340 2552 -2588 2420 2304 2324 2532 -2292 -2576 -2588 2444 -2564 -2560 2616 2436 2384 2368 -2544 -2364 2632 -2324 -2320 2388 2460 -2328 2360 -2564 2324 2320 -2292 2336 -2420 -2400 -2600 2616 -2444 -2448 -2576 -2480 -2628 2608 -2512 -2656 2600 2280 -2536 2616 -2656 -2532 2612 -2492 2412 2288 -2280 -2592 2656 -2528 2544 -2344 -2488 -2632 2360 -2280 -2332 2624 -2356 -2532 2636 2620 -2600 -2544 -2612 -2452 2520 -2656 -2384 -2416 -2608 -2496 -2468 2500 -2636 2616 -2284 -2356 -2312 2616 -2604 -2496 2304 -2452 2612 -2600 -2408 -2344 -2280 -2344 -2596 2648 -2496 -2476 2516 2280 -2288 2516 -2384 2304 -2372 -2288 -2596 2408 -2484 -2520 2328 -2612 2500 2368 -2356 2632 -2364 2536 -2328 2388 -2656 -2328 2508 2600 -2536 2352 2516 -2304 2648 -2320 2656 2404 -2428 -2516 2656 -2292 -2320 -2380 -2344 -2580 -2396 -2336 -2424 2656 2416 -2528 2444 2320 -2344 -2280 2328 -2280 -2308 -2560 -2656 2492 -2484 2656 -2332 -2656 -2520 2332 -2616 -2544 2400 -2364 2632 -2320 -2372 -2592 2468 2436 2408 2640 2592 -2336 -2616 -2644 2408 -2616 2608 -2532 2572 -2544 -2296 2468 -2452 -2496 -2376 2492 2652 2608 -2416 -2636 -2628 -2376 -2320 2576 2616 -2464 -2332 -2344 -2616 2604 -2340 2280 -2332 -2552 -2320 2472 -2336 2472 -2616 -2548 2492 2492 2424 2624 2564 2316 -2488 2312 -2416 -2380 -2360 -2492 -2548 -2404 -2532 -2596 2600 2644 2464 -2300 2644 -2528 -2344 2392 -2516 -2656 2560 -2504 2408 -2408 2608 -2288 -2300 -2280 2452 -2488 2356 -2320 -2424 -2656 2460 -2596 -2580 -2344 -2556 -2436 2548 2392 -2324 -2616 2560 2524 -2576 2556 -2424 -2568 -2616 -2636 -2400 -2280 -2580 2612 -2656 2368 2652 2520 -2644 -2600 -2316 -2392 -2440 -2512 2412 -2656 2304 2616 2420 -2332 2280 2628 -2656 -2496 -2340 -2620 -2348 -2532 -2452 2560 -2656 -2532 2492 2280 -2280 -2480 2540 2528 2552 -2580 -2588 -2420 2616 -2320 2436 -2592 2604 -2656 -2400 2320 -2604 -2452 2384 -2484 -2580 -2612 2280 -2568 2372 2384 2416 2532 -2352 -2324 -2656 -2392 -2420 2280 2536 -2492 -2468 -2576 -2360 2468 -2456 2412 2520 -2560 2332 2496 -2592 2536 2484 -2508 2628 -2388 2308 -2616 -2404 -2344 -2468 -2372 2568 -2352 -2472 2280 2524 -2448 2296 2480 -2532 2368 2504 -2572 -2444 -2380 -2580 2632 2500 2552 -2528 -2552 2600 -2616 2392 -2296 -2440 -2612 -2560 2360 2280 -2456 -2616 2608 -2420 -2592 -2528 2600 2476 -2508 -2632 2572 -2320 -2580 -2472 -2384 2616 -2632 2592 -2472 2320 2620 -2596 2572 2364 2552 -2596 -2352 2332 2580 2536 -2348 -2584 2388 -2376 2588 2528 2520 2560 -2616 -2544 2440 2616 -2440 -2428 2656 -2448 -2616 2652 2324 2544 -2344 2404 2500 2584 -2408 -2656 2296 -2300 2652 2596 -2416 -2488 -2320 2280 -2616 -2564 -2524 2280 2452 2328 -2352 -2592 -2476 -2484 -2432 -2376 -2348 -2360 2432 -2340 2632 -2648 -2468 -2292 2320 -2528 2320 2324 2364 -2328 2504 -2352 2352 -2576 2288 -2456 -2364 -2400 -2656 -2352 -2656 2280 -2396 2560 2620 2280 -2356 -2316 -2500 -2656 2592 -2284 -2320 -2280 -2552 2348 2500 -2288 2440 2540 2416 2496 2284 2392 -2304 2624 2280 2592 2536 2476 -2316 -2320 2548 -2588 -2404 2572 2336 -2344 2644 2352 -2340 2344 -2432 2464 -2640 -2572 -2596 2392 2292 -2380 -2292 2280 2412 -2520 -2480 2364 -2452 2436 2480 -2320 -2352 2292 2612 -2416 2292 2404 -2556 -2328 -2320 -2464 -2452 -2536 2412 -2412 -2296 -2516 2644 -2320 -2560 2652 -2616 -2352 -2488 -2372 -2612 -2476 2492 -2548 2356 -2320 -2320 2424 2408 -2540 2644 -2564 -2508 -2656 2372 -2460 2384 2584 -2628 2612 -2372 2344 -2448 2388 2412 -2320 -2656 2436 2596 -2312 2532 -2604 2320 2508 -2360 -2636 
53.69/54.04	d NODES 2020
53.69/54.04	d CHECKS 48414877
53.69/54.04	   
53.69/54.04	   totalWckTime=53.864  totalCpuTime=51.53

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-1085930-1215236126/watcher-1085930-1215236126 -o /tmp/evaluation-result-1085930-1215236126/solver-1085930-1215236126 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085930-1215236126.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.00 2.00 2.00 4/72 767
/proc/meminfo: memFree=1454912/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=10616 CPUtime=0
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 1553279411 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 2654 472 209 9 0 1184 0
[pid=767/tid=768] ppid=765 vsize=10616 CPUtime=0
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 1553279412 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 7696344 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.039523 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 767
/proc/meminfo: memFree=1454912/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=861876 CPUtime=0.03
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 2274 0 1 0 2 1 0 0 18 0 5 0 1553279411 882561024 1881 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 215469 1881 860 9 0 210448 0
[pid=767/tid=768] ppid=765 vsize=862716 CPUtime=0.02
/proc/767/task/768/stat : 768 (java) S 765 767 32688 0 -1 64 1686 0 1 0 2 0 0 0 18 0 7 0 1553279412 883421184 1964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876

[startup+0.109139 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 767
/proc/meminfo: memFree=1454912/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=865884 CPUtime=0.1
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 3941 0 1 0 8 2 0 0 18 0 9 0 1553279411 886665216 3381 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216471 3381 1772 9 0 211026 0
[pid=767/tid=768] ppid=765 vsize=865884 CPUtime=0.08
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 3033 0 1 0 7 1 0 0 18 0 9 0 1553279412 886665216 3381 996147200 134512640 134550740 4294955968 18446744073709551615 102563421 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884

[startup+0.301174 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 767
/proc/meminfo: memFree=1454912/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=866196 CPUtime=0.29
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 5628 0 1 0 26 3 0 0 18 0 9 0 1553279411 886984704 5042 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216549 5042 1903 9 0 211097 0
[pid=767/tid=768] ppid=765 vsize=866196 CPUtime=0.24
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 4656 0 1 0 22 2 0 0 19 0 9 0 1553279412 886984704 5042 996147200 134512640 134550740 4294955968 18446744073709551615 6849316 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196

[startup+0.701241 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 767
/proc/meminfo: memFree=1454912/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867500 CPUtime=0.69
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 10666 0 1 0 64 5 0 0 18 0 9 0 1553279411 888320000 10027 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216875 10027 2002 9 0 211381 0
[pid=767/tid=768] ppid=765 vsize=867500 CPUtime=0.52
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 9354 0 1 0 48 4 0 0 21 0 9 0 1553279412 888320000 10027 996147200 134512640 134550740 4294955968 18446744073709551615 101444641 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867500

[startup+1.50238 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 776
/proc/meminfo: memFree=1408248/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867412 CPUtime=1.48
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 20166 0 1 0 137 11 0 0 18 0 9 0 1553279411 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216853 19501 2004 9 0 211381 0
[pid=767/tid=768] ppid=765 vsize=867412 CPUtime=1.21
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 15748 0 1 0 113 8 0 0 25 0 9 0 1553279412 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4126675523 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867412 CPUtime=0.06
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 3092 0 0 0 5 1 0 0 16 0 9 0 1553279413 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553279416 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867412 CPUtime=0.17
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1553279416 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553279416 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553279416 888229888 19501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867412

[startup+3.10165 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 776
/proc/meminfo: memFree=1372280/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867412 CPUtime=3.08
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 23233 0 1 0 294 14 0 0 18 0 9 0 1553279411 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216853 22564 2006 9 0 211381 0
[pid=767/tid=768] ppid=765 vsize=867412 CPUtime=2.68
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 15784 0 1 0 259 9 0 0 25 0 9 0 1553279412 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4126902519 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867412 CPUtime=0.15
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 6101 0 0 0 13 2 0 0 17 0 9 0 1553279413 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553279416 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867412 CPUtime=0.2
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 652 0 0 0 20 0 0 0 15 0 9 0 1553279416 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553279416 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553279416 888229888 22564 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 867412

[startup+6.3022 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 776
/proc/meminfo: memFree=1371704/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867412 CPUtime=6.26
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 23261 0 1 0 611 15 0 0 18 0 9 0 1553279411 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216853 22590 2006 9 0 211381 0
[pid=767/tid=768] ppid=765 vsize=867412 CPUtime=5.84
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 15787 0 1 0 573 11 0 0 25 0 9 0 1553279412 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4126900400 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867412 CPUtime=0.15
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 6101 0 0 0 13 2 0 0 16 0 9 0 1553279413 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553279416 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867412 CPUtime=0.23
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 677 0 0 0 23 0 0 0 15 0 9 0 1553279416 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553279416 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553279416 888229888 22590 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 867412

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 776
/proc/meminfo: memFree=1362744/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867412 CPUtime=12.63
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 25456 0 1 0 1245 18 0 0 18 0 9 0 1553279411 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216853 24783 2006 9 0 211381 0
[pid=767/tid=768] ppid=765 vsize=867412 CPUtime=12.06
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 15790 0 1 0 1193 13 0 0 25 0 9 0 1553279412 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4126901623 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867412 CPUtime=0.29
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 8286 0 0 0 26 3 0 0 16 0 9 0 1553279413 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553279416 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867412 CPUtime=0.24
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 684 0 0 0 24 0 0 0 16 0 9 0 1553279416 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553279416 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553279416 888229888 24783 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 867412

[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 776
/proc/meminfo: memFree=1348728/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867412 CPUtime=25.36
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 29663 0 1 0 2513 23 0 0 18 0 9 0 1553279411 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216853 28985 2007 9 0 211381 0
[pid=767/tid=768] ppid=765 vsize=867412 CPUtime=24.43
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 15796 0 1 0 2427 16 0 0 25 0 9 0 1553279412 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 103813005 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867412 CPUtime=0.63
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 12469 0 0 0 58 5 0 0 16 0 9 0 1553279413 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1553279414 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1553279416 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867412 CPUtime=0.27
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 702 0 0 0 27 0 0 0 16 0 9 0 1553279416 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1553279416 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867412 CPUtime=0
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1553279416 888229888 28985 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 867412

[startup+51.1029 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 780
/proc/meminfo: memFree=1302072/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867736 CPUtime=50.81
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 69885 955 1 0 5030 34 15 2 18 0 9 0 1553279411 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216934 40572 2616 9 0 211462 0
[pid=767/tid=768] ppid=765 vsize=867736 CPUtime=48.95
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 31378 955 1 0 4859 19 15 2 25 0 9 0 1553279412 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4127220934 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867736 CPUtime=1.59
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 36702 955 0 0 131 11 15 2 16 0 9 0 1553279413 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 17 955 0 0 0 0 15 2 16 0 9 0 1553279414 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 29 955 0 0 0 0 15 2 15 0 9 0 1553279414 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 18 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867736 CPUtime=0.57
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 934 955 0 0 39 1 15 2 16 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 19 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/776/stat : 776 (java) R 765 767 32688 0 -1 64 16 955 0 0 0 0 15 2 15 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 867736

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

[startup+52.7022 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 780
/proc/meminfo: memFree=1302072/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867736 CPUtime=52.41
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 69885 955 1 0 5190 34 15 2 18 0 9 0 1553279411 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216934 40572 2616 9 0 211462 0
[pid=767/tid=768] ppid=765 vsize=867736 CPUtime=50.55
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 31378 955 1 0 5019 19 15 2 25 0 9 0 1553279412 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4127105200 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867736 CPUtime=1.59
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 36702 955 0 0 131 11 15 2 16 0 9 0 1553279413 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 17 955 0 0 0 0 15 2 16 0 9 0 1553279414 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 29 955 0 0 0 0 15 2 15 0 9 0 1553279414 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 18 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867736 CPUtime=0.57
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 934 955 0 0 39 1 15 2 16 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 19 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 16 955 0 0 0 0 15 2 15 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.41
Current children cumulated vsize (KiB) 867736

[startup+53.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 780
/proc/meminfo: memFree=1302072/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867736 CPUtime=53.2
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 69886 955 1 0 5269 34 15 2 18 0 9 0 1553279411 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216934 40572 2616 9 0 211462 0
[pid=767/tid=768] ppid=765 vsize=867736 CPUtime=51.34
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 31378 955 1 0 5098 19 15 2 25 0 9 0 1553279412 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4127220038 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867736 CPUtime=1.59
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 36702 955 0 0 131 11 15 2 16 0 9 0 1553279413 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 17 955 0 0 0 0 15 2 16 0 9 0 1553279414 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 29 955 0 0 0 0 15 2 15 0 9 0 1553279414 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 18 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867736 CPUtime=0.57
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 935 955 0 0 39 1 15 2 16 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 19 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 16 955 0 0 0 0 15 2 15 0 9 0 1553279416 888561664 40572 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.2
Current children cumulated vsize (KiB) 867736

[startup+53.9064 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 780
/proc/meminfo: memFree=1302072/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867736 CPUtime=53.6
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 69893 955 1 0 5309 34 15 2 18 0 9 0 1553279411 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216934 40579 2616 9 0 211462 0
[pid=767/tid=768] ppid=765 vsize=867736 CPUtime=51.73
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 31378 955 1 0 5137 19 15 2 25 0 9 0 1553279412 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4127383745 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867736 CPUtime=1.59
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 36702 955 0 0 131 11 15 2 16 0 9 0 1553279413 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 17 955 0 0 0 0 15 2 16 0 9 0 1553279414 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 29 955 0 0 0 0 15 2 15 0 9 0 1553279414 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 18 0 9 0 1553279416 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867736 CPUtime=0.58
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 942 955 0 0 40 1 15 2 15 0 9 0 1553279416 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 19 0 9 0 1553279416 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 16 955 0 0 0 0 15 2 15 0 9 0 1553279416 888561664 40579 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.6
Current children cumulated vsize (KiB) 867736

[startup+54.0017 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 780
/proc/meminfo: memFree=1302072/2055920 swapFree=4180408/4192956
[pid=767] ppid=765 vsize=867736 CPUtime=53.69
/proc/767/stat : 767 (java) S 765 767 32688 0 -1 0 69901 955 1 0 5318 34 15 2 18 0 9 0 1553279411 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/767/statm: 216934 40587 2616 9 0 211462 0
[pid=767/tid=768] ppid=765 vsize=867736 CPUtime=51.81
/proc/767/task/768/stat : 768 (java) R 765 767 32688 0 -1 64 31380 955 1 0 5145 19 15 2 25 0 9 0 1553279412 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=770] ppid=765 vsize=867736 CPUtime=1.59
/proc/767/task/770/stat : 770 (java) S 765 767 32688 0 -1 64 36702 955 0 0 131 11 15 2 16 0 9 0 1553279413 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=771] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/771/stat : 771 (java) S 765 767 32688 0 -1 64 17 955 0 0 0 0 15 2 16 0 9 0 1553279414 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=772] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/772/stat : 772 (java) S 765 767 32688 0 -1 64 29 955 0 0 0 0 15 2 15 0 9 0 1553279414 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=773] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/773/stat : 773 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 18 0 9 0 1553279416 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=774] ppid=765 vsize=867736 CPUtime=0.59
/proc/767/task/774/stat : 774 (java) S 765 767 32688 0 -1 64 948 955 0 0 41 1 15 2 15 0 9 0 1553279416 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=775] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/775/stat : 775 (java) S 765 767 32688 0 -1 64 1 955 0 0 0 0 15 2 19 0 9 0 1553279416 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=767/tid=776] ppid=765 vsize=867736 CPUtime=0.17
/proc/767/task/776/stat : 776 (java) S 765 767 32688 0 -1 64 16 955 0 0 0 0 15 2 15 0 9 0 1553279416 888561664 40587 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.69
Current children cumulated vsize (KiB) 867736

Child status: 0
Real time (s): 54.0976
CPU time (s): 53.7878
CPU user time (s): 53.3859
CPU system time (s): 0.401938
CPU usage (%): 99.4274
Max. virtual memory (cumulated for all children) (KiB): 867824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.3859
system time used= 0.401938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70897
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= 3244
involuntary context switches= 3861

runsolver used 0.079987 second user time and 0.181972 second system time

The end

Launcher Data (download as text)

Begin job on node55 at 2008-07-05 07:35:26
IDJOB=1085930
IDBENCH=57726
IDSOLVER=364
FILE ID=node55/1085930-1215236126
PBS_JOBID= 7881927
Free space on /tmp= 66420 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8646843a2e95f500eada934cacf94d53
RANDOM SEED=1334941611

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1455392 kB
Buffers:         92984 kB
Cached:         373016 kB
SwapCached:       6804 kB
Active:         315940 kB
Inactive:       221212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1455392 kB
SwapTotal:     4192956 kB
SwapFree:      4180408 kB
Dirty:            5700 kB
Writeback:           0 kB
Mapped:          78328 kB
Slab:            48724 kB
Committed_AS:  3190484 kB
PageTables:       1888 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= 66420 MiB
End job on node55 at 2008-07-05 07:36:20