Trace number 201581

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 176.285 176.517

DiagnosticValue
CHECKS213389091
NODES11291

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-7.xml
MD5SUM0afc8cfff921a2b2bb2e875a86dffcb1
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 benchmark176.285
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
Global constraints used (with number of constraints)

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=mac.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/201581-1168072397/unknown.xml
0.35	   
0.35	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.59	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.59	       =>  wckTime=0.301  cpuTime=0.21  mem=20M547
0.59	   
0.59	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
4.54	   
4.54	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 45M684)
7.64	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=217  nbConvertConstraintsChecks=4885750
7.64	     nbExtensionStructures=201  nbSharedExtensionStructures=16  nbConflictsStructures=201
7.64	     nbSharedConflictsStructures=16  nbSharedBinaryRepresentations=36138  nbEvaluationManagers=9604
7.64	     nbSharedEvaluationManagers=3848  maxDegree=17  maxArity=2
7.64	       =>  wckTime=7.348  cpuTime=6.69  mem=60M416
7.83	   
7.83	   solver IterativeSystematicSolver being built... 
8.26	       =>  wckTime=7.967  cpuTime=7.02  mem=93M820
24.83	   
24.83	   preprocessing
24.83	     nbConstraintChecks=29621655  nbValidityChecks=1356994  nbPropagations=2522  nbRevisions=39469
24.83	     nbUselessRevisions=35868  nbRemovedValues=119406  detectedInconsistency=no
24.83	       =>  wckTime=16.553  cpuTime=16.51  mem=93M820
33.34	   
33.34	   search
33.34	     run=0  nbConstraintChecks=12307662  nbValidityChecks=10540054  nbPropagations=14786  nbRevisions=190546
33.34	     nbUselessRevisions=173088  nbAssignments=228  nbFailedAssignments=4  nbBacktracks=11  nbVisitedNodes=235
33.34	     nbRestartNogoods=0  mapSize=2  nbInferences=0  nbTooLargeKeys=0
33.34	       =>  wckTime=25.071  cpuTime=24.94  mem=74M708
37.41	   
37.41	   search
37.41	     run=1  nbConstraintChecks=17508091  nbValidityChecks=22611584  nbPropagations=45212  nbRevisions=575665
37.41	     nbUselessRevisions=520580  nbAssignments=527  nbFailedAssignments=12  nbBacktracks=28  nbVisitedNodes=548
37.41	     nbRestartNogoods=4  mapSize=12  nbInferences=0  nbTooLargeKeys=0
37.41	       =>  wckTime=29.138  cpuTime=29.0  mem=86M507
40.80	   
40.80	   search
40.80	     run=2  nbConstraintChecks=21696702  nbValidityChecks=34483967  nbPropagations=90713  nbRevisions=1147375
40.80	     nbUselessRevisions=1036544  nbAssignments=831  nbFailedAssignments=21  nbBacktracks=51  nbVisitedNodes=868
40.80	     nbRestartNogoods=8  mapSize=23  nbInferences=0  nbTooLargeKeys=0
40.80	       =>  wckTime=32.532  cpuTime=32.39  mem=98M445
46.84	   
46.84	   search
46.84	     run=3  nbConstraintChecks=29920338  nbValidityChecks=48536101  nbPropagations=154672  nbRevisions=1950704
46.84	     nbUselessRevisions=1758157  nbAssignments=1204  nbFailedAssignments=49  nbBacktracks=85  nbVisitedNodes=1280
46.84	     nbRestartNogoods=10  mapSize=42  nbInferences=0  nbTooLargeKeys=0
46.84	       =>  wckTime=38.569  cpuTime=38.41  mem=112M414
51.02	   
51.03	   search
51.03	     run=4  nbConstraintChecks=34718876  nbValidityChecks=62506638  nbPropagations=237805  nbRevisions=2994854
51.03	     nbUselessRevisions=2690653  nbAssignments=1612  nbFailedAssignments=108  nbBacktracks=135  nbVisitedNodes=1765
51.03	     nbRestartNogoods=22  mapSize=75  nbInferences=0  nbTooLargeKeys=0
51.03	       =>  wckTime=42.751  cpuTime=42.54  mem=89M721
59.61	   
59.61	   search
59.61	     run=5  nbConstraintChecks=46639960  nbValidityChecks=76649549  nbPropagations=340809  nbRevisions=4284862
59.61	     nbUselessRevisions=3838309  nbAssignments=2110  nbFailedAssignments=195  nbBacktracks=211  nbVisitedNodes=2375
59.61	     nbRestartNogoods=24  mapSize=122  nbInferences=0  nbTooLargeKeys=0
59.61	       =>  wckTime=51.335  cpuTime=51.11  mem=106M83
68.79	   
68.79	   search
68.79	     run=6  nbConstraintChecks=58361435  nbValidityChecks=99327280  nbPropagations=480300  nbRevisions=6036341
68.79	     nbUselessRevisions=5368764  nbAssignments=2615  nbFailedAssignments=349  nbBacktracks=324  nbVisitedNodes=3077
68.79	     nbRestartNogoods=42  mapSize=205  nbInferences=0  nbTooLargeKeys=0
68.79	       =>  wckTime=60.519  cpuTime=60.29  mem=120M256
86.03	   
86.03	   search
86.03	     run=7  nbConstraintChecks=79925968  nbValidityChecks=131517329  nbPropagations=677667  nbRevisions=8556148
86.03	     nbUselessRevisions=7499146  nbAssignments=3752  nbFailedAssignments=1076  nbBacktracks=494  nbVisitedNodes=5027
86.03	     nbRestartNogoods=50  mapSize=344  nbInferences=0  nbTooLargeKeys=0
86.03	       =>  wckTime=77.76  cpuTime=77.48  mem=101M806
96.68	   
96.68	   search
96.68	     run=8  nbConstraintChecks=92184751  nbValidityChecks=151940044  nbPropagations=922092  nbRevisions=11627277
96.68	     nbUselessRevisions=10078971  nbAssignments=4749  nbFailedAssignments=1383  nbBacktracks=755  nbVisitedNodes=6421
96.68	     nbRestartNogoods=57  mapSize=508  nbInferences=0  nbTooLargeKeys=0
96.68	       =>  wckTime=88.411  cpuTime=88.12  mem=128M228
120.55	   
120.55	   search
120.55	     run=9  nbConstraintChecks=123044206  nbValidityChecks=208241584  nbPropagations=1241052  nbRevisions=15719294
120.55	     nbUselessRevisions=13513157  nbAssignments=5696  nbFailedAssignments=1762  nbBacktracks=1145  nbVisitedNodes=7864
120.55	     nbRestartNogoods=80  mapSize=717  nbInferences=0  nbTooLargeKeys=0
120.55	       =>  wckTime=112.279  cpuTime=111.91  mem=128M822
136.53	   
136.53	   INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=165M426)
137.10	   
137.10	   search
137.10	     run=10  nbConstraintChecks=140715891  nbValidityChecks=240999540  nbPropagations=1646773  nbRevisions=20861073
137.10	     nbUselessRevisions=17819687  nbAssignments=7071  nbFailedAssignments=2144  nbBacktracks=1732  nbVisitedNodes=9828
137.10	     nbRestartNogoods=98
137.10	       =>  wckTime=128.828  cpuTime=128.45  mem=165M426
176.43	   
176.43	   search
176.43	     run=11  nbConstraintChecks=183767436  nbValidityChecks=332873757  nbPropagations=2306443  nbRevisions=28992612
176.43	     nbUselessRevisions=24536705  nbAssignments=11291  nbFailedAssignments=3616  nbBacktracks=2480  nbVisitedNodes=15794
176.43	     nbRestartNogoods=127
176.43	       =>  wckTime=168.157  cpuTime=167.74  mem=165M817
176.43	   
176.43	   global
176.43	     nbConstraintChecks=213389091  nbValidityChecks=334230751  nbPropagations=2308965  nbRevisions=29032081
176.43	     nbUselessRevisions=24572573  nbRestartNogoods=127  solvingWckTime=168.158  solvingCpuTime=167.74  expiredTime=no
176.43	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=174.81
176.43	       =>  wckTime=176.138  cpuTime=174.77  mem=165M817
176.43	   
176.43	s SATISFIABLE
176.43	v -2544 2548 -2600 -2616 2376 -2504 -2548 -2292 2636 -2324 2320 2280 -2556 -2656 -2296 2284 -2436 -2364 -2280 -2296 2464 -2324 -2300 -2436 -2476 -2628 2408 -2580 2652 -2476 -2324 -2656 2480 -2504 -2656 2392 -2316 -2432 -2468 -2360 -2392 -2368 -2464 -2324 -2412 2648 2584 2412 2588 -2280 2384 -2536 -2608 -2656 2604 2556 2496 -2324 -2548 -2584 -2580 -2432 -2320 -2344 -2280 -2536 -2336 -2588 -2616 2336 2544 -2656 2504 -2616 -2280 2504 2288 -2624 -2500 -2564 -2612 -2300 -2560 -2440 -2612 -2324 -2392 -2616 2460 2280 2404 -2372 -2576 -2408 -2456 -2496 2508 -2528 -2500 -2656 -2296 -2560 -2480 2448 2348 -2640 -2636 2364 -2388 2468 -2436 -2280 2280 -2324 -2612 -2420 -2528 2536 2616 2444 2588 2476 -2600 -2556 -2404 2548 -2492 2464 2460 2280 -2496 -2384 -2632 -2604 -2328 -2556 -2328 -2452 2604 -2336 -2392 -2404 2636 -2328 -2460 -2644 2596 -2576 -2616 -2624 2472 -2440 -2376 2316 -2540 -2500 -2432 2292 -2280 -2300 2320 2280 -2456 -2616 -2520 2412 -2468 -2612 -2372 2512 -2504 -2280 -2380 2348 2568 -2316 2320 2652 2280 -2340 -2492 2408 2352 -2468 -2608 2364 2500 -2632 -2588 2488 2324 -2292 2284 -2304 2336 2512 2336 -2360 2608 -2596 -2336 2600 -2548 2576 2616 -2592 2608 -2424 -2484 2548 2596 -2452 -2304 -2344 -2604 -2480 2512 2616 -2432 -2340 2348 2636 -2396 -2320 -2456 -2464 -2604 -2460 2332 2500 -2320 -2616 -2344 -2576 2628 2356 2564 2616 -2500 -2608 2588 -2304 -2380 -2324 -2396 2576 -2400 2320 2336 -2640 2576 -2532 -2440 -2280 2644 2340 -2504 2528 2348 -2296 2612 -2456 2436 -2320 -2532 -2296 -2636 2356 -2572 -2616 -2280 2536 2512 -2572 -2488 2544 -2344 -2356 -2280 2288 2540 2432 -2456 2348 2640 -2364 -2444 2452 2536 -2316 -2464 -2564 -2372 -2476 -2532 2440 -2480 2572 2296 -2456 -2416 2280 -2496 2596 2384 -2580 -2576 2320 -2352 -2428 -2348 2560 2420 2608 -2464 -2432 2608 -2312 2368 -2320 2600 -2504 -2572 -2648 -2348 2496 -2656 -2332 -2280 -2616 -2312 -2464 -2648 -2648 -2572 2320 -2420 2360 -2348 -2476 2440 -2280 -2588 2612 -2460 -2572 -2548 2348 2400 2492 -2388 2532 2564 -2344 2476 -2476 -2328 2424 -2340 2356 2524 -2324 2580 -2348 2336 -2608 2448 2616 -2636 2320 -2336 2588 -2372 2328 2432 -2464 -2464 -2344 -2428 2532 2596 -2400 2412 -2360 2356 2572 2536 -2508 -2456 -2516 -2476 2480 -2400 2464 -2332 -2536 2320 2280 2512 -2556 2460 2352 -2448 2480 -2444 -2476 -2332 -2520 -2412 -2332 -2500 -2616 -2368 2624 2556 -2580 -2392 -2544 -2656 -2528 2436 -2444 2492 2372 -2648 -2616 -2564 -2500 -2612 2628 -2404 2520 -2344 2404 2504 2608 -2632 -2632 -2304 -2336 -2500 2464 -2600 -2328 -2320 -2620 -2428 2280 2644 2440 -2324 -2284 -2460 2364 -2320 -2636 -2656 2364 -2384 2540 2524 -2280 2628 2356 -2328 2436 2420 2308 2596 2616 -2396 2404 -2440 2496 -2352 2396 -2400 -2356 -2596 2428 -2632 -2392 -2608 -2588 -2504 2480 -2640 -2464 -2584 2316 2456 2400 -2596 -2508 2280 2376 -2388 -2552 -2636 2396 -2372 -2320 -2452 -2608 -2368 2536 -2612 -2656 2544 -2424 -2408 2532 -2556 -2580 -2516 -2324 -2620 2612 2432 -2616 -2460 2388 2500 2600 -2608 2388 2396 -2324 -2468 2392 2652 2284 -2504 -2384 2652 2284 -2584 -2540 2612 -2428 2344 -2600 2620 -2624 -2280 -2600 2464 2280 2656 2520 -2656 -2392 2396 -2408 -2356 -2500 -2384 2320 2280 -2648 -2596 2420 -2640 2408 2312 -2592 -2616 -2468 -2320 -2432 -2636 2572 -2564 -2616 2508 2580 2436 2292 -2496 2656 -2480 2336 -2580 -2352 2384 -2588 -2656 -2564 2628 -2616 -2572 -2300 -2472 -2412 -2436 2468 -2352 -2488 2592 -2596 -2616 -2332 -2604 -2396 -2356 2356 -2400 2512 -2412 2584 -2456 -2288 2504 -2584 2412 -2452 -2508 -2428 2576 2512 -2612 2548 -2540 -2380 -2564 2616 -2548 -2384 2508 -2612 -2428 -2312 -2416 -2616 -2352 2608 -2328 -2528 -2484 -2328 2320 2472 2432 -2624 -2280 -2420 -2388 -2324 2320 -2440 -2432 2412 -2444 2492 -2576 -2320 -2648 -2580 2476 2328 2504 2616 -2520 -2440 2384 -2604 2372 -2656 2420 2432 -2424 2576 2560 2596 2476 2644 2484 -2360 2436 2280 -2656 2312 -2320 2280 -2416 -2656 -2508 2420 2284 -2476 2408 2580 -2436 -2284 -2376 2444 -2328 -2372 2620 -2628 2440 -2560 2636 2388 -2580 -2572 -2516 2632 2576 -2516 -2648 -2488 -2596 -2320 2428 2412 -2524 2288 -2616 -2460 2372 2368 -2656 2624 -2440 2288 -2604 2320 -2484 -2384 -2424 2400 2280 2472 2428 -2652 2536 -2328 -2480 -2344 -2384 -2332 2548 2416 -2504 -2380 -2572 -2516 -2516 2576 2504 2356 -2588 2612 2612 2596 -2324 -2492 -2368 -2300 -2616 -2516 2392 -2420 -2516 2564 -2392 2632 2548 -2596 -2280 2328 2604 2332 2324 -2536 -2432 -2572 -2420 -2412 2508 2356 2600 2580 2616 2616 -2428 -2564 2572 -2460 2588 2328 2552 -2596 -2320 -2332 2320 2316 2408 -2416 -2608 2464 -2652 -2512 -2592 -2616 2408 -2348 2468 -2316 2280 -2400 -2616 -2396 2320 -2412 -2392 -2420 2376 -2484 2288 2288 -2292 -2612 2600 2456 -2528 -2320 2480 -2460 -2324 2296 -2652 -2320 2608 2612 -2652 -2436 -2332 -2384 -2384 -2312 2344 -2560 -2468 -2604 -2528 -2316 2584 -2280 2352 2556 2596 -2436 -2336 2340 2284 -2544 2504 2484 2388 -2656 2320 -2516 2488 2316 2580 -2292 2544 2592 2332 -2412 -2320 -2340 2356 -2588 -2528 -2424 2344 -2616 -2428 2464 -2320 -2332 2592 2576 -2484 2616 -2484 2524 2448 -2476 -2600 -2428 -2396 -2584 2280 2476 2324 2420 -2432 2516 -2656 -2320 -2324 -2288 -2632 2624 -2424 2560 2532 -2588 2648 -2600 -2584 -2372 -2496 -2656 2508 2644 -2480 -2340 -2492 2464 2616 -2464 2308 -2612 -2640 -2320 -2588 -2504 2484 2648 2476 -2288 -2600 2544 -2484 -2500 -2420 2280 2536 2348 -2616 -2608 -2472 -2548 -2408 2320 2576 -2556 2472 -2576 2484 -2384 -2456 -2472 -2444 2352 -2656 -2656 2320 2504 -2424 -2356 -2460 2604 -2492 2560 -2556 -2572 -2328 -2504 2280 -2320 2544 2576 2452 2372 2380 -2556 2280 -2572 -2596 2596 -2476 2540 2344 2436 2588 2416 -2584 2624 2444 2608 -2508 -2556 2636 -2440 -2484 -2500 -2628 -2528 2308 2584 -2564 2480 2304 -2376 2460 2280 -2496 -2552 -2552 2280 -2536 2464 2384 -2504 2392 -2616 2612 2596 2400 -2500 -2636 -2540 -2656 2452 -2612 -2428 2476 -2564 -2372 -2488 2636 -2616 2616 2532 2364 -2540 -2336 -2496 2480 -2572 -2420 -2520 2560 -2520 -2524 2384 -2284 -2620 2328 2284 -2384 -2552 2612 -2460 2628 -2432 2376 -2308 -2572 2592 -2320 2548 -2616 -2320 -2400 -2464 -2656 2288 2280 2480 -2580 -2436 -2320 -2616 -2368 -2320 -2628 2340 2372 2656 -2284 -2544 -2336 2544 2492 -2656 -2656 2404 2332 -2280 -2296 2352 -2488 -2372 2532 -2432 -2656 2572 2412 -2656 -2604 2628 -2496 -2580 -2508 2616 -2656 2596 -2320 2436 -2560 -2576 -2656 -2280 -2584 -2284 2432 -2472 2532 2300 -2640 -2464 -2304 -2496 -2544 -2308 2564 -2644 2288 -2320 -2320 -2456 -2524 -2508 2576 2308 2320 2372 -2360 -2336 -2376 -2524 -2320 -2540 -2536 2500 2584 -2544 2460 2344 -2500 2456 2632 2584 -2544 -2352 2404 -2616 -2444 -2332 -2492 -2280 -2448 2592 -2344 -2492 2492 -2508 -2412 -2400 -2612 -2336 2536 -2656 2640 2424 -2580 2356 -2456 -2280 2612 -2352 -2284 -2520 2512 2556 -2548 2576 -2616 2384 -2588 2592 -2328 -2560 2316 -2524 2328 -2656 -2356 2332 -2616 -2572 -2460 -2384 -2584 2596 2460 2480 2500 -2652 -2344 2524 2620 -2516 2616 -2380 2568 -2368 2332 -2572 -2468 2540 2512 -2540 -2332 -2504 2524 -2572 -2560 2604 -2500 2628 -2648 -2392 -2552 2352 -2492 -2656 -2516 -2280 -2368 -2280 -2564 -2412 -2432 -2344 -2480 2280 2368 2572 2372 -2372 2548 -2568 2544 2520 2596 -2340 -2408 2300 -2344 -2504 -2604 2476 -2568 2448 -2564 -2656 -2456 2592 2464 -2540 2384 -2608 -2388 2600 2532 2548 2560 2560 -2456 2580 -2524 2320 2460 2400 2280 -2656 -2380 -2644 2652 -2404 -2288 2612 -2424 2616 -2320 -2572 2376 2376 -2468 -2532 -2344 -2404 -2516 -2284 -2556 -2584 -2616 -2496 2396 2568 -2344 2600 -2656 2460 2476 2484 2564 -2344 -2584 -2440 2480 2588 2380 -2296 2496 -2508 2448 2520 2368 -2612 -2620 2564 -2352 2368 2456 -2280 2600 2396 2472 -2636 -2596 2320 -2328 -2332 2404 -2616 2348 2344 -2412 2616 2396 2640 -2320 2356 -2432 -2632 -2300 2532 2460 -2396 -2620 -2536 -2364 2620 -2536 2364 -2348 -2636 -2360 2420 2444 2608 -2280 -2648 -2496 2336 2288 2648 -2516 2352 2416 -2280 -2612 2316 2612 -2576 -2544 2620 -2536 -2612 -2520 2428 -2576 -2280 2284 2640 2472 -2392 -2464 -2496 -2328 2336 -2548 -2340 2280 -2280 -2444 -2476 -2344 -2572 -2604 -2504 -2416 -2500 -2488 -2580 2540 2308 -2556 2632 2448 2544 2644 -2616 -2496 2616 -2476 2320 -2392 2320 2600 -2656 -2372 -2544 2280 -2440 2520 2304 -2452 -2332 2644 2364 -2516 2448 -2612 -2636 -2468 2612 -2552 -2576 2588 -2384 -2440 -2616 2492 -2500 -2580 -2540 2656 2404 2396 2352 -2516 2576 2552 -2320 -2480 -2612 2592 2364 2296 2320 -2332 2320 2656 -2656 -2452 -2524 2440 -2340 -2420 -2392 2384 -2392 -2320 -2596 2424 -2568 2528 2364 -2628 -2524 2404 -2288 2592 -2328 -2500 -2348 2444 -2380 -2380 -2580 -2572 -2536 -2460 2488 -2304 -2656 -2344 -2600 -2436 -2328 -2524 -2556 2328 -2384 -2492 -2328 2508 2356 2300 2364 -2616 2516 2468 -2404 2280 2308 -2328 2320 2312 -2344 -2644 -2616 2520 -2656 2612 -2392 -2656 -2488 2440 -2616 2544 2280 -2428 -2560 -2336 -2464 -2628 -2444 -2448 2440 -2616 -2584 2356 2456 -2588 2416 2396 2600 -2460 -2572 -2652 2296 -2452 -2280 2540 -2404 2552 2656 2600 -2380 2636 -2648 -2544 -2320 -2612 -2656 -2424 2352 2320 -2628 2600 2312 -2352 -2360 2612 2380 2320 -2584 -2456 -2620 -2568 2448 2656 2424 -2556 -2536 -2356 -2508 2332 -2536 -2400 -2420 -2488 -2568 2428 2592 -2644 -2576 -2656 -2404 2316 -2432 2592 -2396 2300 -2472 2644 -2560 -2440 2592 2392 -2616 2288 2348 2356 2428 -2492 -2516 -2428 -2500 -2592 -2504 2596 2584 2320 2604 -2452 -2468 2428 2444 2516 -2564 2496 2560 2636 -2608 -2640 -2656 2604 2484 2280 2616 -2648 -2560 2388 2572 -2472 -2616 -2616 -2440 2320 2500 -2404 2368 -2656 2292 -2616 2456 -2368 2372 -2616 -2616 -2636 2292 2544 -2372 2428 -2560 -2612 2488 -2616 -2412 2300 -2484 -2592 2568 2608 2600 2524 2528 -2412 -2468 -2412 -2540 2576 -2656 -2612 -2380 -2472 2604 -2500 2404 -2504 -2588 -2568 -2304 2556 2428 2336 2372 -2604 2284 2320 2568 2320 2512 -2432 2656 2540 -2656 -2524 -2472 2588 -2420 2424 2592 2652 -2360 2544 2632 2560 2504 2540 -2476 2388 -2352 2464 2312 -2320 2416 -2468 -2580 -2308 -2536 -2304 -2496 2432 -2368 2496 2524 2424 -2444 -2484 2440 2352 2560 2540 2504 2648 -2536 -2628 2600 -2608 2524 2340 -2388 -2616 -2528 2280 2388 2512 -2616 -2600 2440 2544 2536 2440 -2488 -2532 2552 -2612 -2320 2608 -2496 2316 2528 -2632 2652 2392 2304 -2580 -2628 2600 -2300 2596 -2576 -2312 -2324 -2508 2468 2384 -2576 -2440 2372 -2604 -2480 -2524 2536 2580 -2596 -2516 2652 2472 -2380 2584 2572 -2556 -2652 -2360 -2576 2388 -2528 2540 -2584 2292 -2524 2280 2320 2656 2596 2432 2504 -2340 -2308 -2596 -2596 -2496 2280 -2456 -2292 -2392 -2588 -2436 2484 -2512 2484 -2332 -2384 -2496 -2296 -2588 2560 -2456 -2292 2436 2452 2388 2312 2452 2384 2524 -2364 -2328 2464 -2452 -2504 2488 -2328 2656 2476 2648 -2392 -2436 -2572 -2628 2296 -2412 2392 -2516 -2604 2580 -2320 2324 2428 -2552 2356 -2472 -2368 2512 2520 -2468 2424 2452 -2288 2288 -2596 -2300 -2556 -2568 -2644 -2348 -2376 2644 -2540 2368 -2552 -2364 2344 -2616 2344 -2340 -2316 2400 -2484 -2520 -2420 2436 2424 -2280 2392 -2320 -2284 2520 2612 2432 -2388 2396 2396 -2484 2588 -2292 -2328 -2596 -2444 2396 -2416 -2532 -2320 -2380 -2568 -2552 -2464 2432 2336 -2280 2524 -2640 -2340 -2536 2652 -2656 -2336 2472 2296 2524 -2524 -2656 -2548 2480 -2296 2344 -2636 2372 2484 2616 -2528 2596 -2324 2284 2452 -2436 -2624 2532 -2616 -2332 2352 -2376 2280 2388 -2408 2612 2424 -2596 -2368 -2652 -2656 -2320 -2452 -2404 -2636 
176.43	d NODES 11291
176.43	d CHECKS 213389091
176.43	   
176.43	   totalWckTime=176.213  totalCpuTime=174.81

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/node55/watcher-201581-1168072397 -o ROOT/results/node55/solver-201581-1168072397 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201581-1168072397/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.88 0.98 0.99 4/65 10797
/proc/meminfo: memFree=1315112/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=172 CPUtime=0
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155637974 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6849316 0 0 4096 0 0 0 0 17 1 0 0
/proc/10796/statm: 43 24 18 14 0 3 0

[startup+0.103334 s]
/proc/loadavg: 0.88 0.98 0.99 4/65 10797
/proc/meminfo: memFree=1315112/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=914988 CPUtime=0.08
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 3018 0 1 0 7 1 0 0 17 0 8 0 155637974 936947712 2764 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943716 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10796/statm: 228747 2764 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511374 s]
/proc/loadavg: 0.88 0.98 0.99 4/65 10797
/proc/meminfo: memFree=1315112/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915328 CPUtime=0.48
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 7532 0 1 0 46 2 0 0 17 0 8 0 155637974 937295872 7271 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10796/statm: 228832 7271 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33245 s]
/proc/loadavg: 0.88 0.98 0.99 2/72 10804
/proc/meminfo: memFree=1246896/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915648 CPUtime=1.31
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 21467 0 1 0 121 10 0 0 17 0 8 0 155637974 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10796/statm: 228912 21204 2160 14 0 215382 0
[pid=10796/tid=10798] ppid=10794 vsize=915648 CPUtime=0.07
/proc/10796/task/10798/stat : 10798 (java) S 10794 10796 10060 0 -1 64 4924 0 0 0 6 1 0 0 16 0 8 0 155637977 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10799] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10799/stat : 10799 (java) S 10794 10796 10060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10800] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10800/stat : 10800 (java) S 10794 10796 10060 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10801] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10801/stat : 10801 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155637981 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10802] ppid=10794 vsize=915648 CPUtime=0.15
/proc/10796/task/10802/stat : 10802 (java) S 10794 10796 10060 0 -1 64 410 0 0 0 15 0 0 0 16 0 8 0 155637981 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10803] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10803/stat : 10803 (java) S 10794 10796 10060 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155637981 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10804] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10804/stat : 10804 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155637981 937623552 21204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915648

[startup+2.97061 s]
/proc/loadavg: 0.88 0.98 0.99 3/72 10804
/proc/meminfo: memFree=1238448/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915648 CPUtime=2.93
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 21555 0 1 0 282 11 0 0 18 0 8 0 155637974 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835815 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10796/statm: 228912 21290 2181 14 0 215382 0
[pid=10796/tid=10798] ppid=10794 vsize=915648 CPUtime=0.1
/proc/10796/task/10798/stat : 10798 (java) S 10794 10796 10060 0 -1 64 4924 0 0 0 9 1 0 0 17 0 8 0 155637977 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10799] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10799/stat : 10799 (java) S 10794 10796 10060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10800] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10800/stat : 10800 (java) S 10794 10796 10060 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10801] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10801/stat : 10801 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155637981 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10802] ppid=10794 vsize=915648 CPUtime=0.19
/proc/10796/task/10802/stat : 10802 (java) S 10794 10796 10060 0 -1 64 434 0 0 0 18 1 0 0 16 0 8 0 155637981 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10803] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10803/stat : 10803 (java) S 10794 10796 10060 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155637981 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10804] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10804/stat : 10804 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155637981 937623552 21290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648

[startup+6.17193 s]
/proc/loadavg: 0.89 0.98 0.99 2/72 10804
/proc/meminfo: memFree=1225072/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915648 CPUtime=6.13
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 25649 0 1 0 600 13 0 0 18 0 8 0 155637974 937623552 25380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153901736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10796/statm: 228912 25380 2182 14 0 215382 0
[pid=10796/tid=10798] ppid=10794 vsize=915648 CPUtime=0.29
/proc/10796/task/10798/stat : 10798 (java) S 10794 10796 10060 0 -1 64 9001 0 0 0 27 2 0 0 16 0 8 0 155637977 937623552 25380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10799] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10799/stat : 10799 (java) S 10794 10796 10060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 25380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10800] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10800/stat : 10800 (java) S 10794 10796 10060 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 25380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10801] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10801/stat : 10801 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155637981 937623552 25380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10802] ppid=10794 vsize=915648 CPUtime=0.21
/proc/10796/task/10802/stat : 10802 (java) S 10794 10796 10060 0 -1 64 447 0 0 0 20 1 0 0 16 0 8 0 155637981 937623552 25380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10803] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10803/stat : 10803 (java) S 10794 10796 10060 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155637981 937623552 25380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10804] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10804/stat : 10804 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155637981 937623552 25380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915648

[startup+12.6305 s]
/proc/loadavg: 0.90 0.98 0.99 2/72 10804
/proc/meminfo: memFree=1200440/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915648 CPUtime=12.57
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 31404 0 1 0 1242 15 0 0 20 0 8 0 155637974 937623552 31129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10796/statm: 228912 31129 2533 14 0 215382 0
[pid=10796/tid=10798] ppid=10794 vsize=915648 CPUtime=0.67
/proc/10796/task/10798/stat : 10798 (java) S 10794 10796 10060 0 -1 64 14279 0 0 0 63 4 0 0 16 0 8 0 155637977 937623552 31129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10799] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10799/stat : 10799 (java) S 10794 10796 10060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 31129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10800] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10800/stat : 10800 (java) S 10794 10796 10060 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155637978 937623552 31129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10801] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10801/stat : 10801 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155637981 937623552 31129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10802] ppid=10794 vsize=915648 CPUtime=0.3
/proc/10796/task/10802/stat : 10802 (java) S 10794 10796 10060 0 -1 64 506 0 0 0 29 1 0 0 15 0 8 0 155637981 937623552 31129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10803] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10803/stat : 10803 (java) S 10794 10796 10060 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155637981 937623552 31129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10804] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10804/stat : 10804 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155637981 937623552 31129 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915648

[startup+25.4788 s]
/proc/loadavg: 0.92 0.98 0.99 2/72 10804
/proc/meminfo: memFree=1200504/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915648 CPUtime=25.42
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 31421 0 1 0 2526 16 0 0 17 0 8 0 155637974 937623552 31141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832743 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10796/statm: 228912 31141 2534 14 0 215382 0
[pid=10796/tid=10798] ppid=10794 vsize=915648 CPUtime=0.67
/proc/10796/task/10798/stat : 10798 (java) S 10794 10796 10060 0 -1 64 14279 0 0 0 63 4 0 0 16 0 8 0 155637977 937623552 31141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10799] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10799/stat : 10799 (java) S 10794 10796 10060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 31141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10800] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10800/stat : 10800 (java) S 10794 10796 10060 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155637978 937623552 31141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10796/tid=10801] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10801/stat : 10801 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155637981 937623552 31141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10802] ppid=10794 vsize=915648 CPUtime=0.32
/proc/10796/task/10802/stat : 10802 (java) S 10794 10796 10060 0 -1 64 515 0 0 0 31 1 0 0 16 0 8 0 155637981 937623552 31141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10803] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10803/stat : 10803 (java) S 10794 10796 10060 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155637981 937623552 31141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10804] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10804/stat : 10804 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155637981 937623552 31141 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915648

[startup+51.1605 s]
/proc/loadavg: 0.95 0.98 0.99 2/72 10804
/proc/meminfo: memFree=1170040/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915648 CPUtime=51.06
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 39089 0 1 0 5087 19 0 0 17 0 8 0 155637974 937623552 38796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074138571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10796/statm: 228912 38796 2539 14 0 215382 0
[pid=10796/tid=10798] ppid=10794 vsize=915648 CPUtime=0.76
/proc/10796/task/10798/stat : 10798 (java) S 10794 10796 10060 0 -1 64 21914 0 0 0 69 7 0 0 16 0 8 0 155637977 937623552 38796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10799] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10799/stat : 10799 (java) S 10794 10796 10060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 38796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10800] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10800/stat : 10800 (java) S 10794 10796 10060 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 38796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10801] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10801/stat : 10801 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155637981 937623552 38796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10802] ppid=10794 vsize=915648 CPUtime=0.34
/proc/10796/task/10802/stat : 10802 (java) S 10794 10796 10060 0 -1 64 532 0 0 0 33 1 0 0 15 0 8 0 155637981 937623552 38796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10803] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10803/stat : 10803 (java) S 10794 10796 10060 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155637981 937623552 38796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10804] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10804/stat : 10804 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155637981 937623552 38796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915648

[startup+102.444 s]
/proc/loadavg: 0.98 0.98 0.99 2/72 10804
/proc/meminfo: memFree=1156472/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915648 CPUtime=102.3
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 42477 0 1 0 10209 21 0 0 25 0 8 0 155637974 937623552 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074008201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10796/statm: 228912 42177 2539 14 0 215382 0
[pid=10796/tid=10798] ppid=10794 vsize=915648 CPUtime=0.8
/proc/10796/task/10798/stat : 10798 (java) S 10794 10796 10060 0 -1 64 25288 0 0 0 71 9 0 0 16 0 8 0 155637977 937623552 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10799] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10799/stat : 10799 (java) S 10794 10796 10060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10800] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10800/stat : 10800 (java) S 10794 10796 10060 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10801] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10801/stat : 10801 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155637981 937623552 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10802] ppid=10794 vsize=915648 CPUtime=0.36
/proc/10796/task/10802/stat : 10802 (java) S 10794 10796 10060 0 -1 64 542 0 0 0 35 1 0 0 16 0 8 0 155637981 937623552 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10803] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10803/stat : 10803 (java) S 10794 10796 10060 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155637981 937623552 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10804] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10804/stat : 10804 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155637981 937623552 42177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915648

[startup+162.459 s]
/proc/loadavg: 0.99 0.98 0.99 2/72 10804
/proc/meminfo: memFree=1130872/2055920 swapFree=4192812/4192956
[pid=10796] ppid=10794 vsize=915648 CPUtime=162.28
/proc/10796/stat : 10796 (java) R 10794 10796 10060 0 -1 0 48884 0 1 0 16204 24 0 0 25 0 8 0 155637974 937623552 48582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074145138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10796/statm: 228912 48582 2539 14 0 215382 0
[pid=10796/tid=10798] ppid=10794 vsize=915648 CPUtime=0.84
/proc/10796/task/10798/stat : 10798 (java) S 10794 10796 10060 0 -1 64 31690 0 0 0 73 11 0 0 16 0 8 0 155637977 937623552 48582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10799] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10799/stat : 10799 (java) S 10794 10796 10060 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 48582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10800] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10800/stat : 10800 (java) S 10794 10796 10060 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155637978 937623552 48582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10801] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10801/stat : 10801 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155637981 937623552 48582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10802] ppid=10794 vsize=915648 CPUtime=0.37
/proc/10796/task/10802/stat : 10802 (java) S 10794 10796 10060 0 -1 64 545 0 0 0 36 1 0 0 15 0 8 0 155637981 937623552 48582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10803] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10803/stat : 10803 (java) S 10794 10796 10060 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155637981 937623552 48582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10796/tid=10804] ppid=10794 vsize=915648 CPUtime=0
/proc/10796/task/10804/stat : 10804 (java) S 10794 10796 10060 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155637981 937623552 48582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 176.517
CPU time (s): 176.285
CPU user time (s): 176.007
CPU system time (s): 0.277957
CPU usage (%): 99.8685
Max. virtual memory (cumulated for all children) (KiB): 915648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.007
system time used= 0.277957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48895
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= 4991
involuntary context switches= 2018

runsolver used 0.206968 s user time and 0.431934 s system time

The end

Launcher Data (download as text)

Begin job on node55 on Sat Jan  6 08:33:17 UTC 2007


IDJOB= 201581
IDBENCH= 3772
FILE ID= node55/201581-1168072397

PBS_JOBID= 3475894

Free space on /tmp= 66541 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0afc8cfff921a2b2bb2e875a86dffcb1

RANDOM SEED= 293986812

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.218
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	: 5931.00
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.218
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:       1315720 kB
Buffers:         54816 kB
Cached:         587104 kB
SwapCached:          0 kB
Active:         102100 kB
Inactive:       555640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1315720 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5372 kB
Writeback:           0 kB
Mapped:          25948 kB
Slab:            68580 kB
Committed_AS:  2953104 kB
PageTables:       1380 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= 66541 MiB



End job on node55 on Sat Jan  6 08:36:15 UTC 2007