Trace number 200972

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 128.934 129.763

DiagnosticValue
CHECKS199110153
NODES6581

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-9.xml
MD5SUMc3a713f4f6011a69f875f3666a2ad293
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 benchmark21.9067
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.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=mac.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/200972-1168072247/unknown.xml
0.41	   
0.41	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.69	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.69	       =>  wckTime=0.338  cpuTime=0.24  mem=27M376
0.69	   
0.69	   predicates being loaded...
0.69	   
0.69	   constraints being loaded...
4.69	   
4.69	   INFO : Stopping converting binary constraints (cpu=4.02, mem = 53M580)
7.91	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=189  nbConvertConstraintsChecks=4678202
7.91	     nbExtensionStructures=161  nbSharedExtensionStructures=28  nbConflictsStructures=161
7.91	     nbSharedConflictsStructures=28  nbSharedBinaryRepresentations=35370  nbEvaluationManagers=8841
7.91	     nbSharedEvaluationManagers=8724  maxDegree=15  maxArity=2
7.91	       =>  wckTime=7.556  cpuTime=6.69  mem=59M887
8.15	   
8.15	   solver IterativeSystematicSolver being built... 
8.73	       =>  wckTime=8.374  cpuTime=7.09  mem=96M354
33.14	   
33.14	   preprocessing
33.14	     nbConstraintChecks=48355005  nbValidityChecks=949581  nbPropagations=3272  nbRevisions=39742
33.14	     nbUselessRevisions=37844  nbRemovedValues=66532  detectedInconsistency=no
33.14	       =>  wckTime=24.39  cpuTime=24.23  mem=96M354
53.28	   
53.28	   search
53.28	     run=0  nbConstraintChecks=32992379  nbValidityChecks=22696885  nbPropagations=23938  nbRevisions=264338
53.28	     nbUselessRevisions=235365  nbAssignments=389  nbFailedAssignments=16  nbBacktracks=11  nbVisitedNodes=411
53.28	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=294
53.28	       =>  wckTime=44.533  cpuTime=44.24  mem=101M766
60.59	   
60.59	   search
60.59	     run=1  nbConstraintChecks=43827390  nbValidityChecks=43814261  nbPropagations=66608  nbRevisions=728393
60.59	     nbUselessRevisions=650420  nbAssignments=779  nbFailedAssignments=22  nbBacktracks=26  nbVisitedNodes=813
60.59	     nbRestartNogoods=13  mapSize=0  nbInferences=0  nbTooLargeKeys=599
60.59	       =>  wckTime=51.842  cpuTime=51.49  mem=105M253
67.53	   
67.53	   search
67.53	     run=2  nbConstraintChecks=54434487  nbValidityChecks=64695549  nbPropagations=127744  nbRevisions=1389043
67.53	     nbUselessRevisions=1242083  nbAssignments=1179  nbFailedAssignments=30  nbBacktracks=49  nbVisitedNodes=1229
67.53	     nbRestartNogoods=17  mapSize=0  nbInferences=0  nbTooLargeKeys=912
67.53	       =>  wckTime=58.782  cpuTime=58.39  mem=108M722
73.88	   
73.88	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=1205, mem=112M185)
74.67	   
74.67	   search
74.67	     run=3  nbConstraintChecks=65233576  nbValidityChecks=85711786  nbPropagations=207716  nbRevisions=2249471
74.67	     nbUselessRevisions=2012231  nbAssignments=1595  nbFailedAssignments=44  nbBacktracks=82  nbVisitedNodes=1673
74.67	     nbRestartNogoods=20
74.67	       =>  wckTime=65.926  cpuTime=65.49  mem=112M185
85.75	   
85.75	   search
85.75	     run=4  nbConstraintChecks=83092239  nbValidityChecks=109059999  nbPropagations=311080  nbRevisions=3358127
85.75	     nbUselessRevisions=3000989  nbAssignments=2080  nbFailedAssignments=58  nbBacktracks=133  nbVisitedNodes=2184
85.76	     nbRestartNogoods=23
85.76	       =>  wckTime=77.009  cpuTime=76.5  mem=112M185
95.57	   
95.57	   search
95.57	     run=5  nbConstraintChecks=97359656  nbValidityChecks=136899241  nbPropagations=445609  nbRevisions=4804278
95.57	     nbUselessRevisions=4271518  nbAssignments=2629  nbFailedAssignments=111  nbBacktracks=210  nbVisitedNodes=2816
95.57	     nbRestartNogoods=28
95.57	       =>  wckTime=86.827  cpuTime=86.27  mem=113M193
116.14	   
116.14	   search
116.14	     run=6  nbConstraintChecks=130970074  nbValidityChecks=165906851  nbPropagations=611473  nbRevisions=6572193
116.14	     nbUselessRevisions=5825122  nbAssignments=3465  nbFailedAssignments=165  nbBacktracks=323  nbVisitedNodes=3734
116.14	     nbRestartNogoods=32
116.14	       =>  wckTime=107.395  cpuTime=106.72  mem=113M193
129.72	   
129.72	   search
129.72	     run=7  nbConstraintChecks=150755148  nbValidityChecks=195109200  nbPropagations=820774  nbRevisions=8720689
129.72	     nbUselessRevisions=7714264  nbAssignments=6581  nbFailedAssignments=226  nbBacktracks=378  nbVisitedNodes=6929
129.72	     nbRestartNogoods=50
129.72	       =>  wckTime=120.977  cpuTime=120.22  mem=113M193
129.72	   
129.72	   global
129.72	     nbConstraintChecks=199110153  nbValidityChecks=196058781  nbPropagations=824046  nbRevisions=8760431
129.72	     nbUselessRevisions=7752108  nbRestartNogoods=50  solvingWckTime=120.979  solvingCpuTime=120.22  expiredTime=no
129.72	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=127.38
129.72	       =>  wckTime=129.371  cpuTime=127.33  mem=113M193
129.73	   
129.73	s SATISFIABLE
129.73	v -2536 -2488 -2304 -2492 -2640 -2344 2552 2632 2348 2560 2600 -2600 2468 2456 -2600 -2536 -2452 2332 2444 -2368 -2640 2280 -2328 2284 -2392 2448 2532 2624 -2476 -2628 -2600 -2352 2528 -2640 2360 2348 -2640 -2328 -2280 2600 2424 -2352 -2476 -2500 -2404 2428 -2536 -2512 -2600 2540 2376 -2352 -2312 -2500 -2300 2288 2296 -2324 2612 -2420 -2312 2384 -2536 -2524 2460 -2312 -2344 -2524 2528 -2368 -2320 -2600 2280 -2548 -2500 -2600 -2320 -2280 2560 -2288 -2536 2396 2584 2280 -2484 -2600 2448 2596 -2376 2300 2624 -2376 -2440 -2508 -2356 -2588 -2384 -2332 -2320 -2388 2280 2568 -2436 -2512 -2408 2640 2376 2636 -2640 2432 2488 -2548 -2336 2628 2352 -2640 -2320 -2356 -2300 -2332 -2520 -2428 2640 2320 2604 2384 2580 2632 -2484 -2360 -2424 2572 -2412 -2600 -2524 2620 -2320 2620 -2424 2384 2424 2320 -2372 -2280 -2640 2332 -2388 2388 2408 -2424 2384 -2488 2440 -2384 -2504 2572 -2532 2384 -2600 -2384 -2432 -2480 2320 -2540 2348 -2592 2408 2300 2640 2460 2640 2280 2280 2444 -2280 2496 -2640 -2316 -2580 2612 -2460 2568 -2348 -2312 -2640 -2460 -2484 -2380 2516 2336 -2356 2528 2600 2632 -2292 -2580 -2576 -2544 2396 2600 2572 -2328 2428 2552 -2280 -2600 -2468 -2408 -2520 2300 -2584 -2332 -2356 -2640 -2380 -2288 2420 2580 2324 -2568 -2596 2504 2564 2312 2428 -2288 -2488 2484 2636 2516 2320 -2344 -2364 2564 2396 -2520 -2576 2600 2544 2568 -2324 -2508 -2480 -2280 2300 2344 2508 2428 -2600 2564 -2580 -2336 -2552 2412 -2320 2600 -2608 -2580 -2624 2512 -2520 2452 -2592 -2600 2580 -2464 -2292 2564 -2384 2320 2416 -2440 -2572 -2472 2416 -2616 -2412 2348 2540 2548 -2640 2320 -2552 2536 -2324 -2568 -2456 -2380 -2380 -2364 2384 2568 2360 -2404 2624 2360 2432 2396 -2320 2600 -2368 2464 2624 2560 -2640 -2332 2316 -2452 -2304 2548 -2312 -2320 2640 2324 2448 -2320 -2528 -2412 2304 -2464 2600 2572 -2640 -2392 -2376 2548 -2636 -2640 -2488 -2592 2448 2344 -2600 -2384 -2452 -2304 2400 -2440 -2640 2600 2536 -2428 -2632 -2292 -2456 2348 -2496 -2488 2476 2388 -2600 2516 -2480 2592 2588 -2320 -2584 2280 2368 2568 -2476 -2324 -2280 2448 2304 2404 2372 -2480 2384 2460 2512 -2336 2568 2544 -2600 -2320 2292 2284 2492 -2572 -2372 2524 2516 -2552 -2620 2476 -2384 2600 2280 -2600 -2492 2440 -2532 -2280 2596 2536 -2572 2324 -2320 -2360 2584 -2600 2364 -2320 -2292 2420 -2336 2600 2468 2432 -2584 2300 -2340 2532 2320 -2312 -2520 -2516 -2480 2484 -2356 -2320 2280 -2284 2504 2632 2584 2520 -2552 -2600 -2572 2580 -2420 -2416 -2600 -2432 -2376 2304 2412 -2380 2280 -2336 -2640 -2380 2556 2564 2280 -2532 2340 -2612 2320 2472 -2460 -2568 2328 2280 2412 2524 -2332 -2296 2464 2336 -2552 -2528 -2332 -2532 2636 2412 -2500 -2524 2280 2516 2320 -2500 -2360 -2500 -2600 2324 2592 2320 2596 2544 2404 2412 -2368 -2600 -2328 -2580 2588 -2404 -2600 2368 -2296 2328 -2628 -2628 -2556 -2600 2460 2616 -2320 -2296 2468 -2384 -2444 -2320 -2296 2280 -2572 -2320 -2592 -2292 -2416 2364 -2388 -2416 -2512 -2572 -2640 2428 -2504 -2456 -2336 -2640 -2344 2320 2552 2596 -2600 -2348 -2448 -2592 -2604 2556 -2532 2524 -2280 2596 2468 -2392 2480 2580 -2592 -2428 -2356 2472 -2360 2416 2280 -2340 2588 -2320 2344 2560 -2528 -2332 2280 -2508 2504 -2352 -2572 -2356 -2388 -2600 2436 2344 -2640 2624 -2568 2552 2600 2508 -2612 2464 -2356 2508 2576 2300 -2540 -2500 -2600 -2332 -2600 -2280 -2516 -2620 -2640 2436 2320 2508 -2344 -2284 -2332 2556 -2296 2504 -2616 -2504 2616 2496 -2344 2388 2436 2572 2572 2500 -2408 2556 2448 -2412 -2436 -2600 -2596 -2612 -2388 -2604 -2396 -2336 -2580 2336 -2448 2536 -2640 2600 2320 -2592 2624 2392 2532 -2492 -2404 -2324 -2336 2596 -2420 2320 -2548 2344 -2404 -2488 -2624 -2376 -2412 -2596 2320 -2280 2396 2280 2580 -2400 -2388 -2324 2500 2320 2524 2540 -2640 -2640 2348 2608 2304 -2408 -2400 2448 -2340 -2320 -2476 2464 -2392 2524 2512 -2600 -2476 2584 -2320 2480 -2640 2284 -2544 -2612 -2460 -2364 -2560 2280 2320 -2620 2396 -2364 2596 2564 2356 2620 2552 2628 2584 2400 -2340 -2328 2312 2320 -2396 2312 2280 2580 -2532 -2516 -2468 -2516 -2528 -2628 2316 -2300 2320 -2632 2324 2400 -2336 -2588 2460 -2372 -2640 2280 2500 2572 2528 2396 2436 2384 2464 -2504 -2564 2568 2280 -2436 -2640 2532 -2600 -2324 2524 2508 2632 -2356 2364 -2600 -2436 -2620 2584 -2408 -2308 -2536 -2364 2584 2496 -2456 -2564 -2580 -2616 -2356 -2336 -2428 2428 2420 2440 -2640 2432 2512 -2324 2352 2352 -2396 2424 -2640 -2576 2436 -2552 -2568 -2640 -2384 2504 -2456 -2580 -2420 -2568 2328 2372 -2384 -2312 -2552 2416 -2400 -2592 -2368 -2600 -2280 -2428 2392 2364 -2456 2508 2332 2456 -2600 -2556 -2328 -2324 -2304 2620 2428 -2420 -2468 -2596 -2524 2396 2296 -2468 -2280 -2616 -2580 -2380 -2588 2452 2420 2468 2444 -2336 2416 2320 2600 2640 -2504 -2512 2460 -2388 -2344 2596 2608 -2440 2488 -2464 2412 -2620 -2640 2376 2620 2576 -2460 -2528 -2556 2364 2600 -2404 -2500 -2600 -2440 -2316 2344 -2528 -2508 2388 -2380 -2496 2444 2360 2280 -2396 2484 -2396 2380 2316 -2512 -2612 2620 -2432 -2524 2588 2576 -2640 -2468 2320 -2292 -2640 -2316 -2320 -2564 -2492 2544 -2632 2392 -2580 2572 2552 -2420 -2284 2408 -2324 -2280 2640 -2640 -2600 2444 -2528 2588 -2468 -2280 2596 -2556 -2280 2508 -2548 2464 2308 -2332 -2292 -2408 -2608 2360 -2488 -2548 -2320 2352 -2588 -2632 -2600 -2452 -2312 2320 -2560 -2456 2536 2444 -2600 2320 -2492 2548 2488 -2576 -2620 2280 2280 -2600 -2572 -2344 2544 -2640 2588 2536 -2352 -2640 -2600 -2448 2480 2616 -2640 -2388 2372 2436 2280 2360 -2428 2560 -2320 2384 -2496 -2532 -2444 -2480 -2332 2280 2316 -2452 2360 -2332 -2280 -2528 2364 -2596 -2620 -2300 2400 -2592 -2420 -2600 -2592 -2640 -2304 -2600 -2340 -2476 2424 2416 2344 2324 2420 -2292 -2552 2600 -2304 -2396 -2524 -2388 -2376 2640 -2320 -2640 -2376 -2540 2280 -2320 2280 2464 -2320 -2500 -2436 -2492 2280 -2380 -2584 -2320 -2372 2484 2280 -2544 -2332 2632 2568 -2380 -2336 -2344 2472 2620 -2600 -2576 -2292 -2564 -2412 -2408 2340 2544 -2540 -2600 -2532 -2280 -2332 -2380 -2320 -2460 -2280 2464 -2456 2488 -2508 2320 2356 2324 2480 2448 -2496 -2396 -2480 2420 2432 -2392 -2320 2456 2328 2432 2324 -2540 2340 -2604 2412 2636 2432 2340 -2540 2488 -2600 2564 -2440 -2388 2364 2280 2548 -2600 2324 2352 2332 2508 2480 2304 2532 2384 -2356 -2416 2428 2568 -2452 -2432 -2324 2600 -2576 2568 -2548 -2352 -2356 -2596 -2576 -2424 -2324 -2640 -2600 -2640 -2556 2360 -2560 2340 2576 -2428 -2340 -2496 -2348 -2336 -2336 2600 2344 2460 -2640 2484 -2364 2412 2532 2460 -2496 2408 -2408 2324 -2640 -2640 2592 -2328 2600 -2600 2280 2620 2472 2280 -2496 -2360 2352 2508 -2432 -2336 -2372 2580 2516 2512 -2424 -2336 -2320 2448 2320 -2340 2380 -2484 2508 -2500 -2456 2516 -2476 -2640 2300 -2352 2432 2536 -2284 -2444 -2492 -2552 2320 2296 2588 -2424 2636 -2368 -2448 2392 2548 -2600 -2452 2428 -2376 2356 2428 2404 2588 2348 -2444 -2496 -2640 2320 -2308 2472 2332 -2340 -2356 -2636 -2404 -2492 2316 2400 2636 2540 2460 -2512 -2640 2492 2336 -2280 2280 -2476 -2464 -2440 2396 -2396 -2376 -2540 2548 -2588 -2404 -2372 -2624 -2320 2320 2640 -2632 -2296 2464 2280 -2372 -2568 -2528 2576 2436 -2640 2280 -2304 2324 -2640 2404 -2292 -2556 -2384 -2492 -2400 2492 -2320 -2372 -2300 2524 -2400 -2412 -2280 -2512 2640 2560 -2348 -2640 -2600 2544 -2640 -2388 2304 -2516 -2492 -2640 2332 2536 -2608 2436 -2596 2632 2424 2592 -2340 -2336 -2508 -2320 -2352 2320 2300 -2456 2600 -2508 2320 -2640 -2620 -2484 2316 2364 -2596 -2380 -2604 -2284 -2624 -2548 -2600 2580 2604 -2520 2620 -2532 -2352 2280 2584 2632 -2360 2280 2624 -2320 -2308 -2368 -2288 -2320 -2476 2536 -2620 -2600 -2640 2352 -2320 2600 -2492 -2600 2600 -2588 -2600 -2580 2336 -2620 -2348 2516 -2500 2468 2564 -2400 -2600 -2300 -2600 -2640 -2640 2280 2496 -2320 -2284 -2296 2572 -2392 2344 2292 -2428 2628 2628 -2320 -2576 -2600 -2432 -2320 -2288 -2356 2488 2420 -2284 2600 -2312 2540 -2420 -2600 -2640 -2608 -2340 -2600 -2640 -2344 -2372 2532 2564 2600 -2352 -2600 2552 -2520 2280 -2440 2284 2320 -2408 -2360 -2348 2452 -2640 2532 2320 2464 2396 -2388 2456 -2420 -2580 -2592 2280 -2340 -2316 2356 2288 2584 -2520 -2408 -2296 2516 -2424 -2396 2356 -2280 -2508 -2288 2600 -2536 -2608 -2640 -2356 -2304 2444 -2340 2280 -2596 -2344 -2528 2484 -2600 -2344 -2436 -2520 2520 2580 -2496 -2640 2520 -2388 -2320 -2640 2472 -2608 -2400 2476 2300 -2324 -2392 2516 -2316 2596 2640 -2304 -2516 -2600 -2440 -2444 -2312 2320 2316 2296 -2396 2424 -2392 -2628 -2340 -2584 -2500 2464 2444 2556 2624 2296 -2336 -2596 2320 -2600 2340 -2640 -2356 2376 2504 2372 -2584 2392 -2288 2432 2320 2544 -2400 -2600 2568 2580 -2412 2572 -2484 2324 2356 -2584 -2284 2632 2444 -2372 2520 -2500 -2336 2632 -2304 -2612 2468 2580 2600 2340 -2600 -2308 -2440 2640 2476 -2432 2472 2492 -2600 -2320 2456 -2620 -2496 -2372 -2280 2612 -2320 -2620 2600 -2592 -2600 -2444 2320 2480 -2320 2592 -2492 -2620 -2580 2284 -2640 -2600 2332 2372 2556 -2548 -2596 2280 -2640 -2320 -2304 -2328 2280 -2480 2336 -2360 -2348 -2640 -2384 2528 2612 -2320 -2456 -2340 2584 2412 -2600 -2420 -2320 -2640 -2428 -2640 -2560 -2324 -2436 2388 -2568 2280 2512 -2440 -2620 -2640 -2388 2348 2280 2528 -2568 -2588 2296 -2520 -2364 2608 2504 2380 -2384 -2280 2436 2344 2564 -2580 2360 2280 -2636 -2564 2440 -2324 -2292 -2536 2460 -2640 2596 2568 -2496 -2600 2632 2280 -2336 -2472 2344 -2292 2612 -2620 2492 2396 2340 -2600 2636 2488 2316 2324 2280 -2300 2596 2528 -2640 2524 -2408 2548 -2640 -2496 -2312 2572 -2500 2428 -2396 -2592 2592 -2296 2640 2280 2600 -2556 -2552 2320 -2368 2360 2444 -2600 -2408 -2580 -2536 2380 -2280 -2428 2564 -2380 2420 2412 -2368 2456 2524 2600 2352 -2540 -2600 2388 2564 -2480 -2280 -2300 -2640 2496 -2396 -2368 -2480 -2484 2392 -2600 2280 -2616 2604 2612 2340 2328 -2524 2540 -2404 2280 2456 -2464 -2432 -2608 -2372 -2572 -2296 2532 2444 -2536 -2600 -2580 -2604 2628 -2448 -2640 -2416 -2412 2460 -2364 -2640 2452 2608 -2552 -2328 -2320 2632 -2300 2344 2356 -2440 -2284 -2476 -2536 2436 2456 2520 -2536 -2448 -2480 -2540 2616 2532 -2572 2324 2460 2320 -2640 -2352 -2524 2432 -2364 2560 2284 -2520 2380 2292 -2324 -2448 -2640 -2320 -2336 2280 -2336 -2360 2636 -2600 -2472 -2376 -2384 -2344 -2528 2280 -2280 2632 -2296 -2480 2500 -2324 2488 2564 -2356 2500 2544 -2280 -2280 -2324 -2400 -2360 -2612 -2640 2312 2540 2280 -2600 2388 -2528 -2320 2460 2548 -2640 2296 2372 -2640 -2292 2584 2592 2404 -2400 2324 2600 -2640 2320 -2320 -2280 2380 -2448 2560 -2612 -2320 2452 2556 2504 -2432 -2536 -2600 -2568 2392 -2452 -2468 -2344 -2292 -2376 2524 2516 -2504 2480 2296 -2640 2528 2464 -2468 2524 -2284 -2496 -2344 -2564 -2284 2280 2432 -2596 -2320 -2608 -2328 -2312 -2284 -2284 -2620 -2296 -2564 -2456 2428 -2424 -2532 -2400 2368 -2340 -2600 2472 2544 2468 -2320 -2320 2460 -2544 2552 -2448 -2508 2564 -2460 -2460 -2544 -2332 2300 -2368 -2468 -2528 -2304 -2408 -2364 2488 -2500 2280 2280 2328 -2500 -2288 -2348 -2520 -2640 -2328 -2300 2316 -2640 -2480 -2368 -2404 -2324 -2632 2580 -2364 2564 -2476 -2636 -2428 -2420 -2352 -2392 2412 -2640 -2528 -2344 -2556 -2348 -2600 -2320 -2320 -2600 -2312 -2304 2356 -2320 -2640 2640 -2284 2344 2584 -2592 -2288 -2580 -2388 -2572 -2552 2460 -2600 2640 -2336 -2608 -2496 -2456 -2328 -2472 2500 2596 2388 2624 2484 2448 2320 2548 2320 -2428 -2388 -2496 2348 -2412 -2588 2620 2340 -2572 -2344 -2388 -2640 -2580 -2500 -2528 2540 2620 -2468 2536 2600 -2320 -2568 2560 -2456 2400 -2280 2344 -2364 -2640 -2608 -2552 -2600 2580 -2584 2612 -2600 -2492 -2388 -2640 -2320 -2412 2300 -2320 -2464 -2576 -2528 -2456 -2580 -2604 2352 -2352 -2460 -2504 -2340 -2640 -2572 -2324 2484 2280 -2404 2284 -2552 -2584 2608 2624 2428 2612 2584 -2612 -2452 -2332 -2600 -2568 2504 -2400 -2476 -2544 2460 2552 -2392 -2640 2404 -2356 -2320 -2500 -2388 -2320 -2600 2420 2576 2348 2316 -2384 2428 2308 -2396 -2536 -2496 -2536 2388 -2492 2320 -2556 -2600 -2532 2600 -2592 2348 2352 -2552 -2296 2608 -2488 -2440 -2600 2324 2296 -2280 2520 2292 2512 2640 -2636 2588 -2320 2360 -2304 -2504 -2320 2632 2568 -2464 -2280 2464 2596 -2640 2416 2620 2404 -2292 2520 2640 -2280 -2640 -2436 2368 2280 -2600 -2340 -2416 2344 2576 2444 2320 2640 -2452 -2484 -2348 -2464 -2424 -2388 2524 -2640 -2572 2592 2544 -2364 -2472 2576 -2640 -2300 2620 -2392 2392 2476 2444 -2484 -2340 2340 -2292 -2584 2540 -2600 2500 -2332 2604 2376 -2556 -2368 2640 2512 -2320 -2628 2600 -2560 2324 2288 -2548 -2592 2524 -2344 -2640 2296 -2384 -2600 2320 -2576 -2532 -2580 2448 2320 -2588 2360 -2456 -2328 -2540 -2640 -2280 -2600 -2320 2292 -2416 2296 2456 -2532 -2316 -2364 -2492 2280 -2584 -2320 2280 -2320 2396 2628 2640 -2640 -2600 2376 -2452 -2508 -2364 2356 -2600 2608 -2280 -2508 -2524 2340 2356 -2596 2496 -2524 2592 -2432 2524 -2316 -2340 2352 -2424 -2360 -2336 -2280 -2592 2640 -2420 -2320 -2352 2496 -2580 -2480 -2396 -2324 2484 -2524 -2640 -2280 2416 -2532 -2468 -2452 -2472 -2280 2492 -2620 -2468 -2484 -2284 -2584 2380 -2432 2500 2640 2580 -2320 -2360 2392 2336 -2464 2280 2600 -2596 -2556 -2332 -2488 -2568 2592 -2408 -2360 -2572 2600 2428 2600 -2576 -2356 -2356 2536 -2392 -2528 -2560 -2428 -2512 -2588 2280 -2424 2596 2300 -2632 2400 2364 -2620 -2364 -2532 -2368 -2588 2392 -2488 2356 -2336 2412 -2640 -2640 -2536 -2280 2504 -2600 -2280 -2420 -2300 2468 -2636 2548 -2604 -2640 -2284 2516 -2596 2324 2484 2280 2400 -2320 2332 2492 2396 -2556 2356 -2640 -2464 -2588 -2636 -2560 -2404 2336 -2284 -2488 -2480 -2640 -2592 2520 -2400 2352 2320 -2404 2304 -2440 -2284 2284 -2600 -2580 2480 2436 -2324 -2576 -2532 -2600 2312 -2320 2408 -2544 2520 -2424 2420 -2600 -2368 2504 2460 -2600 2320 -2324 -2600 -2416 -2452 2484 -2540 -2516 -2400 2292 -2544 -2320 -2600 -2584 2588 2300 -2532 2320 2432 -2600 -2572 -2332 2344 2332 2320 -2596 2640 -2556 2600 -2572 2484 -2352 2496 -2472 -2360 -2600 -2600 2512 -2476 2284 -2456 -2584 2600 2528 2512 -2424 -2380 -2416 -2496 -2352 -2580 -2320 -2512 -2516 -2576 -2428 -2292 -2280 2556 2408 -2548 2296 -2324 -2340 -2640 -2400 -2296 -2444 -2428 -2604 2460 -2348 -2444 -2640 2624 -2432 2280 2440 -2408 2496 -2640 2336 -2468 2324 -2400 -2628 -2640 2280 -2464 -2348 -2280 -2584 -2444 2400 -2308 -2564 2568 -2504 -2320 -2280 2300 -2504 -2640 -2472 -2564 2280 2544 -2516 -2640 -2356 -2336 2304 2336 -2600 -2320 2472 2320 2476 2640 -2336 2304 -2620 -2340 2368 2592 -2332 -2372 -2592 -2552 2632 2448 2500 2592 2484 -2392 2320 2544 2552 -2340 2440 2540 2324 -2532 -2600 -2528 2436 -2464 -2556 -2468 -2356 -2312 2316 -2600 2396 -2484 2352 2472 2280 -2536 -2480 2280 2532 -2484 -2512 2340 2372 -2632 2412 -2320 2280 2408 -2504 -2408 2340 -2320 2572 -2336 -2392 -2488 2580 2312 2572 -2448 2336 2440 -2364 -2404 2616 -2280 2500 2464 2460 -2636 -2600 2320 2640 2456 -2624 -2428 2292 -2352 -2420 2320 2364 2592 -2556 2580 2340 -2600 -2448 -2636 -2340 2420 -2408 -2472 2344 -2280 -2396 -2640 -2504 2280 2388 2576 -2560 -2448 -2348 2568 -2412 2432 -2600 2488 2540 -2380 2568 2296 2312 -2332 -2424 -2420 2368 -2328 2504 -2640 -2492 -2468 -2600 2488 -2600 -2400 2412 -2640 2280 -2572 -2320 2280 2584 -2280 2324 2416 2388 -2448 -2380 -2488 -2392 -2540 -2284 -2396 -2472 2412 -2640 -2588 -2344 2280 -2320 -2344 -2352 2452 2532 -2588 -2320 -2572 -2640 2392 -2320 -2600 -2348 -2552 -2640 -2600 -2284 2380 -2476 2412 -2596 -2600 -2376 2496 2632 -2532 -2600 -2332 -2556 2580 2564 -2500 -2292 -2336 -2632 2640 2448 -2548 -2544 -2428 -2340 -2360 2580 -2372 2460 -2364 2440 2284 2316 -2496 2464 2516 2320 2532 -2600 2352 2280 2356 -2628 -2364 -2424 -2596 2556 -2600 -2320 -2588 -2420 2452 -2600 -2460 -2572 2488 2356 -2492 2512 -2592 -2300 -2332 -2496 2332 -2580 -2456 -2320 2456 2572 -2408 -2568 2380 -2400 2408 2380 -2508 2296 -2600 2576 2356 2444 -2588 -2320 -2556 2484 -2528 -2316 2332 2460 2596 -2360 2320 2464 2628 -2512 -2288 -2488 2376 -2496 -2600 2624 2588 2384 -2380 -2540 -2600 -2320 2612 -2584 -2400 2488 -2416 -2280 -2640 -2420 2544 2320 -2336 2388 2452 2292 -2308 -2556 2284 -2344 -2640 -2320 2336 2408 -2568 -2456 2640 2488 -2404 -2568 -2280 2632 -2320 -2356 -2640 2480 2280 2512 -2352 2340 -2352 2428 2292 -2432 -2536 -2596 -2640 -2392 2576 -2320 2340 -2600 2496 2296 -2592 -2604 2476 -2636 -2616 -2400 2600 2300 -2416 2564 -2412 2396 -2640 -2420 2620 -2288 -2280 -2280 -2320 -2324 -2556 2280 2592 2576 -2576 -2416 -2472 2352 2472 2608 -2488 -2280 2484 -2468 2604 -2456 -2372 2280 -2280 -2320 -2540 2568 -2420 2544 -2424 -2288 -2332 2464 -2596 -2324 -2288 2616 -2376 -2408 -2548 2356 -2560 -2640 -2380 2632 2300 2388 -2560 -2600 -2420 2576 2432 2640 -2288 -2580 -2528 2356 -2496 2280 -2600 2616 2504 -2504 2496 -2336 -2540 -2388 -2600 -2320 -2328 -2548 -2408 -2420 2628 2280 -2508 2532 -2396 -2420 2416 2484 2592 2564 -2300 -2396 -2344 -2320 2320 2304 -2536 -2336 -2536 -2512 2512 -2456 2320 2436 2448 -2640 -2624 2280 2496 -2600 -2440 -2436 2380 -2344 2452 -2280 2400 2592 -2332 -2284 2616 -2280 -2324 -2324 2280 2584 2640 -2348 -2368 2304 2600 -2308 -2392 -2424 2280 2640 -2536 -2640 2280 -2320 2572 2424 -2640 2432 2576 2504 2388 2432 2580 2500 -2564 2444 -2600 -2592 2452 2472 -2616 -2280 -2612 -2280 2284 -2524 -2640 -2472 2328 
129.73	d NODES 6581
129.73	d CHECKS 199110153
129.73	   
129.73	   totalWckTime=129.448  totalCpuTime=127.39

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/node72/watcher-200972-1168072247 -o ROOT/results/node72/solver-200972-1168072247 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/200972-1168072247/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.79 0.95 0.98 5/93 31958
/proc/meminfo: memFree=1366504/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=18540 CPUtime=0
/proc/31957/stat : 31957 (runsolver) R 31955 31957 31841 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155633756 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 0 4096 24578 0 0 0 17 1 0 0
/proc/31957/statm: 4635 279 244 17 0 2626 0

[startup+0.103785 s]
/proc/loadavg: 0.79 0.95 0.98 5/93 31958
/proc/meminfo: memFree=1366504/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=914988 CPUtime=0.07
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 3045 0 1 0 6 1 0 0 24 0 8 0 155633756 936947712 2791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228747 2791 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.511817 s]
/proc/loadavg: 0.79 0.95 0.98 5/93 31958
/proc/meminfo: memFree=1366504/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=915328 CPUtime=0.43
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 6628 0 1 0 39 4 0 0 20 0 8 0 155633756 937295872 6367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073590187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228832 6367 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328

[startup+1.33389 s]
/proc/loadavg: 0.79 0.95 0.98 3/100 31965
/proc/meminfo: memFree=1292656/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=915648 CPUtime=1.24
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 22847 0 1 0 111 13 0 0 25 0 8 0 155633756 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073580104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228912 22584 2160 14 0 215382 0
[pid=31957/tid=31959] ppid=31955 vsize=915648 CPUtime=0.08
/proc/31957/task/31959/stat : 31959 (java) S 31955 31957 31841 0 -1 64 6303 0 0 0 6 2 0 0 16 0 8 0 155633760 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31960] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31960/stat : 31960 (java) S 31955 31957 31841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155633760 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31961] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31961/stat : 31961 (java) S 31955 31957 31841 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155633761 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31962] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31962/stat : 31962 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155633763 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31963] ppid=31955 vsize=915648 CPUtime=0.15
/proc/31957/task/31963/stat : 31963 (java) S 31955 31957 31841 0 -1 64 409 0 0 0 15 0 0 0 15 0 8 0 155633763 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31964] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31964/stat : 31964 (java) S 31955 31957 31841 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155633764 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31965] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31965/stat : 31965 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155633764 937623552 22584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915648

[startup+2.98804 s]
/proc/loadavg: 0.89 0.97 0.99 4/100 31965
/proc/meminfo: memFree=1279280/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=915648 CPUtime=2.88
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 24043 0 1 0 274 14 0 0 25 0 8 0 155633756 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228912 23777 2181 14 0 215382 0
[pid=31957/tid=31959] ppid=31955 vsize=915648 CPUtime=0.16
/proc/31957/task/31959/stat : 31959 (java) S 31955 31957 31841 0 -1 64 7407 0 0 0 13 3 0 0 16 0 8 0 155633760 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31960] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31960/stat : 31960 (java) S 31955 31957 31841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155633760 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31961] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31961/stat : 31961 (java) S 31955 31957 31841 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155633761 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31962] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31962/stat : 31962 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155633763 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31963] ppid=31955 vsize=915648 CPUtime=0.19
/proc/31957/task/31963/stat : 31963 (java) S 31955 31957 31841 0 -1 64 436 0 0 0 19 0 0 0 16 0 8 0 155633763 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31964] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31964/stat : 31964 (java) S 31955 31957 31841 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155633764 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31965] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31965/stat : 31965 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155633764 937623552 23777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915648

[startup+6.28334 s]
/proc/loadavg: 0.89 0.97 0.99 3/100 31965
/proc/meminfo: memFree=1248624/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=915648 CPUtime=6.14
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 27048 0 1 0 598 16 0 0 25 0 8 0 155633756 937623552 26778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155890594 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228912 26778 2182 14 0 215382 0
[pid=31957/tid=31959] ppid=31955 vsize=915648 CPUtime=0.33
/proc/31957/task/31959/stat : 31959 (java) S 31955 31957 31841 0 -1 64 10396 0 0 0 29 4 0 0 16 0 8 0 155633760 937623552 26778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31960] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31960/stat : 31960 (java) S 31955 31957 31841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155633760 937623552 26778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31961] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31961/stat : 31961 (java) S 31955 31957 31841 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155633761 937623552 26778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31962] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31962/stat : 31962 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155633763 937623552 26778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31963] ppid=31955 vsize=915648 CPUtime=0.22
/proc/31957/task/31963/stat : 31963 (java) S 31955 31957 31841 0 -1 64 448 0 0 0 22 0 0 0 15 0 8 0 155633763 937623552 26778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31964] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31964/stat : 31964 (java) S 31955 31957 31841 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155633764 937623552 26778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31965] ppid=31955 vsize=915648 CPUtime=0
/proc/31957/task/31965/stat : 31965 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155633764 937623552 26778 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915648

[startup+12.7699 s]
/proc/loadavg: 0.98 0.99 0.99 2/88 31973
/proc/meminfo: memFree=1325200/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=915928 CPUtime=12.57
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 37088 0 1 0 1236 21 0 0 25 0 8 0 155633756 937910272 36776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228982 36776 2533 14 0 215452 0
[pid=31957/tid=31959] ppid=31955 vsize=915928 CPUtime=0.9
/proc/31957/task/31959/stat : 31959 (java) S 31955 31957 31841 0 -1 64 19887 0 0 0 82 8 0 0 16 0 8 0 155633760 937910272 36776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31960] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31960/stat : 31960 (java) S 31955 31957 31841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155633760 937910272 36776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31961] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31961/stat : 31961 (java) S 31955 31957 31841 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155633761 937910272 36776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31962] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31962/stat : 31962 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155633763 937910272 36776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31963] ppid=31955 vsize=915928 CPUtime=0.35
/proc/31957/task/31963/stat : 31963 (java) S 31955 31957 31841 0 -1 64 558 0 0 0 34 1 0 0 15 0 8 0 155633763 937910272 36776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31964] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31964/stat : 31964 (java) S 31955 31957 31841 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155633764 937910272 36776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31965] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31965/stat : 31965 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155633764 937910272 36776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915928

[startup+25.6061 s]
/proc/loadavg: 1.06 1.00 1.00 3/100 32021
/proc/meminfo: memFree=1237040/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=915928 CPUtime=25.36
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 37093 0 1 0 2514 22 0 0 25 0 8 0 155633756 937910272 36777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228982 36777 2533 14 0 215452 0
[pid=31957/tid=31959] ppid=31955 vsize=915928 CPUtime=0.9
/proc/31957/task/31959/stat : 31959 (java) S 31955 31957 31841 0 -1 64 19887 0 0 0 82 8 0 0 16 0 8 0 155633760 937910272 36777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31960] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31960/stat : 31960 (java) S 31955 31957 31841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155633760 937910272 36777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31961] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31961/stat : 31961 (java) S 31955 31957 31841 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155633761 937910272 36777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31962] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31962/stat : 31962 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155633763 937910272 36777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31963] ppid=31955 vsize=915928 CPUtime=0.35
/proc/31957/task/31963/stat : 31963 (java) S 31955 31957 31841 0 -1 64 562 0 0 0 34 1 0 0 16 0 8 0 155633763 937910272 36777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31964] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31964/stat : 31964 (java) S 31955 31957 31841 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155633764 937910272 36777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31965] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31965/stat : 31965 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155633764 937910272 36777 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915928

[startup+51.2184 s]
/proc/loadavg: 1.38 1.08 1.02 3/100 32021
/proc/meminfo: memFree=1184304/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=915928 CPUtime=50.83
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 37114 0 1 0 5061 22 0 0 25 0 8 0 155633756 937910272 36792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074198029 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228982 36792 2535 14 0 215452 0
[pid=31957/tid=31959] ppid=31955 vsize=915928 CPUtime=0.9
/proc/31957/task/31959/stat : 31959 (java) S 31955 31957 31841 0 -1 64 19888 0 0 0 82 8 0 0 16 0 8 0 155633760 937910272 36792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31960] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31960/stat : 31960 (java) S 31955 31957 31841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155633760 937910272 36792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31961] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31961/stat : 31961 (java) S 31955 31957 31841 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155633761 937910272 36792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31962] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31962/stat : 31962 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155633763 937910272 36792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31963] ppid=31955 vsize=915928 CPUtime=0.37
/proc/31957/task/31963/stat : 31963 (java) S 31955 31957 31841 0 -1 64 576 0 0 0 36 1 0 0 16 0 8 0 155633763 937910272 36792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31964] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31964/stat : 31964 (java) S 31955 31957 31841 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155633764 937910272 36792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31965] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31965/stat : 31965 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155633764 937910272 36792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915928

[startup+102.447 s]
/proc/loadavg: 1.75 1.24 1.08 3/100 32021
/proc/meminfo: memFree=1184240/2055920 swapFree=4192812/4192956
[pid=31957] ppid=31955 vsize=915928 CPUtime=101.75
/proc/31957/stat : 31957 (java) R 31955 31957 31841 0 -1 0 37144 0 1 0 10153 22 0 0 25 0 8 0 155633756 937910272 36810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839208 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31957/statm: 228982 36810 2537 14 0 215452 0
[pid=31957/tid=31959] ppid=31955 vsize=915928 CPUtime=0.9
/proc/31957/task/31959/stat : 31959 (java) S 31955 31957 31841 0 -1 64 19888 0 0 0 82 8 0 0 16 0 8 0 155633760 937910272 36810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31960] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31960/stat : 31960 (java) S 31955 31957 31841 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155633760 937910272 36810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31961] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31961/stat : 31961 (java) S 31955 31957 31841 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155633761 937910272 36810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31962] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31962/stat : 31962 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155633763 937910272 36810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31963] ppid=31955 vsize=915928 CPUtime=0.4
/proc/31957/task/31963/stat : 31963 (java) S 31955 31957 31841 0 -1 64 595 0 0 0 39 1 0 0 16 0 8 0 155633763 937910272 36810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31964] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31964/stat : 31964 (java) S 31955 31957 31841 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155633764 937910272 36810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31957/tid=31965] ppid=31955 vsize=915928 CPUtime=0
/proc/31957/task/31965/stat : 31965 (java) S 31955 31957 31841 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155633764 937910272 36810 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 915928

Child status: 0
Real time (s): 129.763
CPU time (s): 128.934
CPU user time (s): 128.683
CPU system time (s): 0.250961
CPU usage (%): 99.3611
Max. virtual memory (cumulated for all children) (KiB): 915928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 128.683
system time used= 0.250961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37155
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= 4487
involuntary context switches= 7554

runsolver used 0.160975 s user time and 0.416936 s system time

The end

Launcher Data (download as text)

Begin job on node72 on Sat Jan  6 08:30:48 UTC 2007


IDJOB= 200972
IDBENCH= 3737
FILE ID= node72/200972-1168072247

PBS_JOBID= 3475973

Free space on /tmp= 66540 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c3a713f4f6011a69f875f3666a2ad293

RANDOM SEED= 856551167

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.223
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.223
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:       1382024 kB
Buffers:         40068 kB
Cached:         432464 kB
SwapCached:          0 kB
Active:         217452 kB
Inactive:       383500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1382024 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           13888 kB
Writeback:           0 kB
Mapped:         156588 kB
Slab:            57532 kB
Committed_AS:  3368608 kB
PageTables:       2476 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= 66542 MiB



End job on node72 on Sat Jan  6 08:32:59 UTC 2007