Trace number 201011

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 414.697 416.631

DiagnosticValue
CHECKS537425294
NODES16361

General information on the benchmark

Namefapp/fapp11-15/fapp15/
fapp15-3000-7.xml
MD5SUM31576fb792fd69c68469620fab63b28d
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 benchmark51.0232
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/201011-1168072251/unknown.xml
0.37	   
0.37	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.67	     nbVariables=3000  nbDomainTypes=23  minDomainSize=42  maxDomainSize=182
0.67	       =>  wckTime=0.361  cpuTime=0.27  mem=27M376
0.67	   
0.67	   predicates being loaded...
0.68	   
0.68	   constraints being loaded...
4.64	   
4.64	   INFO : Stopping converting binary constraints (cpu=4.01, mem = 52M698)
8.18	     nbConstraints=17754  nbMergedConstraints=15267  nbConvertedConstraints=162  nbConvertConstraintsChecks=4218652
8.18	     nbExtensionStructures=145  nbSharedExtensionStructures=17  nbConflictsStructures=145
8.18	     nbSharedConflictsStructures=17  nbSharedBinaryRepresentations=30764  nbEvaluationManagers=9440
8.18	     nbSharedEvaluationManagers=8152  maxDegree=15  maxArity=2
8.18	       =>  wckTime=7.865  cpuTime=7.05  mem=68M164
8.43	   
8.43	   solver IterativeSystematicSolver being built... 
9.02	       =>  wckTime=8.712  cpuTime=7.46  mem=96M913
34.94	   
34.94	   preprocessing
34.94	     nbConstraintChecks=49393177  nbValidityChecks=1895472  nbPropagations=3760  nbRevisions=49266
34.94	     nbUselessRevisions=44921  nbRemovedValues=143603  detectedInconsistency=no
34.94	       =>  wckTime=25.893  cpuTime=25.75  mem=96M913
47.08	   
47.11	   search
47.11	     run=0  nbConstraintChecks=19521108  nbValidityChecks=13081346  nbPropagations=15936  nbRevisions=180451
47.11	     nbUselessRevisions=163697  nbAssignments=227  nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=244
47.11	     nbRestartNogoods=0  mapSize=0  nbInferences=0  nbTooLargeKeys=218
47.11	       =>  wckTime=38.039  cpuTime=37.83  mem=98M930
51.47	   
51.47	   search
51.47	     run=1  nbConstraintChecks=25923358  nbValidityChecks=25748926  nbPropagations=43551  nbRevisions=487248
51.47	     nbUselessRevisions=441510  nbAssignments=449  nbFailedAssignments=27  nbBacktracks=26  nbVisitedNodes=493
51.47	     nbRestartNogoods=4  mapSize=0  nbInferences=0  nbTooLargeKeys=422
51.47	       =>  wckTime=42.43  cpuTime=42.18  mem=98M930
64.93	   
64.93	   search
64.93	     run=2  nbConstraintChecks=45319983  nbValidityChecks=46617834  nbPropagations=100695  nbRevisions=1098909
64.93	     nbUselessRevisions=988655  nbAssignments=1018  nbFailedAssignments=38  nbBacktracks=51  nbVisitedNodes=1080
64.93	     nbRestartNogoods=8  mapSize=0  nbInferences=0  nbTooLargeKeys=980
64.93	       =>  wckTime=55.891  cpuTime=55.56  mem=98M930
73.17	   
73.17	   search
73.17	     run=3  nbConstraintChecks=55613967  nbValidityChecks=67618154  nbPropagations=187431  nbRevisions=2014632
73.17	     nbUselessRevisions=1805266  nbAssignments=1692  nbFailedAssignments=47  nbBacktracks=85  nbVisitedNodes=1771
73.17	     nbRestartNogoods=12  mapSize=0  nbInferences=0  nbTooLargeKeys=1645
73.17	       =>  wckTime=64.129  cpuTime=63.74  mem=98M930
80.58	   
80.58	   INFO : Stopping hyperNogood (mapSize=0, nbTooLargekeys=2296, mem=98M930)
81.23	   
81.23	   search
81.23	     run=4  nbConstraintChecks=65566162  nbValidityChecks=88371611  nbPropagations=303329  nbRevisions=3228493
81.23	     nbUselessRevisions=2886035  nbAssignments=2383  nbFailedAssignments=53  nbBacktracks=143  nbVisitedNodes=2478
81.23	     nbRestartNogoods=18
81.23	       =>  wckTime=72.189  cpuTime=71.77  mem=98M930
95.72	   
95.72	   search
95.72	     run=5  nbConstraintChecks=87323308  nbValidityChecks=111664206  nbPropagations=453095  nbRevisions=4785266
95.72	     nbUselessRevisions=4268500  nbAssignments=3142  nbFailedAssignments=78  nbBacktracks=220  nbVisitedNodes=3283
95.72	     nbRestartNogoods=20
95.72	       =>  wckTime=86.68  cpuTime=86.2  mem=98M930
104.71	   
104.71	   search
104.71	     run=6  nbConstraintChecks=99709530  nbValidityChecks=134848887  nbPropagations=634689  nbRevisions=6671466
104.71	     nbUselessRevisions=5940852  nbAssignments=3864  nbFailedAssignments=118  nbBacktracks=333  nbVisitedNodes=4077
104.71	     nbRestartNogoods=28
104.71	       =>  wckTime=95.663  cpuTime=95.12  mem=98M930
118.99	   
118.99	   search
118.99	     run=7  nbConstraintChecks=117234285  nbValidityChecks=170839513  nbPropagations=887934  nbRevisions=9289721
118.99	     nbUselessRevisions=8241211  nbAssignments=4670  nbFailedAssignments=178  nbBacktracks=504  nbVisitedNodes=4996
118.99	     nbRestartNogoods=39
118.99	       =>  wckTime=109.951  cpuTime=109.35  mem=98M930
138.08	   
138.08	   search
138.08	     run=8  nbConstraintChecks=143725241  nbValidityChecks=200372690  nbPropagations=1194191  nbRevisions=12474987
138.08	     nbUselessRevisions=11011700  nbAssignments=5629  nbFailedAssignments=435  nbBacktracks=762  nbVisitedNodes=6287
138.08	     nbRestartNogoods=42
138.08	       =>  wckTime=129.038  cpuTime=128.36  mem=98M930
191.04	   
191.04	   search
191.04	     run=9  nbConstraintChecks=208481926  nbValidityChecks=298136067  nbPropagations=1700660  nbRevisions=17830448
191.04	     nbUselessRevisions=15548927  nbAssignments=7056  nbFailedAssignments=867  nbBacktracks=1148  nbVisitedNodes=8242
191.04	     nbRestartNogoods=51
191.04	       =>  wckTime=182.002  cpuTime=181.06  mem=98M930
264.16	   
264.16	   search
264.16	     run=10  nbConstraintChecks=292784130  nbValidityChecks=428532593  nbPropagations=2444185  nbRevisions=26096476
264.16	     nbUselessRevisions=22325570  nbAssignments=9039  nbFailedAssignments=1967  nbBacktracks=1728  nbVisitedNodes=11521
264.16	     nbRestartNogoods=70
264.16	       =>  wckTime=255.12  cpuTime=253.85  mem=98M930
387.03	   
387.03	   search
387.03	     run=11  nbConstraintChecks=453493448  nbValidityChecks=652863886  nbPropagations=3496450  nbRevisions=38146357
387.03	     nbUselessRevisions=31924865  nbAssignments=11442  nbFailedAssignments=3329  nbBacktracks=2594  nbVisitedNodes=15622
387.03	     nbRestartNogoods=88
387.03	       =>  wckTime=377.992  cpuTime=376.16  mem=98M930
416.59	   
416.59	   search
416.59	     run=12  nbConstraintChecks=488032117  nbValidityChecks=698746589  nbPropagations=4688633  nbRevisions=51446051
416.59	     nbUselessRevisions=42505581  nbAssignments=16361  nbFailedAssignments=4590  nbBacktracks=3252  nbVisitedNodes=22000
416.59	     nbRestartNogoods=107
416.59	       =>  wckTime=407.544  cpuTime=405.56  mem=99M939
416.59	   
416.59	   global
416.59	     nbConstraintChecks=537425294  nbValidityChecks=700642061  nbPropagations=4692393  nbRevisions=51495317
416.59	     nbUselessRevisions=42550502  nbRestartNogoods=107  solvingWckTime=407.545  solvingCpuTime=405.56  expiredTime=no
416.59	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=413.1
416.59	       =>  wckTime=416.275  cpuTime=413.04  mem=99M939
416.59	   
416.59	s SATISFIABLE
416.59	v 2500 -2512 -2472 -2640 2576 2544 2436 2500 -2320 -2524 2564 -2640 2368 2432 -2284 -2464 -2488 -2448 2320 2316 2592 -2284 -2340 -2572 2360 2508 -2588 2600 -2468 2624 -2280 -2416 2488 -2376 2428 2356 2520 -2504 -2416 2320 -2468 -2464 2536 -2540 -2352 2308 -2612 -2452 -2544 -2596 -2320 -2280 2376 -2344 -2300 2280 -2384 -2356 -2624 -2384 -2308 2508 2540 -2604 2516 2528 -2300 2616 -2556 2424 -2320 -2444 2304 2384 2528 -2640 2336 2368 -2596 -2340 2580 -2344 2300 2388 2552 -2572 2632 -2640 -2356 -2332 2296 -2320 -2356 -2356 2356 -2592 -2388 -2384 2532 -2292 -2304 -2596 -2404 -2480 -2384 -2340 -2296 2640 -2484 2444 -2516 -2504 2408 -2292 -2428 -2480 -2340 -2336 -2592 2372 -2536 -2320 -2568 2320 -2548 -2280 -2640 -2340 -2372 2320 -2288 2600 -2432 -2600 -2552 -2620 -2612 2616 2384 2288 -2636 2360 -2568 -2320 -2640 -2284 -2408 2324 2444 -2292 2320 -2520 -2372 -2336 -2336 -2616 2436 -2388 2640 -2280 2404 -2436 -2388 -2500 2368 2500 -2408 -2556 -2640 2500 2640 -2288 2424 2556 -2324 2540 -2400 -2520 2596 -2572 2596 -2496 2340 -2340 -2488 -2456 -2600 2280 -2336 -2288 -2592 2588 -2588 -2600 -2280 -2560 -2608 2524 -2412 -2524 -2576 -2288 -2420 2600 -2640 -2552 2508 -2332 -2556 -2280 -2580 -2336 2376 -2352 -2524 2320 2320 2580 2304 2628 -2636 -2524 -2528 2376 2320 -2280 2460 2532 2600 2576 -2344 -2356 -2324 -2640 -2388 -2352 -2624 2640 2380 2580 -2320 -2536 -2496 2344 2444 2428 2516 2428 -2304 -2640 -2600 2468 -2412 2600 -2320 2640 2508 2360 -2380 -2624 2544 -2640 2588 2580 -2536 -2296 2456 -2524 2408 2424 2428 2408 -2572 -2572 2304 -2636 -2392 2380 -2564 -2372 2616 2308 2540 -2600 -2300 2380 -2344 -2396 -2364 -2344 2464 -2600 -2280 2284 2320 2360 -2600 -2468 2280 2600 -2380 2424 2600 2596 2600 -2320 -2296 2468 2464 2584 -2424 2592 -2640 -2356 2460 2328 -2524 2328 2320 2488 -2324 -2512 -2600 2468 -2320 2496 -2508 -2600 2432 -2584 -2444 2576 2540 -2332 -2448 2312 2284 2344 2600 -2412 2468 2416 2600 -2300 -2384 -2416 2476 2320 2368 -2600 -2320 -2576 2516 -2380 2332 2356 -2600 -2396 2508 2600 -2448 -2308 -2344 -2280 2328 2468 2288 -2312 -2440 -2556 2376 -2424 2544 2320 -2520 2328 -2540 2284 -2368 -2488 2464 -2504 2328 -2336 2348 -2376 2380 2604 2504 -2604 -2464 -2492 2492 -2608 -2400 2620 -2528 2640 -2360 -2280 -2580 -2584 2444 -2320 -2508 2496 2372 2628 2508 2500 -2516 2280 -2352 -2448 2504 -2284 2460 2640 -2428 -2464 -2336 2376 -2320 -2480 -2588 -2640 -2620 2556 2412 -2572 -2572 2532 -2376 -2412 -2320 2476 -2352 -2404 2476 -2380 -2308 -2348 2564 -2396 -2360 -2600 2580 -2616 -2484 2576 -2308 -2468 -2524 -2492 -2320 -2588 -2640 -2592 -2328 2380 -2444 -2444 -2628 -2560 -2280 -2600 2440 2392 -2460 -2640 2280 -2492 -2280 -2500 -2356 2484 2600 -2384 -2600 -2348 -2504 2512 -2496 2280 -2284 -2616 2376 -2280 2596 -2376 2524 -2396 -2300 -2320 -2588 -2620 -2612 -2600 -2320 -2600 2516 -2308 2356 2280 -2312 -2344 -2600 -2580 -2328 -2580 -2416 -2316 -2612 2356 -2320 -2436 2524 -2488 -2628 -2424 -2448 -2324 2280 -2464 -2356 -2464 -2392 2564 2576 -2324 2492 -2628 2600 -2532 2412 2556 -2524 -2640 2368 -2468 -2452 -2532 -2528 -2328 2436 -2592 2520 2520 -2320 -2640 2284 -2424 2348 2284 2436 2320 2624 -2412 2496 -2308 -2436 2304 -2384 -2564 2408 2288 -2512 2484 -2588 -2540 -2564 2572 2588 2536 -2412 2492 -2524 2444 -2280 -2516 -2552 -2356 2328 -2388 2404 -2600 2324 2536 2492 -2484 2480 -2444 -2292 -2420 -2636 -2512 -2568 -2496 -2584 2572 -2392 2596 2580 -2552 2460 -2556 2412 2488 2392 2404 -2388 -2640 -2528 2368 2456 -2564 -2416 -2600 -2600 2320 -2452 2536 2440 2484 -2320 -2576 -2320 -2340 2448 -2488 2480 -2280 -2304 -2536 -2420 2324 -2576 -2280 -2440 -2624 -2624 -2328 -2292 -2528 -2280 -2312 -2356 2456 -2464 -2504 -2320 2324 -2384 2324 -2584 2588 2540 -2624 -2344 -2480 -2284 -2280 2512 -2348 -2484 2280 -2620 2560 -2392 -2320 -2600 2600 2380 2436 2320 -2480 2640 2352 -2456 -2596 -2424 -2408 -2560 -2348 2280 -2424 2600 -2484 2616 -2604 -2328 2392 2532 2572 -2336 -2368 2368 -2332 2528 -2312 2296 -2448 -2352 -2600 -2540 -2520 2504 -2576 -2368 2324 -2280 2280 -2616 2472 2376 -2312 2380 -2572 2384 -2360 2640 -2280 -2628 -2476 -2628 -2356 2352 2352 -2384 2600 -2588 2428 2396 -2400 -2564 2476 -2564 -2376 2356 -2480 2624 -2284 2324 2348 2476 2520 -2564 2568 -2408 2468 -2496 -2420 -2424 -2464 -2496 -2576 2516 2468 2596 2416 -2324 -2596 2512 -2600 2500 2556 -2320 2304 -2344 2344 2320 -2524 -2640 2500 2572 2384 -2544 -2340 2564 -2308 -2384 -2364 2600 -2312 2444 -2320 -2320 -2396 2280 -2332 2616 -2372 -2504 2640 -2404 -2396 2576 -2444 -2480 2404 -2396 2640 -2568 2320 -2320 -2280 -2624 -2352 2404 -2524 -2564 2592 -2280 -2344 -2524 2544 2536 -2568 -2424 -2612 2504 2640 -2532 2332 -2492 2472 2292 -2580 -2620 2308 2500 -2488 -2372 2356 2620 2464 2440 2532 2320 -2528 2552 2584 -2412 2572 -2600 -2388 2516 2604 -2280 2584 2488 -2448 -2600 -2424 -2384 -2288 2296 -2500 -2316 -2340 -2424 -2456 2580 2280 -2356 2588 -2372 2408 -2348 -2476 -2500 -2532 -2292 -2400 -2616 2484 -2344 -2480 -2428 -2324 2528 2368 -2392 2280 -2456 -2604 -2600 -2540 2492 2504 -2616 2600 -2304 -2336 -2408 2292 -2528 2524 -2336 2548 2412 2580 2364 -2632 -2612 2488 2508 2616 -2524 2320 2396 -2512 -2284 -2392 2584 2544 2320 2540 -2600 2340 -2580 -2524 -2324 -2536 -2280 2304 -2640 2376 -2596 -2336 2360 -2456 -2464 -2640 -2516 -2576 -2608 -2356 2384 2580 -2640 -2300 -2472 -2640 -2600 2536 2500 -2472 -2544 -2320 2420 -2640 2632 -2332 2392 -2428 2280 -2576 -2396 2540 -2452 2556 -2344 -2600 2448 -2640 2340 2320 2344 -2516 2320 -2336 2464 2420 -2600 -2592 -2600 2336 -2332 -2372 2300 -2612 -2580 -2280 -2296 2640 2320 -2532 2384 2304 -2624 -2348 2396 -2376 2548 -2600 -2432 2428 2520 -2328 2376 2588 -2380 2576 -2372 -2640 2576 -2360 -2612 -2360 -2400 -2600 2400 -2520 -2332 -2356 2556 -2372 2324 -2564 -2572 -2600 2284 2620 -2544 -2328 2340 -2332 -2400 2640 -2356 2580 2332 -2588 -2384 2388 2564 -2560 -2476 -2432 -2468 -2304 -2364 2428 2364 -2384 -2540 -2328 -2396 -2484 2468 -2492 -2396 2328 -2600 -2476 2416 2372 -2320 -2320 -2516 -2308 -2296 2448 -2280 2292 2448 2568 -2288 2548 2280 -2592 -2300 -2600 -2540 -2280 2532 2316 -2412 2320 2372 2416 -2636 -2532 2372 -2320 -2476 -2464 -2640 -2280 2528 2384 -2280 -2632 -2428 2372 -2520 2356 -2600 2596 2580 -2612 -2600 -2400 -2424 -2596 2576 -2448 -2404 -2616 2576 2612 -2616 2436 2432 -2296 -2416 2416 -2340 2600 -2420 -2452 -2344 -2512 -2424 2444 2612 2548 -2560 2280 2572 -2332 -2496 -2468 -2392 2408 2584 -2632 -2588 2604 2488 -2600 -2280 2476 2504 -2340 -2404 -2392 -2300 -2640 2632 -2592 2552 2628 2508 -2640 -2416 2556 -2284 -2312 -2600 2356 -2416 2512 2544 2556 -2572 2404 -2536 -2612 -2368 2408 2632 -2460 2372 2420 -2416 2376 2320 -2432 2580 -2428 -2600 -2352 2640 2368 -2616 -2568 -2432 -2312 2592 2640 -2636 2448 2636 2368 -2484 -2356 2476 -2340 -2284 -2332 -2468 2448 -2320 2572 2340 2544 -2412 -2384 -2360 -2416 -2640 -2532 2544 -2476 -2324 -2344 -2536 -2368 -2280 -2388 -2444 -2532 2368 2448 2552 2584 2404 -2368 -2600 -2376 -2484 -2368 -2640 -2640 -2596 2280 -2344 2556 2528 2392 2488 -2600 -2300 2616 2332 2500 -2536 -2488 -2560 -2372 -2452 -2376 2580 -2320 -2408 -2448 -2508 2472 2408 2532 2436 -2320 -2640 2340 -2288 2540 -2556 -2600 -2456 -2584 -2604 2492 -2616 2344 2464 -2572 2340 2592 2288 -2424 2444 -2452 -2328 2424 -2320 2488 -2636 -2524 2344 -2520 2496 2372 -2624 -2600 -2376 2372 2332 -2328 2300 -2628 -2524 -2640 -2316 -2600 -2592 -2600 2280 -2568 -2536 2312 -2404 2524 2548 2296 2592 2588 -2336 2280 -2376 -2300 -2384 2312 2340 2320 -2320 2620 -2488 2620 -2340 -2576 -2592 2632 -2532 -2600 -2432 2392 -2576 -2320 2596 2296 -2600 -2624 2304 2564 -2344 2540 -2500 -2492 -2368 2488 -2348 -2336 -2428 -2596 -2424 2368 -2324 -2432 -2476 2540 2360 2424 -2600 -2428 -2360 2328 2544 -2500 -2600 -2448 2636 -2316 2508 2384 -2600 -2640 -2536 -2284 2584 -2380 -2324 -2436 2328 -2588 -2600 2376 2548 2520 2280 -2280 -2424 -2488 2340 2360 -2336 -2408 2376 2524 -2600 -2320 -2408 2576 -2600 -2640 2636 -2428 -2572 -2436 -2284 2476 2560 -2292 2548 -2636 2560 -2304 -2592 -2456 2404 2444 -2280 2548 -2280 2480 2540 -2424 2528 -2484 -2392 -2448 2372 -2324 2464 2336 -2520 2640 2312 -2512 -2320 -2352 -2396 2528 -2640 -2624 -2640 -2420 -2360 -2640 -2516 2628 -2320 2364 -2280 2464 2288 -2456 2324 2320 -2396 2292 2484 2604 2440 -2396 -2296 2468 -2412 2280 2360 -2564 -2480 -2624 -2320 -2560 -2608 -2468 2420 -2600 2476 2420 -2320 -2600 2292 -2592 2408 -2284 -2372 -2432 -2520 2368 2640 2320 -2280 2328 2528 -2540 2484 -2600 -2472 2516 2476 -2436 2632 2312 -2328 -2308 2280 2628 2456 -2320 2472 2344 -2420 -2600 -2396 -2612 2640 -2600 -2572 2280 -2576 2280 2420 -2640 2388 -2316 2484 2560 -2624 -2388 -2580 2504 -2600 -2400 -2320 2592 2344 -2352 -2444 -2524 2516 -2380 -2324 2460 -2456 2596 -2448 -2600 -2500 -2292 -2580 -2300 2400 2292 2588 -2588 2576 -2320 2564 -2316 2384 -2320 -2456 -2320 -2320 -2436 -2296 2280 -2340 -2512 2556 -2344 -2468 -2356 -2544 2640 -2528 2280 -2320 2400 -2448 2516 -2512 2320 -2396 -2340 -2504 2380 2428 2324 2556 -2604 -2288 2628 -2380 -2640 -2524 -2564 2396 -2600 2520 2620 2280 -2600 2280 -2572 -2632 -2444 -2624 2500 -2324 -2300 -2580 2292 2420 -2292 -2280 -2372 -2640 2572 2380 2440 2380 2600 -2640 2284 -2532 -2380 -2332 -2472 -2396 2588 2428 -2640 -2468 -2600 2288 2436 2316 -2544 -2368 2428 2548 2584 2592 2460 -2356 -2472 -2280 2572 -2416 -2612 2320 2300 -2436 2596 2600 2356 -2512 2348 -2360 2564 -2640 -2320 -2464 -2544 -2520 -2320 -2280 -2312 2448 -2392 2416 -2412 2600 -2320 -2484 -2544 2292 2396 -2572 -2408 2296 -2540 -2600 -2416 -2632 -2460 -2320 -2284 2636 -2620 -2440 -2448 -2412 2460 2336 -2524 -2324 -2600 -2488 -2544 -2320 2320 -2400 2556 2364 -2344 2452 2488 2428 2548 2320 -2508 -2280 2476 -2424 -2536 -2600 -2600 2600 -2640 -2484 -2588 -2348 -2424 -2492 -2280 2280 -2600 2512 -2600 2412 2356 -2488 -2524 -2432 -2416 2372 2504 2592 2600 2600 -2508 2392 -2640 -2444 -2496 -2640 2640 -2488 -2548 -2320 2336 2636 -2576 -2300 2456 2596 -2280 2584 2448 2336 2284 -2376 2368 -2448 2628 -2320 2280 -2400 -2320 2332 2544 -2572 -2460 -2280 2584 2344 2584 -2348 -2424 2416 -2388 -2564 2516 -2356 -2492 -2472 2344 2376 -2540 2464 -2324 -2332 -2432 -2360 2552 -2532 -2392 -2520 -2364 -2540 -2384 -2468 -2360 -2364 -2520 -2368 2452 -2364 2612 -2332 -2516 -2588 -2296 -2280 -2520 2328 -2280 2380 2320 2416 -2320 -2432 2376 2592 2444 -2464 2636 2508 2500 -2608 -2568 2568 -2556 2340 -2408 -2328 2472 -2372 2332 2520 -2484 -2600 -2632 -2600 2548 -2456 -2352 2600 -2352 2568 -2308 2576 -2352 -2352 -2428 -2620 -2332 -2628 2344 -2460 2640 2316 2620 -2372 -2640 -2532 -2292 2280 -2532 -2584 -2400 -2296 -2436 -2636 2436 2544 -2600 -2320 2280 -2376 -2564 -2528 -2600 2472 -2568 -2360 -2536 -2408 -2424 -2400 -2576 -2280 2356 -2368 -2308 2548 -2636 -2600 2280 2280 2372 -2452 2304 -2580 2556 2356 -2320 -2288 2280 2420 -2336 -2356 -2392 2540 -2600 -2412 2516 -2364 -2632 -2332 2428 -2336 -2460 -2404 -2584 -2604 2320 -2604 2640 -2320 -2284 2340 2604 -2596 -2404 2384 -2356 -2640 -2600 2504 2360 -2600 -2640 -2304 -2516 -2332 2532 2464 -2340 -2328 -2572 -2436 -2608 2504 -2420 2636 2532 2320 -2544 -2392 -2580 2464 -2396 -2508 -2456 -2364 -2332 -2368 2528 -2280 -2360 -2628 -2640 -2320 -2572 -2352 2280 -2572 -2640 -2424 2472 -2540 -2636 2460 -2504 2572 -2348 -2484 2540 -2444 -2284 2404 -2288 -2508 2484 2636 -2344 2632 -2560 -2440 2552 -2592 2452 -2588 -2448 -2304 -2332 2312 2584 -2468 -2540 -2564 2500 -2584 2640 2420 2428 -2432 2508 -2436 -2564 -2572 2344 2360 2556 2396 -2320 -2600 -2280 -2640 2584 2320 -2624 2600 -2612 -2600 -2332 2336 -2336 2520 2392 2552 -2600 2280 2640 -2324 -2528 2320 -2372 2356 -2472 -2472 -2320 2580 -2432 -2640 2280 -2428 -2416 -2484 -2456 2384 -2456 -2356 2524 2300 2500 -2292 2548 -2600 -2548 -2600 -2328 2364 2384 -2516 -2292 -2572 -2516 -2552 2544 2536 2316 2304 2456 2332 2588 2640 -2544 2612 -2632 -2444 -2316 -2424 -2584 2556 2468 -2464 2384 2280 -2572 -2640 2412 -2320 2380 -2324 2460 -2320 -2524 -2620 2492 -2524 2320 2524 -2320 2404 2364 2596 2476 -2620 2640 -2332 -2408 -2436 -2600 -2504 2632 2640 2564 -2584 -2640 2476 -2304 -2356 2300 -2288 -2488 -2640 2332 2340 2296 2640 -2500 -2324 -2284 -2332 2280 -2588 2588 2484 -2512 2640 -2280 2480 2344 -2280 2420 2344 2576 2592 -2432 2484 2280 2456 -2584 2592 2340 -2640 -2340 -2332 -2600 2328 -2576 -2284 -2576 2372 2340 2628 -2380 2464 -2320 -2304 2600 -2376 -2568 -2456 2516 -2336 -2600 2320 2616 -2444 2344 2324 2332 -2640 -2484 -2320 -2340 -2624 2532 -2640 -2640 -2580 -2364 2520 2520 -2400 -2344 -2600 -2452 -2320 2600 2468 -2516 -2328 2632 2348 2564 2376 2288 -2588 2328 -2632 -2336 2332 2372 2336 2340 -2396 2616 2340 2576 -2304 2412 -2548 -2464 -2384 -2444 -2428 -2640 2640 -2308 2468 -2504 -2280 2320 -2460 -2280 -2436 -2616 -2456 -2480 -2416 2528 -2600 2412 2532 2596 -2308 2376 -2336 -2328 -2392 -2604 -2324 -2560 -2320 2504 -2496 2328 -2528 2540 2464 2352 -2528 2636 2640 2504 -2640 -2488 -2412 -2492 -2300 -2420 -2284 -2292 -2620 -2584 -2412 -2448 2468 2328 -2484 2404 -2448 -2572 -2336 2532 -2376 -2512 2372 -2588 -2308 2332 2440 -2440 -2504 -2516 2320 2396 -2580 -2280 2380 -2316 2468 2596 -2452 -2572 2564 -2424 -2564 -2640 -2488 2516 2320 -2476 -2320 -2284 -2560 2320 2524 -2452 2580 2460 2576 -2524 2544 -2436 -2412 -2456 -2552 -2596 2640 -2612 2600 -2280 -2324 -2416 2360 -2328 -2572 -2316 -2396 -2640 2596 2400 -2360 -2372 -2600 2640 2320 -2396 -2352 -2524 2616 -2588 2280 -2360 -2604 2484 -2496 -2280 -2640 2284 2612 -2416 -2284 -2400 2416 -2640 2348 2396 -2292 -2348 2548 2492 -2640 2624 2592 -2516 -2348 -2512 -2360 -2592 2580 2296 -2320 -2640 -2640 2640 2416 2556 -2600 2600 -2352 2500 -2440 -2348 -2324 -2624 -2464 2584 2280 -2456 -2584 2640 -2640 -2432 2320 -2324 -2392 -2484 2408 -2640 2384 2560 2448 2640 -2308 2320 -2300 2612 2352 -2556 2320 -2372 2288 -2404 2420 -2596 2400 2280 2432 2444 -2448 2336 2532 -2340 -2408 -2280 -2352 2356 -2356 -2620 2340 -2372 -2332 2540 -2596 -2568 2416 -2468 -2332 2548 2480 2408 2420 -2368 2588 2532 2576 -2456 -2320 -2640 2432 2640 -2472 2628 2640 2400 -2624 -2640 -2460 -2640 -2292 2280 -2448 2360 2388 -2408 -2320 -2640 -2332 -2328 -2548 -2320 -2320 2484 2504 -2392 -2504 -2468 -2328 -2476 2384 -2640 -2352 2348 2336 -2552 -2576 -2324 2364 -2388 2344 -2540 -2600 2396 -2280 2480 2504 -2348 -2304 -2344 -2632 2564 -2504 -2280 -2356 -2580 2332 -2432 -2312 -2492 2488 -2388 -2360 2384 -2364 -2636 -2452 -2344 -2280 2320 2640 -2420 -2320 -2416 -2552 2640 2388 -2296 2580 2352 2640 -2556 -2396 -2640 -2348 -2300 2384 2280 2608 -2348 -2640 2432 -2608 -2496 -2640 -2640 -2596 -2408 2324 -2360 -2384 -2476 -2340 -2288 -2516 -2600 2384 2504 2520 -2536 -2280 2308 -2592 -2592 -2316 -2372 2528 -2628 2420 2360 2444 -2508 -2504 -2328 2592 2588 -2300 -2432 -2516 -2568 -2532 2280 2580 -2412 -2384 -2324 -2320 -2484 -2432 -2300 -2336 -2284 -2496 -2292 -2616 -2600 2532 -2372 2428 2372 2280 -2556 -2320 2316 -2280 -2532 2332 -2424 -2380 -2472 -2628 -2564 -2444 2500 -2332 -2540 2584 2640 -2632 -2600 -2316 -2280 -2284 2424 -2520 -2504 -2532 -2580 -2544 2516 -2564 -2344 -2348 -2600 2328 -2528 2516 -2472 -2332 -2336 2496 2592 -2492 -2576 -2288 2424 -2588 -2416 2580 2364 2552 2488 -2560 -2460 2316 -2280 2624 -2640 2360 -2492 -2468 -2640 -2552 -2328 -2548 2412 -2424 -2640 -2524 2280 2420 2384 2424 2556 2320 -2516 -2600 -2284 -2300 2304 -2640 -2312 -2292 -2508 2600 -2536 -2304 2536 -2588 -2424 -2480 -2408 2556 2516 -2348 2496 -2568 -2512 2280 -2292 2508 -2356 2492 -2448 -2412 2304 2548 -2412 -2588 -2304 -2536 2324 2324 -2496 -2572 -2600 2372 2288 2448 2492 2324 -2580 2488 -2336 2344 -2352 -2324 2472 -2368 -2408 -2484 -2620 -2480 2304 -2568 2380 -2600 -2324 -2640 -2516 -2396 -2424 2596 -2584 -2288 2640 2552 2560 -2432 -2408 2296 -2620 -2456 -2520 -2344 -2384 2348 -2600 2316 -2344 -2576 -2340 -2320 2620 2320 -2348 2484 2560 -2480 -2640 2484 -2600 2476 -2640 2404 2280 -2396 2524 -2532 -2280 -2500 -2356 2328 2348 2504 -2304 -2348 -2444 -2572 2552 2368 -2640 -2572 -2484 -2580 -2532 -2484 -2600 -2628 -2600 -2496 -2600 -2400 -2408 -2324 -2504 -2600 -2448 -2456 -2472 -2368 2640 2596 -2488 -2308 2568 -2496 2636 -2416 2640 -2600 -2556 -2396 -2640 2556 2436 -2620 -2488 2416 -2440 2360 2584 -2396 2280 2320 2304 -2396 -2424 -2588 2344 2560 -2320 -2320 2356 2628 -2504 2520 2280 2640 2424 -2548 2440 2584 2628 -2396 -2348 -2616 -2412 -2460 -2600 2640 2320 2576 -2424 2296 -2564 -2588 -2528 -2332 2636 2284 2476 2600 -2320 -2508 2408 2356 2568 -2336 2580 -2320 -2336 -2572 -2440 2468 2452 2296 -2408 -2480 2320 -2324 -2460 2524 -2576 -2600 2336 -2288 -2320 2280 2476 -2356 -2488 -2300 -2388 -2524 -2304 -2344 2600 2456 -2508 2376 -2568 -2396 -2544 -2600 -2460 -2416 2636 -2320 2424 2388 2468 2640 -2372 -2372 2332 -2280 -2392 -2384 2280 -2340 2564 -2456 2320 -2348 -2600 2380 -2300 2392 -2596 -2600 2464 2620 2316 -2356 2584 -2516 2308 2492 -2580 2640 -2388 -2340 -2640 2604 -2532 2348 -2588 -2600 2432 -2464 2564 -2596 2396 -2304 2288 2432 2604 2484 -2344 
416.59	d NODES 16361
416.59	d CHECKS 537425294
416.59	   
416.59	   totalWckTime=416.358  totalCpuTime=413.11

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/node48/watcher-201011-1168072251 -o ROOT/results/node48/solver-201011-1168072251 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201011-1168072251/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.91 0.98 0.99 4/73 30364
/proc/meminfo: memFree=1658472/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=0 CPUtime=0
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155624309 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30363/statm: 0 0 0 0 0 0 0

[startup+0.10311 s]
/proc/loadavg: 0.91 0.98 0.99 4/73 30364
/proc/meminfo: memFree=1658472/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=914988 CPUtime=0.08
/proc/30363/stat : 30363 (java) S 30358 30363 30226 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 155624309 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30363/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51115 s]
/proc/loadavg: 0.91 0.98 0.99 4/73 30364
/proc/meminfo: memFree=1658472/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915328 CPUtime=0.49
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 7095 0 1 0 45 4 0 0 20 0 8 0 155624309 937295872 6834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613935 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30363/statm: 228832 6835 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33223 s]
/proc/loadavg: 0.91 0.98 0.99 3/87 30378
/proc/meminfo: memFree=1510904/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915648 CPUtime=1.31
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 22848 0 1 0 117 14 0 0 25 0 8 0 155624309 937623552 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30363/statm: 228912 22585 2160 14 0 215382 0
[pid=30363/tid=30366] ppid=30358 vsize=915648 CPUtime=0.1
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 6304 0 0 0 8 2 0 0 16 0 8 0 155624313 937623552 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155624313 937623552 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155624313 937623552 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937623552 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915648 CPUtime=0.16
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 409 0 0 0 15 1 0 0 16 0 8 0 155624316 937623552 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937623552 22585 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937623552 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.31
Current children cumulated vsize (KiB) 915648

[startup+2.96937 s]
/proc/loadavg: 0.91 0.98 0.99 4/87 30378
/proc/meminfo: memFree=1485176/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915652 CPUtime=2.94
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 24031 0 1 0 277 17 0 0 25 0 8 0 155624309 937627648 23765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30363/statm: 228912 23765 2180 14 0 215382 0
[pid=30363/tid=30366] ppid=30358 vsize=915648 CPUtime=0.16
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 7408 0 0 0 14 2 0 0 17 0 8 0 155624313 937623552 23765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155624313 937623552 23765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155624313 937623552 23765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937623552 23765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915648 CPUtime=0.18
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 424 0 0 0 17 1 0 0 15 0 8 0 155624316 937623552 23765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937623552 23765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937623552 23765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915652

[startup+6.26468 s]
/proc/loadavg: 1.00 1.00 1.00 3/87 30378
/proc/meminfo: memFree=1467064/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915648 CPUtime=6.22
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 27035 0 1 0 603 19 0 0 25 0 8 0 155624309 937623552 26766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155888661 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30363/statm: 228912 26766 2182 14 0 215382 0
[pid=30363/tid=30366] ppid=30358 vsize=915648 CPUtime=0.36
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 10383 0 0 0 32 4 0 0 16 0 8 0 155624313 937623552 26766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 155624313 937623552 26766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155624313 937623552 26766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937623552 26766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915648 CPUtime=0.22
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 449 0 0 0 21 1 0 0 15 0 8 0 155624316 937623552 26766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937623552 26766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915648 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937623552 26766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915648

[startup+12.7343 s]
/proc/loadavg: 1.08 1.02 1.00 2/75 30386
/proc/meminfo: memFree=1521304/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=12.65
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37217 0 1 0 1241 24 0 0 25 0 8 0 155624309 937897984 36906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30363/statm: 228979 36906 2533 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20016 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.35
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 559 0 0 0 33 2 0 0 16 0 8 0 155624316 937897984 36906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36906 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915916

[startup+25.5984 s]
/proc/loadavg: 1.21 1.05 1.01 3/87 30434
/proc/meminfo: memFree=1378744/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=25.46
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37220 0 1 0 2519 27 0 0 25 0 8 0 155624309 937897984 36907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834315 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30363/statm: 228979 36907 2533 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20016 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.35
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 562 0 0 0 33 2 0 0 17 0 8 0 155624316 937897984 36907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915916

[startup+51.2108 s]
/proc/loadavg: 1.48 1.12 1.04 3/87 30434
/proc/meminfo: memFree=1379000/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=50.96
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37247 0 1 0 5068 28 0 0 25 0 8 0 155624309 937897984 36928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074259338 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30363/statm: 228979 36928 2537 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20017 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.38
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 577 0 0 0 35 3 0 0 15 0 8 0 155624316 937897984 36928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 915916

[startup+102.434 s]
/proc/loadavg: 1.77 1.26 1.09 3/87 30434
/proc/meminfo: memFree=1378872/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=101.93
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37265 0 1 0 10165 28 0 0 25 0 8 0 155624309 937897984 36940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210362 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30363/statm: 228979 36940 2537 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20017 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.41
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 590 0 0 0 38 3 0 0 16 0 8 0 155624316 937897984 36940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915916

[startup+162.505 s]
/proc/loadavg: 1.91 1.39 1.14 3/87 30434
/proc/meminfo: memFree=1378872/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=161.74
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37267 0 1 0 16146 28 0 0 25 0 8 0 155624309 937897984 36941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074190806 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30363/statm: 228979 36941 2537 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20017 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.42
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 591 0 0 0 39 3 0 0 15 0 8 0 155624316 937897984 36941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.74
Current children cumulated vsize (KiB) 915916

[startup+222.575 s]
/proc/loadavg: 1.97 1.50 1.19 3/87 30434
/proc/meminfo: memFree=1378808/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=221.54
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37275 0 1 0 22126 28 0 0 25 0 8 0 155624309 937897984 36943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30363/statm: 228979 36943 2537 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20017 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.42
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 598 0 0 0 39 3 0 0 16 0 8 0 155624316 937897984 36943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.54
Current children cumulated vsize (KiB) 915916

[startup+282.641 s]
/proc/loadavg: 2.06 1.60 1.24 3/87 30434
/proc/meminfo: memFree=1378808/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=281.32
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37277 0 1 0 28103 29 0 0 25 0 8 0 155624309 937897984 36945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30363/statm: 228979 36945 2537 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20017 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.43
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 600 0 0 0 40 3 0 0 16 0 8 0 155624316 937897984 36945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.32
Current children cumulated vsize (KiB) 915916

[startup+342.71 s]
/proc/loadavg: 2.02 1.67 1.29 3/87 30434
/proc/meminfo: memFree=1378744/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=341.13
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37278 0 1 0 34084 29 0 0 25 0 8 0 155624309 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831464 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30363/statm: 228979 36946 2537 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20017 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.43
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 601 0 0 0 40 3 0 0 15 0 8 0 155624316 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.13
Current children cumulated vsize (KiB) 915916

[startup+402.778 s]
/proc/loadavg: 2.00 1.73 1.33 3/87 30434
/proc/meminfo: memFree=1378744/2055920 swapFree=4192812/4192956
[pid=30363] ppid=30358 vsize=915916 CPUtime=400.94
/proc/30363/stat : 30363 (java) R 30358 30363 30226 0 -1 0 37278 0 1 0 40065 29 0 0 25 0 8 0 155624309 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30363/statm: 228979 36946 2537 14 0 215449 0
[pid=30363/tid=30366] ppid=30358 vsize=915916 CPUtime=0.91
/proc/30363/task/30366/stat : 30366 (java) S 30358 30363 30226 0 -1 64 20017 0 0 0 84 7 0 0 16 0 8 0 155624313 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30369] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30369/stat : 30369 (java) S 30358 30363 30226 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155624313 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30370] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30370/stat : 30370 (java) S 30358 30363 30226 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155624313 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30375] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30375/stat : 30375 (java) S 30358 30363 30226 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155624316 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30376] ppid=30358 vsize=915916 CPUtime=0.43
/proc/30363/task/30376/stat : 30376 (java) S 30358 30363 30226 0 -1 64 601 0 0 0 40 3 0 0 15 0 8 0 155624316 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30363/tid=30377] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30377/stat : 30377 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155624316 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30363/tid=30378] ppid=30358 vsize=915916 CPUtime=0
/proc/30363/task/30378/stat : 30378 (java) S 30358 30363 30226 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155624316 937897984 36946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.94
Current children cumulated vsize (KiB) 915916

Child status: 0
Real time (s): 416.631
CPU time (s): 414.697
CPU user time (s): 414.377
CPU system time (s): 0.319951
CPU usage (%): 99.5358
Max. virtual memory (cumulated for all children) (KiB): 915916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 414.377
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37288
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= 10318
involuntary context switches= 15318

runsolver used 0.45493 s user time and 1.05184 s system time

The end

Launcher Data (download as text)

Begin job on node48 on Sat Jan  6 08:30:53 UTC 2007


IDJOB= 201011
IDBENCH= 3739
FILE ID= node48/201011-1168072251

PBS_JOBID= 3475974

Free space on /tmp= 66549 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  31576fb792fd69c68469620fab63b28d

RANDOM SEED= 465553034

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	: 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.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:       1659688 kB
Buffers:         28304 kB
Cached:         274976 kB
SwapCached:          0 kB
Active:          64068 kB
Inactive:       259232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1659688 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           12824 kB
Writeback:           0 kB
Mapped:          30176 kB
Slab:            58648 kB
Committed_AS:  3057508 kB
PageTables:       1584 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= 66551 MiB



End job on node48 on Sat Jan  6 08:37:54 UTC 2007