Trace number 1085929

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 112v4 ACSAT 59.144 59.4979

DiagnosticValue
CHECKS61518000
NODES3329

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.00/0.08	
0.00/0.08	Abscon 112 (May, 2008)
0.19/0.24	
0.19/0.24	   configuration
0.19/0.24	     name=mac.xml
0.19/0.27	   
0.19/0.27	   instance
0.19/0.27	     name=HOME/instance-1085929-1215236121.xml
0.29/0.31	   
0.29/0.31	   domains being loaded...
0.29/0.35	   
0.29/0.35	   variables being loaded...
0.49/0.58	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190  nbTotalValues=320494
0.49/0.58	       =>  wckTime=0.339  cpuTime=0.23  mem=21M512
0.49/0.58	   
0.49/0.58	   predicates being loaded...
0.59/0.64	   
0.59/0.64	   constraints being loaded...
20.67/20.88	   
20.67/20.88	   INFO : Stopping converting binary constraints (cpu=20.05, mem = 75M909)
31.21/31.47	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=1595  nbConvertConstraintsChecks=49880586
31.21/31.47	     nbExtensionStructures=1445  nbSharedExtensionStructures=588  nbConflictsStructures=3240
31.21/31.47	     nbSharedConflictsStructures=775  nbUnbuiltConflictsStructures=6585  nbSharedBinaryRepresentations=356072
31.21/31.47	     nbEvaluationManagers=8380  nbSharedEvaluationManagers=3694  minDegree=3  maxDegree=17  minArity=2  maxArity=2
31.21/31.47	     nbGenerators=0  nbFusions=0  symmetryWckTime=1.317  symmetryCpuTime=0.99
31.21/31.47	       =>  wckTime=31.23  cpuTime=29.66  mem=69M964
31.61/31.88	   
31.61/31.88	   solver IterativeSystematicSolver being built... 
32.11/32.35	       =>  wckTime=32.116  cpuTime=30.0  mem=93M489
41.75/42.07	   
41.75/42.07	   preprocessing
41.75/42.07	     nbConstraintChecks=25848266  nbValidityChecks=690539  nbPropagations=2215  nbRevisions=25724
41.75/42.07	     nbUselessRevisions=23706  nbRemovedValues=64440  detectedInconsistency=no
41.75/42.07	       =>  wckTime=9.704  cpuTime=9.63  mem=93M489
59.07/59.42	   
59.07/59.42	   search
59.07/59.42	     run=2  nbConstraintChecks=35669688  nbValidityChecks=47854272  minDepth=592  maxDepth=2000  nbPropagations=133342
59.07/59.42	     nbRevisions=1336444  nbUselessRevisions=1199827  nbAssignments=3329  nbFailedAssignments=34  nbBacktracks=23
59.07/59.42	     nbVisitedNodes=3372  nbRestartNogoods=8  nbFoundSolutions=1  nbSEliminables=?  nbREliminables=?  nbIEliminables=?
59.07/59.42	     nbDEliminables=?  nbPEliminables=?
59.07/59.42	       =>  wckTime=27.057  cpuTime=26.85  mem=95M428
59.07/59.42	   
59.07/59.42	   global
59.07/59.42	     nbConstraintChecks=61517954  nbValidityChecks=48544811  nbPropagations=135557  nbRevisions=1362168
59.07/59.42	     nbUselessRevisions=1223533  nbRestartNogoods=8  solvingWckTime=27.059  solvingCpuTime=26.85  expiredTime=no
59.07/59.42	     totalExploration=no  nbFoundSolutions=1  firstSolutionCpuTime=56.77  globalCpuTime=56.9
59.07/59.42	       =>  wckTime=59.186  cpuTime=56.86  mem=95M428
59.07/59.43	   
59.07/59.43	s SATISFIABLE
59.07/59.43	v -2644 -2520 2532 2588 -2408 2468 -2544 2344 -2636 2412 2280 2312 2620 2656 -2616 2528 -2656 -2280 -2280 -2320 -2344 -2280 -2380 -2492 -2444 -2636 -2368 -2492 2592 2480 -2320 -2540 -2516 2516 -2500 2424 -2360 -2332 -2484 -2344 2368 2280 2476 2288 2416 2656 2604 -2384 2632 -2312 2320 2560 2560 -2656 -2496 2556 2616 -2324 -2396 2476 2532 -2372 2320 -2284 -2284 -2548 -2280 2560 -2548 -2312 2520 2644 2496 2588 -2320 -2504 -2288 2624 2468 -2656 -2616 -2340 2280 -2452 -2620 2452 2456 2460 -2504 -2280 -2388 2360 2564 2284 -2436 -2468 2436 -2532 -2436 2608 -2316 2588 2500 2416 -2324 -2640 2656 2360 -2320 -2444 -2436 2304 2336 -2492 -2616 2532 -2540 -2636 2456 2496 2584 2600 2628 -2608 -2400 2592 2632 -2432 -2524 -2284 -2440 -2444 2560 2616 2328 -2416 -2436 2456 -2600 2436 -2404 -2448 2596 -2472 -2456 2656 2644 -2652 -2440 -2628 -2440 -2432 -2432 -2320 2524 2496 -2320 -2368 -2324 -2500 2420 2596 -2436 -2616 -2492 -2292 -2280 2592 2352 -2448 2520 2312 -2404 2384 -2656 2320 -2412 -2616 2404 2480 -2504 2328 -2368 -2612 -2656 2356 -2468 -2632 2596 -2472 -2280 -2320 -2380 2316 -2328 -2520 -2356 -2304 -2608 2464 -2280 -2616 2528 -2620 2616 -2648 2604 2536 -2320 -2656 -2648 2392 -2352 -2320 -2604 2432 -2480 2632 -2416 -2364 2380 2584 -2280 -2360 -2460 -2464 2616 2500 2304 2544 -2432 2616 -2368 -2644 -2632 -2380 2596 2616 2484 -2592 2656 -2280 2284 2320 -2280 2588 -2412 -2320 -2336 -2616 2612 -2456 2588 2280 2504 -2300 -2528 -2460 -2336 2352 2620 -2480 -2284 -2472 2568 -2320 -2644 -2320 2580 2616 -2340 2540 2636 -2504 2580 2628 2332 2356 -2280 -2412 2476 2556 -2428 2356 -2616 -2408 -2360 -2320 2524 2424 -2460 -2612 -2396 -2428 -2468 -2392 2452 2572 -2340 -2568 -2444 2280 -2500 -2536 -2416 -2572 2456 2352 -2420 2292 -2472 -2512 2420 2592 -2464 2432 -2656 -2320 -2372 -2332 -2508 -2372 -2616 -2568 -2332 -2464 -2656 -2300 2364 2648 2288 -2500 2600 2584 -2612 -2336 -2416 -2360 -2292 -2572 2504 2336 2632 -2576 -2400 2572 2604 2292 -2308 -2532 -2420 2640 -2496 -2416 2492 -2436 -2452 -2384 -2376 2360 -2520 -2340 -2588 2300 -2656 2616 -2444 -2584 -2640 -2280 2284 2588 2444 -2332 2500 -2524 2496 2320 2456 -2540 2656 2396 -2432 2356 -2368 2580 -2428 -2584 2472 -2656 2448 -2372 2544 -2400 2488 2516 -2384 -2380 -2448 2584 2440 -2316 2512 -2548 -2420 -2472 -2400 -2540 -2376 2360 2500 2568 -2388 2408 -2516 -2656 -2348 2648 -2648 2580 -2468 2452 -2516 -2656 -2616 2524 -2532 2512 -2596 -2548 2376 -2592 -2356 2344 -2520 2512 2616 2608 -2376 -2656 -2520 -2560 -2616 2372 -2320 -2552 -2316 2328 -2552 -2284 -2300 2284 -2476 2320 -2284 2584 2532 -2344 -2368 2616 -2528 -2484 -2656 -2400 2328 -2336 -2484 -2292 -2524 2616 -2296 -2360 -2428 2432 -2328 2400 2656 -2280 -2616 -2444 -2632 -2412 -2656 2588 -2592 -2520 -2652 -2424 2564 -2356 2540 2368 2432 -2616 -2388 2324 2396 -2412 2452 -2396 -2340 2280 2392 2588 2328 2380 2640 -2656 -2516 -2300 2428 -2488 2632 -2592 -2492 2300 -2656 -2548 -2520 2640 -2320 -2332 -2648 -2592 2624 2400 2324 2404 2496 -2372 -2616 2320 2564 -2284 -2608 -2452 -2584 2500 2520 -2448 2408 2288 2632 -2640 -2280 2488 -2560 2280 -2564 -2616 -2656 2356 -2320 2352 -2296 -2480 -2380 -2384 -2320 2616 -2544 2360 2548 2364 2324 -2600 2416 -2504 -2352 2368 -2616 -2580 2332 -2616 2524 -2580 -2456 -2280 -2608 -2656 -2432 -2324 -2528 -2328 -2372 -2588 -2656 2544 -2624 2428 2528 2332 -2408 -2456 -2404 2408 -2344 -2604 -2580 2560 -2616 2312 2524 -2448 -2336 -2368 -2340 -2556 -2280 2588 2404 -2288 -2656 -2600 2408 2476 -2500 -2464 2508 -2504 -2552 2580 2508 2492 -2472 2572 2460 -2372 -2652 -2612 -2320 -2304 -2392 -2656 -2280 2604 -2320 -2616 2520 2364 2320 2508 2360 2616 -2320 2324 2316 2372 2300 -2616 2392 -2360 2528 -2496 2544 -2432 2632 2520 2400 2432 -2580 -2592 2560 -2460 -2444 -2280 -2344 -2552 -2616 -2332 -2440 2600 2528 2640 2616 -2656 -2412 2380 2476 2320 2588 2280 -2320 2296 2304 2656 -2528 -2656 2320 -2496 2456 -2516 2404 2284 2336 2280 2328 -2400 -2556 -2360 2436 2632 -2616 -2324 -2656 2584 2520 2644 -2580 -2584 -2616 -2444 -2628 -2296 -2600 -2440 -2560 2384 2616 -2348 2616 2396 2540 -2624 -2492 -2344 2516 2476 -2504 -2280 -2424 -2440 -2324 2604 -2444 2604 -2580 -2284 -2420 2404 -2432 2324 2568 -2368 2536 -2524 2580 2500 -2560 2556 -2496 -2300 -2584 -2564 -2448 2604 -2448 -2492 -2320 -2520 2548 -2452 2292 -2468 -2516 -2616 2452 2640 -2568 2592 -2392 2320 2616 2312 -2324 2596 -2460 -2636 2356 -2428 -2608 -2340 2572 -2648 -2592 2648 2480 2448 2620 2576 -2604 2304 2540 2624 -2428 2392 -2380 -2340 -2628 -2388 2492 -2508 -2656 -2552 2604 2576 -2280 2280 -2572 -2308 -2392 -2324 2608 -2328 2324 -2416 -2408 -2420 -2296 -2488 2428 -2360 2328 -2648 -2544 -2384 -2452 -2352 -2460 2396 -2488 -2324 2480 -2376 -2576 -2584 2592 -2408 2288 -2376 -2376 2296 2336 2520 2652 2520 2580 2340 -2448 2280 -2284 2564 -2412 2512 -2296 -2348 -2656 2532 -2536 2468 -2392 2500 -2584 -2512 2412 -2320 2656 2308 -2504 2592 -2320 2368 -2280 2328 2372 2596 -2440 2464 2384 2616 -2352 -2568 2320 -2300 -2572 -2456 -2512 -2492 2484 -2584 2432 -2476 -2656 2432 -2408 2600 2436 2476 2320 2448 -2476 2556 -2652 -2328 -2420 -2292 2432 -2640 -2472 -2576 -2532 -2644 2548 -2612 2584 2392 2520 -2584 -2564 2596 2392 -2404 -2604 2540 -2608 -2424 2296 2564 -2328 -2368 2436 2564 2652 2452 -2544 -2476 -2620 -2540 2340 2520 2372 2336 -2568 2420 2612 -2428 2432 -2644 2368 -2320 -2508 -2600 2464 -2452 2536 -2576 -2496 -2516 2360 -2328 2584 -2468 -2364 -2608 2324 2280 -2412 -2544 -2432 -2584 2456 2508 -2328 2460 -2344 -2320 2572 -2616 -2456 -2352 -2412 2508 -2408 2588 2636 -2592 -2460 2596 -2416 2320 2616 2396 2544 -2616 -2304 -2616 2484 2588 2484 2492 -2452 -2460 -2628 2440 -2332 -2612 -2568 2452 -2292 2432 -2472 -2372 2520 -2448 -2596 2656 -2496 -2332 -2344 -2556 2280 -2616 2612 -2656 -2452 -2552 -2636 -2540 -2640 -2432 -2580 -2440 2452 -2516 -2412 -2484 -2548 2552 -2604 -2624 -2320 2532 2392 -2420 2452 2536 -2308 -2616 -2568 2476 2380 -2340 -2280 2628 2468 -2412 2424 2384 2632 -2428 2560 -2492 -2408 -2320 -2508 -2596 2372 2604 -2544 2320 -2496 -2564 2588 2280 2316 -2640 2652 -2404 -2372 2540 -2368 -2448 2616 2280 -2320 2600 2376 2524 -2320 2584 -2556 -2520 -2656 -2304 2340 2456 -2280 2308 2400 -2460 2428 -2368 -2656 2612 -2352 2656 -2616 2604 -2580 2636 -2532 -2560 -2528 -2584 -2304 -2344 -2592 -2636 2564 -2312 2420 2340 -2516 -2616 2544 2364 2532 2464 -2408 2452 -2644 -2284 -2564 -2656 -2472 -2616 -2296 -2536 2544 -2488 2620 2284 2360 -2352 -2348 2284 -2280 -2488 -2524 -2536 -2548 2540 -2624 2536 -2480 2384 2500 -2656 -2632 2656 -2460 2320 2428 -2604 -2516 -2616 -2600 -2604 2404 -2592 -2312 2508 2492 -2516 2436 -2452 -2572 2368 2584 2592 -2572 2372 -2540 -2372 -2504 -2280 2528 -2352 -2280 -2468 2380 2564 2476 2548 -2524 -2376 -2560 -2640 -2320 2452 2412 -2456 2368 2564 -2440 2392 -2576 2564 -2616 2368 -2604 -2580 -2480 -2408 -2436 -2632 -2368 -2292 -2560 -2476 -2592 -2380 2560 -2432 -2328 -2612 2332 -2608 -2656 -2492 2280 -2524 -2528 2612 2616 2652 2440 2556 2616 -2400 -2560 -2288 2472 2556 2460 -2340 2312 -2320 -2544 2656 -2444 2320 2520 -2320 -2328 2488 -2496 2284 2548 2628 2624 -2420 2596 2460 -2356 2336 -2416 -2572 -2608 -2304 2500 -2404 -2616 2652 -2408 2568 -2632 -2596 2452 2588 -2376 -2608 -2532 2616 -2568 2612 -2340 2604 2492 -2324 -2460 2388 2368 -2656 2428 -2648 -2532 -2316 -2320 -2628 2408 2596 -2636 -2604 2396 -2344 -2280 -2532 2340 -2400 -2524 -2372 -2620 2588 2508 2424 -2412 2588 -2320 2592 2628 2448 2396 -2476 2564 -2280 -2548 2536 2520 -2520 2380 -2616 2520 -2504 -2324 2408 -2324 -2652 -2596 -2536 -2328 -2352 2560 2420 -2656 -2508 -2472 -2632 -2580 -2280 -2392 2420 -2416 -2604 -2364 2280 -2340 -2656 -2444 -2656 2280 2420 -2320 -2608 -2308 -2520 2512 2444 -2612 -2504 -2480 -2616 -2512 -2300 -2324 2632 -2320 2388 -2456 -2656 2328 -2604 -2448 -2300 -2344 2552 -2532 -2336 2304 2288 2572 2296 -2572 -2596 2448 -2564 -2560 2612 2320 2340 2340 -2544 2408 2632 -2420 2328 2456 -2456 -2384 2360 -2564 2324 2344 -2292 2348 -2420 -2444 2600 -2656 2560 -2448 -2576 -2480 -2632 2608 -2512 2600 2600 2280 -2524 2584 2544 -2528 2612 -2492 -2312 2288 -2280 -2632 2648 -2528 -2508 -2344 -2488 -2632 2404 2280 -2336 2320 -2360 -2532 -2644 2620 -2600 -2544 -2608 -2440 2520 2656 2380 -2492 -2584 -2496 2472 2556 2612 2616 2456 -2348 2336 2560 2552 2528 2304 -2452 2612 -2600 -2408 -2344 2352 -2344 -2564 -2544 -2656 -2480 2512 2408 -2372 2516 -2400 2304 -2372 -2280 -2596 2408 -2468 2600 2348 -2616 2504 2280 -2280 2632 -2364 2536 -2340 2468 -2656 -2428 -2572 2572 -2504 2376 -2472 -2280 2648 -2320 2656 -2468 -2280 2524 2656 -2320 -2368 -2388 -2344 -2620 -2416 -2336 -2356 -2608 2376 -2516 2448 2320 -2344 2424 2356 2368 -2332 -2560 -2628 2492 -2480 -2656 -2320 -2656 2612 2332 -2616 -2596 2432 -2380 2592 -2320 2412 -2592 2412 2436 2472 -2628 2580 -2280 -2620 -2644 2376 -2616 -2592 -2656 2572 -2544 -2284 2468 -2352 -2540 -2432 2492 -2652 2608 -2316 2392 2648 2296 -2320 2604 2644 2384 -2332 -2344 -2616 -2652 -2280 2280 -2400 2464 -2320 2444 -2336 2344 -2616 -2588 -2588 -2496 2420 2624 2504 2316 2476 2292 -2416 -2380 -2360 -2492 -2564 -2452 -2532 -2612 2624 -2632 2604 -2300 -2644 2592 -2340 -2368 -2516 2656 -2552 -2492 2408 -2408 2604 -2288 -2336 2384 2416 -2280 -2416 2280 2360 -2656 2424 2596 -2636 -2300 -2556 2476 2544 2356 2416 -2612 2560 -2544 -2508 -2604 -2424 -2568 -2616 -2636 -2400 -2280 2580 2644 -2656 2380 2648 -2496 2612 -2600 -2316 -2400 2636 2380 2408 2632 2304 2616 2488 -2288 2328 -2616 -2656 -2496 -2340 -2596 -2332 -2612 -2448 -2612 -2656 -2592 2404 -2388 -2476 2472 2540 2528 -2412 -2552 -2548 -2372 2640 -2320 2532 -2592 2652 -2656 -2400 2320 -2608 -2452 -2316 -2488 2592 -2540 2376 -2604 -2320 2384 2416 2556 -2340 -2324 -2632 2416 2548 2280 2536 -2568 -2468 2576 2420 2576 -2408 2412 2592 -2616 2448 2484 -2592 2552 2496 2512 -2572 -2392 2332 -2616 -2380 -2320 2496 -2356 2568 2380 2492 2280 -2624 -2448 -2404 -2300 -2608 -2492 -2564 -2568 -2480 2320 -2580 2608 2500 2656 -2612 2556 2600 -2616 2616 -2296 2340 -2612 2652 2360 2320 -2488 -2580 2608 2420 2524 -2656 2600 2476 -2592 -2556 2572 -2320 2564 -2396 -2336 2616 -2632 2568 -2460 2320 2564 2592 2572 2364 2552 -2508 -2376 2320 -2656 2520 -2324 -2608 -2560 -2376 2592 2528 2552 -2584 -2616 2588 -2356 2616 -2556 2408 2656 -2448 2596 2652 -2332 -2376 -2300 2336 2500 2584 -2432 -2572 -2320 -2328 2624 -2564 2400 -2544 -2332 2340 -2616 -2524 -2552 2280 2492 -2300 -2392 -2596 -2488 -2488 2452 -2308 -2348 -2360 2544 -2288 2632 2656 2480 -2296 2320 -2516 2320 2328 2300 -2328 2520 -2364 2352 -2576 -2400 -2444 -2376 -2332 -2536 2552 -2656 2280 -2388 2560 2600 2280 -2356 -2328 -2548 2544 2592 -2352 2336 -2280 2596 2348 -2480 -2288 -2424 -2480 2404 2484 -2388 2392 -2304 2624 2292 2592 2536 2476 2280 -2320 -2648 -2592 -2404 2612 -2392 -2344 2612 -2484 -2340 -2380 2396 -2560 2472 -2616 -2360 2392 2392 -2372 -2488 2412 2368 2656 2456 -2492 -2452 2456 2480 -2320 -2332 2328 -2600 -2416 -2360 2320 -2656 -2344 -2320 -2464 -2512 -2536 -2464 -2444 2320 -2516 2612 2348 -2560 2652 -2616 2280 -2488 -2484 -2612 -2508 -2552 -2556 2356 -2320 2336 2424 2448 2512 2592 -2548 2592 -2616 2328 -2412 2380 2584 -2644 -2580 -2372 2360 -2416 -2412 -2456 -2320 -2656 2376 2596 -2332 -2656 -2652 2368 2492 -2440 -2636 
59.07/59.43	d NODES 3329
59.07/59.43	d CHECKS 61517954
59.07/59.43	   
59.07/59.43	   totalWckTime=59.259  totalCpuTime=56.91

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-1085929-1215236121/watcher-1085929-1215236121 -o /tmp/evaluation-result-1085929-1215236121/solver-1085929-1215236121 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085929-1215236121.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: 1.94 1.99 2.07 3/81 4684
/proc/meminfo: memFree=1191112/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=152 CPUtime=0
/proc/4684/stat : 4684 (java) R 4682 4684 4062 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 2002563257 155648 26 996147200 134512640 134550740 4294955968 18446744073709551615 9757476 0 0 4096 0 0 0 0 17 0 0 0
/proc/4684/statm: 38 26 19 9 0 4 0

[startup+0.092395 s]
/proc/loadavg: 1.94 1.99 2.07 3/81 4684
/proc/meminfo: memFree=1191112/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=865884 CPUtime=0.08
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 3692 0 1 0 6 2 0 0 18 0 9 0 2002563257 886665216 3167 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216471 3167 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884

[startup+0.101396 s]
/proc/loadavg: 1.94 1.99 2.07 3/81 4684
/proc/meminfo: memFree=1191112/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=865884 CPUtime=0.09
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 3796 0 1 0 7 2 0 0 18 0 9 0 2002563257 886665216 3247 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216471 3247 1720 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884

[startup+0.301439 s]
/proc/loadavg: 1.94 1.99 2.07 3/81 4684
/proc/meminfo: memFree=1191112/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=866284 CPUtime=0.29
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 5993 0 1 0 25 4 0 0 18 0 9 0 2002563257 887074816 5367 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216571 5368 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866284

[startup+0.701516 s]
/proc/loadavg: 1.94 1.99 2.07 3/81 4684
/proc/meminfo: memFree=1191112/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=867416 CPUtime=0.68
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 11314 0 1 0 61 7 0 0 18 0 9 0 2002563257 888233984 10674 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216854 10675 2011 9 0 211360 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867416

[startup+1.50267 s]
/proc/loadavg: 1.94 1.99 2.07 3/90 4693
/proc/meminfo: memFree=1137856/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=867460 CPUtime=1.47
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 20162 0 1 0 136 11 0 0 18 0 9 0 2002563257 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216865 19497 2004 9 0 211393 0
[pid=4684/tid=4686] ppid=4682 vsize=867460 CPUtime=1.22
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 15746 0 1 0 113 9 0 0 25 0 9 0 2002563258 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4126741988 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4687] ppid=4682 vsize=867460 CPUtime=0.06
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 3091 0 0 0 6 0 0 0 16 0 9 0 2002563260 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4688] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4689] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4690] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002563262 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=867460 CPUtime=0.16
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 2002563262 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4692] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002563262 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002563262 888279040 19497 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867460

[startup+3.10199 s]
/proc/loadavg: 1.94 1.99 2.07 3/90 4693
/proc/meminfo: memFree=1108480/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=867460 CPUtime=3.07
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 23251 0 1 0 294 13 0 0 18 0 9 0 2002563257 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216865 22582 2006 9 0 211393 0
[pid=4684/tid=4686] ppid=4682 vsize=867460 CPUtime=2.68
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 15783 0 1 0 259 9 0 0 25 0 9 0 2002563258 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4126897916 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4687] ppid=4682 vsize=867460 CPUtime=0.15
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 6100 0 0 0 14 1 0 0 17 0 9 0 2002563260 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4688] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4689] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4690] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002563262 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=867460 CPUtime=0.21
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 672 0 0 0 21 0 0 0 16 0 9 0 2002563262 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4692] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002563262 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002563262 888279040 22582 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867460

[startup+6.30261 s]
/proc/loadavg: 1.95 1.99 2.07 3/90 4693
/proc/meminfo: memFree=1107904/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=867460 CPUtime=6.25
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 23257 0 1 0 611 14 0 0 18 0 9 0 2002563257 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216865 22586 2006 9 0 211393 0
[pid=4684/tid=4686] ppid=4682 vsize=867460 CPUtime=5.85
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 15786 0 1 0 575 10 0 0 25 0 9 0 2002563258 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4126902174 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4687] ppid=4682 vsize=867460 CPUtime=0.15
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 6100 0 0 0 14 1 0 0 16 0 9 0 2002563260 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4688] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4689] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4690] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002563262 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=867460 CPUtime=0.22
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 675 0 0 0 21 1 0 0 16 0 9 0 2002563262 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4692] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002563262 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002563262 888279040 22586 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867460

[startup+12.7019 s]
/proc/loadavg: 1.95 1.99 2.07 3/90 4693
/proc/meminfo: memFree=1099016/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=867460 CPUtime=12.62
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 25454 0 1 0 1245 17 0 0 18 0 9 0 2002563257 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216865 24781 2006 9 0 211393 0
[pid=4684/tid=4686] ppid=4682 vsize=867460 CPUtime=12.07
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 15789 0 1 0 1195 12 0 0 25 0 9 0 2002563258 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4126933175 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4687] ppid=4682 vsize=867460 CPUtime=0.28
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 8285 0 0 0 26 2 0 0 16 0 9 0 2002563260 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4688] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4689] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4690] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002563262 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=867460 CPUtime=0.24
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 684 0 0 0 23 1 0 0 15 0 9 0 2002563262 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4692] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002563262 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002563262 888279040 24781 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867460

[startup+25.5024 s]
/proc/loadavg: 1.96 1.99 2.06 3/90 4693
/proc/meminfo: memFree=1075912/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=867460 CPUtime=25.35
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 29761 0 1 0 2514 21 0 0 18 0 9 0 2002563257 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 216865 29082 2007 9 0 211393 0
[pid=4684/tid=4686] ppid=4682 vsize=867460 CPUtime=24.44
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 15797 0 1 0 2429 15 0 0 25 0 9 0 2002563258 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4126899281 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4687] ppid=4682 vsize=867460 CPUtime=0.61
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 12563 0 0 0 57 4 0 0 16 0 9 0 2002563260 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4688] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4689] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2002563260 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4690] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2002563262 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=867460 CPUtime=0.28
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 705 0 0 0 27 1 0 0 16 0 9 0 2002563262 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4692] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2002563262 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=867460 CPUtime=0
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2002563262 888279040 29082 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 867460

[startup+51.1024 s]
/proc/loadavg: 1.97 1.99 2.06 3/90 4697
/proc/meminfo: memFree=1031104/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=868196 CPUtime=50.81
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 70228 956 1 0 5032 32 15 2 18 0 9 0 2002563257 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 217049 40855 2638 9 0 211555 0
[pid=4684/tid=4686] ppid=4682 vsize=868196 CPUtime=48.96
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 31360 956 1 0 4861 18 15 2 25 0 9 0 2002563258 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4126902135 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=868196 CPUtime=1.58
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 37096 956 0 0 131 10 15 2 16 0 9 0 2002563260 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 17 956 0 0 0 0 15 2 16 0 9 0 2002563260 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 27 956 0 0 0 0 15 2 15 0 9 0 2002563260 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 24 0 9 0 2002563262 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=868196 CPUtime=0.57
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 908 956 0 0 39 1 15 2 16 0 9 0 2002563262 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 25 0 9 0 2002563262 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 7 956 0 0 0 0 15 2 15 0 9 0 2002563262 889032704 40855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 868196

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

[startup+54.302 s]
/proc/loadavg: 1.97 1.99 2.06 3/90 4697
/proc/meminfo: memFree=1031104/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=868196 CPUtime=53.99
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 70231 956 1 0 5350 32 15 2 18 0 9 0 2002563257 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 217049 40856 2638 9 0 211555 0
[pid=4684/tid=4686] ppid=4682 vsize=868196 CPUtime=52.14
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 31361 956 1 0 5179 18 15 2 25 0 9 0 2002563258 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4126933252 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=868196 CPUtime=1.58
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 37096 956 0 0 131 10 15 2 16 0 9 0 2002563260 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 17 956 0 0 0 0 15 2 16 0 9 0 2002563260 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 27 956 0 0 0 0 15 2 15 0 9 0 2002563260 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 24 0 9 0 2002563262 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=868196 CPUtime=0.57
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 910 956 0 0 39 1 15 2 16 0 9 0 2002563262 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 25 0 9 0 2002563262 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 7 956 0 0 0 0 15 2 15 0 9 0 2002563262 889032704 40856 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.99
Current children cumulated vsize (KiB) 868196

[startup+57.5026 s]
/proc/loadavg: 1.98 1.99 2.06 3/90 4697
/proc/meminfo: memFree=1030976/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=868196 CPUtime=57.17
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 70241 956 1 0 5668 32 15 2 18 0 9 0 2002563257 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 217049 40865 2638 9 0 211555 0
[pid=4684/tid=4686] ppid=4682 vsize=868196 CPUtime=55.3
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 31361 956 1 0 5495 18 15 2 25 0 9 0 2002563258 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4127439271 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=868196 CPUtime=1.58
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 37096 956 0 0 131 10 15 2 17 0 9 0 2002563260 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 17 956 0 0 0 0 15 2 16 0 9 0 2002563260 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 27 956 0 0 0 0 15 2 15 0 9 0 2002563260 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 24 0 9 0 2002563262 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=868196 CPUtime=0.59
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 920 956 0 0 41 1 15 2 16 0 9 0 2002563262 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 25 0 9 0 2002563262 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 7 956 0 0 0 0 15 2 15 0 9 0 2002563262 889032704 40865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 57.17
Current children cumulated vsize (KiB) 868196

[startup+58.3068 s]
/proc/loadavg: 1.98 1.99 2.06 3/90 4697
/proc/meminfo: memFree=1030912/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=868196 CPUtime=57.97
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 70243 956 1 0 5748 32 15 2 18 0 9 0 2002563257 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 217049 40866 2638 9 0 211555 0
[pid=4684/tid=4686] ppid=4682 vsize=868196 CPUtime=56.1
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 31361 956 1 0 5575 18 15 2 25 0 9 0 2002563258 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4127420384 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=868196 CPUtime=1.58
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 37096 956 0 0 131 10 15 2 17 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 17 956 0 0 0 0 15 2 16 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 27 956 0 0 0 0 15 2 15 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 24 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=868196 CPUtime=0.59
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 922 956 0 0 41 1 15 2 15 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 25 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 7 956 0 0 0 0 15 2 15 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 57.97
Current children cumulated vsize (KiB) 868196

[startup+59.1019 s]
/proc/loadavg: 1.98 1.99 2.06 3/90 4697
/proc/meminfo: memFree=1030912/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=868196 CPUtime=58.77
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 70244 956 1 0 5828 32 15 2 18 0 9 0 2002563257 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 217049 40866 2638 9 0 211555 0
[pid=4684/tid=4686] ppid=4682 vsize=868196 CPUtime=56.89
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 31362 956 1 0 5654 18 15 2 25 0 9 0 2002563258 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4127147319 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=868196 CPUtime=1.58
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 37096 956 0 0 131 10 15 2 17 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 17 956 0 0 0 0 15 2 16 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 27 956 0 0 0 0 15 2 15 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 24 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=868196 CPUtime=0.59
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 922 956 0 0 41 1 15 2 15 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 25 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 7 956 0 0 0 0 15 2 15 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 58.77
Current children cumulated vsize (KiB) 868196

[startup+59.302 s]
/proc/loadavg: 1.98 1.99 2.06 3/90 4697
/proc/meminfo: memFree=1030912/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=868196 CPUtime=58.97
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 70244 956 1 0 5848 32 15 2 18 0 9 0 2002563257 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 217049 40866 2638 9 0 211555 0
[pid=4684/tid=4686] ppid=4682 vsize=868196 CPUtime=57.09
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 31362 956 1 0 5674 18 15 2 25 0 9 0 2002563258 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4126899217 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=868196 CPUtime=1.58
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 37096 956 0 0 131 10 15 2 17 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 17 956 0 0 0 0 15 2 16 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 27 956 0 0 0 0 15 2 15 0 9 0 2002563260 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 24 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=868196 CPUtime=0.59
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 922 956 0 0 41 1 15 2 15 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 25 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 7 956 0 0 0 0 15 2 15 0 9 0 2002563262 889032704 40866 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 58.97
Current children cumulated vsize (KiB) 868196

[startup+59.407 s]
/proc/loadavg: 1.98 1.99 2.06 3/90 4697
/proc/meminfo: memFree=1030912/2055920 swapFree=4179604/4192956
[pid=4684] ppid=4682 vsize=868196 CPUtime=59.07
/proc/4684/stat : 4684 (java) S 4682 4684 4062 0 -1 0 70251 956 1 0 5858 32 15 2 18 0 9 0 2002563257 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4684/statm: 217049 40873 2638 9 0 211555 0
[pid=4684/tid=4686] ppid=4682 vsize=868196 CPUtime=57.19
/proc/4684/task/4686/stat : 4686 (java) R 4682 4684 4062 0 -1 64 31365 956 1 0 5683 19 15 2 25 0 9 0 2002563258 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4127463718 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=868196 CPUtime=1.58
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4062 0 -1 64 37096 956 0 0 131 10 15 2 17 0 9 0 2002563260 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4062 0 -1 64 17 956 0 0 0 0 15 2 16 0 9 0 2002563260 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4062 0 -1 64 27 956 0 0 0 0 15 2 15 0 9 0 2002563260 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 24 0 9 0 2002563262 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4691] ppid=4682 vsize=868196 CPUtime=0.6
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4062 0 -1 64 926 956 0 0 42 1 15 2 16 0 9 0 2002563262 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4062 0 -1 64 1 956 0 0 0 0 15 2 25 0 9 0 2002563262 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4684/tid=4693] ppid=4682 vsize=868196 CPUtime=0.17
/proc/4684/task/4693/stat : 4693 (java) S 4682 4684 4062 0 -1 64 7 956 0 0 0 0 15 2 15 0 9 0 2002563262 889032704 40873 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 59.07
Current children cumulated vsize (KiB) 868196

Child status: 0
Real time (s): 59.4979
CPU time (s): 59.144
CPU user time (s): 58.7661
CPU system time (s): 0.377942
CPU usage (%): 99.4052
Max. virtual memory (cumulated for all children) (KiB): 868196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.7661
system time used= 0.377942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71248
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= 3662
involuntary context switches= 4441

runsolver used 0.088986 second user time and 0.19497 second system time

The end

Launcher Data (download as text)

Begin job on node74 at 2008-07-05 07:35:21
IDJOB=1085929
IDBENCH=57726
IDSOLVER=363
FILE ID=node74/1085929-1215236121
PBS_JOBID= 7881944
Free space on /tmp= 103224 MiB

SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085929-1215236121/watcher-1085929-1215236121 -o /tmp/evaluation-result-1085929-1215236121/solver-1085929-1215236121 -C 1800 -W 2200 -M 900 --output-limit 1,15  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1085929-1215236121.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 8646843a2e95f500eada934cacf94d53
RANDOM SEED=1444057807

node74.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.259
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.259
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:       1191592 kB
Buffers:         42868 kB
Cached:         152180 kB
SwapCached:       6708 kB
Active:         683424 kB
Inactive:       120284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1191592 kB
SwapTotal:     4192956 kB
SwapFree:      4179604 kB
Dirty:           15292 kB
Writeback:           0 kB
Mapped:         622260 kB
Slab:            44604 kB
Committed_AS:  4854740 kB
PageTables:       3016 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103224 MiB
End job on node74 at 2008-07-05 07:36:21