Trace number 201066

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 77.7912 78.0088

DiagnosticValue
CHECKS108218605
NODES5306

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-8.xml
MD5SUM3bffaaad69c3a0c8af29ad6ffcc38a0b
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.971
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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=mac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/201066-1168072257/unknown.xml
0.39	   
0.39	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.67	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.67	       =>  wckTime=0.343  cpuTime=0.25  mem=27M376
0.67	   
0.67	   predicates being loaded...
0.68	   
0.68	   constraints being loaded...
4.68	   
4.68	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 53M627)
7.99	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=184  nbConvertConstraintsChecks=4692762
7.99	     nbExtensionStructures=161  nbSharedExtensionStructures=23  nbConflictsStructures=161
7.99	     nbSharedConflictsStructures=23  nbSharedBinaryRepresentations=35534  nbEvaluationManagers=9229
7.99	     nbSharedEvaluationManagers=8341  maxDegree=15  maxArity=2
7.99	       =>  wckTime=7.657  cpuTime=6.82  mem=65M72
8.21	   
8.21	   solver IterativeSystematicSolver being built... 
8.80	       =>  wckTime=8.471  cpuTime=7.22  mem=96M723
33.54	   
33.54	   preprocessing
33.54	     nbConstraintChecks=48964015  nbValidityChecks=1441232  nbPropagations=3507  nbRevisions=44468
33.54	     nbUselessRevisions=41339  nbRemovedValues=106624  detectedInconsistency=no
33.54	       =>  wckTime=24.716  cpuTime=24.64  mem=96M723
56.68	   
56.68	   search
56.68	     run=0  nbConstraintChecks=34761188  nbValidityChecks=25580013  nbPropagations=39167  nbRevisions=388217
56.68	     nbUselessRevisions=348940  nbAssignments=1220  nbFailedAssignments=6  nbBacktracks=10  nbVisitedNodes=1229
56.68	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=903
56.68	       =>  wckTime=47.858  cpuTime=47.74  mem=113M155
66.14	   
66.19	   search
66.19	     run=1  nbConstraintChecks=46553841  nbValidityChecks=51029696  nbPropagations=112672  nbRevisions=1112189
66.19	     nbUselessRevisions=998477  nbAssignments=2303  nbFailedAssignments=21  nbBacktracks=26  nbVisitedNodes=2337
66.19	     nbRestartNogoods=4  mapSize=18  nbInferences=0  nbTooLargeKeys=1806
66.19	       =>  wckTime=57.32  cpuTime=57.15  mem=121M179
77.94	   
77.94	   search
77.94	     run=2  nbConstraintChecks=59254590  nbValidityChecks=77312881  nbPropagations=228164  nbRevisions=2207772
77.94	     nbUselessRevisions=1978259  nbAssignments=5306  nbFailedAssignments=24  nbBacktracks=26  nbVisitedNodes=5343
77.94	     nbRestartNogoods=7  mapSize=18  nbInferences=0  nbTooLargeKeys=2702
77.94	       =>  wckTime=69.119  cpuTime=68.78  mem=151M466
77.94	   
77.94	   global
77.94	     nbConstraintChecks=108218605  nbValidityChecks=78754113  nbPropagations=231671  nbRevisions=2252240
77.94	     nbUselessRevisions=2019598  nbRestartNogoods=7  solvingWckTime=69.121  solvingCpuTime=68.79  expiredTime=no
77.94	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=76.07
77.94	       =>  wckTime=77.611  cpuTime=76.03  mem=151M466
77.94	   
77.94	s SATISFIABLE
77.94	v -2512 -2456 -2448 -2624 -2600 2520 2440 -2476 -2320 -2536 2600 -2564 2360 -2608 2280 -2424 2372 2448 2392 -2344 -2600 -2600 2324 -2540 -2392 -2352 2556 2600 2404 -2628 -2340 -2344 2636 2412 2372 2476 -2580 -2440 -2380 2280 -2516 -2340 -2492 -2508 2320 2364 -2540 -2476 -2600 -2548 -2440 -2328 2304 -2320 2464 -2328 -2292 -2340 -2536 -2416 2280 -2556 2544 -2360 2456 -2296 -2396 -2460 -2532 -2320 -2336 -2512 2284 -2372 2628 -2600 -2404 2640 2640 -2312 -2636 -2372 2320 2292 -2544 -2544 -2452 -2536 -2408 -2284 2528 -2344 -2356 -2404 -2448 -2576 -2440 -2380 2560 -2328 2364 2488 2280 -2508 -2280 -2336 2332 2640 -2556 -2476 -2492 -2508 -2324 2308 -2364 -2524 -2352 -2380 -2640 -2400 -2628 -2640 -2640 2568 -2536 2616 2476 -2496 2292 -2304 -2420 2588 -2456 -2628 -2336 -2608 2592 2592 -2484 2592 2548 -2416 -2492 -2452 -2640 -2280 -2328 -2376 2280 -2432 2488 -2320 -2320 -2368 -2308 -2552 -2396 2284 2572 -2280 -2328 -2400 2324 -2460 -2288 -2532 2444 2320 -2640 2384 2588 -2288 2320 2496 2308 2476 -2520 -2520 2524 2612 -2404 -2320 -2284 -2296 2376 -2512 2508 -2332 2404 2288 -2632 2568 -2504 2560 2348 -2640 2552 2528 2476 -2596 -2448 -2600 2460 2608 2620 -2600 -2600 -2356 -2480 2340 2600 -2392 2340 -2436 2312 -2332 2280 2428 2320 2528 -2368 -2500 -2492 2336 -2364 -2320 -2444 -2628 2496 -2532 -2380 -2300 -2336 -2640 -2280 -2352 2640 2532 2320 2584 -2332 -2604 -2464 -2320 2584 2324 -2640 2352 -2444 -2280 -2600 -2444 -2560 2632 -2416 2580 -2572 2360 -2428 2488 -2640 -2592 -2576 2640 2320 -2296 -2552 -2560 -2400 -2596 2352 -2432 -2496 -2640 -2284 -2480 -2312 -2284 2528 -2480 -2536 2280 -2640 2516 -2344 2332 -2336 2352 -2360 -2284 2368 2488 -2332 -2456 -2292 -2312 2600 -2296 -2320 -2640 2312 2388 2628 -2608 2640 -2388 2324 2280 2488 -2564 -2300 -2576 2516 2280 2588 -2300 -2520 -2408 2320 -2380 2280 -2544 -2556 -2508 -2320 2544 -2512 -2484 -2484 -2572 -2316 2580 -2568 2380 -2456 2280 2352 -2388 -2600 2576 2352 -2436 2280 -2640 2416 2360 -2496 -2348 -2388 -2480 -2320 -2520 2520 2456 -2348 -2320 -2604 -2280 -2640 2580 -2524 -2356 -2360 2308 -2404 2444 2368 -2392 -2596 -2524 -2320 -2332 -2524 2280 2552 -2328 -2456 2296 -2400 -2548 -2640 2592 -2348 -2280 2344 -2492 2320 -2640 -2640 -2640 -2468 2428 2632 -2600 2500 2520 -2552 -2320 2428 -2320 -2556 -2576 2596 -2320 -2452 2472 -2300 2628 -2596 2280 -2536 -2308 -2364 -2508 2280 -2280 -2516 2536 -2440 -2632 2284 -2292 2372 -2524 2552 -2592 2592 2568 -2516 -2600 -2632 -2512 2368 2408 2396 -2516 -2340 -2380 -2436 2312 2296 -2284 -2484 -2284 -2320 -2640 -2632 2488 -2496 -2592 -2336 -2480 -2580 -2500 -2320 2476 2380 2584 2340 2600 2352 -2596 -2616 2280 -2296 2600 -2540 2352 2420 -2640 2280 -2516 -2472 2484 -2360 -2448 -2600 2320 -2484 -2332 -2504 -2524 2392 2328 2352 -2596 2608 -2556 2628 -2284 -2632 -2340 -2284 -2460 2556 -2280 -2536 -2556 2416 2536 -2600 2320 -2336 2280 2336 -2324 -2608 -2640 2464 2572 -2480 -2332 2452 2364 2376 -2452 2492 -2516 -2636 2408 -2472 2356 -2304 -2536 -2480 2304 2456 -2576 2576 -2280 2460 2628 2628 2400 -2460 -2640 -2376 -2612 -2364 2404 2388 2492 2484 -2420 -2480 2636 2280 2480 2468 2600 2632 -2336 2400 2568 2508 -2324 2604 -2520 2400 -2340 -2424 2332 -2368 -2608 -2348 2364 -2640 -2472 -2548 2512 -2524 -2640 2564 2600 2308 2536 2536 -2640 2476 -2484 -2560 2284 -2436 2280 2280 2516 -2320 -2640 2508 -2480 -2636 2416 -2280 -2356 2576 -2640 -2592 2640 -2600 2500 -2320 -2600 2596 -2516 2532 2496 -2352 2436 2280 2284 2432 2512 -2476 -2424 2364 -2640 -2380 -2640 -2376 2328 -2432 -2564 -2532 2576 -2600 -2624 -2324 2320 -2508 -2548 -2640 2420 -2288 -2428 -2352 2344 2376 2280 2508 -2596 -2576 -2328 2280 -2592 -2288 -2288 -2388 2300 -2496 2288 2368 2336 -2424 2580 2496 -2556 2552 2440 -2428 2496 2280 2352 -2584 -2400 -2624 -2280 -2636 -2640 -2376 -2568 -2572 -2516 -2312 2508 -2332 2508 -2600 2300 -2440 2572 -2388 -2376 -2592 2296 2608 -2600 2356 -2640 2560 2600 -2280 2460 -2572 2452 2488 -2392 -2296 2320 2576 2352 -2420 2328 2436 2524 -2564 -2640 -2584 -2472 -2380 -2592 2320 -2456 -2604 2392 2320 -2320 -2316 -2612 -2432 -2324 -2544 -2608 2444 -2560 2512 2300 2380 2288 -2380 -2600 -2584 -2528 -2320 -2408 -2636 -2400 -2536 -2320 2316 -2496 2532 -2388 -2416 2280 2480 2640 -2572 2400 -2412 -2508 -2464 -2280 2368 -2600 -2512 -2632 2616 -2508 2536 2404 -2340 -2624 -2504 -2620 -2484 2452 -2280 -2288 -2640 -2352 -2600 -2640 -2560 -2640 -2472 2480 -2556 2356 2488 -2396 -2640 -2360 -2316 -2408 -2368 -2336 -2288 -2600 -2280 2280 -2596 -2392 -2496 2640 -2640 -2320 -2520 2600 2504 2520 -2448 -2632 -2632 -2320 -2428 -2320 -2556 -2388 -2336 -2496 -2600 -2576 2280 -2328 -2520 -2600 -2464 -2524 -2376 -2600 2536 2580 -2600 -2332 2280 2568 2584 2640 2592 2312 -2600 2340 -2516 2344 -2640 2560 -2460 2500 -2324 2532 -2632 -2600 -2400 -2552 2628 -2424 2600 -2456 -2292 2460 2504 2300 -2640 -2436 -2344 2292 -2420 -2484 -2436 -2456 -2464 -2352 2492 2320 -2300 -2588 2348 -2336 2420 -2320 -2492 2556 -2352 -2368 -2640 -2496 2484 2320 2448 2344 2640 -2320 -2396 -2608 2448 -2612 -2616 -2568 -2588 2448 -2624 2548 2324 -2476 -2356 2280 -2556 -2592 2408 2628 2416 2320 -2300 2616 2488 2540 -2440 2336 -2512 -2320 -2308 -2512 2280 -2388 -2640 2556 2372 -2556 2580 2344 2444 -2424 2384 2504 2384 -2400 -2576 -2304 -2600 2452 -2560 2324 2396 2484 2532 -2604 -2564 -2340 2296 -2640 -2280 -2324 2468 -2640 -2640 2480 2528 2408 -2612 2280 2472 -2588 -2640 -2384 -2376 2336 2280 -2616 -2376 2572 -2512 2524 2332 2584 -2532 -2548 -2600 2568 2292 -2500 -2376 2328 -2320 2372 2280 2588 -2640 -2356 -2412 -2520 2416 -2596 -2576 -2328 2380 -2600 -2328 -2476 2348 -2288 -2336 2460 2396 2352 -2536 2576 -2280 -2392 -2536 -2308 -2320 -2588 -2408 -2584 2392 2484 2564 -2392 -2528 2396 -2348 -2548 2408 -2524 2360 -2356 -2604 2352 2320 -2400 -2600 2336 2304 2616 -2600 -2364 -2640 -2284 2360 -2608 -2356 2584 -2304 -2604 -2472 2360 -2364 2620 -2540 -2448 2540 -2496 -2320 -2320 -2296 -2380 2532 2380 -2412 2356 -2640 -2508 2340 -2340 2596 2492 -2344 -2348 -2640 -2328 2520 -2352 2312 2500 -2368 2280 -2320 2480 -2304 -2564 2464 2604 2280 2520 -2544 -2320 -2560 -2356 -2500 -2332 -2348 2332 2588 -2528 2320 2424 -2384 -2468 -2516 -2392 2476 2388 -2380 -2332 -2428 -2376 2568 -2280 -2392 2600 -2560 -2320 -2452 -2352 2428 -2600 -2504 2580 2376 2576 -2576 2604 -2560 -2320 -2564 2316 -2360 -2388 -2424 -2600 2328 2440 -2452 -2464 -2488 2352 2640 2520 -2524 2364 2528 -2408 -2512 2312 -2600 2312 2552 2528 -2488 -2360 2640 -2600 2296 2580 2628 -2308 -2640 -2600 -2384 2492 -2596 -2544 -2600 2636 -2444 2280 2444 -2420 2296 -2312 2624 -2324 2300 2296 2544 2508 -2492 -2476 -2432 -2640 -2504 -2600 -2640 -2376 2396 -2328 2344 -2520 2280 -2640 -2544 -2452 -2532 -2368 2492 -2640 -2608 -2516 2312 2436 -2292 -2316 -2640 2432 2596 2348 -2560 -2408 -2476 2336 -2320 2320 -2412 2556 2280 2528 -2320 -2496 2396 -2468 -2376 2280 -2508 -2600 2640 -2436 -2600 2324 -2536 -2308 2640 -2480 -2320 -2572 -2284 2540 2536 2280 2636 -2300 2616 2280 -2336 2396 -2548 -2600 2508 2424 -2340 -2640 -2568 2392 2484 2592 2292 2620 -2308 2552 2424 -2488 -2600 -2352 -2420 -2400 2604 -2320 2452 -2360 -2480 2544 -2416 2548 -2640 -2380 -2600 -2284 2288 -2592 -2496 -2572 2396 -2560 2600 2540 -2616 -2352 -2588 2604 2352 -2640 2288 -2328 -2472 -2320 -2600 2332 -2320 -2616 2600 -2404 -2324 -2564 2412 2400 -2484 -2408 -2492 2360 2280 -2328 2280 -2412 -2552 -2600 -2444 -2616 2592 2600 2600 2524 2640 -2340 -2496 2512 2624 -2320 -2600 -2600 2280 -2308 -2436 -2284 2280 -2340 -2640 2320 -2320 2600 2336 -2600 -2336 2600 -2600 2640 -2400 2584 -2500 2600 -2280 -2348 -2600 2280 -2600 -2616 -2428 -2532 2344 -2592 2552 2488 2328 2392 -2336 -2280 -2404 2476 -2400 -2440 2280 2440 -2448 2504 2404 2308 2496 -2328 -2320 -2640 2628 2548 -2616 2636 -2616 -2332 -2556 -2632 -2432 -2616 -2280 -2396 2444 2296 2320 2396 -2360 -2576 2516 -2384 -2640 2548 -2600 -2284 -2508 -2280 -2620 2380 -2360 -2344 2384 -2576 2320 -2464 2432 2600 2352 2552 2364 -2608 -2612 -2364 2320 -2520 -2560 -2280 2640 -2628 2556 2412 -2436 -2524 -2344 -2384 -2596 2636 -2420 -2492 2512 -2440 -2480 -2452 2356 2488 -2324 -2336 2484 -2420 -2620 -2620 2476 -2488 -2320 -2324 2360 2564 -2556 -2616 -2636 -2324 -2448 2476 -2476 -2572 -2372 -2436 -2396 -2536 -2408 -2432 2348 2336 -2388 -2324 2432 -2444 2548 2352 -2280 2480 2372 2344 -2368 2452 2424 -2320 -2496 -2576 2520 2408 -2528 2548 2516 -2356 -2332 -2600 2608 -2568 2320 2320 -2332 2412 -2524 2300 -2592 -2332 2404 -2448 2348 2640 -2600 2600 -2444 -2540 -2460 -2636 -2552 2340 2284 -2388 -2388 -2448 -2404 -2424 2524 2340 2344 -2600 -2384 2540 2632 2568 2564 2280 2536 2280 -2396 2624 -2536 2344 -2480 -2608 -2592 2348 2516 -2536 2512 -2640 -2376 -2600 -2536 -2400 -2596 -2496 2436 -2280 2284 2436 -2544 -2584 2332 2628 -2584 -2360 2628 -2376 -2284 2420 2596 -2608 -2564 2488 -2640 2300 2528 -2288 -2472 -2640 2468 2344 -2288 2356 -2284 2496 2436 2404 -2392 -2320 -2576 2392 2472 2372 2600 -2360 -2428 2596 2328 2332 -2428 2280 -2520 2580 2548 -2392 2484 2492 -2380 2604 2392 2528 -2564 2552 2364 -2588 -2600 2596 2280 -2620 2280 -2552 2396 2340 -2536 2552 -2332 2340 -2640 2460 2376 -2452 -2284 -2400 2576 -2636 2316 -2456 2280 2600 2584 -2324 2528 2348 -2364 -2552 2384 -2596 2580 2556 -2480 -2600 -2368 2532 2408 2388 -2332 2520 2556 2484 2636 2540 2424 2532 -2292 -2552 -2344 -2572 2384 2320 -2440 -2552 2544 -2348 -2520 2320 -2400 -2640 -2524 -2332 -2400 -2328 2416 -2368 -2596 -2360 -2516 2436 2284 -2456 -2600 -2320 2620 2528 -2396 2448 -2588 -2508 -2428 -2524 2512 -2472 2616 -2336 2320 2320 -2640 -2596 -2368 2404 2496 -2568 -2468 2596 -2640 -2600 2532 2408 -2380 2280 2292 2580 -2296 2292 2448 -2540 -2376 2588 -2324 -2488 -2428 2388 -2612 2448 -2640 2500 -2320 -2636 2540 -2600 -2356 -2348 -2388 -2380 -2320 -2420 -2484 -2320 -2368 2280 2524 -2456 -2316 2372 -2456 2348 -2356 -2492 -2516 -2424 2636 -2288 2532 2588 2460 2600 -2512 2596 -2280 2320 2528 2556 -2336 2472 2352 -2292 2600 2396 -2472 -2472 -2368 -2336 -2372 -2628 -2320 2400 -2488 -2384 2568 2544 -2468 -2320 2372 -2296 -2348 2636 -2284 -2344 -2344 -2324 -2600 -2500 -2340 -2472 -2420 -2304 2320 -2596 -2636 -2308 2400 -2640 2280 -2584 -2516 2408 -2600 -2620 2588 2388 -2488 2492 -2296 -2464 -2308 -2320 2324 -2504 -2360 2556 -2584 2384 2344 -2484 -2328 -2280 -2348 -2324 -2320 -2412 2640 2512 2556 -2456 2388 2640 2448 2540 2540 2600 -2544 2560 -2320 -2468 2632 -2448 -2308 2420 2640 2312 -2480 -2504 2532 -2588 2404 -2476 2580 -2300 -2500 -2356 2500 -2300 2392 -2440 2600 -2320 -2572 -2324 -2480 -2432 -2300 2468 2280 2588 -2512 -2424 -2284 2456 -2516 -2280 -2320 2428 -2392 2492 2488 -2600 -2320 2320 2348 2452 -2440 -2592 -2556 -2588 -2368 -2472 2340 2420 2340 -2564 -2412 -2296 -2336 -2420 2312 2560 -2580 2364 -2292 -2448 -2408 2380 -2612 -2640 2380 -2328 2324 -2600 -2476 2568 -2312 -2340 -2572 -2600 2280 2600 2320 2600 -2476 -2384 2296 -2524 2328 2572 -2588 -2360 -2616 2312 2332 -2348 -2332 2572 -2316 -2388 -2428 -2368 2600 2604 -2496 -2448 -2576 -2640 2288 -2540 -2320 2488 2280 -2300 2428 -2600 2324 -2584 -2464 2320 2532 -2432 2436 -2564 2348 -2552 2572 2384 -2520 -2460 -2412 -2476 -2304 2560 2292 -2408 2596 -2640 -2348 -2580 -2320 2588 -2508 -2588 -2472 -2524 2512 -2516 -2444 -2472 2600 2280 -2480 -2600 2340 -2372 2372 2320 2404 -2640 -2448 -2344 -2596 -2600 -2600 2624 -2584 -2592 -2564 -2548 -2364 -2460 -2324 2640 -2412 2472 2524 2532 2516 2600 2440 2548 -2520 -2592 -2392 2592 2604 -2388 2332 2640 2404 2460 -2504 -2332 2356 2616 2628 -2564 2640 2592 -2336 -2336 -2344 2380 2580 -2360 2476 -2632 2464 2612 -2408 -2600 2420 -2516 -2280 -2480 -2480 -2636 2560 -2476 -2640 -2336 -2468 -2484 -2536 -2400 -2468 -2400 -2452 -2600 -2324 -2464 2280 -2536 -2600 -2528 2580 -2328 -2336 -2360 2412 -2320 2280 -2448 -2624 -2564 -2560 -2320 -2304 2424 2360 2576 2640 -2560 -2492 -2640 -2560 -2340 2420 2564 -2624 2612 -2288 -2400 2356 2496 -2568 2352 -2596 2288 2340 2512 -2368 2464 2640 -2612 -2576 2280 -2600 -2356 2300 2348 2440 2320 2592 2640 -2320 -2528 -2348 -2524 -2408 -2568 2416 -2600 2496 2568 2468 -2428 -2384 2600 2388 -2596 -2640 -2312 -2424 -2444 -2548 -2500 2400 -2280 2320 2284 2484 -2588 -2392 2408 2640 2368 -2600 -2320 2280 -2308 -2344 2600 2600 -2596 2512 2280 -2452 2524 -2512 -2280 2552 -2368 2472 2452 2292 -2488 -2292 2580 -2280 -2380 2568 -2428 -2408 2444 2280 -2640 -2300 -2520 -2380 2424 -2372 -2592 2320 -2560 -2412 -2280 -2332 2624 -2588 -2424 -2444 2320 -2616 2572 -2472 -2384 -2600 -2640 -2568 -2280 -2400 -2280 -2584 -2460 -2328 -2524 -2380 -2360 -2280 -2564 -2340 -2520 -2304 -2280 -2576 2312 2340 2320 2312 -2372 -2280 -2368 -2400 2636 -2320 2576 -2332 2440 2516 -2476 -2320 2600 2420 -2480 -2536 2320 2384 -2356 2404 2288 2500 2280 2440 -2620 -2428 -2376 -2280 -2640 -2640 -2396 2428 2576 2384 -2340 -2352 -2320 -2380 -2492 2336 2540 2280 -2524 -2512 -2340 -2596 2516 -2280 2320 -2576 2600 -2520 -2600 2532 -2456 -2308 -2432 -2304 -2404 2568 2280 -2640 -2588 -2392 -2420 -2472 -2344 -2456 2400 2352 2532 -2324 -2564 -2436 2572 2356 -2472 2380 -2320 -2600 -2608 -2640 -2536 -2432 -2452 -2592 -2640 2340 2280 -2388 -2408 2496 2612 -2556 -2280 -2496 -2588 2596 -2536 -2432 -2280 2280 -2280 -2608 -2324 2472 -2436 -2608 2544 2568 2560 -2500 2360 2348 2436 -2536 -2588 2640 2432 2556 -2416 -2320 2340 2360 -2280 2548 -2300 -2320 -2640 2556 -2420 2420 2320 -2544 -2628 2640 2448 -2328 2580 -2532 -2588 2376 -2376 -2600 2320 2432 -2424 2516 2600 2580 -2452 2396 -2368 2444 2416 -2496 2316 2296 -2348 -2436 2476 -2640 2524 2300 2624 2320 2532 -2328 -2584 -2416 -2408 -2308 2620 2572 2580 2392 2636 -2592 -2600 -2448 2416 -2500 -2388 -2608 -2640 -2588 2628 2320 -2552 -2616 -2524 2620 2416 -2576 -2280 -2372 -2640 -2368 -2448 2280 2464 2500 -2576 -2364 -2336 -2296 -2640 -2352 -2600 2332 -2280 2324 -2472 -2468 -2460 2548 2408 2380 2408 2372 -2424 -2508 -2280 -2392 2640 2280 2304 -2488 -2600 2324 2416 2336 2452 -2636 -2512 -2504 -2408 -2288 -2480 2480 -2472 -2344 2308 -2452 2564 -2572 -2600 -2280 2480 -2428 2412 -2492 2536 2640 2640 -2588 2620 2320 2632 2324 2280 2416 -2448 2416 2288 2380 -2640 2280 -2332 -2628 -2324 2556 2384 2600 2416 -2320 -2588 -2372 -2640 -2428 2576 -2296 -2380 -2340 -2600 2636 2280 -2360 2568 2284 -2504 2528 -2572 2284 -2484 -2524 -2404 2332 -2292 -2592 -2632 -2588 -2432 -2292 -2600 -2320 -2432 -2284 2552 2536 2280 -2400 2380 -2560 2512 -2392 -2356 2372 2320 -2484 2352 -2292 -2432 -2640 2568 2368 -2296 -2568 2300 -2640 2488 2308 2520 -2316 -2456 2348 -2360 -2608 2352 2588 2492 -2600 -2340 -2640 -2640 -2564 -2400 2320 -2372 -2416 2324 -2416 -2332 -2516 2600 2384 -2596 2516 -2524 -2288 2320 -2412 -2600 2428 -2436 2416 -2464 -2584 2308 -2600 -2392 -2524 -2376 2608 2612 -2280 2416 -2600 2528 2628 -2368 2556 -2340 -2600 -2320 -2320 -2352 -2428 -2352 -2336 2424 -2464 -2436 2624 -2452 -2468 2460 -2320 -2616 2376 -2584 -2320 -2288 -2320 -2548 -2356 -2376 -2324 -2496 -2600 -2548 -2368 2468 2320 -2600 -2528 2296 -2640 -2596 -2336 -2280 -2348 -2448 -2384 -2488 -2580 2596 -2600 -2428 -2600 2328 -2320 -2620 2348 -2600 -2576 -2368 2412 -2408 -2460 -2640 -2360 -2596 2640 -2628 -2588 -2488 2580 -2300 2548 2580 -2496 -2344 -2320 -2372 2484 -2556 2280 2360 -2632 -2640 -2600 -2360 -2516 -2432 -2456 2492 -2640 2320 2280 -2296 2524 2556 2324 2520 -2600 2368 -2280 2312 -2600 -2360 2420 -2576 2572 -2560 -2332 2584 -2640 -2432 2568 -2464 -2612 2600 2320 -2600 -2640 -2432 -2284 -2320 -2468 -2280 2516 2352 -2476 -2292 2524 -2320 -2532 -2412 -2576 -2312 2320 2500 2568 -2424 -2336 -2352 -2544 -2504 -2640 -2600 -2572 -2336 -2388 -2336 -2320 -2532 2340 -2600 -2540 2404 -2540 -2284 -2528 2384 -2328 2528 2616 2488 -2520 -2592 2520 2480 -2320 -2552 -2564 -2320 -2320 2460 -2300 -2640 2340 2520 -2440 2284 2404 -2432 2324 2340 -2520 -2384 -2320 -2600 2600 -2280 -2536 2580 2440 2640 2572 2532 -2548 -2584 2512 2280 -2340 2484 -2508 2280 -2472 -2408 -2464 -2320 2528 -2312 -2312 -2536 -2600 2624 -2432 -2496 2488 -2600 -2632 -2472 -2556 -2508 -2624 -2576 -2468 -2616 -2352 -2348 -2436 -2640 -2456 -2492 -2412 -2504 2424 -2640 -2572 2388 2280 -2640 2396 2640 2420 -2320 -2640 2576 2448 -2640 -2356 2280 -2624 2332 -2640 2328 -2600 2576 -2412 2348 2320 -2420 -2320 -2384 2548 -2452 2564 -2436 -2328 -2292 2512 2520 2484 2280 -2584 2324 -2600 2456 2576 2628 2396 2280 2584 2280 -2420 -2552 -2636 2424 2440 -2452 -2304 -2400 -2588 -2568 2400 2640 2304 2536 2520 -2316 -2448 2476 -2280 2568 -2328 -2600 -2320 -2476 2560 2320 -2280 -2464 2364 -2404 -2564 -2420 -2512 2492 2520 2584 2440 -2360 -2320 2320 2332 2304 -2388 -2520 -2328 2300 -2520 -2304 2328 -2600 2500 -2352 -2448 2600 2320 2512 -2600 -2304 -2452 2584 -2352 2508 2408 2412 2600 -2344 -2296 -2296 -2640 2340 2324 -2292 2468 2532 -2512 2312 -2316 -2600 2368 -2280 2328 -2640 2596 2424 -2540 2408 -2328 2524 2484 2320 2392 2472 2296 -2392 2320 2600 -2568 2572 2320 2596 -2632 2352 -2412 2496 2568 -2596 -2396 -2300 -2516 2568 2516 2328 
77.94	d NODES 5306
77.94	d CHECKS 108218605
77.94	   
77.94	   totalWckTime=77.688  totalCpuTime=76.07

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/node23/watcher-201066-1168072257 -o ROOT/results/node23/solver-201066-1168072257 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201066-1168072257/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: 0.80 0.95 0.98 7/86 19591
/proc/meminfo: memFree=1569752/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=18540 CPUtime=0
/proc/19590/stat : 19590 (runsolver) R 19585 19590 19454 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155620535 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/19590/statm: 4635 279 244 17 0 2626 0

[startup+0.108869 s]
/proc/loadavg: 0.80 0.95 0.98 7/86 19591
/proc/meminfo: memFree=1569752/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=911488 CPUtime=0.06
/proc/19590/stat : 19590 (java) R 19585 19590 19454 0 -1 0 2589 0 1 0 5 1 0 0 20 0 8 0 155620535 933363712 2336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155593236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19590/statm: 227872 2336 1272 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.516957 s]
/proc/loadavg: 0.80 0.95 0.98 7/86 19591
/proc/meminfo: memFree=1569752/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=915328 CPUtime=0.46
/proc/19590/stat : 19590 (java) R 19585 19590 19454 0 -1 0 7063 0 1 0 41 5 0 0 22 0 8 0 155620535 937295872 6802 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19590/statm: 228832 6804 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328

[startup+1.34011 s]
/proc/loadavg: 0.80 0.95 0.98 3/100 19605
/proc/meminfo: memFree=1422056/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=915648 CPUtime=1.29
/proc/19590/stat : 19590 (java) R 19585 19590 19454 0 -1 0 22847 0 1 0 114 15 0 0 25 0 8 0 155620535 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073602156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19590/statm: 228912 22584 2160 14 0 215382 0
[pid=19590/tid=19593] ppid=19585 vsize=915648 CPUtime=0.1
/proc/19590/task/19593/stat : 19593 (java) S 19585 19590 19454 0 -1 64 6303 0 0 0 7 3 0 0 16 0 8 0 155620542 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19596] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19596/stat : 19596 (java) S 19585 19590 19454 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155620543 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19597] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19597/stat : 19597 (java) S 19585 19590 19454 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155620543 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19602] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19602/stat : 19602 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620546 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19603] ppid=19585 vsize=915648 CPUtime=0.16
/proc/19590/task/19603/stat : 19603 (java) S 19585 19590 19454 0 -1 64 409 0 0 0 15 1 0 0 15 0 8 0 155620546 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19604] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19604/stat : 19604 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155620546 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19605] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19605/stat : 19605 (java) S 19585 19590 19454 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155620546 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915648

[startup+2.99343 s]
/proc/loadavg: 0.80 0.95 0.98 3/100 19605
/proc/meminfo: memFree=1396264/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=915648 CPUtime=2.92
/proc/19590/stat : 19590 (java) R 19585 19590 19454 0 -1 0 24044 0 1 0 277 15 0 0 25 0 8 0 155620535 937623552 23778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19590/statm: 228912 23778 2181 14 0 215382 0
[pid=19590/tid=19593] ppid=19585 vsize=915648 CPUtime=0.17
/proc/19590/task/19593/stat : 19593 (java) S 19585 19590 19454 0 -1 64 7407 0 0 0 14 3 0 0 17 0 8 0 155620542 937623552 23778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19596] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19596/stat : 19596 (java) S 19585 19590 19454 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155620543 937623552 23778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19597] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19597/stat : 19597 (java) S 19585 19590 19454 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155620543 937623552 23778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19602] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19602/stat : 19602 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620546 937623552 23778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19603] ppid=19585 vsize=915648 CPUtime=0.2
/proc/19590/task/19603/stat : 19603 (java) S 19585 19590 19454 0 -1 64 437 0 0 0 19 1 0 0 16 0 8 0 155620546 937623552 23778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19604] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19604/stat : 19604 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155620546 937623552 23778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19605] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19605/stat : 19605 (java) S 19585 19590 19454 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155620546 937623552 23778 18446744073709551615 134512640 134570532 4294956480 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.28207 s]
/proc/loadavg: 0.89 0.97 0.99 3/100 19605
/proc/meminfo: memFree=1378344/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=915648 CPUtime=6.2
/proc/19590/stat : 19590 (java) R 19585 19590 19454 0 -1 0 27052 0 1 0 603 17 0 0 25 0 8 0 155620535 937623552 26782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073574376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19590/statm: 228912 26782 2182 14 0 215382 0
[pid=19590/tid=19593] ppid=19585 vsize=915648 CPUtime=0.35
/proc/19590/task/19593/stat : 19593 (java) S 19585 19590 19454 0 -1 64 10399 0 0 0 31 4 0 0 16 0 8 0 155620542 937623552 26782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19596] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19596/stat : 19596 (java) S 19585 19590 19454 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155620543 937623552 26782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19597] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19597/stat : 19597 (java) S 19585 19590 19454 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155620543 937623552 26782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19602] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19602/stat : 19602 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620546 937623552 26782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19603] ppid=19585 vsize=915648 CPUtime=0.22
/proc/19590/task/19603/stat : 19603 (java) S 19585 19590 19454 0 -1 64 449 0 0 0 21 1 0 0 15 0 8 0 155620546 937623552 26782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19604] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19604/stat : 19604 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155620546 937623552 26782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19605] ppid=19585 vsize=915648 CPUtime=0
/proc/19590/task/19605/stat : 19605 (java) S 19585 19590 19454 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155620546 937623552 26782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915648

[startup+12.7703 s]
/proc/loadavg: 0.98 0.98 0.99 2/88 19616
/proc/meminfo: memFree=1438664/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=915928 CPUtime=12.66
/proc/19590/stat : 19590 (java) R 19585 19590 19454 0 -1 0 37190 0 1 0 1243 23 0 0 25 0 8 0 155620535 937910272 36878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19590/statm: 228982 36878 2533 14 0 215452 0
[pid=19590/tid=19593] ppid=19585 vsize=915928 CPUtime=0.91
/proc/19590/task/19593/stat : 19593 (java) S 19585 19590 19454 0 -1 64 19988 0 0 0 83 8 0 0 16 0 8 0 155620542 937910272 36878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19596] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19596/stat : 19596 (java) S 19585 19590 19454 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620543 937910272 36878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19597] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19597/stat : 19597 (java) S 19585 19590 19454 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155620543 937910272 36878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19602] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19602/stat : 19602 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620546 937910272 36878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19603] ppid=19585 vsize=915928 CPUtime=0.35
/proc/19590/task/19603/stat : 19603 (java) S 19585 19590 19454 0 -1 64 554 0 0 0 34 1 0 0 15 0 8 0 155620546 937910272 36878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19604] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19604/stat : 19604 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155620546 937910272 36878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19605] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19605/stat : 19605 (java) S 19585 19590 19454 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155620546 937910272 36878 18446744073709551615 134512640 134570532 4294956480 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) 915928

[startup+25.6298 s]
/proc/loadavg: 1.14 1.02 1.01 3/100 19661
/proc/meminfo: memFree=1291576/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=915928 CPUtime=25.48
/proc/19590/stat : 19590 (java) R 19585 19590 19454 0 -1 0 37194 0 1 0 2523 25 0 0 25 0 8 0 155620535 937910272 36879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19590/statm: 228982 36879 2533 14 0 215452 0
[pid=19590/tid=19593] ppid=19585 vsize=915928 CPUtime=0.91
/proc/19590/task/19593/stat : 19593 (java) S 19585 19590 19454 0 -1 64 19988 0 0 0 83 8 0 0 16 0 8 0 155620542 937910272 36879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19596] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19596/stat : 19596 (java) S 19585 19590 19454 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620543 937910272 36879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19597] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19597/stat : 19597 (java) S 19585 19590 19454 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155620543 937910272 36879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19602] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19602/stat : 19602 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620546 937910272 36879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19603] ppid=19585 vsize=915928 CPUtime=0.35
/proc/19590/task/19603/stat : 19603 (java) S 19585 19590 19454 0 -1 64 558 0 0 0 34 1 0 0 16 0 8 0 155620546 937910272 36879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19604] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19604/stat : 19604 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155620546 937910272 36879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19605] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19605/stat : 19605 (java) S 19585 19590 19454 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155620546 937910272 36879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915928

[startup+51.2417 s]
/proc/loadavg: 1.49 1.11 1.04 3/100 19661
/proc/meminfo: memFree=1291768/2055920 swapFree=4192812/4192956
[pid=19590] ppid=19585 vsize=915928 CPUtime=51.08
/proc/19590/stat : 19590 (java) R 19585 19590 19454 0 -1 0 37210 0 1 0 5082 26 0 0 25 0 8 0 155620535 937910272 36892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19590/statm: 228982 36892 2535 14 0 215452 0
[pid=19590/tid=19593] ppid=19585 vsize=915928 CPUtime=0.91
/proc/19590/task/19593/stat : 19593 (java) S 19585 19590 19454 0 -1 64 19989 0 0 0 83 8 0 0 16 0 8 0 155620542 937910272 36892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19596] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19596/stat : 19596 (java) S 19585 19590 19454 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155620543 937910272 36892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19597] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19597/stat : 19597 (java) S 19585 19590 19454 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155620543 937910272 36892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19602] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19602/stat : 19602 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155620546 937910272 36892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19603] ppid=19585 vsize=915928 CPUtime=0.37
/proc/19590/task/19603/stat : 19603 (java) S 19585 19590 19454 0 -1 64 569 0 0 0 36 1 0 0 16 0 8 0 155620546 937910272 36892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19590/tid=19604] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19604/stat : 19604 (java) S 19585 19590 19454 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155620546 937910272 36892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19590/tid=19605] ppid=19585 vsize=915928 CPUtime=0
/proc/19590/task/19605/stat : 19605 (java) S 19585 19590 19454 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155620546 937910272 36892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915928

Child status: 0
Real time (s): 78.0088
CPU time (s): 77.7912
CPU user time (s): 77.4122
CPU system time (s): 0.378942
CPU usage (%): 99.721
Max. virtual memory (cumulated for all children) (KiB): 915928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.4122
system time used= 0.378942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55687
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= 3456
involuntary context switches= 2997

runsolver used 0.107983 s user time and 0.241963 s system time

The end

Launcher Data (download as text)

Begin job on node23 on Sat Jan  6 08:31:00 UTC 2007


IDJOB= 201066
IDBENCH= 3742
FILE ID= node23/201066-1168072257

PBS_JOBID= 3475976

Free space on /tmp= 66539 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  3bffaaad69c3a0c8af29ad6ffcc38a0b

RANDOM SEED= 363340961

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:       1570848 kB
Buffers:         42396 kB
Cached:         305220 kB
SwapCached:          0 kB
Active:         117848 kB
Inactive:       290224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1570848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12820 kB
Writeback:           0 kB
Mapped:          79416 kB
Slab:            62100 kB
Committed_AS:  2905332 kB
PageTables:       2124 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= 66540 MiB



End job on node23 on Sat Jan  6 08:32:20 UTC 2007