Trace number 201683

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, and are wall clock time (not CPU 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 109 ESACSAT 208.138 209.17

DiagnosticValue
CHECKS334778015
NODES11104

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-8.xml
MD5SUM6d1268141c16c5921f55653855a956f2
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 benchmark31.8102
SatisfiableYES
(Un)Satisfiability was provedYES
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/201683-1168149130/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.65	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.65	       =>  wckTime=0.328  cpuTime=0.22  mem=20M547
0.65	   
0.65	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
142.51	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=13669  nbConvertConstraintsChecks=228803708
142.51	     nbExtensionStructures=9632  nbSharedExtensionStructures=4037  nbConflictsStructures=9632
142.51	     nbSharedConflictsStructures=4037  nbSharedBinaryRepresentations=2617226  maxDegree=17  maxArity=2
142.51	       =>  wckTime=142.186  cpuTime=140.27  mem=102M667
142.89	   
142.89	   solver IterativeSystematicSolver being built... 
143.17	       =>  wckTime=142.855  cpuTime=140.49  mem=109M468
185.60	   
185.60	   INFO : Stopping ESAC
185.60	   
185.60	   preprocessing
185.60	     nbConstraintChecks=192558039  nbPropagations=371980  nbRevisions=1655019  nbUselessRevisions=1263371
185.60	     nbSingletonTests=7942  nbEffectiveSingletonTests=23  nbESACBranches=84  nbRemovedValues=98962
185.60	     detectedInconsistency=no
185.60	       =>  wckTime=42.411  cpuTime=42.16  mem=109M468
188.35	   
188.35	   search
188.35	     run=0  nbConstraintChecks=8964223  nbPropagations=391872  nbRevisions=1761722  nbUselessRevisions=1347815
188.35	     nbAssignments=628  nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=649  nbRestartNogoods=0  mapSize=6
188.35	     nbInferences=0  nbTooLargeKeys=0
188.35	       =>  wckTime=45.166  cpuTime=44.85  mem=112M649
199.07	   
199.07	   search
199.07	     run=1  nbConstraintChecks=86828958  nbPropagations=951861  nbRevisions=4358288  nbUselessRevisions=3356479
199.07	     nbAssignments=5825  nbFailedAssignments=34  nbBacktracks=28  nbVisitedNodes=1225  nbRestartNogoods=14  mapSize=19
199.07	     nbInferences=0  nbTooLargeKeys=0
199.07	       =>  wckTime=55.886  cpuTime=55.52  mem=132M713
203.06	   
203.06	   search
203.06	     run=2  nbConstraintChecks=108320598  nbPropagations=1561197  nbRevisions=7208114  nbUselessRevisions=5567733
203.06	     nbAssignments=7505  nbFailedAssignments=65  nbBacktracks=51  nbVisitedNodes=2090  nbRestartNogoods=17  mapSize=34
203.06	     nbInferences=0  nbTooLargeKeys=0
203.06	       =>  wckTime=59.873  cpuTime=59.42  mem=136M321
209.10	   
209.10	   search
209.10	     run=3  nbConstraintChecks=142219976  nbPropagations=2250020  nbRevisions=10457075  nbUselessRevisions=8097915
209.10	     nbAssignments=11104  nbFailedAssignments=74  nbBacktracks=51  nbVisitedNodes=4108  nbRestartNogoods=21  mapSize=34
209.10	     nbInferences=0  nbTooLargeKeys=0
209.10	       =>  wckTime=65.911  cpuTime=65.42  mem=179M582
209.10	   
209.10	   global
209.10	     nbConstraintChecks=334778015  nbPropagations=2622000  nbRevisions=12112094  nbUselessRevisions=9361286
209.10	     nbRestartNogoods=21  solvingWckTime=65.912  solvingCpuTime=65.42  expiredTime=no  totalExploration=no
209.10	     nbFoundSolutions=1  globalCpuTime=205.96
209.10	       =>  wckTime=208.78  cpuTime=205.92  mem=179M582
209.10	   
209.10	s SATISFIABLE
209.10	v -2532 2532 2640 2616 2388 -2508 -2572 -2284 2652 -2400 2296 -2320 2612 2652 -2280 2508 2348 -2332 -2320 -2332 2360 -2320 -2340 2440 -2412 -2632 -2372 2536 -2656 -2492 -2364 -2504 -2636 2508 2564 2456 2284 2388 2464 -2304 -2312 -2320 -2468 2360 2460 -2656 -2572 -2432 2616 -2308 2404 2560 2616 -2568 -2612 2600 -2428 2320 2548 -2588 2444 2408 2492 -2292 2288 -2588 2372 2656 -2600 -2320 -2484 2628 2484 2648 -2324 -2552 2404 2584 -2552 -2360 -2644 2320 -2560 -2468 2616 -2324 -2428 -2616 2544 2288 2280 -2424 -2576 2348 2396 2480 -2516 -2516 2464 -2616 2328 -2616 -2416 2380 -2336 2612 -2656 -2392 -2280 2500 -2468 -2360 -2324 -2328 2616 2368 -2492 2388 -2460 2528 -2612 2468 2656 -2576 -2428 2588 -2560 -2416 -2616 2348 -2440 2436 -2576 -2604 -2328 -2440 2320 -2432 -2620 2400 2572 -2392 2624 2408 2504 -2572 2588 2556 2504 -2596 -2536 -2404 2416 -2340 -2592 -2544 2384 -2280 -2292 -2304 -2320 -2596 2436 2556 -2492 -2352 2380 2616 2388 2432 2484 -2292 -2328 -2320 -2588 -2280 2328 -2656 -2344 2432 -2496 2388 -2324 2492 2644 2372 2524 -2624 2592 -2492 2344 -2320 2280 -2324 2296 -2480 -2368 2344 2656 2552 2356 -2636 2548 2624 -2620 2652 2620 2356 2364 -2548 2616 2440 -2300 -2360 2652 -2476 2536 2580 -2468 2368 2376 2616 2284 -2360 -2444 -2512 2612 -2468 -2324 -2584 -2304 2600 2320 -2584 -2624 -2336 2596 -2576 -2656 2584 -2656 2308 2452 -2292 -2376 -2548 2428 2344 -2356 2620 2552 -2492 2520 -2320 2596 2360 2408 -2524 -2356 -2280 2604 2480 2400 2404 2500 2356 -2652 -2324 2600 -2608 2320 2572 2476 2528 -2452 2616 -2280 -2408 -2280 -2280 -2424 -2516 2452 -2388 2616 -2464 -2396 2356 2536 2280 -2512 -2592 -2396 -2436 2540 -2420 -2500 2652 -2344 2512 -2476 -2392 -2452 -2636 2412 -2604 2576 -2396 2324 2380 2320 2432 -2420 2612 -2380 2468 2580 -2280 -2288 -2320 2612 2308 2544 2616 -2320 2480 2596 -2352 -2332 -2656 -2360 -2476 -2656 -2600 2572 -2280 -2408 2356 -2360 -2656 -2456 2280 2628 -2280 2412 2564 2492 -2360 -2284 2464 -2432 2552 2548 2544 2480 -2452 2320 2456 -2348 -2320 -2540 -2512 2616 -2320 -2656 2616 -2464 2596 -2472 -2332 2284 2568 2448 -2400 -2616 2616 -2412 2400 2456 2524 2656 2384 2432 2344 2340 2656 -2520 -2544 2468 -2632 2656 -2424 -2496 -2420 -2296 2524 2364 -2280 2280 2572 2488 2320 -2484 2560 2408 -2516 -2384 -2456 2372 -2320 2484 -2580 2368 2608 2568 -2656 -2412 2656 2600 -2572 -2308 -2412 -2504 -2320 2616 2616 2548 -2544 -2636 2536 2424 -2604 2364 2280 2572 -2616 2584 2604 -2360 -2320 2452 -2524 2656 2296 -2360 2644 -2280 -2280 2564 2480 2320 -2296 -2396 2372 2332 2628 2600 -2384 -2408 2616 2460 2616 -2548 -2324 2364 -2320 -2372 2280 2648 2616 -2280 -2412 -2440 2508 -2312 -2396 -2424 -2300 -2616 -2332 2632 -2368 2620 2576 2480 -2468 -2320 2480 2560 -2344 2492 -2300 2596 2508 2360 2444 2348 -2456 2592 2368 -2340 2280 2364 -2596 -2304 -2536 2640 -2656 2548 2452 2408 2472 -2552 -2604 2520 2324 -2576 -2596 -2568 2588 2324 2400 -2596 2604 -2640 -2444 2360 -2280 2496 -2364 2616 -2384 2596 -2284 -2592 2288 -2584 -2500 2616 2388 -2368 -2636 2612 2640 -2320 -2584 2612 2280 2580 -2656 2604 -2280 -2380 -2280 -2300 2448 -2380 -2320 -2320 2620 -2612 -2280 2652 2420 2312 2616 -2576 2472 2332 2392 2616 -2564 -2320 2584 2500 -2484 2484 -2280 2552 -2656 2460 -2280 2484 2320 -2288 -2588 2656 -2464 2596 2616 -2540 -2320 -2320 2524 2320 2428 -2288 -2572 -2556 2580 -2636 2328 2504 -2408 -2320 -2372 -2348 2548 -2428 2656 -2516 2288 -2504 2600 -2360 -2464 -2616 2512 2560 2524 2616 2548 -2592 2328 -2532 2592 -2656 2340 2532 2604 2308 2328 2424 2616 2352 -2656 2308 2560 -2476 -2292 2316 2528 2384 -2656 -2280 -2492 -2384 2368 -2280 -2464 -2396 -2348 2512 -2532 2592 2384 -2624 2488 -2500 -2324 -2556 2656 -2564 -2432 -2432 2396 2392 2616 2400 -2460 2460 -2600 -2624 -2564 -2592 -2656 -2452 2388 2492 2280 2600 -2348 -2328 2320 -2444 2596 -2320 2532 -2280 -2524 -2420 -2428 -2396 -2280 2336 -2324 2332 2280 -2468 2656 2320 -2568 2644 -2368 -2608 -2568 -2452 -2656 2532 2532 2580 2356 2584 2284 -2596 -2452 -2516 2332 -2612 -2320 2348 -2408 2596 2576 -2540 -2304 2616 -2344 2384 2380 -2424 -2332 -2284 -2656 -2504 2544 -2576 2288 -2392 -2476 -2428 -2292 2544 -2376 2608 -2332 -2484 2448 2508 -2564 2508 2336 -2556 -2584 2616 2612 -2316 -2456 2300 -2392 2592 -2452 2420 -2384 2516 2656 -2384 2600 -2280 2628 -2344 -2280 2616 -2452 2336 -2612 -2488 2596 -2348 -2280 -2584 -2352 2628 -2540 2656 -2604 2528 2448 -2652 -2536 -2640 2324 2596 -2656 -2320 2424 -2280 -2296 2396 -2412 -2468 -2468 -2604 -2536 -2616 2628 -2340 -2360 2504 2336 2344 -2520 2640 2380 2328 -2408 -2436 2356 2396 -2472 -2280 2348 2284 2632 -2612 -2420 -2420 -2332 2416 2508 2468 -2324 -2656 -2320 2636 -2580 2616 2448 -2324 2420 -2504 -2280 -2320 -2524 2280 2580 2540 -2296 2568 -2452 -2352 -2280 -2552 -2500 2296 2352 2352 2564 2452 -2488 -2404 -2656 -2588 2556 2460 -2332 -2656 2308 2524 2592 -2320 2304 -2320 2340 -2376 2424 -2280 -2440 -2424 2644 2364 2448 2280 -2300 -2612 2616 2524 -2640 -2464 -2516 2532 -2476 -2656 -2388 2412 2600 -2304 2508 -2360 2472 2624 -2588 -2656 2344 -2320 2440 -2444 -2640 2388 -2564 -2496 -2420 2588 -2280 2616 2392 -2656 -2584 -2532 2612 -2444 2428 2652 -2516 2584 -2496 -2352 -2608 2596 -2360 -2588 -2580 2524 -2428 -2492 2280 2376 2592 -2384 -2528 2416 -2408 2656 -2280 2648 -2608 -2436 2600 -2372 2280 -2552 -2604 2484 2516 -2488 -2396 -2484 -2556 -2388 2320 2616 2584 2324 -2616 2324 2340 2472 2556 -2480 -2572 -2420 2556 -2412 2516 -2404 -2352 -2612 -2612 2500 -2492 -2376 -2460 -2280 -2540 2584 -2656 -2488 2476 -2380 2344 2588 2436 2600 2584 2320 2536 -2540 -2544 -2608 -2480 2476 -2460 -2628 -2500 2320 -2572 2592 -2488 -2320 2384 2504 -2288 2488 2636 2588 -2616 2536 -2348 2352 2556 -2280 -2616 2648 2604 -2384 -2528 2620 2524 2652 -2460 -2612 -2484 -2480 -2520 -2428 -2504 2596 2588 -2616 -2608 -2332 -2540 -2456 2404 -2484 2320 -2280 -2604 -2560 -2596 2424 2412 -2320 2656 -2320 -2408 2384 -2316 2656 2484 2580 -2424 2416 2320 2580 -2596 -2284 2496 -2656 -2320 2520 -2400 2656 -2280 -2308 -2468 2596 2372 -2484 2524 -2348 -2320 2604 2288 -2388 2628 2364 2540 -2280 2536 -2580 2636 2624 -2424 2336 -2408 2320 2372 -2320 -2280 2356 -2316 -2656 2640 2404 2640 2600 -2380 -2600 2516 -2544 2596 -2540 2620 -2344 2364 -2656 -2652 -2544 -2436 -2628 -2284 -2656 -2324 -2536 2388 -2588 2464 -2280 -2492 -2656 -2284 -2464 2564 -2284 -2656 -2368 -2492 2344 2508 2616 -2296 2320 2368 -2324 2484 -2332 -2488 -2656 2484 2616 2508 -2576 -2544 -2412 2392 -2512 -2388 -2632 2624 -2588 -2308 2460 2624 2504 2280 2512 -2604 -2396 -2624 2340 2452 2508 -2572 2396 2440 2612 2348 2484 2620 -2600 -2496 -2588 2320 -2488 -2384 2616 -2404 2324 -2492 2452 -2532 -2556 2576 2540 -2396 -2572 -2628 2392 2580 -2336 -2588 2344 2656 2436 -2348 -2560 -2628 2492 2428 2616 -2572 -2488 -2424 2468 2656 -2320 -2280 2448 2528 -2616 -2380 -2628 2368 -2320 2544 -2420 -2580 2284 2484 -2280 2440 -2552 2600 -2580 -2656 2452 -2464 -2604 -2356 2520 -2344 2500 2644 -2532 -2320 2320 2344 2476 -2308 -2532 2340 2504 2340 2332 -2656 2484 2332 -2528 2636 2624 -2456 -2640 2344 -2368 2308 -2356 2524 2616 -2324 2564 -2380 -2476 2608 -2452 2564 2440 2524 -2320 -2628 -2396 -2608 -2524 -2604 -2568 2552 2512 -2656 -2588 2292 2472 -2480 -2288 2616 -2416 -2644 -2620 2412 -2432 2500 2392 2604 2556 -2568 -2360 2280 -2348 -2468 2340 -2432 -2320 2360 2600 2556 -2544 -2460 -2280 -2624 2348 2612 -2608 -2444 -2440 -2500 -2612 -2444 -2536 -2560 -2492 2540 -2396 2616 2520 -2500 2308 -2556 -2328 2600 2624 -2572 -2352 -2368 2616 -2320 -2620 2348 2428 -2588 2560 -2364 -2328 2320 -2440 2504 -2408 2280 -2300 -2628 -2436 -2596 2280 -2428 -2320 2612 -2424 -2564 -2488 -2280 2564 -2632 -2444 -2648 2616 -2472 -2324 -2616 -2320 -2456 -2480 -2656 -2320 2592 2456 2384 -2284 -2656 -2616 -2320 -2320 2304 2584 -2280 -2580 2428 2592 2616 2560 2612 2520 2392 2576 -2548 -2356 -2644 2448 -2352 2524 -2444 -2344 -2284 -2540 -2412 -2280 -2280 2412 -2492 -2324 2600 2616 2444 -2412 -2524 -2460 -2592 2608 -2280 -2552 2588 -2404 2600 -2652 -2624 2616 -2544 -2492 -2420 2352 2304 2584 2600 2336 2576 -2320 2444 2616 -2364 -2400 -2320 2356 -2320 -2520 2532 -2640 2620 -2460 2600 2496 2532 -2656 -2388 2424 2636 -2472 2448 2584 -2636 -2568 -2336 -2348 2444 -2512 -2656 -2532 2280 -2452 2596 -2640 2432 -2392 2348 2396 2644 -2596 2580 2492 -2572 2340 -2280 -2436 2424 -2428 2424 -2300 2612 2468 2568 2588 2320 2616 2504 2292 2352 -2600 -2400 -2496 -2380 2420 -2360 -2344 -2580 2608 2520 -2448 2524 2360 -2544 -2312 2580 2396 2472 -2504 2648 -2320 -2352 -2396 -2280 -2588 -2376 2388 2352 -2640 2400 2480 -2504 -2320 -2280 2292 -2348 -2280 -2328 -2620 2616 -2524 2544 2616 -2312 -2608 2540 2384 -2616 -2596 2364 -2392 -2624 2328 2456 2612 2436 2488 -2436 2640 2552 -2372 -2640 2536 2416 2308 -2608 -2532 -2564 2620 -2320 -2492 2460 2524 -2388 2572 2504 2600 2308 -2636 2616 2280 2280 2588 -2656 2400 -2384 -2304 2616 2652 2312 -2320 2292 -2488 -2328 -2384 2320 2484 2616 -2568 2356 -2500 -2428 -2580 -2524 2384 -2440 -2320 -2656 -2436 -2288 -2476 2580 2480 -2532 -2616 -2568 -2656 2456 -2392 2616 -2592 2344 -2300 2584 -2560 -2564 -2528 -2596 2364 -2588 -2292 -2312 -2320 2448 2396 2380 2372 -2364 2624 -2420 -2580 2612 2280 -2652 -2436 2504 2424 2376 -2616 -2580 2564 2532 -2636 -2432 -2640 -2656 -2636 -2436 -2320 -2584 2616 -2616 -2340 -2640 -2404 2648 -2612 -2320 -2396 -2484 -2368 2412 2616 -2356 2648 2496 -2292 2344 -2616 -2608 2596 2392 -2572 -2392 -2320 2596 2568 -2600 -2616 2408 -2392 2544 2404 2500 2656 2540 2592 2528 -2372 -2636 -2360 2576 2628 2608 2656 2320 -2320 -2604 2432 2392 2552 -2584 -2612 -2280 2628 2420 -2352 -2412 -2560 -2280 -2308 2572 2448 -2488 -2280 -2588 -2524 -2656 2516 2412 2564 2404 -2380 -2584 2656 2356 2528 -2560 2572 -2504 2488 -2656 2428 2324 -2544 -2284 -2320 2532 2320 2568 -2320 -2476 2352 -2444 -2396 -2332 -2552 2600 -2280 -2496 -2560 -2464 -2352 -2416 -2636 -2472 -2656 2596 2636 -2572 -2616 2400 2348 -2336 -2616 2580 -2320 -2332 -2572 -2636 2600 2476 -2556 2652 2428 -2448 -2600 2636 2560 -2280 -2632 2476 -2340 2628 2584 -2656 -2656 -2320 -2632 -2656 -2512 2372 -2656 -2656 -2404 2280 2644 2568 2332 2644 2428 2368 2524 -2484 2564 2528 -2536 -2556 -2400 -2656 2616 -2432 2616 -2432 2548 -2608 2324 -2536 -2352 2432 -2548 2624 -2464 -2632 2336 2328 2636 2596 2496 2564 -2284 -2280 -2608 2572 -2656 -2356 2452 2296 -2364 2596 -2616 2500 -2416 2452 2348 -2320 -2528 2336 2572 2616 -2448 -2280 -2416 2620 2464 2304 -2340 2280 2472 -2320 -2352 2648 2308 -2488 -2392 -2328 2520 -2540 -2576 2344 2388 2604 -2616 -2288 2356 -2356 2500 -2612 -2652 -2280 2324 -2504 2516 2296 -2528 2372 -2356 -2532 -2292 2656 2320 2312 -2320 2588 2324 2616 -2596 2656 2320 2324 -2656 -2632 -2440 2572 -2348 -2388 2648 -2472 -2300 -2388 -2280 2432 2472 2492 2460 2456 -2292 2428 2316 2284 2464 -2616 2364 -2520 -2400 -2416 2500 2616 -2280 2332 -2512 2384 2384 2292 2504 -2320 -2328 2472 2576 -2548 -2496 2288 2292 2540 2612 2384 -2572 -2636 -2588 -2316 -2472 -2328 -2564 2528 -2656 2532 2280 -2316 -2320 -2592 2400 -2552 2616 2584 2592 -2392 -2320 -2412 2384 -2640 -2612 -2464 -2388 -2316 -2376 -2444 -2408 -2364 -2616 2452 -2596 -2336 -2656 2608 -2320 2504 -2404 2636 
209.10	d NODES 11104
209.10	d CHECKS 334778015
209.10	   
209.11	   totalWckTime=208.865  totalCpuTime=205.97

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node7/watcher-201683-1168149130 -o ROOT/results/node7/solver-201683-1168149130 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201683-1168149130/unknown.xml 

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

/proc/loadavg: 2.02 2.26 2.13 4/88 13107
/proc/meminfo: memFree=1615688/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=18540 CPUtime=0
/proc/13106/stat : 13106 (runsolver) R 13104 13106 13039 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 163308401 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13106/statm: 4635 279 244 17 0 2626 0

[startup+0.103985 s]
/proc/loadavg: 2.02 2.26 2.13 4/88 13107
/proc/meminfo: memFree=1615688/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=914988 CPUtime=0.08
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 2956 0 1 0 7 1 0 0 17 0 8 0 163308401 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153609873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228747 2702 1415 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516026 s]
/proc/loadavg: 2.02 2.26 2.13 4/88 13107
/proc/meminfo: memFree=1615688/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915328 CPUtime=0.49
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 6936 0 1 0 45 4 0 0 18 0 8 0 163308401 937295872 6675 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228832 6675 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.34512 s]
/proc/loadavg: 2.02 2.26 2.13 3/95 13114
/proc/meminfo: memFree=1547152/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=1.31
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 21467 0 1 0 120 11 0 0 23 0 8 0 163308401 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380240 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 21204 2160 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.07
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 4923 0 0 0 6 1 0 0 16 0 8 0 163308405 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.18
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 409 0 0 0 18 0 0 0 16 0 8 0 163308409 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 21204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648

[startup+2.98528 s]
/proc/loadavg: 2.02 2.26 2.13 3/95 13114
/proc/meminfo: memFree=1538704/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=2.94
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 21557 0 1 0 282 12 0 0 25 0 8 0 163308401 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837083 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 21292 2181 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.1
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 4923 0 0 0 9 1 0 0 17 0 8 0 163308405 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.22
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 435 0 0 0 22 0 0 0 16 0 8 0 163308409 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 21292 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915648

[startup+6.26463 s]
/proc/loadavg: 2.02 2.26 2.13 3/95 13114
/proc/meminfo: memFree=1538640/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=6.21
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 21561 0 1 0 608 13 0 0 25 0 8 0 163308401 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 21295 2181 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.1
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 4923 0 0 0 9 1 0 0 16 0 8 0 163308405 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.22
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 438 0 0 0 22 0 0 0 16 0 8 0 163308409 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 21295 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915648

[startup+12.7553 s]
/proc/loadavg: 2.02 2.25 2.13 3/95 13114
/proc/meminfo: memFree=1528272/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=12.66
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 24199 0 1 0 1250 16 0 0 25 0 8 0 163308401 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 23930 2182 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.21
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 7552 0 0 0 19 2 0 0 16 0 8 0 163308405 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.23
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 444 0 0 0 23 0 0 0 16 0 8 0 163308409 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915648

[startup+25.6127 s]
/proc/loadavg: 2.01 2.24 2.13 3/95 13114
/proc/meminfo: memFree=1528336/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=25.46
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 24208 0 1 0 2525 21 0 0 25 0 8 0 163308401 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 23938 2182 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.21
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 7552 0 0 0 19 2 0 0 16 0 8 0 163308405 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.25
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 452 0 0 0 25 0 0 0 15 0 8 0 163308409 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 23938 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915648

[startup+51.2264 s]
/proc/loadavg: 2.08 2.24 2.13 3/95 13114
/proc/meminfo: memFree=1511632/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=50.96
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 28395 0 1 0 5062 34 0 0 25 0 8 0 163308401 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 28122 2182 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.49
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 11735 0 0 0 45 4 0 0 16 0 8 0 163308405 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.25
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 453 0 0 0 25 0 0 0 16 0 8 0 163308409 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 28122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915648

[startup+102.454 s]
/proc/loadavg: 2.03 2.20 2.12 3/95 13114
/proc/meminfo: memFree=1490832/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=101.94
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 33579 0 1 0 10137 57 0 0 25 0 8 0 163308401 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073832736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 33303 2182 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=0.78
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 16916 0 0 0 72 6 0 0 16 0 8 0 163308405 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.25
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 453 0 0 0 25 0 0 0 16 0 8 0 163308409 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 33303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 915648

[startup+162.55 s]
/proc/loadavg: 2.01 2.16 2.10 3/95 13114
/proc/meminfo: memFree=1466448/2055920 swapFree=4192812/4192956
[pid=13106] ppid=13104 vsize=915648 CPUtime=161.75
/proc/13106/stat : 13106 (java) R 13104 13106 13039 0 -1 0 40015 0 1 0 16093 82 0 0 25 0 8 0 163308401 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074177991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13106/statm: 228912 39728 2545 14 0 215382 0
[pid=13106/tid=13108] ppid=13104 vsize=915648 CPUtime=1.39
/proc/13106/task/13108/stat : 13108 (java) S 13104 13106 13039 0 -1 64 22844 0 0 0 131 8 0 0 16 0 8 0 163308405 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13109] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13109/stat : 13109 (java) S 13104 13106 13039 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13110] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13110/stat : 13110 (java) S 13104 13106 13039 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 163308406 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13111] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13111/stat : 13111 (java) S 13104 13106 13039 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 163308409 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13112] ppid=13104 vsize=915648 CPUtime=0.37
/proc/13106/task/13112/stat : 13112 (java) S 13104 13106 13039 0 -1 64 518 0 0 0 36 1 0 0 16 0 8 0 163308409 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13113] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13113/stat : 13113 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 163308409 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13106/tid=13114] ppid=13104 vsize=915648 CPUtime=0
/proc/13106/task/13114/stat : 13114 (java) S 13104 13106 13039 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163308409 937623552 39728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 209.17
CPU time (s): 208.138
CPU user time (s): 207.226
CPU system time (s): 0.911861
CPU usage (%): 99.507
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.226
system time used= 0.911861
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51248
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= 6117
involuntary context switches= 12305

runsolver used 0.288956 s user time and 0.644901 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sun Jan  7 05:52:10 UTC 2007


IDJOB= 201683
IDBENCH= 3778
FILE ID= node7/201683-1168149130

PBS_JOBID= 3478186

Free space on /tmp= 66545 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp13/fapp13-2000-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201683-1168149130/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-201683-1168149130 -o ROOT/results/node7/solver-201683-1168149130 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201683-1168149130/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  6d1268141c16c5921f55653855a956f2

RANDOM SEED= 56971646

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/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.220
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.220
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:       1616168 kB
Buffers:         39500 kB
Cached:         211828 kB
SwapCached:          0 kB
Active:         244436 kB
Inactive:       128708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1616168 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5400 kB
Writeback:           0 kB
Mapped:         142064 kB
Slab:            51268 kB
Committed_AS:  4698616 kB
PageTables:       2468 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= 66545 MiB



End job on node7 on Sun Jan  7 05:55:39 UTC 2007