Trace number 201049

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 378.267 380.393

DiagnosticValue
CHECKS1436664577
NODES58218

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-6.xml
MD5SUM7d741b27b4b5681d00dbaf2b3dd555a0
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 benchmark20.2259
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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=esac.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/201049-1168144897/unknown.xml
0.42	   
0.42	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.71	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.71	       =>  wckTime=0.348  cpuTime=0.26  mem=27M376
0.71	   
0.71	   predicates being loaded...
0.72	   
0.72	   constraints being loaded...
153.44	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=17754  nbConvertConstraintsChecks=262770640
153.44	     nbExtensionStructures=9660  nbSharedExtensionStructures=8094  nbConflictsStructures=9660
153.44	     nbSharedConflictsStructures=8094  nbSharedBinaryRepresentations=2981816  maxDegree=15  maxArity=2
153.44	       =>  wckTime=153.077  cpuTime=151.18  mem=116M187
153.84	   
153.84	   solver IterativeSystematicSolver being built... 
154.15	       =>  wckTime=153.782  cpuTime=151.42  mem=121M605
196.39	   
196.39	   INFO : Stopping ESAC
196.40	   
196.40	   preprocessing
196.40	     nbConstraintChecks=176645483  nbPropagations=350043  nbRevisions=1532973  nbUselessRevisions=1165454
196.40	     nbSingletonTests=5191  nbEffectiveSingletonTests=4  nbESACBranches=40  nbRemovedValues=176088
196.40	     detectedInconsistency=no
196.40	       =>  wckTime=42.228  cpuTime=41.96  mem=121M605
198.69	   
198.69	   search
198.69	     run=0  nbConstraintChecks=7282220  nbPropagations=364545  nbRevisions=1595584  nbUselessRevisions=1213143
198.69	     nbAssignments=300  nbFailedAssignments=6  nbBacktracks=13  nbVisitedNodes=311  nbRestartNogoods=0  mapSize=0
198.69	     nbInferences=0  nbTooLargeKeys=294
198.69	       =>  wckTime=44.52  cpuTime=44.23  mem=122M587
202.50	   
202.50	   search
202.50	     run=1  nbConstraintChecks=31934019  nbPropagations=778058  nbRevisions=3397601  nbUselessRevisions=2582339
202.50	     nbAssignments=1228  nbFailedAssignments=15  nbBacktracks=29  nbVisitedNodes=635  nbRestartNogoods=4  mapSize=0
202.50	     nbInferences=0  nbTooLargeKeys=591
202.50	       =>  wckTime=48.337  cpuTime=48.01  mem=122M587
204.42	   
204.42	   search
204.42	     run=2  nbConstraintChecks=42120280  nbPropagations=1211657  nbRevisions=5293210  nbUselessRevisions=4022750
204.42	     nbAssignments=1550  nbFailedAssignments=34  nbBacktracks=51  nbVisitedNodes=996  nbRestartNogoods=6  mapSize=0
204.42	     nbInferences=0  nbTooLargeKeys=894
204.42	       =>  wckTime=50.256  cpuTime=49.92  mem=122M587
206.10	   
206.10	   search
206.10	     run=3  nbConstraintChecks=50289288  nbPropagations=1660937  nbRevisions=7261073  nbUselessRevisions=5516370
206.10	     nbAssignments=1869  nbFailedAssignments=69  nbBacktracks=84  nbVisitedNodes=1368  nbRestartNogoods=11  mapSize=0
206.10	     nbInferences=0  nbTooLargeKeys=1178
206.10	       =>  wckTime=51.933  cpuTime=51.58  mem=122M587
210.76	   
210.76	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=1729, mem=123M569)
211.57	   
211.57	   search
211.57	     run=4  nbConstraintChecks=81052247  nbPropagations=2172612  nbRevisions=9584529  nbUselessRevisions=7271069
211.57	     nbAssignments=3044  nbFailedAssignments=175  nbBacktracks=136  nbVisitedNodes=2185  nbRestartNogoods=13
211.57	       =>  wckTime=57.406  cpuTime=57.02  mem=123M569
263.50	   
263.50	   search
263.50	     run=5  nbConstraintChecks=454536558  nbPropagations=3472664  nbRevisions=15648012  nbUselessRevisions=11925336
263.50	     nbAssignments=20372  nbFailedAssignments=304  nbBacktracks=211  nbVisitedNodes=2994  nbRestartNogoods=39
263.50	       =>  wckTime=109.337  cpuTime=108.66  mem=123M569
286.09	   
286.09	   search
286.09	     run=6  nbConstraintChecks=618894534  nbPropagations=5104823  nbRevisions=23320995  nbUselessRevisions=17805674
286.09	     nbAssignments=26705  nbFailedAssignments=446  nbBacktracks=324  nbVisitedNodes=3761  nbRestartNogoods=53
286.09	       =>  wckTime=131.924  cpuTime=131.14  mem=123M569
302.45	   
302.45	   search
302.45	     run=7  nbConstraintChecks=733186572  nbPropagations=6975334  nbRevisions=32094473  nbUselessRevisions=24530517
302.45	     nbAssignments=32226  nbFailedAssignments=763  nbBacktracks=495  nbVisitedNodes=5648  nbRestartNogoods=67
302.45	       =>  wckTime=148.284  cpuTime=147.42  mem=123M569
316.96	   
316.96	   search
316.96	     run=8  nbConstraintChecks=824821856  nbPropagations=9055283  nbRevisions=42055523  nbUselessRevisions=32183777
316.96	     nbAssignments=37127  nbFailedAssignments=885  nbBacktracks=751  nbVisitedNodes=6779  nbRestartNogoods=71
316.96	       =>  wckTime=162.795  cpuTime=161.84  mem=123M569
364.43	   
364.43	   search
364.43	     run=9  nbConstraintChecks=1160036677  nbPropagations=11848033  nbRevisions=55582012  nbUselessRevisions=42555459
364.43	     nbAssignments=51324  nbFailedAssignments=1206  nbBacktracks=1135  nbVisitedNodes=8426  nbRestartNogoods=101
364.43	       =>  wckTime=210.261  cpuTime=209.06  mem=123M569
380.31	   
380.31	   search
380.31	     run=10  nbConstraintChecks=1260019094  nbPropagations=14871723  nbRevisions=70252935  nbUselessRevisions=53808377
380.31	     nbAssignments=58218  nbFailedAssignments=1529  nbBacktracks=1568  nbVisitedNodes=12646  nbRestartNogoods=110
380.31	       =>  wckTime=226.141  cpuTime=224.85  mem=123M569
380.31	   
380.31	   global
380.31	     nbConstraintChecks=1436664577  nbPropagations=15221766  nbRevisions=71785908  nbUselessRevisions=54973831
380.31	     nbRestartNogoods=110  solvingWckTime=226.143  solvingCpuTime=224.85  expiredTime=no  totalExploration=no
380.31	     nbFoundSolutions=1  globalCpuTime=376.33
380.31	       =>  wckTime=379.943  cpuTime=376.29  mem=123M569
380.31	   
380.31	s SATISFIABLE
380.31	v 2504 2468 -2556 -2592 2640 2492 2288 -2576 2420 2496 2280 -2640 2280 2516 -2320 -2532 2456 2456 2588 2312 2612 -2280 2352 -2556 -2392 -2600 -2612 -2556 2472 -2640 -2280 -2316 -2640 -2580 2404 2320 2528 -2292 2320 2280 -2512 -2368 -2488 2492 -2352 2412 -2540 -2280 2280 -2576 -2316 2408 2356 2384 -2348 -2280 2320 -2324 -2608 2468 -2280 -2552 2564 2564 -2640 -2620 2284 2560 2528 2592 -2320 -2408 2296 2352 2508 2600 -2296 2304 2600 -2284 -2556 -2384 -2408 2432 2480 -2576 -2576 2464 -2424 -2312 2428 -2320 -2320 -2332 -2400 -2600 2384 -2460 -2616 2324 -2332 -2640 2356 -2536 2396 2360 -2336 2632 -2280 -2592 2488 -2536 -2356 2368 2324 2492 2312 -2280 -2624 -2352 2640 -2640 -2592 2616 -2624 -2348 2640 2344 2344 -2332 -2288 2508 2404 -2640 2460 2580 2640 2640 -2468 2348 2640 -2280 -2460 2280 2576 -2408 2320 2304 2420 -2344 2300 -2320 2320 -2308 -2352 -2640 2576 -2412 2624 -2292 -2356 -2400 2320 -2320 2280 -2580 -2416 -2552 -2620 2408 2600 -2368 -2460 -2436 2280 -2556 -2320 -2320 -2552 -2612 -2392 2452 -2328 -2284 2416 2388 2588 2284 2396 2388 -2576 -2564 -2592 -2408 -2304 2504 -2640 -2548 2468 2508 2588 -2280 2416 -2460 2628 2600 2640 2364 -2640 2368 -2600 -2408 -2300 -2340 -2284 -2296 2280 2600 2336 -2604 -2640 -2532 2540 -2428 2440 2420 2280 2588 -2424 2528 -2348 2308 -2320 2584 -2280 -2316 2564 2612 2320 -2624 -2280 2580 -2476 -2300 2460 2452 2640 -2304 -2320 -2632 2620 -2424 -2384 -2372 -2376 2640 2540 -2296 2312 -2592 2640 2412 -2572 -2600 2600 2312 -2588 -2640 -2380 -2392 2280 2364 2532 -2640 2320 2600 -2320 2424 2600 2340 2584 2280 2492 -2600 2340 -2492 2380 2428 2536 2288 2468 -2572 2280 2320 -2280 -2376 2600 2444 -2300 -2600 2356 2432 2640 2600 -2640 -2292 2288 2492 -2468 2600 -2408 -2528 2372 -2344 2628 2384 2508 -2320 2300 -2456 2320 2576 2616 -2492 -2320 -2596 2280 2560 2400 2632 2376 2564 2520 2328 2380 -2348 2280 -2356 -2640 -2448 -2476 2408 2600 2280 2360 2328 -2496 2340 2348 2632 2328 -2576 2600 -2384 -2328 -2280 2564 -2320 -2532 2600 2612 -2280 -2420 -2380 2288 -2444 2280 -2356 -2640 -2600 2332 2280 -2480 2280 -2576 -2408 -2540 -2280 -2348 -2492 2460 -2548 2320 -2292 2328 2316 -2332 -2632 2508 -2632 2460 2320 -2556 2596 -2456 2468 -2320 -2640 -2632 -2336 -2552 -2600 2592 2320 2444 2428 -2320 2600 2532 2316 -2436 -2320 -2332 2452 2408 -2380 2472 2476 -2284 2508 -2328 2372 2372 -2640 2512 2600 2628 2640 -2320 -2528 2580 -2572 2344 -2380 -2280 2476 -2392 -2460 2400 2292 -2388 -2312 -2504 2404 2600 2564 2576 2548 2444 2600 2280 2484 -2504 2532 2320 -2556 -2640 2520 -2372 2280 -2344 2480 -2640 -2280 2280 -2640 2496 2368 2280 -2612 2280 -2516 -2320 2504 -2424 -2544 -2580 2320 -2500 -2392 2604 2472 -2404 2280 2288 -2528 -2600 2516 2640 -2340 -2524 -2284 -2364 2288 -2628 -2640 2516 2412 2376 -2640 -2600 -2412 -2320 -2284 2308 -2336 -2640 2628 2320 2528 2432 -2292 2496 2404 -2336 2460 2544 2620 -2640 2388 2432 -2340 2280 2508 2356 2280 2640 -2592 2600 -2280 2532 2624 -2632 2456 2428 -2584 2396 2476 2332 2284 -2280 2404 -2616 -2456 -2416 -2628 -2640 2500 -2592 2616 2296 -2364 -2344 2324 2408 -2368 2596 -2300 -2460 -2332 -2380 -2344 -2348 2636 -2308 2328 -2640 -2488 -2556 -2564 2548 -2596 2624 2468 2324 2468 2600 -2440 -2384 2560 2596 -2280 -2488 -2324 2416 2600 -2280 2640 2552 -2472 2600 2280 -2316 -2424 -2640 -2632 -2600 -2428 2604 2580 -2372 2480 2608 2640 -2580 2600 -2340 2632 2280 -2320 -2456 -2616 -2592 2280 -2340 -2564 2340 2600 -2320 2324 2500 2640 -2540 2456 -2352 2612 -2324 2396 2452 -2412 2480 2324 -2280 2468 -2332 -2324 -2600 -2340 -2352 2600 -2624 -2428 -2436 2600 -2280 -2376 -2312 -2280 -2504 2408 2376 -2320 2388 2480 2468 -2544 2640 -2640 -2356 -2600 2280 -2324 2488 -2356 2500 -2280 2568 -2504 2348 2392 -2592 -2632 -2344 -2640 -2340 -2528 2640 2388 -2420 2604 -2420 2340 2536 -2320 -2640 -2372 2280 2432 2412 -2604 -2336 -2640 -2540 2636 2388 -2324 -2420 -2336 -2312 -2328 -2320 -2424 2316 -2640 2452 -2384 2572 2532 2296 -2336 -2284 2336 -2392 2440 -2332 -2320 2452 2640 2384 -2304 2484 -2576 -2600 -2532 2628 2348 2476 -2280 2404 2544 -2544 -2436 -2320 -2372 -2548 2560 -2500 -2380 2356 -2520 2592 -2352 -2280 -2280 2600 2600 2592 -2560 2416 2524 2464 -2280 2412 -2468 2496 2600 -2608 -2444 -2600 2380 -2320 -2552 2600 -2600 -2416 -2552 2332 -2420 2388 -2324 -2640 2320 -2640 2460 -2612 -2368 -2620 2324 -2588 -2280 -2332 -2344 -2344 -2296 2280 -2280 -2368 2412 -2280 -2280 2516 2300 2468 -2600 -2312 -2320 -2640 2472 2396 -2448 -2344 -2468 2640 -2320 -2320 2340 2636 2356 -2320 2508 2556 -2572 2280 2320 -2512 -2600 -2640 -2640 -2508 2612 -2592 2640 2636 -2304 -2336 2556 2416 -2588 -2640 2412 -2532 2348 -2320 2328 -2604 -2544 2380 2492 -2452 -2420 2600 -2636 2332 2532 2640 -2408 -2640 -2280 2320 -2596 -2472 2388 2600 2352 2280 -2280 -2448 2428 2280 -2332 -2492 -2364 2640 -2400 2348 2564 -2284 2460 -2356 -2320 -2540 2584 2292 -2420 -2552 2468 -2280 2452 2332 -2320 -2552 -2296 -2356 2432 2444 2632 2636 -2512 -2488 2528 -2528 2588 -2280 -2312 2372 -2328 2540 2636 2336 2604 -2280 2600 -2280 -2488 2612 2568 2480 -2640 2528 2436 -2392 -2324 -2348 -2352 -2496 2556 2312 2560 2588 2300 2600 -2468 2316 -2528 2280 2380 2504 2336 -2600 2352 2280 2360 -2456 2608 2472 -2600 2600 -2400 2324 2600 2624 2340 -2528 2640 -2576 2640 -2472 -2640 2536 -2300 2404 2600 -2516 2320 -2392 2404 -2320 -2532 2280 2568 2428 2568 -2344 2632 -2484 2524 -2320 -2600 2304 2580 2320 -2308 -2368 -2452 2600 2556 -2600 2308 -2316 -2344 -2292 2528 -2540 -2328 -2400 2640 2300 2556 2472 -2352 2408 2376 2372 -2448 -2532 2592 -2412 -2416 2584 2320 -2344 -2640 2340 2508 -2324 2600 2432 -2320 2572 2460 -2360 2580 -2372 -2588 -2376 2332 -2576 -2348 -2348 2524 2576 -2320 -2280 2580 2536 2332 2320 -2360 2392 2640 -2512 -2524 -2280 -2620 2344 2316 -2460 -2640 -2568 -2600 -2520 -2536 2356 2404 2472 2424 2568 2328 -2420 -2416 -2600 2472 2308 2340 -2504 2432 -2296 -2284 -2512 2340 -2640 -2308 -2296 2440 2316 2280 -2544 -2608 -2280 -2580 2484 -2608 -2436 -2504 -2628 -2340 -2600 -2316 2320 -2320 -2324 -2412 2600 -2600 2348 2320 2408 -2496 2540 -2520 2580 2408 -2280 -2600 -2368 2320 2588 -2280 -2640 2572 -2508 2576 -2508 -2432 2292 2576 -2600 -2440 -2320 2552 -2544 -2620 -2616 -2320 2584 -2348 2368 -2388 -2308 2600 2336 2372 -2332 2460 2320 2432 2488 -2516 -2640 -2352 -2460 2332 -2504 2640 2540 2640 2600 -2640 2396 -2332 2624 2600 2280 -2476 2600 -2348 -2432 -2640 2352 -2468 -2588 -2532 2592 -2592 -2512 2420 -2404 -2640 2320 -2392 2492 2364 -2280 -2420 -2532 -2536 -2536 -2428 -2492 -2640 2348 -2392 2624 2460 2364 -2408 2308 2392 2296 2544 2636 2392 2624 -2336 2472 2352 2580 2580 -2408 -2380 -2640 -2320 2520 -2336 2600 2360 2420 -2304 2516 -2280 2320 -2320 2484 -2368 -2324 -2572 2380 -2552 2424 2412 2388 -2320 2540 -2600 -2640 -2536 2340 -2284 -2600 2280 -2600 -2324 2316 -2640 2316 2556 -2640 2500 -2632 -2412 2584 -2316 2436 -2448 -2640 -2640 2600 -2280 -2420 2600 -2568 -2280 2572 2428 2408 -2604 -2284 2572 2424 -2416 -2424 2316 -2388 -2320 2492 -2352 2460 -2328 -2556 2640 -2420 -2512 2452 -2320 2600 -2328 -2288 2612 -2476 -2572 2368 -2532 -2600 2464 2640 2284 2484 -2612 2304 2640 2376 2320 2640 -2340 -2320 -2312 -2320 2352 2632 -2420 2280 -2532 -2520 2416 2600 2548 2392 -2364 2388 2384 2280 -2408 2496 -2612 -2292 2544 2640 2624 -2552 2588 2300 -2432 2552 -2528 2592 2352 2600 2596 -2312 2280 -2352 -2312 2340 2436 2320 2336 2396 2640 2580 -2588 2320 2640 2556 2572 -2544 -2640 2600 2504 -2640 -2320 2632 -2320 2600 -2640 2396 2516 -2320 -2612 -2572 -2640 -2324 -2328 2348 -2292 -2384 -2636 2400 -2420 2316 2488 2476 2596 -2340 2412 2588 2340 2352 2320 2540 2588 2600 -2404 2556 -2620 -2544 -2460 2476 2632 2492 -2396 2640 -2360 2320 2360 -2308 2584 -2632 -2320 2540 -2576 -2280 -2336 -2452 2504 -2520 2280 -2280 -2364 2348 2540 2584 2320 2392 2600 -2352 2600 2352 -2436 -2580 -2640 2408 2456 -2280 2296 2636 2544 -2536 2292 2596 2432 -2432 2392 2412 -2492 2328 2580 -2484 2328 2444 2600 2380 2452 2352 -2512 2580 2440 -2392 -2512 -2300 -2516 -2320 -2312 2360 -2548 -2640 2640 2464 -2464 -2480 2592 2516 2556 -2320 2388 2356 -2464 -2448 2416 -2312 2348 -2360 2320 2448 2464 -2568 -2336 -2296 2440 2632 2296 2332 2640 -2432 -2540 -2376 -2624 -2568 2572 -2620 2600 2628 -2412 -2384 -2592 -2640 2600 2288 2280 -2592 2420 -2544 2412 -2640 -2444 2280 -2488 -2564 -2640 -2536 2600 -2464 2516 2540 -2452 2516 2348 -2332 -2400 2280 -2436 2600 -2444 -2544 -2384 -2468 -2600 -2288 -2612 2600 2600 -2580 -2296 2592 2380 2384 2600 -2456 -2348 2432 -2628 -2640 2280 2516 -2464 -2640 2444 -2320 2632 2496 -2352 -2320 2428 2556 -2420 2320 2424 2496 2600 -2496 2600 2588 -2280 -2588 -2400 -2344 -2324 2612 -2576 2604 -2416 2640 -2440 -2280 2320 2436 -2320 2356 -2468 -2328 -2320 -2300 2456 2596 2292 2320 -2284 2600 2468 2512 2320 -2332 2412 2392 2600 2280 2280 -2352 -2328 -2504 2480 2472 2320 2512 -2556 -2496 2628 -2352 -2532 -2568 2568 -2436 2484 2520 2488 2396 2600 2324 -2600 -2616 2420 -2508 2600 -2324 2320 -2536 2508 2384 2404 -2328 2408 2640 -2488 2384 2640 -2416 2624 2596 -2280 -2544 -2388 -2360 2284 -2340 -2632 2560 -2520 -2400 2600 2344 2436 2360 2452 -2348 2440 -2572 2520 -2536 -2472 2628 -2516 2344 -2444 -2280 -2572 2368 -2288 2640 -2640 2636 2328 2556 2320 -2452 -2640 2540 -2380 -2332 2448 -2492 -2288 2280 -2312 -2584 2304 -2400 2388 2528 -2336 -2464 -2556 -2404 -2344 2628 2440 2404 2464 -2600 -2380 2612 -2424 2296 -2288 -2532 -2516 2412 2456 -2336 2580 -2444 -2500 2320 2500 -2500 2568 -2408 -2380 -2384 -2556 2280 -2328 2420 2480 2320 -2640 2312 -2468 2316 2480 2392 2500 -2640 -2484 -2592 -2584 2624 2580 2320 -2372 -2400 2492 2320 -2600 -2504 -2460 -2404 2280 2576 -2484 2420 2432 -2376 2492 -2576 -2496 -2560 2424 -2280 2520 2468 -2600 -2524 -2640 2280 2572 2280 -2280 2456 -2568 -2324 2536 2520 -2320 2600 -2332 2364 -2280 -2348 -2300 -2392 2600 -2280 -2356 -2440 -2336 2600 -2564 -2600 -2356 2344 -2448 -2368 2640 2280 2320 -2344 -2352 2496 2528 -2324 -2460 -2600 -2320 2280 2592 2432 -2280 2320 2600 -2372 -2616 2600 -2416 -2464 -2440 -2628 2316 2396 -2320 -2280 2436 -2484 -2296 -2280 -2616 -2312 -2588 2632 -2312 2292 2600 -2328 -2288 -2308 -2296 -2356 -2280 2500 -2404 -2600 -2512 -2332 -2616 -2612 2396 -2608 2512 -2608 2600 -2320 2432 -2308 2552 -2336 2468 2640 2304 2596 2572 -2584 2596 -2444 -2340 2552 -2284 -2568 2320 -2600 -2284 2288 2524 -2576 -2368 -2556 -2380 -2448 2600 -2284 2560 -2324 -2592 -2404 2280 2412 -2572 2596 -2320 -2280 -2400 -2480 2480 2600 2456 -2332 2320 2312 2584 -2520 2640 2492 -2548 2380 2576 2452 -2468 -2320 -2620 -2352 -2320 -2352 2336 -2560 -2600 -2620 2280 -2336 -2292 -2364 2280 2528 -2640 -2324 -2320 2292 -2460 -2512 2560 2296 2324 2540 -2632 2340 2544 2376 2600 -2280 2368 -2388 2376 -2320 2576 2552 2300 2552 -2312 2304 -2320 2368 -2640 2624 2412 2412 2336 2640 2600 2504 2340 2596 -2640 2308 2516 -2284 -2500 2640 2284 -2328 -2640 -2396 -2568 2572 2376 2640 -2564 -2344 2580 2396 -2588 -2432 -2588 -2500 -2280 -2328 -2280 -2324 -2540 -2280 -2284 2588 2580 2280 -2572 -2308 2280 2404 -2640 2424 2440 2640 2572 2388 -2496 2600 -2364 -2548 2528 -2444 -2364 2368 -2352 2484 2640 2600 2600 2576 2640 2596 -2628 2464 2516 -2588 2480 2324 -2284 -2292 -2640 2432 2544 -2528 2524 -2596 2604 2408 2452 -2480 2416 -2468 -2484 2572 2404 2344 -2640 -2364 -2284 2612 -2320 2384 -2640 -2320 -2568 2572 2620 -2380 -2320 -2320 -2408 -2600 2364 2556 -2600 -2460 2632 -2288 2584 -2452 2428 -2344 -2440 2448 -2372 -2568 -2344 2540 -2296 2484 2392 -2468 -2368 2332 -2408 2380 2592 -2288 -2380 2300 2516 2324 2428 2600 -2416 2344 2440 2512 -2284 2536 -2468 2528 -2568 2600 -2440 -2288 2516 2312 2600 2640 2580 2596 -2640 2496 -2348 2444 -2556 -2640 2580 2280 2436 2320 -2556 -2628 -2284 -2556 2368 -2428 2444 -2348 -2472 2568 -2600 -2600 2340 -2600 2316 -2404 -2452 -2640 2376 2616 2568 2396 -2412 2352 2640 2508 -2632 -2380 2592 -2568 2420 -2600 2364 -2388 -2280 2288 2408 2592 -2332 2392 -2356 2628 2432 2496 -2324 -2356 -2284 2640 -2640 -2472 -2512 2568 2284 -2600 -2356 -2436 -2348 -2328 -2512 2576 -2320 2456 2280 -2480 2508 -2556 2292 2640 2320 -2304 -2360 2388 2540 2320 2600 2280 -2280 2536 -2328 2452 -2320 2424 2600 -2500 -2484 2456 2448 -2376 -2600 2320 -2600 2640 2296 -2280 -2376 2600 -2432 -2300 -2372 -2488 2600 2436 2360 -2528 -2380 -2588 -2492 2540 2280 2524 -2492 2320 2568 2512 2512 -2336 -2568 2324 2600 -2384 -2280 -2600 -2296 2412 2336 -2356 -2356 2304 -2380 2328 -2596 -2320 -2640 2320 -2448 2504 2392 -2320 -2392 2472 2572 -2628 -2324 2384 -2416 2480 -2320 -2356 2320 2520 2640 -2428 -2532 -2420 -2640 -2576 -2552 -2440 2516 -2288 -2280 -2336 -2320 -2352 2600 2280 2568 2640 2540 2548 -2336 2600 -2616 -2632 -2324 -2600 2640 -2592 2600 2536 -2384 -2324 2640 2340 -2320 -2324 2324 2480 2600 -2388 2416 2320 2320 2468 -2432 -2600 -2364 2300 2532 2352 -2476 -2512 2588 -2316 -2364 -2484 -2516 -2320 -2536 2280 2440 -2600 -2292 -2324 2324 -2408 -2600 2428 2604 2460 2280 -2320 -2640 2444 2476 -2280 -2280 -2440 -2308 -2628 2280 2488 2464 -2480 2500 2620 2516 -2636 2416 -2376 -2428 2496 -2584 -2600 2572 -2580 -2280 -2340 2540 2500 -2392 2600 2284 -2384 2600 2612 -2420 -2320 -2380 2600 -2548 2500 2284 -2416 2584 2600 2588 2320 2336 2600 -2460 2536 2408 -2576 2280 2516 -2540 2300 -2324 2640 -2280 -2416 2360 -2280 -2360 -2516 2640 -2516 2640 -2452 -2536 -2284 -2472 -2388 -2588 -2500 -2348 -2344 -2580 -2584 2640 2376 -2640 -2640 2572 2376 -2500 -2500 -2320 -2364 2596 -2640 -2544 2320 2464 2584 -2600 -2640 2600 -2388 -2368 2380 2632 2384 2508 2420 2572 -2528 -2624 -2412 2320 2320 -2448 -2352 2600 2320 2400 -2292 2368 -2368 2600 -2392 -2416 -2640 2584 -2376 -2352 2640 -2368 -2352 2312 2280 -2352 2304 -2628 2324 -2428 -2332 2600 2640 2552 -2456 -2572 -2284 2540 2524 -2376 -2324 -2376 2448 2572 -2640 2456 -2312 2464 -2488 -2320 -2432 -2640 2496 2556 2584 -2640 -2320 -2640 -2320 -2280 2456 2376 2280 -2364 2280 2584 -2324 -2320 2592 -2288 -2320 2508 -2420 -2364 -2600 -2512 -2320 2480 -2380 2596 2348 -2292 2324 -2592 2556 -2328 2392 -2396 -2320 2340 2588 2396 2320 -2504 2540 2372 -2344 2280 2536 2596 2500 -2548 -2580 -2440 2340 -2320 2352 2468 -2640 2320 -2352 2428 -2408 2600 2280 -2280 2300 2336 2600 2396 2324 2396 2592 -2600 -2300 -2380 2620 -2392 2600 -2428 -2368 -2636 -2320 2356 2372 -2292 -2556 -2372 2628 -2640 2632 -2320 -2284 2640 2616 -2320 -2368 -2404 2468 2600 2316 -2280 2528 -2452 2280 -2580 2576 2564 2280 2328 -2616 2584 2344 -2280 -2344 2632 2460 -2320 -2352 2516 2528 -2312 -2592 2596 -2280 2388 2600 2528 2528 -2340 2528 -2280 2348 2388 2324 2324 -2312 -2324 -2352 -2356 -2488 2320 2468 -2432 2444 -2280 2452 -2408 2336 -2576 -2332 -2280 2320 2512 2324 2400 -2288 -2428 2476 -2512 2316 -2532 -2440 -2500 -2632 2340 2616 -2624 2280 2392 -2320 2428 -2392 2516 2504 2600 2468 2440 2592 2380 -2284 -2600 2416 2560 2540 2320 2364 -2304 -2468 -2632 -2496 -2556 2280 2444 2584 -2404 2532 -2468 -2596 2596 -2544 2368 2344 -2280 -2548 2592 -2376 -2504 -2456 -2640 -2584 -2320 2504 -2320 2508 2592 2536 2292 2280 2420 2428 2568 2320 -2572 2608 2328 -2412 2284 -2536 -2312 2288 -2476 -2516 2600 2288 -2556 -2436 2384 2556 -2280 2564 2520 -2320 2340 2520 -2480 -2328 -2352 2564 2384 2544 -2288 -2320 2304 2584 2320 2516 -2360 2492 -2328 -2284 -2320 2584 2400 -2368 2336 -2512 2496 -2320 2564 -2524 -2420 -2372 -2432 -2304 -2600 2344 2344 2492 -2640 -2460 2340 -2528 2428 2560 -2284 -2636 2516 -2396 2420 -2640 -2600 2280 2600 -2432 -2600 -2320 -2400 -2284 2600 -2320 -2484 2396 2340 2452 -2508 -2320 -2320 2452 2300 -2284 -2640 -2340 2452 2640 -2432 2460 -2640 2508 -2632 2448 -2452 2600 -2336 2308 -2508 2640 2280 -2524 -2324 -2388 -2320 -2640 2324 2348 2508 2488 2504 -2392 -2600 2612 -2480 2600 -2600 2520 -2600 -2584 -2516 2508 -2584 -2416 2444 2356 -2428 2420 2500 2472 2500 2320 2492 -2600 -2524 -2324 2636 2388 -2592 -2416 2640 -2600 -2568 2464 2640 2584 2280 2584 2432 -2416 -2380 -2600 2600 -2420 2332 2320 -2388 -2384 2348 -2600 -2400 -2524 -2420 -2356 -2332 -2552 -2620 2600 -2280 2640 2380 2572 -2480 -2528 -2628 2472 -2288 -2572 -2380 2456 2576 2600 -2420 2600 2500 -2280 -2292 2632 -2568 -2404 2640 2284 -2500 -2600 -2280 2532 2624 2400 2596 -2368 2640 -2280 2312 -2572 -2280 2444 -2456 -2336 2372 2548 2320 -2320 2484 2460 2568 -2612 -2320 -2296 2332 2332 2428 2384 2500 -2280 -2284 2472 2640 -2392 -2640 2428 -2600 -2376 2600 2384 -2536 2640 -2284 -2356 -2512 2480 2420 2372 2364 -2368 -2320 -2372 -2328 2300 2324 2328 -2340 -2352 -2600 -2340 -2364 -2280 2616 2296 -2352 2320 2592 2640 2532 2492 2296 -2320 -2528 -2528 2320 -2524 2524 2280 2344 2312 -2640 -2640 2564 -2280 2600 -2640 -2280 2460 -2640 -2496 -2492 -2320 2300 -2452 2596 -2552 -2348 
380.31	d NODES 58218
380.31	d CHECKS 1436664577
380.31	   
380.31	   totalWckTime=380.02  totalCpuTime=376.33

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/node33/watcher-201049-1168144897 -o ROOT/results/node33/solver-201049-1168144897 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201049-1168144897/unknown.xml 

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

/proc/loadavg: 1.88 1.35 1.55 3/68 31013
/proc/meminfo: memFree=1673544/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=172 CPUtime=0
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 162883688 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 0 0 0
/proc/31012/statm: 43 24 18 14 0 3 0

[startup+0.106531 s]
/proc/loadavg: 1.88 1.35 1.55 3/68 31013
/proc/meminfo: memFree=1673544/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=906128 CPUtime=0.02
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 2005 0 1 0 2 0 0 0 18 0 1 0 162883688 927875072 1754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473365 0 4 0 7368 0 0 0 17 0 0 0
/proc/31012/statm: 226532 1754 1002 14 0 214115 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906128

[startup+0.514613 s]
/proc/loadavg: 1.88 1.35 1.55 3/68 31013
/proc/meminfo: memFree=1673544/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916352 CPUtime=0.42
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 6422 0 1 0 39 3 0 0 17 0 8 0 162883688 938344448 6161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229088 6161 2138 14 0 215558 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 916352

[startup+1.33879 s]
/proc/loadavg: 1.89 1.36 1.55 4/88 31079
/proc/meminfo: memFree=1584232/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916672 CPUtime=1.23
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 22848 0 1 0 111 12 0 0 22 0 8 0 162883688 938672128 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784895 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229168 22585 2160 14 0 215638 0
[pid=31012/tid=31014] ppid=31010 vsize=916672 CPUtime=0.09
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 6305 0 0 0 7 2 0 0 16 0 8 0 162883699 938672128 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938672128 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916672 CPUtime=0.14
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 411 0 0 0 14 0 0 0 15 0 8 0 162883703 938672128 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938672128 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938672128 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 916672

[startup+2.98409 s]
/proc/loadavg: 1.89 1.36 1.55 4/88 31079
/proc/meminfo: memFree=1550888/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916672 CPUtime=2.87
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 24042 0 1 0 274 13 0 0 25 0 8 0 162883688 938672128 23776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229168 23776 2180 14 0 215638 0
[pid=31012/tid=31014] ppid=31010 vsize=916672 CPUtime=0.16
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 7409 0 0 0 14 2 0 0 17 0 8 0 162883699 938672128 23776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 23776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 23776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938672128 23776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916672 CPUtime=0.18
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 437 0 0 0 18 0 0 0 15 0 8 0 162883703 938672128 23776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938672128 23776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938672128 23776 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 916672

[startup+6.2738 s]
/proc/loadavg: 1.89 1.36 1.55 3/88 31079
/proc/meminfo: memFree=1521968/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916672 CPUtime=6.14
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 24047 0 1 0 600 14 0 0 25 0 8 0 162883688 938672128 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229168 23780 2181 14 0 215638 0
[pid=31012/tid=31014] ppid=31010 vsize=916672 CPUtime=0.16
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 7409 0 0 0 14 2 0 0 17 0 8 0 162883699 938672128 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938672128 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916672 CPUtime=0.2
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 440 0 0 0 19 1 0 0 16 0 8 0 162883703 938672128 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938672128 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938672128 23780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 916672

[startup+12.7531 s]
/proc/loadavg: 1.90 1.38 1.56 3/88 31079
/proc/meminfo: memFree=1473272/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916672 CPUtime=12.6
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 25572 0 1 0 1243 17 0 0 25 0 8 0 162883688 938672128 25302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229168 25302 2181 14 0 215638 0
[pid=31012/tid=31014] ppid=31010 vsize=916672 CPUtime=0.25
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 8924 0 0 0 22 3 0 0 16 0 8 0 162883699 938672128 25302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 25302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 25302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938672128 25302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916672 CPUtime=0.21
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 447 0 0 0 20 1 0 0 16 0 8 0 162883703 938672128 25302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938672128 25302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938672128 25302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 916672

[startup+25.5958 s]
/proc/loadavg: 1.92 1.40 1.56 3/88 31079
/proc/meminfo: memFree=1415672/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916672 CPUtime=25.38
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 25578 0 1 0 2517 21 0 0 25 0 8 0 162883688 938672128 25307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839184 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229168 25307 2181 14 0 215638 0
[pid=31012/tid=31014] ppid=31010 vsize=916672 CPUtime=0.25
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 8924 0 0 0 22 3 0 0 16 0 8 0 162883699 938672128 25307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 25307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 25307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938672128 25307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916672 CPUtime=0.22
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 452 0 0 0 21 1 0 0 16 0 8 0 162883703 938672128 25307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938672128 25307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938672128 25307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 916672

[startup+51.1991 s]
/proc/loadavg: 2.03 1.46 1.58 4/88 31079
/proc/meminfo: memFree=1321272/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916672 CPUtime=50.83
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 29507 0 1 0 5050 33 0 0 25 0 8 0 162883688 938672128 29233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229168 29233 2181 14 0 215638 0
[pid=31012/tid=31014] ppid=31010 vsize=916672 CPUtime=0.46
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 12847 0 0 0 41 5 0 0 16 0 8 0 162883699 938672128 29233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 29233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 29233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938672128 29233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916672 CPUtime=0.22
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 455 0 0 0 21 1 0 0 16 0 8 0 162883703 938672128 29233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938672128 29233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938672128 29233 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 916672

[startup+102.41 s]
/proc/loadavg: 2.07 1.57 1.60 3/88 31079
/proc/meminfo: memFree=1195384/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916672 CPUtime=101.78
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 33637 0 1 0 10119 59 0 0 25 0 8 0 162883688 938672128 33360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838413 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229168 33360 2182 14 0 215638 0
[pid=31012/tid=31014] ppid=31010 vsize=916672 CPUtime=0.67
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 16974 0 0 0 60 7 0 0 16 0 8 0 162883699 938672128 33360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 33360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938672128 33360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938672128 33360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916672 CPUtime=0.22
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 455 0 0 0 21 1 0 0 16 0 8 0 162883703 938672128 33360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938672128 33360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916672 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938672128 33360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 916672

[startup+162.465 s]
/proc/loadavg: 2.07 1.66 1.63 3/88 31079
/proc/meminfo: memFree=1069624/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916940 CPUtime=161.53
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 40972 0 1 0 16061 92 0 0 25 0 8 0 162883688 938946560 40651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074244136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229235 40651 2545 14 0 215705 0
[pid=31012/tid=31014] ppid=31010 vsize=916940 CPUtime=1.27
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 23737 0 0 0 118 9 0 0 16 0 8 0 162883699 938946560 40651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938946560 40651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938946560 40651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938946560 40651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916940 CPUtime=0.35
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 563 0 0 0 33 2 0 0 15 0 8 0 162883703 938946560 40651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938946560 40651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938946560 40651 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 916940

[startup+222.548 s]
/proc/loadavg: 2.14 1.75 1.66 3/88 31079
/proc/meminfo: memFree=1027832/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916940 CPUtime=221.28
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 41011 0 1 0 22034 94 0 0 25 0 8 0 162883688 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074198682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229235 40675 2545 14 0 215705 0
[pid=31012/tid=31014] ppid=31010 vsize=916940 CPUtime=1.27
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 23737 0 0 0 118 9 0 0 16 0 8 0 162883699 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916940 CPUtime=0.4
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 589 0 0 0 38 2 0 0 16 0 8 0 162883703 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.28
Current children cumulated vsize (KiB) 916940

[startup+282.633 s]
/proc/loadavg: 2.22 1.84 1.70 3/88 31079
/proc/meminfo: memFree=988856/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916940 CPUtime=281.05
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 41011 0 1 0 28011 94 0 0 25 0 8 0 162883688 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074195907 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229235 40675 2545 14 0 215705 0
[pid=31012/tid=31014] ppid=31010 vsize=916940 CPUtime=1.27
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 23737 0 0 0 118 9 0 0 16 0 8 0 162883699 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916940 CPUtime=0.4
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 589 0 0 0 38 2 0 0 16 0 8 0 162883703 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938946560 40675 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.05
Current children cumulated vsize (KiB) 916940

[startup+342.718 s]
/proc/loadavg: 2.08 1.86 1.71 3/88 31079
/proc/meminfo: memFree=983288/2055920 swapFree=4192224/4192956
[pid=31012] ppid=31010 vsize=916940 CPUtime=340.83
/proc/31012/stat : 31012 (java) R 31010 31012 30822 0 -1 0 41018 0 1 0 33989 94 0 0 25 0 8 0 162883688 938946560 40678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074198713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31012/statm: 229235 40678 2545 14 0 215705 0
[pid=31012/tid=31014] ppid=31010 vsize=916940 CPUtime=1.27
/proc/31012/task/31014/stat : 31014 (java) S 31010 31012 30822 0 -1 64 23737 0 0 0 118 9 0 0 16 0 8 0 162883699 938946560 40678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31015] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31015/stat : 31015 (java) S 31010 31012 30822 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162883700 938946560 40678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31016] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31016/stat : 31016 (java) S 31010 31012 30822 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162883700 938946560 40678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31017] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31017/stat : 31017 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162883703 938946560 40678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31018] ppid=31010 vsize=916940 CPUtime=0.4
/proc/31012/task/31018/stat : 31018 (java) S 31010 31012 30822 0 -1 64 592 0 0 0 38 2 0 0 15 0 8 0 162883703 938946560 40678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31012/tid=31019] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31019/stat : 31019 (java) S 31010 31012 30822 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162883703 938946560 40678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31012/tid=31020] ppid=31010 vsize=916940 CPUtime=0
/proc/31012/task/31020/stat : 31020 (java) S 31010 31012 30822 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162883703 938946560 40678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.83
Current children cumulated vsize (KiB) 916940

Child status: 0
Real time (s): 380.393
CPU time (s): 378.267
CPU user time (s): 377.295
CPU system time (s): 0.971852
CPU usage (%): 99.4408
Max. virtual memory (cumulated for all children) (KiB): 916940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 377.295
system time used= 0.971852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41034
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= 9626
involuntary context switches= 13682

runsolver used 0.432934 s user time and 1.16082 s system time

The end

Launcher Data (download as text)

Begin job on node33 on Sun Jan  7 04:41:38 UTC 2007


IDJOB= 201049
IDBENCH= 3741
FILE ID= node33/201049-1168144897

PBS_JOBID= 3478134

Free space on /tmp= 66553 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  7d741b27b4b5681d00dbaf2b3dd555a0

RANDOM SEED= 562848866

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.281
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.281
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:       1674152 kB
Buffers:         21592 kB
Cached:         274304 kB
SwapCached:        448 kB
Active:          50496 kB
Inactive:       265520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1674152 kB
SwapTotal:     4192956 kB
SwapFree:      4192224 kB
Dirty:            6244 kB
Writeback:           0 kB
Mapped:          29580 kB
Slab:            51456 kB
Committed_AS:  2870288 kB
PageTables:       1616 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= 66549 MiB



End job on node33 on Sun Jan  7 04:47:59 UTC 2007