Trace number 201144

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 ACSAT 64.5562 65.6736

DiagnosticValue
CHECKS86014614
NODES3004

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-10.xml
MD5SUM9430cfe064b05903764bbb9dbe5b06c6
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 benchmark19.3331
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3000
Number of constraints33021
Maximum constraint arity2
Maximum domain size182
Number of constraints which are defined in extension0
Number of constraints which are defined in intension33021
Global constraints used (with number of constraints)

Solver Data (download as text)

0.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/201144-1168072263/unknown.xml
0.40	   
0.40	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.71	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.71	       =>  wckTime=0.37  cpuTime=0.27  mem=27M376
0.71	   
0.71	   predicates being loaded...
0.72	   
0.72	   constraints being loaded...
4.71	   
4.71	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 52M694)
8.02	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=165  nbConvertConstraintsChecks=4126924
8.02	     nbExtensionStructures=143  nbSharedExtensionStructures=22  nbConflictsStructures=143
8.02	     nbSharedConflictsStructures=22  nbSharedBinaryRepresentations=30836  nbEvaluationManagers=8238
8.02	     nbSharedEvaluationManagers=9351  maxDegree=15  maxArity=2
8.02	       =>  wckTime=7.68  cpuTime=6.77  mem=50M408
8.23	   
8.23	   solver IterativeSystematicSolver being built... 
8.81	       =>  wckTime=8.471  cpuTime=7.19  mem=95M716
33.58	   
33.58	   preprocessing
33.58	     nbConstraintChecks=46036827  nbValidityChecks=664583  nbPropagations=3136  nbRevisions=37348
33.58	     nbUselessRevisions=36306  nbRemovedValues=36691  detectedInconsistency=no
33.58	       =>  wckTime=24.744  cpuTime=24.48  mem=95M716
65.15	   
65.15	   search
65.15	     run=0  nbConstraintChecks=39977787  nbValidityChecks=29230815  nbPropagations=39737  nbRevisions=340955
65.15	     nbUselessRevisions=304904  nbAssignments=3004  nbFailedAssignments=4  nbBacktracks=0  nbVisitedNodes=3009
65.15	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=778
65.15	       =>  wckTime=56.313  cpuTime=55.62  mem=143M53
65.15	   
65.15	   global
65.15	     nbConstraintChecks=86014614  nbValidityChecks=29895398  nbPropagations=42873  nbRevisions=378303
65.15	     nbUselessRevisions=341210  nbRestartNogoods=0  solvingWckTime=56.315  solvingCpuTime=55.62  expiredTime=no
65.15	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=62.89
65.15	       =>  wckTime=64.805  cpuTime=62.83  mem=143M53
65.15	   
65.15	s SATISFIABLE
65.15	v -2572 2572 -2516 -2600 -2612 2344 2408 2600 -2600 -2624 2600 2320 2440 -2500 -2348 -2428 -2608 -2532 2460 2284 -2600 -2524 -2392 -2624 -2392 2372 -2588 -2292 -2508 -2640 -2640 -2408 2532 -2404 2364 -2504 2512 2472 -2280 -2332 2284 2456 -2444 -2500 -2304 -2336 -2568 2308 2564 -2596 -2412 2312 -2368 -2280 -2536 -2308 -2580 2340 2640 -2420 -2300 -2324 -2492 2612 2484 2320 -2300 -2640 -2560 2468 2340 -2352 -2416 -2280 2456 2404 -2600 -2328 -2320 -2308 -2600 -2296 2484 2428 -2600 -2596 2536 2640 -2396 2312 2472 2324 -2380 -2328 -2596 -2564 -2316 -2600 -2372 -2280 -2312 2488 2332 2532 2368 2600 2308 2440 -2560 2444 2600 -2352 -2392 2532 -2376 -2600 -2368 -2280 -2640 -2468 -2640 -2628 -2524 2436 -2584 -2284 2320 2504 -2488 -2360 2340 2320 -2392 -2640 2400 -2576 -2600 2604 -2320 -2368 2544 2336 2344 -2584 -2444 -2320 -2640 -2372 -2640 -2320 -2344 -2600 2280 -2368 -2420 -2556 -2508 2320 2532 -2300 2604 -2416 2324 -2296 -2600 2280 -2640 -2636 -2640 -2456 -2600 -2356 -2452 -2616 -2320 2500 2600 -2328 2588 2612 -2412 2396 2416 -2332 -2640 -2404 2564 -2308 2312 -2640 -2444 -2624 -2320 2324 2336 -2600 -2416 2532 2356 2440 -2624 -2348 -2468 2480 -2640 2568 -2640 -2280 2488 -2304 2468 -2628 -2432 2472 -2640 2320 -2324 2400 2420 2584 -2628 2512 -2536 -2508 2616 -2336 2600 2452 -2600 -2404 2284 -2300 -2364 -2600 -2432 -2280 2484 -2360 2344 -2624 -2408 -2320 -2480 -2280 2320 2280 2504 -2364 -2556 2532 -2432 -2544 -2572 -2360 -2640 2524 2564 -2632 2300 2456 -2640 2400 -2440 -2640 2512 -2472 -2320 2288 2336 -2440 2488 -2600 2380 -2480 -2324 2384 -2640 -2360 -2488 -2376 2572 2280 -2640 -2556 -2368 2424 2464 -2344 -2520 -2288 2640 2552 2608 2432 2604 -2412 -2580 -2408 -2320 -2544 -2536 2320 -2528 2456 -2444 -2344 2280 2280 -2464 -2552 -2496 2524 2368 2452 2592 -2344 2388 -2280 2284 -2432 -2600 2568 -2600 -2628 -2324 2504 -2316 -2540 -2476 2348 -2304 2600 -2632 -2420 -2496 2280 2588 -2588 -2320 2416 2344 2420 2608 -2292 2396 -2360 -2496 -2472 -2356 -2536 2580 -2320 -2528 2544 2492 -2340 -2564 -2300 2360 2640 -2456 2416 -2320 -2432 2360 2572 2320 -2320 -2436 -2600 2568 -2620 2488 2280 -2588 -2316 -2420 -2600 -2364 -2484 -2552 2364 2580 2608 -2528 -2384 2420 -2640 2392 -2640 -2452 -2456 -2564 2416 2596 2548 -2544 -2324 2524 2280 -2548 -2552 2340 -2320 -2280 -2444 -2356 2584 -2568 2484 -2484 2292 -2332 2444 2280 -2280 -2556 -2392 -2524 2404 -2320 -2308 -2292 -2632 2528 -2580 -2628 -2496 -2348 -2452 2576 2572 -2300 -2320 -2488 2596 2320 -2512 2500 -2640 2280 -2640 -2484 -2400 -2504 2388 -2408 -2584 -2520 2516 2280 2544 2528 -2540 -2320 2280 2320 -2640 -2320 2408 -2320 -2288 -2280 -2560 -2356 -2476 2636 2452 -2336 -2480 -2280 -2624 -2332 -2540 -2640 -2528 -2600 -2640 -2540 -2388 -2564 -2516 2344 2280 -2528 -2600 2600 -2536 2496 -2372 -2600 -2396 -2284 -2376 -2588 2600 -2532 2328 2280 -2628 -2320 -2440 -2464 -2640 2444 -2456 -2540 2512 -2600 2536 -2384 2348 2432 2320 -2320 -2464 -2616 -2484 2600 -2440 -2448 -2300 2284 -2640 2428 -2528 -2336 -2624 -2640 -2320 -2464 2576 2520 -2508 -2428 2544 2488 2600 2632 -2416 -2416 -2532 -2540 -2360 2628 -2504 -2312 -2440 -2564 -2320 -2288 -2340 -2356 2280 -2492 2280 2416 -2416 2372 2416 -2284 -2336 -2400 -2608 -2316 2400 -2608 -2384 2592 -2628 -2580 -2508 -2632 2348 -2332 2596 2472 -2472 2292 -2640 -2600 -2336 -2640 -2356 -2600 -2280 2308 2600 2280 2396 2476 -2444 -2344 -2424 -2320 -2280 -2456 -2388 2444 -2608 2340 2332 2280 -2520 2348 -2444 -2324 2472 2320 -2388 -2464 2448 -2512 -2640 2320 -2640 2472 -2336 -2640 2320 -2392 2496 2332 2584 -2280 -2584 -2356 2452 2444 -2484 -2596 -2320 2280 -2584 -2600 2476 2324 -2324 -2392 -2556 -2624 -2600 -2400 -2564 2364 -2284 -2320 -2496 -2488 2324 2384 -2640 -2444 2320 2604 -2516 -2344 -2600 -2364 -2532 -2348 2420 -2536 -2408 2280 -2280 -2320 -2428 2360 2640 2332 -2292 -2368 2600 -2376 -2624 2504 2284 -2412 -2580 2512 -2600 2548 2320 -2640 -2576 2432 -2516 -2476 2600 -2576 2620 -2572 2496 2512 -2640 -2388 -2348 2444 -2372 -2320 -2292 -2640 -2608 -2484 -2520 2324 2436 -2504 -2328 2388 -2444 2300 2484 -2396 -2320 -2356 -2640 2380 2368 -2528 -2476 2460 2560 -2544 2380 -2640 -2544 -2444 -2468 -2624 -2380 -2420 -2280 -2480 2552 -2604 -2404 2400 2280 2308 -2324 2472 2404 -2600 -2544 2584 -2320 -2400 2540 -2492 2384 -2540 2480 -2552 -2564 -2324 -2420 2280 -2280 2368 -2592 2592 -2564 -2284 -2604 -2340 2320 2584 2380 -2540 -2640 -2640 -2284 -2372 2576 -2596 2340 2572 -2400 -2536 -2392 -2352 -2448 -2484 -2364 -2352 -2572 2528 -2320 -2636 -2284 -2600 2280 -2324 2320 2280 -2520 -2440 -2492 -2428 -2468 2604 2320 2464 -2280 2500 -2432 -2352 2288 2632 -2584 -2316 -2320 2436 -2320 -2624 -2640 -2380 -2620 -2476 2632 -2548 2448 -2640 2460 2592 -2640 -2532 -2640 -2600 2528 -2568 -2332 2620 2544 -2404 -2504 -2624 2384 -2640 2488 2280 -2612 2632 -2440 -2640 2388 2368 -2420 2456 -2568 2516 2408 -2492 2320 -2556 -2544 -2544 -2344 -2468 2304 2496 2296 -2380 2616 2292 -2348 -2392 -2520 2388 2380 -2468 2408 2280 2484 -2596 -2320 -2416 -2340 2612 -2616 -2600 -2600 2448 2544 -2552 -2416 -2320 -2640 2380 -2420 2580 -2312 2352 -2280 2608 -2504 -2396 -2576 2600 -2640 -2408 2484 2420 2424 -2640 -2284 -2512 -2372 2452 -2640 -2364 2560 2440 -2576 -2436 2528 -2600 -2536 2328 -2468 -2504 -2320 2280 2280 -2580 -2320 -2536 2348 -2640 2484 -2428 -2624 -2568 2536 -2600 -2600 2300 2488 2320 -2624 2556 -2640 2540 2424 -2376 -2416 2360 2288 2496 -2592 2408 -2460 -2320 2448 -2396 -2620 -2424 -2572 2320 2352 2488 2640 2480 2608 -2332 -2600 -2296 2516 -2328 -2300 2320 -2464 -2364 -2596 -2616 -2292 2452 -2532 2304 -2584 2488 -2424 -2448 2636 -2340 -2584 2280 2500 -2280 -2296 2368 -2588 -2480 2320 -2380 -2424 2384 -2416 -2312 -2624 -2384 -2396 -2368 2568 -2340 2332 2444 -2332 -2336 -2492 2280 -2624 -2320 -2328 -2584 -2572 -2320 -2572 2412 -2508 -2300 2528 2480 -2364 2448 -2340 2336 2560 -2536 -2452 -2296 -2584 -2420 -2448 -2536 -2600 -2584 -2456 -2392 2280 2540 -2356 -2400 2472 2576 -2380 2424 -2344 2600 2280 2420 -2280 2444 2528 2280 -2292 -2600 2592 -2484 2280 -2412 2404 2280 2280 -2520 2408 -2280 -2624 2396 2600 -2492 -2480 2432 2328 -2628 2440 -2484 -2368 2324 -2348 -2536 2600 -2304 -2320 -2416 -2392 -2552 -2512 2444 2388 -2320 -2376 -2600 -2640 -2404 -2280 -2384 2640 -2508 2460 2480 -2352 2280 2300 -2584 -2484 -2484 2536 2612 2536 -2280 -2356 -2452 -2332 2452 -2416 -2576 -2600 -2600 -2320 -2372 -2504 2320 2452 -2412 -2516 2552 -2416 2476 -2396 2536 2412 -2364 2408 -2640 2468 -2320 -2320 2336 -2600 -2300 2572 2640 -2400 -2560 -2600 2280 -2440 -2544 -2284 2564 -2640 -2468 2300 -2496 -2464 -2388 -2280 -2436 2360 -2280 2360 -2284 -2636 -2472 2524 -2396 -2396 2320 2396 -2640 2392 -2288 2372 -2324 -2424 2320 2588 -2280 2360 -2600 -2488 -2404 2356 -2448 -2568 -2492 2448 -2336 -2392 2372 -2420 2516 2376 -2588 -2468 -2592 -2464 -2280 2320 2320 2460 -2348 2380 2320 2436 2504 2508 -2344 -2640 2532 -2520 -2464 -2468 2312 -2328 2548 2540 -2580 2564 2292 -2300 -2352 -2588 -2604 2468 -2380 -2280 -2532 -2316 -2528 -2600 -2632 -2296 2584 -2308 -2640 -2600 -2528 -2640 2416 -2508 2284 2640 -2284 -2600 2452 -2572 2560 -2444 -2388 -2640 2444 -2332 -2492 -2428 2556 -2632 -2456 2320 -2532 -2600 -2600 -2416 2288 -2640 -2444 -2400 2380 2304 -2640 2432 -2600 2304 2504 -2452 -2328 -2640 2524 -2332 2568 -2320 2388 -2320 2436 -2484 -2616 -2496 -2284 -2640 -2640 2280 -2600 -2624 2308 -2640 2344 2392 -2292 2600 2332 -2624 -2288 -2620 -2600 2640 -2640 2572 -2320 -2384 2324 -2344 2636 -2380 2280 2564 -2340 2344 2352 -2352 2320 -2600 2572 -2592 -2600 2600 -2280 2472 -2548 -2640 -2448 2640 -2496 2600 -2580 2628 -2472 -2384 -2600 2372 -2524 -2640 2548 -2460 2316 -2640 -2600 -2640 2348 -2308 -2320 2356 -2504 -2640 -2368 -2376 2500 -2456 -2508 2320 2324 2368 2472 -2320 -2360 2308 -2328 -2552 -2576 2636 -2588 -2528 -2516 2464 -2344 2280 -2356 2404 -2640 2508 -2388 -2540 -2324 -2544 -2292 2400 2484 2572 -2592 -2324 -2548 -2480 2592 2416 -2600 -2324 2284 2564 -2280 -2348 2408 -2640 -2356 -2600 2372 -2640 -2612 -2640 -2320 2588 2288 -2388 2524 -2460 -2476 -2332 -2564 -2504 -2320 -2280 -2352 -2528 2336 2372 -2512 -2616 2408 -2356 -2320 -2508 -2352 -2360 2564 -2488 -2376 -2632 -2512 -2556 -2356 -2576 2376 -2532 -2516 -2512 2404 -2320 -2320 2332 -2636 2640 -2568 2484 -2572 -2508 2432 -2524 -2284 -2304 -2344 -2300 -2588 2444 -2584 -2396 -2316 -2600 -2392 2376 2320 2596 -2416 -2508 2404 2492 -2448 -2520 -2560 -2612 -2552 -2316 -2440 -2480 2632 -2508 2388 -2640 2432 2376 -2460 2280 -2416 -2580 2280 -2472 2452 2428 -2528 -2600 2484 2612 -2556 2596 2408 2324 2600 2320 -2504 2360 2412 -2436 2492 -2512 -2368 -2640 -2292 -2572 -2368 -2600 2496 2348 2496 -2640 -2448 2640 -2488 -2364 -2428 2364 -2600 2620 -2540 2448 -2640 -2604 -2296 2556 -2320 -2400 -2600 -2552 2552 -2280 2280 -2488 -2524 2568 2568 -2604 2392 2436 -2536 -2640 -2408 -2436 -2600 -2592 2576 2508 2280 2640 -2280 -2348 2372 -2632 -2284 -2464 -2496 -2528 2584 2280 2600 -2352 -2448 -2336 -2636 2528 -2444 -2336 -2448 -2580 -2428 2388 -2428 -2408 -2280 2580 2584 2552 2544 2548 -2628 2500 -2320 2280 2328 -2512 -2568 -2552 2360 -2568 2556 -2456 2412 -2592 2320 -2640 -2512 -2552 2564 2608 -2312 -2332 -2536 2436 -2500 -2640 -2320 -2320 2536 2624 2384 -2492 -2368 -2280 -2392 -2320 2640 -2600 2340 -2600 -2324 -2600 2352 -2616 -2380 -2292 2352 2504 2636 -2316 2320 -2340 -2560 -2528 -2392 2584 -2320 2572 -2352 -2612 -2360 -2572 2332 -2620 -2640 -2600 2352 -2332 2560 -2320 -2620 2600 -2580 -2448 -2432 2284 2356 2384 -2320 -2360 2508 -2428 2524 -2316 2280 -2308 -2568 2300 2320 2428 2492 -2512 -2496 2500 -2600 -2472 2544 -2460 -2320 -2312 -2600 -2640 -2320 -2600 -2408 -2600 -2456 -2600 -2640 2504 2496 -2600 -2344 -2296 2288 -2572 -2404 -2364 2280 -2444 -2336 -2364 -2456 -2536 -2324 2460 -2320 2508 -2640 2456 -2572 2536 2540 2524 -2360 -2400 -2640 2420 -2292 -2280 2524 -2340 -2320 -2380 -2500 2560 2280 -2320 -2448 2356 -2472 -2372 2576 -2640 2596 2300 -2408 2600 -2496 2512 -2504 -2548 2332 -2412 -2404 -2640 -2372 2512 -2352 -2368 -2600 -2392 2568 2412 -2340 -2640 -2600 2320 2436 2372 2280 -2416 -2592 2604 -2284 -2524 -2480 2320 -2348 -2516 -2284 2568 -2344 -2600 -2496 -2624 -2340 -2352 -2300 -2452 2600 -2588 -2400 -2320 2476 -2640 2428 -2608 -2336 -2376 -2640 -2360 2496 -2404 -2420 2624 2312 2400 -2388 -2600 -2348 -2636 -2428 -2592 2596 2384 -2320 -2592 -2328 -2620 -2360 -2364 -2356 -2296 -2404 -2608 2480 -2284 -2440 -2340 2560 -2368 -2592 -2572 -2608 2444 -2436 -2468 -2328 2280 -2564 -2476 2488 2280 2504 -2324 2492 -2552 -2456 -2408 2592 -2380 2552 -2324 -2600 2380 2412 -2504 -2576 -2320 -2640 -2320 2476 -2344 2300 2440 2436 -2560 -2572 2500 -2584 -2420 -2616 -2604 -2292 -2384 2392 -2512 -2616 2424 -2388 2284 -2460 2576 2280 -2408 -2592 -2496 -2632 2552 -2320 2388 -2376 -2280 -2396 2356 -2448 -2336 2412 2640 2468 -2612 2280 -2436 2280 -2408 -2612 -2640 2356 2332 -2640 2412 2516 -2640 -2436 -2420 -2320 -2600 -2384 2504 -2640 -2600 2528 2400 2548 2324 2524 2400 2464 2320 -2584 -2396 2392 2280 2324 -2588 -2348 2440 -2388 2308 2476 2280 -2468 -2304 2312 -2600 2324 -2612 -2376 -2516 -2516 -2376 -2372 2588 2320 -2568 2388 2328 -2612 -2600 2332 -2564 -2392 -2588 2280 2280 -2436 2472 -2316 2528 -2364 -2480 -2328 -2404 2628 2472 -2332 -2612 2320 2348 -2340 -2564 -2420 2436 2568 -2540 -2504 -2428 2436 -2364 -2428 -2600 2332 -2352 -2356 2320 -2612 -2640 -2528 -2616 -2432 2504 2444 -2640 2464 2524 -2320 -2552 -2368 2476 2292 2280 -2400 2532 -2528 -2536 -2460 -2428 2516 -2588 -2600 2632 -2304 2640 -2552 2640 2328 -2280 -2280 -2280 2436 -2564 2312 -2596 2308 2516 2584 -2616 -2580 -2320 -2356 -2516 -2640 -2548 -2524 2376 2388 2292 -2352 2296 -2380 -2396 2380 -2640 -2496 -2312 -2560 -2468 2544 2280 2380 2464 2328 -2400 -2320 -2492 -2464 2600 -2376 2312 2312 -2524 2556 -2576 2628 2484 -2332 2328 -2564 -2600 2420 -2512 -2496 -2588 -2320 -2504 -2400 -2520 2428 -2320 -2332 -2640 -2536 -2320 2568 -2340 -2484 2456 2608 -2604 -2292 -2412 2320 2572 -2640 2328 2576 2332 -2444 2536 2640 -2484 -2640 -2340 -2348 2280 -2600 2532 2292 2480 2344 2504 2368 2444 -2440 -2548 2412 -2416 -2600 2540 2608 -2600 -2600 -2520 -2640 -2600 -2324 2532 2412 -2500 2640 -2428 -2320 2352 2604 -2624 2560 -2540 -2304 -2396 -2500 -2280 -2492 2320 2320 -2280 -2528 2328 -2640 -2640 2360 -2320 -2532 -2636 -2372 2280 -2600 -2488 -2368 2380 -2640 2300 2280 -2640 2280 -2548 2580 -2280 -2600 2292 -2632 -2416 -2580 -2320 2320 -2596 -2432 -2368 -2508 2456 -2348 -2536 2488 -2600 2396 2380 2540 2552 -2488 -2444 -2284 -2452 2332 -2600 2304 -2424 -2600 2352 -2404 -2360 -2488 2380 -2568 2500 2324 2584 2460 -2596 2576 -2640 2324 -2328 -2304 -2560 -2524 2464 -2368 -2356 -2484 2492 2352 2344 -2448 2572 -2332 2508 2320 2280 -2476 2368 -2420 2476 2420 -2616 -2512 -2324 2600 -2468 2576 -2320 -2408 -2288 -2512 -2320 -2456 -2396 -2444 -2540 -2360 -2420 2600 2548 2568 2320 -2372 2600 -2360 -2636 2348 2552 -2464 -2524 -2280 -2464 -2572 -2640 2508 -2588 -2548 2280 2496 2504 2412 -2400 -2332 2476 2496 -2640 -2280 -2336 -2636 -2600 -2612 2392 -2356 -2320 -2592 2600 -2448 -2572 2332 -2592 2352 2532 -2380 -2584 2352 -2476 -2564 -2444 -2524 -2536 -2292 -2472 2384 2488 2336 2296 -2640 2588 -2636 2508 -2640 -2600 -2428 -2572 -2596 2576 2292 -2316 -2336 2280 -2444 -2396 -2628 -2544 -2592 2432 2488 2592 2460 -2464 2524 2380 -2320 2500 -2564 -2332 2592 -2288 -2320 2392 -2448 -2280 -2592 -2300 -2492 2280 2500 -2444 -2468 2344 -2600 -2280 -2452 -2320 2324 -2500 2320 2444 2324 -2320 -2320 -2600 2592 2372 -2640 2600 2584 2364 -2340 -2364 2452 -2600 -2448 -2340 2280 -2280 -2320 -2296 -2332 2512 2328 2280 -2316 2432 -2600 -2600 -2460 -2408 -2296 2508 -2640 2596 2484 2428 -2556 2520 2336 2432 -2496 -2580 -2320 2448 -2600 2504 2292 -2576 -2584 -2500 -2600 2296 -2324 -2280 -2416 -2640 2332 2584 2412 2476 2464 2620 -2336 -2316 2424 -2640 2320 -2464 2280 -2424 -2404 -2392 -2376 -2424 -2432 -2424 -2340 2488 2360 -2424 -2324 -2444 -2432 2320 2280 -2324 2468 -2600 2324 -2356 -2448 2536 -2476 -2484 2564 -2520 -2320 2476 -2604 2380 2520 -2368 -2640 -2492 2280 -2320 -2320 -2440 -2516 2600 -2472 2564 2464 2484 2464 2588 2320 2576 2300 -2284 -2600 2548 -2296 -2388 -2508 2320 2640 -2280 -2540 -2480 -2360 2428 -2512 -2352 -2556 -2584 2532 -2492 2552 2512 2484 -2456 2280 -2320 -2596 -2352 -2640 2600 -2620 -2352 -2600 -2544 2436 2420 2524 -2376 -2336 -2280 2404 2544 -2288 -2420 -2568 -2596 2352 -2600 2616 2280 2508 2476 -2296 2428 -2452 -2640 -2428 -2444 2416 -2300 2376 -2496 -2348 -2412 -2516 -2500 2280 -2432 2616 -2344 2436 -2472 -2292 2544 -2456 -2600 -2408 -2348 2480 -2600 -2460 2580 -2564 2456 -2596 -2640 -2624 -2480 -2280 -2540 2420 -2600 -2640 -2492 2568 2392 2356 -2636 -2436 2616 -2292 2300 2496 -2600 2392 -2424 -2440 2280 -2472 2296 -2284 2384 -2628 -2408 -2580 2600 -2396 2400 -2600 -2360 2280 -2300 2416 -2316 -2624 -2404 2600 -2600 -2600 -2348 -2432 -2544 2280 -2568 2436 -2364 2300 -2524 -2320 -2456 2600 -2320 -2388 2472 2320 -2320 2328 -2356 -2376 -2612 -2352 2424 2564 -2540 -2384 -2324 -2416 -2540 -2492 -2576 -2316 -2292 -2360 -2424 2376 2340 -2472 2568 -2432 2500 -2600 -2280 -2316 -2636 2408 -2280 -2296 -2468 -2600 -2340 -2464 2524 2548 2532 -2428 -2464 2536 -2488 -2584 -2484 -2556 2628 -2424 -2496 -2312 -2320 -2528 -2332 2340 -2456 -2592 2484 -2600 -2360 -2476 -2388 -2460 2336 -2536 2300 2280 -2424 2280 2528 2572 -2520 2484 2312 -2412 -2420 -2580 -2344 -2460 -2484 -2640 2572 -2404 -2544 -2392 2460 -2484 -2468 -2540 2452 2392 2280 2320 2524 2440 2388 2500 2352 2420 -2348 -2464 2448 2592 -2640 2600 -2408 -2580 -2488 -2500 2432 2600 -2464 -2332 2424 -2496 -2600 -2484 -2580 -2520 2392 -2428 -2280 2432 2540 2384 -2368 -2472 -2288 -2536 2280 -2568 2328 -2340 2320 2352 2468 -2388 -2424 -2600 -2640 -2320 -2516 -2556 -2352 -2280 -2444 -2320 -2424 2320 -2564 -2372 -2448 2296 2568 2296 2448 -2516 -2408 -2280 2448 -2600 2480 -2308 -2336 -2400 -2560 2448 2376 2452 2476 2528 -2280 -2420 -2620 -2552 -2396 2588 -2280 2280 2340 -2576 2344 -2320 -2524 2600 2424 -2392 -2588 2404 2432 2492 -2436 2328 -2592 -2584 -2432 -2544 2580 -2372 -2428 2444 -2440 2568 2532 -2280 -2544 -2428 2352 -2572 -2492 2356 -2456 -2420 2640 -2468 2568 -2552 2284 -2356 -2620 -2388 -2560 -2584 -2640 2280 2448 2588 2600 -2424 -2304 2320 -2324 -2600 -2484 -2404 2448 2524 -2372 -2320 -2308 -2568 -2600 2592 2280 -2640 -2408 -2400 2320 2292 2484 -2576 2340 2544 2280 -2428 -2488 2592 -2428 2464 -2384 -2396 2280 -2580 2400 -2600 -2496 -2516 -2336 -2600 -2280 -2560 2468 -2544 -2520 -2456 -2464 2328 -2312 -2580 -2564 -2396 -2640 -2640 -2592 2584 2280 -2372 2496 2548 2420 2576 2332 -2616 2340 2332 2424 -2352 -2440 -2340 2284 2388 -2576 2540 -2320 -2424 -2372 -2436 2500 2420 2468 2604 -2560 -2424 2632 -2552 2412 -2376 -2404 -2364 -2336 2408 -2372 -2640 -2420 -2328 2488 -2340 2628 -2512 2460 -2284 -2484 -2640 -2288 -2584 2576 -2632 -2428 -2624 2348 2432 -2476 2312 -2444 -2640 2552 2468 2324 2328 -2576 2448 -2548 2516 -2640 -2620 -2600 2344 -2432 2444 -2636 -2404 -2320 -2552 2568 2484 2284 
65.15	d NODES 3004
65.15	d CHECKS 86014614
65.15	   
65.15	   totalWckTime=64.891  totalCpuTime=62.9

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/node12/watcher-201144-1168072263 -o ROOT/results/node12/solver-201144-1168072263 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201144-1168072263/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: 1.83 1.96 1.94 4/93 19286
/proc/meminfo: memFree=1531816/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=18540 CPUtime=0
/proc/19285/stat : 19285 (runsolver) R 19283 19285 18846 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155621681 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19285/statm: 4635 279 244 17 0 2626 0

[startup+0.103876 s]
/proc/loadavg: 1.83 1.96 1.94 4/93 19286
/proc/meminfo: memFree=1531816/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=911488 CPUtime=0.06
/proc/19285/stat : 19285 (java) R 19283 19285 18846 0 -1 0 2590 0 1 0 5 1 0 0 20 0 8 0 155621681 933363712 2337 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155839873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19285/statm: 227872 2337 1272 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.511949 s]
/proc/loadavg: 1.83 1.96 1.94 4/93 19286
/proc/meminfo: memFree=1531816/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=915328 CPUtime=0.47
/proc/19285/stat : 19285 (java) R 19283 19285 18846 0 -1 0 6543 0 1 0 43 4 0 0 18 0 8 0 155621681 937295872 6282 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19285/statm: 228832 6282 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.3401 s]
/proc/loadavg: 1.83 1.96 1.94 3/100 19293
/proc/meminfo: memFree=1457840/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=915648 CPUtime=1.28
/proc/19285/stat : 19285 (java) R 19283 19285 18846 0 -1 0 22797 0 1 0 116 12 0 0 24 0 8 0 155621681 937623552 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19285/statm: 228912 22534 2160 14 0 215382 0
[pid=19285/tid=19287] ppid=19283 vsize=915648 CPUtime=0.09
/proc/19285/task/19287/stat : 19287 (java) R 19283 19285 18846 0 -1 64 6253 0 0 0 7 2 0 0 16 0 8 0 155621686 937623552 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19288] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19288/stat : 19288 (java) S 19283 19285 18846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155621686 937623552 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19289] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19289/stat : 19289 (java) S 19283 19285 18846 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155621686 937623552 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19290] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19290/stat : 19290 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155621691 937623552 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19291] ppid=19283 vsize=915648 CPUtime=0.17
/proc/19285/task/19291/stat : 19291 (java) S 19283 19285 18846 0 -1 64 409 0 0 0 17 0 0 0 16 0 8 0 155621691 937623552 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19292] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19292/stat : 19292 (java) S 19283 19285 18846 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155621691 937623552 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19293] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19293/stat : 19293 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155621691 937623552 22534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915648

[startup+2.97939 s]
/proc/loadavg: 1.85 1.96 1.94 3/100 19293
/proc/meminfo: memFree=1445040/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=915648 CPUtime=2.92
/proc/19285/stat : 19285 (java) R 19283 19285 18846 0 -1 0 24027 0 1 0 278 14 0 0 25 0 8 0 155621681 937623552 23762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847972 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19285/statm: 228912 23762 2180 14 0 215382 0
[pid=19285/tid=19287] ppid=19283 vsize=915648 CPUtime=0.16
/proc/19285/task/19287/stat : 19287 (java) S 19283 19285 18846 0 -1 64 7406 0 0 0 14 2 0 0 17 0 8 0 155621686 937623552 23762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19288] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19288/stat : 19288 (java) S 19283 19285 18846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155621686 937623552 23762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19289] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19289/stat : 19289 (java) S 19283 19285 18846 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155621686 937623552 23762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19290] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19290/stat : 19290 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155621691 937623552 23762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19291] ppid=19283 vsize=915648 CPUtime=0.19
/proc/19285/task/19291/stat : 19291 (java) S 19283 19285 18846 0 -1 64 423 0 0 0 19 0 0 0 16 0 8 0 155621691 937623552 23762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19292] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19292/stat : 19292 (java) S 19283 19285 18846 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155621691 937623552 23762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19293] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19293/stat : 19293 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155621691 937623552 23762 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915648

[startup+6.27399 s]
/proc/loadavg: 1.85 1.96 1.94 3/100 19293
/proc/meminfo: memFree=1436024/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=915648 CPUtime=6.18
/proc/19285/stat : 19285 (java) R 19283 19285 18846 0 -1 0 26997 0 1 0 603 15 0 0 25 0 8 0 155621681 937623552 26728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073545951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19285/statm: 228912 26728 2181 14 0 215382 0
[pid=19285/tid=19287] ppid=19283 vsize=915648 CPUtime=0.34
/proc/19285/task/19287/stat : 19287 (java) S 19283 19285 18846 0 -1 64 10346 0 0 0 31 3 0 0 16 0 8 0 155621686 937623552 26728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19288] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19288/stat : 19288 (java) S 19283 19285 18846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155621686 937623552 26728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19289] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19289/stat : 19289 (java) S 19283 19285 18846 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155621686 937623552 26728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19290] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19290/stat : 19290 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155621691 937623552 26728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19291] ppid=19283 vsize=915648 CPUtime=0.25
/proc/19285/task/19291/stat : 19291 (java) S 19283 19285 18846 0 -1 64 448 0 0 0 24 1 0 0 15 0 8 0 155621691 937623552 26728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19292] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19292/stat : 19292 (java) S 19283 19285 18846 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155621691 937623552 26728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19293] ppid=19283 vsize=915648 CPUtime=0
/proc/19285/task/19293/stat : 19293 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155621691 937623552 26728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915648

[startup+12.7592 s]
/proc/loadavg: 1.87 1.97 1.94 3/100 19293
/proc/meminfo: memFree=1395000/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=915912 CPUtime=12.6
/proc/19285/stat : 19285 (java) R 19283 19285 18846 0 -1 0 36903 0 1 0 1240 20 0 0 25 0 8 0 155621681 937893888 36592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074190811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19285/statm: 228978 36592 2533 14 0 215448 0
[pid=19285/tid=19287] ppid=19283 vsize=915912 CPUtime=0.89
/proc/19285/task/19287/stat : 19287 (java) S 19283 19285 18846 0 -1 64 19703 0 0 0 82 7 0 0 16 0 8 0 155621686 937893888 36592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19288] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19288/stat : 19288 (java) S 19283 19285 18846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155621686 937893888 36592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19289] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19289/stat : 19289 (java) S 19283 19285 18846 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155621686 937893888 36592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19290] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19290/stat : 19290 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155621691 937893888 36592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19291] ppid=19283 vsize=915912 CPUtime=0.37
/proc/19285/task/19291/stat : 19291 (java) S 19283 19285 18846 0 -1 64 557 0 0 0 36 1 0 0 15 0 8 0 155621691 937893888 36592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19292] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19292/stat : 19292 (java) S 19283 19285 18846 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155621691 937893888 36592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19293] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19293/stat : 19293 (java) R 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155621691 937893888 36592 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915912

[startup+25.6125 s]
/proc/loadavg: 1.89 1.97 1.94 3/100 19293
/proc/meminfo: memFree=1395128/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=915912 CPUtime=25.34
/proc/19285/stat : 19285 (java) R 19283 19285 18846 0 -1 0 36905 0 1 0 2514 20 0 0 25 0 8 0 155621681 937893888 36593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19285/statm: 228978 36593 2533 14 0 215448 0
[pid=19285/tid=19287] ppid=19283 vsize=915912 CPUtime=0.89
/proc/19285/task/19287/stat : 19287 (java) S 19283 19285 18846 0 -1 64 19703 0 0 0 82 7 0 0 16 0 8 0 155621686 937893888 36593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19288] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19288/stat : 19288 (java) S 19283 19285 18846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155621686 937893888 36593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19289] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19289/stat : 19289 (java) S 19283 19285 18846 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155621686 937893888 36593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19290] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19290/stat : 19290 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155621691 937893888 36593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19291] ppid=19283 vsize=915912 CPUtime=0.37
/proc/19285/task/19291/stat : 19291 (java) S 19283 19285 18846 0 -1 64 559 0 0 0 36 1 0 0 17 0 8 0 155621691 937893888 36593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19292] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19292/stat : 19292 (java) S 19283 19285 18846 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155621691 937893888 36593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19293] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19293/stat : 19293 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155621691 937893888 36593 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915912

[startup+51.2421 s]
/proc/loadavg: 1.93 1.97 1.94 3/100 19293
/proc/meminfo: memFree=1359800/2055920 swapFree=4160348/4192956
[pid=19285] ppid=19283 vsize=915912 CPUtime=50.73
/proc/19285/stat : 19285 (java) R 19283 19285 18846 0 -1 0 36923 0 1 0 5052 21 0 0 25 0 8 0 155621681 937893888 36606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074194051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19285/statm: 228978 36606 2535 14 0 215448 0
[pid=19285/tid=19287] ppid=19283 vsize=915912 CPUtime=0.89
/proc/19285/task/19287/stat : 19287 (java) S 19283 19285 18846 0 -1 64 19704 0 0 0 82 7 0 0 16 0 8 0 155621686 937893888 36606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19288] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19288/stat : 19288 (java) S 19283 19285 18846 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155621686 937893888 36606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19289] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19289/stat : 19289 (java) S 19283 19285 18846 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155621686 937893888 36606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19290] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19290/stat : 19290 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155621691 937893888 36606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19291] ppid=19283 vsize=915912 CPUtime=0.4
/proc/19285/task/19291/stat : 19291 (java) S 19283 19285 18846 0 -1 64 570 0 0 0 38 2 0 0 15 0 8 0 155621691 937893888 36606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19292] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19292/stat : 19292 (java) S 19283 19285 18846 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155621691 937893888 36606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19285/tid=19293] ppid=19283 vsize=915912 CPUtime=0
/proc/19285/task/19293/stat : 19293 (java) S 19283 19285 18846 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155621691 937893888 36606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915912

Child status: 0
Real time (s): 65.6736
CPU time (s): 64.5562
CPU user time (s): 64.2612
CPU system time (s): 0.294955
CPU usage (%): 98.2986
Max. virtual memory (cumulated for all children) (KiB): 915912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.2612
system time used= 0.294955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46029
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= 3136
involuntary context switches= 5745

runsolver used 0.094985 s user time and 0.206968 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan  6 08:31:05 UTC 2007


IDJOB= 201144
IDBENCH= 3746
FILE ID= node12/201144-1168072263

PBS_JOBID= 3475714

Free space on /tmp= 66311 MiB

BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201144-1168072263/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node12/watcher-201144-1168072263 -o ROOT/results/node12/solver-201144-1168072263 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201144-1168072263/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9430cfe064b05903764bbb9dbe5b06c6

RANDOM SEED= 436069947

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.265
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.265
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:       1532232 kB
Buffers:         27148 kB
Cached:         211744 kB
SwapCached:       4684 kB
Active:         246860 kB
Inactive:       195620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1532232 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            6348 kB
Writeback:           0 kB
Mapped:         223328 kB
Slab:            65828 kB
Committed_AS:  4684836 kB
PageTables:       2452 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= 66311 MiB



End job on node12 on Sat Jan  6 08:32:12 UTC 2007