Trace number 201580

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 561.007 564.595

DiagnosticValue
CHECKS2695680117
NODES105862

General information on the benchmark

Namefapp/fapp11-15/fapp13/
fapp13-2000-7.xml
MD5SUM0afc8cfff921a2b2bb2e875a86dffcb1
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark176.285
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2000
Number of constraints25652
Maximum constraint arity2
Maximum domain size190
Number of constraints which are defined in extension0
Number of constraints which are defined in intension25652
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.32	   configuration
0.32	     name=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/201580-1168148609/unknown.xml
0.38	   
0.38	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.64	     nbVariables=2000  nbDomainTypes=49  minDomainSize=42  maxDomainSize=190
0.64	       =>  wckTime=0.326  cpuTime=0.23  mem=20M547
0.64	   
0.64	   predicates being loaded...
0.65	   
0.65	   constraints being loaded...
145.84	     nbConstraints=13669  nbMergedConstraints=11983  nbConvertedConstraints=13669  nbConvertConstraintsChecks=232662452
145.86	     nbExtensionStructures=9744  nbSharedExtensionStructures=3925  nbConflictsStructures=9744
145.86	     nbSharedConflictsStructures=3925  nbSharedBinaryRepresentations=2662144  maxDegree=17  maxArity=2
145.86	       =>  wckTime=145.525  cpuTime=142.96  mem=106M457
146.21	   
146.22	   solver IterativeSystematicSolver being built... 
146.48	       =>  wckTime=146.165  cpuTime=143.18  mem=109M327
187.31	   
187.31	   INFO : Stopping ESAC
187.31	   
187.31	   preprocessing
187.31	     nbConstraintChecks=207574662  nbPropagations=384124  nbRevisions=1916842  nbUselessRevisions=1493973
187.31	     nbSingletonTests=6731  nbEffectiveSingletonTests=59  nbESACBranches=103  nbRemovedValues=119532
187.31	     detectedInconsistency=no
187.31	       =>  wckTime=40.815  cpuTime=40.71  mem=109M327
189.99	   
189.99	   search
189.99	     run=0  nbConstraintChecks=9562744  nbPropagations=402751  nbRevisions=2032671  nbUselessRevisions=1584896
189.99	     nbAssignments=485  nbFailedAssignments=39  nbBacktracks=17  nbVisitedNodes=531  nbRestartNogoods=0  mapSize=9
189.99	     nbInferences=0  nbTooLargeKeys=0
189.99	       =>  wckTime=43.496  cpuTime=43.35  mem=127M791
206.70	   
206.70	   search
206.70	     run=1  nbConstraintChecks=128231340  nbPropagations=1045202  nbRevisions=5300643  nbUselessRevisions=4158821
206.70	     nbAssignments=6722  nbFailedAssignments=56  nbBacktracks=35  nbVisitedNodes=1042  nbRestartNogoods=23  mapSize=24
206.70	     nbInferences=0  nbTooLargeKeys=0
206.70	       =>  wckTime=60.205  cpuTime=59.91  mem=123M571
220.06	   
220.06	   search
220.06	     run=2  nbConstraintChecks=221805546  nbPropagations=1887758  nbRevisions=9667526  nbUselessRevisions=7627215
220.06	     nbAssignments=12655  nbFailedAssignments=67  nbBacktracks=58  nbVisitedNodes=1518  nbRestartNogoods=34  mapSize=32
220.06	     nbInferences=1  nbTooLargeKeys=0
220.06	       =>  wckTime=73.564  cpuTime=73.23  mem=141M827
226.40	   
226.40	   search
226.40	     run=3  nbConstraintChecks=263776462  nbPropagations=2818536  nbRevisions=14509947  nbUselessRevisions=11479998
226.40	     nbAssignments=15282  nbFailedAssignments=88  nbBacktracks=94  nbVisitedNodes=2037  nbRestartNogoods=39  mapSize=50
226.40	     nbInferences=3  nbTooLargeKeys=0
226.40	       =>  wckTime=79.906  cpuTime=79.52  mem=127M884
228.94	   
228.94	   search
228.94	     run=4  nbConstraintChecks=273396399  nbPropagations=3772836  nbRevisions=19490949  nbUselessRevisions=15445972
228.94	     nbAssignments=16241  nbFailedAssignments=112  nbBacktracks=151  nbVisitedNodes=3035  nbRestartNogoods=42
228.94	     mapSize=73  nbInferences=3  nbTooLargeKeys=0
228.94	       =>  wckTime=82.442  cpuTime=82.06  mem=160M74
246.55	   
246.55	   search
246.55	     run=5  nbConstraintChecks=390225070  nbPropagations=4989978  nbRevisions=25970519  nbUselessRevisions=20643531
246.55	     nbAssignments=24878  nbFailedAssignments=125  nbBacktracks=226  nbVisitedNodes=3801  nbRestartNogoods=56
246.55	     mapSize=100  nbInferences=3  nbTooLargeKeys=0
246.55	       =>  wckTime=100.06  cpuTime=99.62  mem=163M194
250.66	   
250.66	   search
250.66	     run=6  nbConstraintChecks=411482919  nbPropagations=6255764  nbRevisions=32735676  nbUselessRevisions=26072123
250.66	     nbAssignments=26485  nbFailedAssignments=271  nbBacktracks=342  nbVisitedNodes=4950  nbRestartNogoods=58
250.66	     mapSize=156  nbInferences=3  nbTooLargeKeys=0
250.66	       =>  wckTime=104.167  cpuTime=103.7  mem=192M175
259.48	   
259.48	   search
259.48	     run=7  nbConstraintChecks=464925276  nbPropagations=7645740  nbRevisions=40223510  nbUselessRevisions=32093864
259.48	     nbAssignments=30965  nbFailedAssignments=371  nbBacktracks=513  nbVisitedNodes=5764  nbRestartNogoods=62
259.48	     mapSize=242  nbInferences=6  nbTooLargeKeys=0
259.48	       =>  wckTime=112.984  cpuTime=112.41  mem=187M202
281.86	   
281.86	   search
281.86	     run=8  nbConstraintChecks=625786854  nbPropagations=9364826  nbRevisions=49421868  nbUselessRevisions=39485800
281.86	     nbAssignments=39259  nbFailedAssignments=400  nbBacktracks=790  nbVisitedNodes=6635  nbRestartNogoods=89
281.86	     mapSize=278  nbInferences=6  nbTooLargeKeys=0
281.86	       =>  wckTime=135.367  cpuTime=134.68  mem=216M173
300.91	   
300.91	   search
300.91	     run=9  nbConstraintChecks=752413714  nbPropagations=11350623  nbRevisions=60080025  nbUselessRevisions=48058529
300.91	     nbAssignments=46116  nbFailedAssignments=438  nbBacktracks=1178  nbVisitedNodes=7733  nbRestartNogoods=103
300.91	     mapSize=354  nbInferences=6  nbTooLargeKeys=0
300.91	       =>  wckTime=154.419  cpuTime=153.57  mem=220M665
312.59	   
312.59	   search
312.59	     run=10  nbConstraintChecks=811045116  nbPropagations=13456056  nbRevisions=71799401  nbUselessRevisions=57440832
312.59	     nbAssignments=47607  nbFailedAssignments=1020  nbBacktracks=1755  nbVisitedNodes=9975  nbRestartNogoods=107
312.59	     mapSize=654  nbInferences=6  nbTooLargeKeys=0
312.59	       =>  wckTime=166.09  cpuTime=165.07  mem=228M169
346.46	   
346.46	   search
346.46	     run=11  nbConstraintChecks=991579991  nbPropagations=15932973  nbRevisions=86735788  nbUselessRevisions=69285528
346.46	     nbAssignments=51326  nbFailedAssignments=2313  nbBacktracks=2631  nbVisitedNodes=14328  nbRestartNogoods=115
346.46	     mapSize=1307  nbInferences=12  nbTooLargeKeys=0
346.46	       =>  wckTime=199.968  cpuTime=198.53  mem=257M735
402.95	   
402.95	   search
402.95	     run=12  nbConstraintChecks=1359276994  nbPropagations=19180698  nbRevisions=107097945  nbUselessRevisions=85429843
402.95	     nbAssignments=65495  nbFailedAssignments=3466  nbBacktracks=3928  nbVisitedNodes=18628  nbRestartNogoods=152
402.95	     mapSize=1804  nbInferences=12  nbTooLargeKeys=0
402.95	       =>  wckTime=256.455  cpuTime=254.6  mem=297M909
424.68	   
424.68	   INFO : Stopping hyperNogood (mapSize=2420, nbTooLargekeys=0, mem=330M637)
427.58	   
427.58	   search
427.58	     run=13  nbConstraintChecks=1490071009  nbPropagations=22740959  nbRevisions=130098962  nbUselessRevisions=103602511
427.58	     nbAssignments=71344  nbFailedAssignments=4985  nbBacktracks=5883  nbVisitedNodes=24856  nbRestartNogoods=171
427.58	       =>  wckTime=281.086  cpuTime=279.07  mem=330M637
526.35	   
526.35	   search
526.35	     run=14  nbConstraintChecks=2197579254  nbPropagations=27546228  nbRevisions=162664803  nbUselessRevisions=129082675
526.35	     nbAssignments=93390  nbFailedAssignments=8594  nbBacktracks=8802  nbVisitedNodes=36452  nbRestartNogoods=216
526.35	       =>  wckTime=379.851  cpuTime=377.28  mem=330M900
564.50	   
564.50	   search
564.50	     run=15  nbConstraintChecks=2488105455  nbPropagations=32922288  nbRevisions=198375139  nbUselessRevisions=156992207
564.50	     nbAssignments=105862  nbFailedAssignments=8915  nbBacktracks=9081  nbVisitedNodes=39466  nbRestartNogoods=260
564.50	       =>  wckTime=418.007  cpuTime=415.24  mem=331M164
564.50	   
564.50	   global
564.50	     nbConstraintChecks=2695680117  nbPropagations=33306412  nbRevisions=200291981  nbUselessRevisions=158486180
564.50	     nbRestartNogoods=260  solvingWckTime=418.009  solvingCpuTime=415.24  expiredTime=no  totalExploration=no
564.50	     nbFoundSolutions=1  globalCpuTime=558.48
564.50	       =>  wckTime=564.186  cpuTime=558.43  mem=331M164
564.51	   
564.51	s SATISFIABLE
564.51	v -2572 -2508 -2640 -2616 2404 -2460 -2560 2340 -2628 -2408 -2348 2280 2596 2656 2312 2496 -2376 -2308 -2320 -2320 2360 -2320 2300 -2508 -2364 -2636 -2344 2544 -2616 -2520 -2328 2656 -2532 -2512 2576 2516 -2280 2408 -2440 -2348 2356 -2280 2472 -2312 -2460 2636 2532 2364 2608 -2380 -2280 2576 2600 -2580 2628 2564 -2416 -2280 2528 2564 2412 -2432 2320 -2320 2308 2576 2280 -2656 -2496 -2304 -2644 2648 -2368 -2568 -2300 -2504 2288 -2620 2520 2340 2604 2428 -2616 -2492 -2608 -2320 2472 -2524 2480 2280 -2388 2412 -2536 -2296 -2404 -2448 -2492 2612 2500 -2616 -2376 -2564 2368 2400 2344 2640 2564 -2400 -2380 -2488 -2472 2292 2324 -2320 2612 -2604 2536 -2656 -2452 2392 -2600 -2480 2604 -2588 2384 2580 2652 2368 -2524 -2324 -2464 -2360 -2520 2592 2328 -2320 -2280 2436 2656 2304 -2568 2360 -2640 2316 -2456 -2656 2544 2464 2532 2624 -2524 2424 2412 -2332 -2616 -2496 -2320 -2384 2284 2368 -2320 2628 -2460 -2656 -2508 -2380 -2432 2576 -2396 -2568 2544 -2300 -2320 2384 -2656 2440 -2408 2616 2336 -2280 -2504 2380 -2320 2492 2636 -2336 -2472 -2532 -2596 2556 -2280 2288 2340 -2300 -2320 -2656 -2416 2380 2656 2580 2380 2616 -2564 2616 2604 2496 2636 -2408 2400 2548 2628 -2372 -2336 -2320 -2564 -2384 -2628 -2628 2432 -2360 2336 -2616 -2292 2360 -2400 -2464 2616 -2460 -2300 2440 -2344 -2656 -2324 2572 -2592 -2344 -2636 -2596 2484 2636 -2656 -2296 -2352 -2348 -2436 2616 -2452 -2320 -2432 -2656 2640 -2492 -2560 -2284 2584 -2388 2408 -2524 -2336 -2344 2608 -2504 2280 -2436 2512 2280 2656 2332 2636 2620 2336 -2472 2596 -2656 2496 2616 2332 -2320 2340 -2320 -2540 -2448 -2448 -2360 2656 2360 -2404 -2428 -2576 2316 2472 -2576 -2404 -2428 2480 -2412 -2460 2624 -2296 -2536 -2360 -2372 -2468 2656 -2472 2548 -2524 2420 2280 2280 2324 -2532 -2428 2608 -2500 2532 2616 2280 -2324 2344 2544 2288 2604 2616 -2284 -2496 -2564 -2284 -2280 -2656 2280 2504 2640 -2612 -2512 -2320 -2488 -2320 -2332 2548 -2508 -2292 2620 -2656 2468 2572 -2532 2492 -2292 -2492 2420 -2532 2608 2512 2492 -2488 -2280 2428 2364 -2400 2528 -2496 2592 -2320 2656 2616 -2500 -2596 -2472 2340 -2324 2560 -2396 2368 -2512 -2452 2488 2280 -2428 -2564 2656 -2384 -2308 2344 -2384 2648 -2488 -2544 2476 -2608 2448 -2412 2548 2408 -2308 -2572 -2288 -2280 -2512 2572 2452 2280 2520 -2600 -2412 2448 2372 2408 2340 2360 -2508 2608 -2400 2616 -2460 2632 -2388 2600 -2616 2596 -2320 -2416 2348 -2348 2612 -2596 -2516 2376 2636 -2628 -2456 -2604 -2340 -2336 2628 2584 -2608 -2616 -2472 2352 -2532 -2584 2620 -2372 -2280 -2616 -2344 -2320 -2484 2444 -2280 -2280 -2396 -2400 -2324 2580 -2580 2368 -2424 2652 -2464 2528 2628 -2320 2328 2420 2456 -2324 -2524 2656 -2460 -2440 2392 2436 -2364 -2408 2428 2292 -2604 2448 2592 2472 2568 2588 2484 -2492 -2584 -2424 2512 -2316 2508 2320 2420 2508 -2280 -2280 -2400 -2436 -2656 -2280 2340 -2292 2468 -2560 2328 2500 2612 -2280 2524 2304 -2440 2484 2564 -2656 2524 -2324 -2656 2576 -2532 2612 2444 -2372 -2584 -2616 2572 2336 -2320 2352 2468 2368 -2616 -2320 2600 -2300 -2600 -2280 -2568 2464 2560 2468 2384 -2656 -2592 2632 -2280 -2576 2588 2292 -2656 2616 -2616 2320 -2384 -2296 -2336 2492 2380 2356 -2332 2656 2612 -2320 2584 -2444 -2280 -2560 -2532 -2500 -2340 -2420 2616 -2568 2324 2616 -2512 -2540 2496 -2340 2576 -2656 -2452 -2324 -2500 -2292 -2280 2580 -2656 2576 -2596 -2608 2552 2372 -2472 2448 2392 -2508 -2280 -2508 -2556 2568 -2604 -2444 -2448 -2332 2388 -2376 2404 2596 -2496 -2656 2400 2288 2572 2600 -2372 2308 -2656 2460 -2536 2524 -2656 -2616 2560 2644 2492 -2600 2616 2436 -2532 2612 -2308 -2320 -2440 2616 -2388 2640 2320 2532 -2468 -2368 -2280 -2280 -2368 -2616 -2332 -2392 -2560 -2360 2328 -2388 2468 -2320 -2528 2532 -2632 -2280 2596 2604 2504 -2324 2540 2616 2564 2456 2372 -2340 -2324 -2656 -2420 2400 -2448 -2536 2616 -2604 -2568 -2636 2456 2364 -2528 2280 -2556 -2324 -2320 -2280 2320 2616 2632 -2460 -2280 2536 -2440 2424 2376 2320 2284 -2360 -2320 2400 2464 2644 2496 2596 2648 -2336 -2616 -2584 2480 2656 2512 2576 2608 2412 -2632 -2284 2488 -2456 -2508 2400 2616 2348 -2348 -2384 2548 -2608 -2420 2348 -2608 -2320 -2388 2336 -2424 -2296 2300 -2456 -2480 2608 -2568 -2320 2416 2400 2440 2352 2544 -2464 -2616 2416 -2524 2484 -2520 2532 2496 -2324 -2636 2648 2596 2616 2328 -2492 -2480 -2320 2544 2452 -2440 -2280 2516 2616 -2352 2600 -2592 2604 2304 2320 2596 -2352 -2320 2516 2420 2596 2352 2424 -2584 2292 2584 2588 -2532 -2628 -2616 -2544 -2652 2480 -2596 2328 2596 2656 -2320 -2348 -2464 -2284 2432 -2408 -2432 2500 2564 2496 2616 2564 2440 -2280 -2588 -2344 2320 2404 -2604 -2344 2348 -2408 -2392 2392 2392 2488 -2332 -2280 -2280 -2640 2440 2380 -2440 -2320 2520 2436 -2456 -2284 -2600 -2332 -2588 2580 2592 2372 -2320 -2428 2552 -2336 -2432 -2524 -2448 -2656 2472 -2304 -2656 -2280 2320 -2564 -2616 -2464 -2324 2436 -2280 2540 -2528 2468 2388 -2564 -2528 -2488 2480 -2312 2612 -2280 -2540 2632 2380 -2332 -2320 2308 -2400 -2468 -2456 2464 2348 -2656 2348 -2448 -2320 -2300 2532 2592 2516 -2620 2508 2544 -2596 -2476 -2616 2400 2416 2592 -2280 2512 -2392 2388 -2496 -2592 -2656 2364 -2300 -2408 -2612 -2640 -2480 -2524 -2532 2344 2516 -2624 2568 -2348 -2428 2628 -2572 -2656 2464 2320 2640 -2500 -2656 2468 2336 2600 2616 2324 -2568 2468 -2624 -2472 -2536 2320 -2592 2616 -2484 -2508 -2408 -2316 -2548 -2352 2580 -2580 -2428 -2556 -2368 -2320 2504 2564 -2484 -2460 -2432 -2368 -2444 2488 -2424 -2320 -2656 2340 2340 -2640 2340 -2344 2412 2624 -2412 -2480 2452 2536 2340 -2464 2328 -2332 -2572 2612 -2500 -2392 -2368 2540 -2280 -2616 -2600 -2592 2444 -2564 2388 -2420 -2588 2444 2616 2648 -2296 -2656 2528 -2592 -2564 -2428 -2560 -2504 2620 2464 2452 -2612 2576 2464 -2292 2400 -2416 -2368 2512 2592 2556 -2280 2564 2328 2352 -2552 2388 2616 2612 2608 -2372 -2516 -2616 -2500 -2600 -2484 -2612 -2376 -2484 -2556 -2408 2540 -2628 2588 2632 2624 2320 2508 2372 -2440 -2460 -2616 2388 2564 2552 2492 -2524 2344 2340 2632 2292 2400 -2388 -2544 -2632 -2512 -2644 -2392 2424 -2320 2520 2548 -2328 -2520 2616 -2332 2376 -2432 2616 -2284 -2356 2428 -2580 -2404 -2320 -2616 2340 -2320 2628 -2312 -2456 2652 -2320 -2508 -2320 2616 -2516 -2656 2656 2408 -2384 -2448 -2280 2348 2416 -2320 2340 -2280 2616 2620 -2428 -2616 2616 2384 2536 -2604 -2548 2616 -2648 -2600 2308 2376 -2604 2556 -2656 -2380 -2508 2284 -2412 -2320 -2544 -2280 2544 -2464 -2284 -2532 -2568 -2280 -2408 -2552 -2284 -2320 -2356 -2480 -2348 -2524 2608 -2304 -2372 -2404 -2332 -2320 -2348 -2504 -2568 2656 2492 2500 -2656 2552 2492 -2392 -2520 -2376 2592 2608 2548 -2284 2440 2612 -2540 -2308 2572 2604 2372 -2580 2376 2460 -2492 2492 -2396 -2388 2472 -2364 2560 2588 -2600 2388 2588 -2320 -2464 -2280 2596 -2336 -2288 2548 2484 2648 2532 -2576 -2616 -2280 -2468 -2604 2320 -2564 2360 -2568 -2368 2636 2448 2356 -2624 -2588 -2420 2416 -2608 -2636 -2468 -2504 2476 2616 -2324 2284 2564 2500 2580 -2388 2584 2356 -2424 2572 -2320 2548 2280 2452 -2328 -2472 -2536 2572 2556 2652 -2508 2428 2596 -2372 -2616 2320 -2524 2588 2512 -2288 -2336 2320 2584 -2388 -2528 -2296 -2452 -2312 -2384 -2636 -2408 2392 2520 2600 2608 -2560 2604 2408 2424 2324 2320 -2580 2616 -2336 2564 -2404 -2564 -2620 -2448 -2656 2444 -2656 2408 2556 -2376 2608 2612 -2584 -2568 2572 -2436 2656 -2556 2320 -2560 -2432 -2300 2636 -2408 2648 -2632 -2376 2328 2656 -2384 -2628 2588 2560 2344 -2284 -2348 -2452 2340 -2440 2524 -2368 -2588 2584 2300 -2420 -2280 2648 -2336 -2596 2608 -2520 2476 2524 2524 2320 2532 2416 2540 -2604 2432 2616 2616 -2500 2336 -2656 2280 2580 2456 2588 -2316 -2332 2468 2504 -2596 2280 -2572 2564 2628 -2340 -2372 -2280 -2312 2616 -2376 2320 -2340 2616 -2416 -2576 -2280 2320 -2348 -2536 -2288 -2480 -2556 -2432 2588 2592 -2312 2656 2484 -2456 -2320 2632 -2320 -2448 2352 -2652 -2284 2612 -2484 2336 -2288 -2544 2648 2296 -2324 -2404 -2612 -2348 2592 -2616 -2616 2616 2576 -2584 -2656 2280 2540 2488 -2288 -2656 -2460 -2380 -2408 -2484 -2308 2312 -2552 2324 -2316 2304 2440 2472 -2336 2572 -2576 -2604 2408 -2616 2504 2600 2588 -2284 -2476 -2564 2408 2552 -2656 2588 2588 -2616 -2492 -2280 -2404 -2280 -2592 2644 -2348 -2572 2328 -2516 2644 -2376 2292 2384 2300 2352 2532 -2468 2596 2608 -2460 -2600 -2588 -2536 2656 2476 -2412 2544 2476 2452 2416 2540 -2656 2376 -2372 2340 2516 2584 2556 2288 2468 2612 -2640 -2400 -2328 2420 -2320 2644 2584 2564 2496 -2452 2280 2412 -2436 -2408 -2412 2408 -2352 2588 -2456 2540 -2544 -2348 2616 2536 2360 -2280 -2608 2368 2520 -2360 -2480 2380 2320 2548 2572 -2536 2528 -2480 -2320 2616 -2320 -2616 -2388 2288 -2468 -2584 2324 -2344 2380 -2280 2576 -2408 -2320 2404 -2656 -2280 2516 2400 2320 2344 2440 2316 2332 2320 2616 -2656 2500 -2572 2656 -2348 2564 -2424 -2372 -2320 -2512 2476 -2380 2632 -2280 -2428 -2636 2520 -2452 -2424 -2596 2656 2352 -2576 2480 2404 2416 -2636 2496 2572 -2620 -2364 2500 -2320 -2468 2432 -2604 -2656 2592 -2312 2380 -2616 -2320 2324 -2628 2592 -2400 2368 -2340 2616 -2588 -2348 -2320 -2336 -2616 2352 -2296 2280 -2280 2592 2500 -2472 2492 2436 -2560 -2508 2356 2476 -2304 2552 2564 -2392 -2572 2596 2420 -2644 -2612 -2592 2540 -2452 -2332 -2416 -2632 -2396 -2348 2536 2656 2564 2504 2632 -2280 2608 2280 2296 -2356 2424 -2468 2412 -2472 2484 2648 2460 -2576 2556 -2376 2616 -2436 2504 -2520 2416 2588 2616 2548 -2588 2580 2604 -2640 2656 -2596 2444 -2280 2656 2600 -2656 2320 -2640 -2552 2596 2560 2480 2360 2616 2372 2408 -2492 -2280 2604 2444 -2340 2292 2616 2616 2616 2324 2596 -2420 2408 2616 -2612 2572 -2440 2436 2476 2580 2652 2512 2656 -2604 2616 -2540 2404 2528 2332 2504 -2628 -2636 2656 2280 2332 -2608 -2452 2364 2576 2632 2556 -2288 -2504 2392 -2368 -2300 -2596 2320 2284 2648 2488 -2320 2372 2604 2540 2648 2524 -2444 2588 -2480 -2396 2572 -2480 2408 2524 -2648 -2556 -2512 2492 2608 -2440 -2328 -2612 2320 2300 -2520 -2384 2548 -2312 2500 -2280 2520 -2432 -2408 2476 2556 -2448 2412 -2516 -2492 2308 2552 -2624 2512 2656 2504 2592 2600 2596 2380 2280 -2376 -2616 2464 -2284 -2432 -2516 2508 2600 -2524 2640 2652 2388 -2492 2612 -2588 -2532 -2324 -2652 2500 -2376 2616 2620 -2556 2552 -2280 -2656 -2568 -2612 2284 2624 -2532 -2300 2300 2544 -2576 2280 -2588 -2532 -2368 2444 -2476 -2556 -2632 -2616 -2588 2436 2656 -2372 2428 -2656 -2444 -2632 2652 2288 2572 2320 -2372 -2548 2580 2388 -2536 -2308 -2340 -2556 -2620 -2484 -2500 -2320 2280 -2544 2608 2444 2320 -2492 2344 -2376 2632 -2488 -2504 2476 -2480 -2320 -2360 2504 2360 -2596 2580 -2472 2344 -2396 -2476 -2480 -2280 -2300 2284 -2456 -2312 2368 -2656 2280 2484 -2332 -2284 2584 2504 -2616 -2280 -2332 2520 2616 -2320 2364 2320 2580 2616 2632 2320 -2280 2520 -2556 -2384 -2492 2300 2504 2500 -2488 -2412 -2464 2328 2320 -2620 -2280 2584 2628 2568 -2340 -2352 -2656 -2640 -2328 -2572 2392 -2372 2596 2332 -2340 -2280 2456 2496 2492 2456 -2544 -2408 2280 -2368 -2368 2280 -2544 -2520 -2512 -2460 -2468 -2448 2488 2604 2344 -2300 2512 -2416 -2380 2388 -2564 -2332 -2352 -2644 2536 2536 -2476 -2320 2300 2484 2628 2328 -2576 2652 -2656 2320 -2528 -2280 -2584 2428 2480 2532 -2440 -2340 -2328 2620 2412 2656 2624 -2608 2524 2320 -2352 2444 2436 -2656 2600 -2616 2368 2332 2444 -2280 2384 -2368 -2616 -2512 -2636 -2332 2652 2556 -2280 -2452 -2352 2596 
564.51	d NODES 105862
564.51	d CHECKS 2695680117
564.51	   
564.51	   totalWckTime=564.268  totalCpuTime=558.48

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/node5/watcher-201580-1168148609 -o ROOT/results/node5/solver-201580-1168148609 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/201580-1168148609/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: 2.45 2.20 2.06 5/94 1818
/proc/meminfo: memFree=902048/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=18540 CPUtime=0
/proc/1817/stat : 1817 (runsolver) R 1814 1817 1587 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 143475348 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/1817/statm: 4635 279 244 17 0 2626 0

[startup+0.103898 s]
/proc/loadavg: 2.45 2.20 2.06 5/94 1818
/proc/meminfo: memFree=902048/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=914988 CPUtime=0.08
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 2962 0 1 0 6 2 0 0 17 0 8 0 143475348 936947712 2708 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155518268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511942 s]
/proc/loadavg: 2.45 2.20 2.06 5/94 1818
/proc/meminfo: memFree=902048/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915328 CPUtime=0.48
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 6892 0 1 0 44 4 0 0 18 0 8 0 143475348 937295872 6631 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228832 6631 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33304 s]
/proc/loadavg: 2.42 2.20 2.06 3/101 1826
/proc/meminfo: memFree=833576/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=1.3
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 21466 0 1 0 117 13 0 0 23 0 8 0 143475348 937623552 21203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073545944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228912 21203 2160 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=0.08
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 4923 0 0 0 6 2 0 0 16 0 8 0 143475352 937623552 21203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 21203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 21203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 21203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.18
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 409 0 0 0 17 1 0 0 16 0 8 0 143475356 937623552 21203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 21203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 21203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648

[startup+2.97521 s]
/proc/loadavg: 2.42 2.20 2.06 3/101 1826
/proc/meminfo: memFree=825192/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=2.93
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 21556 0 1 0 280 13 0 0 25 0 8 0 143475348 937623552 21291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839095 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228912 21291 2181 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=0.11
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 4923 0 0 0 9 2 0 0 17 0 8 0 143475352 937623552 21291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 21291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 21291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 21291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.22
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 435 0 0 0 21 1 0 0 16 0 8 0 143475356 937623552 21291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 21291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 21291 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915648

[startup+6.18358 s]
/proc/loadavg: 2.42 2.20 2.06 3/101 1826
/proc/meminfo: memFree=824936/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=6.13
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 21560 0 1 0 598 15 0 0 25 0 8 0 143475348 937623552 21294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842437 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228912 21294 2181 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=0.11
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 4923 0 0 0 9 2 0 0 16 0 8 0 143475352 937623552 21294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 21294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 21294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 21294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.22
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 438 0 0 0 21 1 0 0 16 0 8 0 143475356 937623552 21294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 21294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 21294 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915648

[startup+12.6543 s]
/proc/loadavg: 2.35 2.19 2.06 3/101 1826
/proc/meminfo: memFree=813992/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=12.57
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 24191 0 1 0 1239 18 0 0 25 0 8 0 143475348 937623552 23922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153440224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228912 23922 2181 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=0.24
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 7545 0 0 0 21 3 0 0 16 0 8 0 143475352 937623552 23922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 23922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 23922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 23922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.24
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 444 0 0 0 23 1 0 0 16 0 8 0 143475356 937623552 23922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 23922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 23922 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915648

[startup+25.5138 s]
/proc/loadavg: 2.22 2.17 2.05 4/104 1918
/proc/meminfo: memFree=1569232/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=25.37
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 24200 0 1 0 2515 22 0 0 25 0 8 0 143475348 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073831644 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228912 23930 2181 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=0.24
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 7545 0 0 0 21 3 0 0 16 0 8 0 143475352 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.25
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 452 0 0 0 24 1 0 0 15 0 8 0 143475356 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 23930 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915648

[startup+51.1727 s]
/proc/loadavg: 2.24 2.18 2.06 3/104 1918
/proc/meminfo: memFree=1358224/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=50.73
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 28360 0 1 0 5040 33 0 0 25 0 8 0 143475348 937623552 28087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228912 28087 2181 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=0.51
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 11701 0 0 0 47 4 0 0 16 0 8 0 143475352 937623552 28087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 28087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 28087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 28087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.25
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 453 0 0 0 24 1 0 0 16 0 8 0 143475356 937623552 28087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 28087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 28087 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915648

[startup+102.4 s]
/proc/loadavg: 2.10 2.15 2.05 3/104 1918
/proc/meminfo: memFree=1207568/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=101.49
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 33536 0 1 0 10093 56 0 0 25 0 8 0 143475348 937623552 33260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1817/statm: 228912 33260 2181 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=0.81
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 16874 0 0 0 74 7 0 0 16 0 8 0 143475352 937623552 33260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 33260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 33260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 33260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.25
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 453 0 0 0 24 1 0 0 16 0 8 0 143475356 937623552 33260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 33260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 33260 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915648

[startup+162.429 s]
/proc/loadavg: 2.04 2.12 2.05 3/104 1918
/proc/meminfo: memFree=1037392/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=161.11
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 40026 0 1 0 16029 82 0 0 25 0 8 0 143475348 937623552 39738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1817/statm: 228912 39738 2545 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=1.41
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 22855 0 0 0 131 10 0 0 16 0 8 0 143475352 937623552 39738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 39738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 39738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 39738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.38
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 517 0 0 0 36 2 0 0 16 0 8 0 143475356 937623552 39738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 39738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 39738 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.11
Current children cumulated vsize (KiB) 915648

[startup+222.534 s]
/proc/loadavg: 2.09 2.13 2.05 3/104 1918
/proc/meminfo: memFree=885328/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=221.02
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 44764 0 1 0 22017 85 0 0 25 0 8 0 143475348 937623552 44467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1817/statm: 228912 44467 2547 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=1.45
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 27566 0 0 0 133 12 0 0 16 0 8 0 143475352 937623552 44467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 44467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 44467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 44467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.41
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 532 0 0 0 39 2 0 0 16 0 8 0 143475356 937623552 44467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 44467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 44467 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.02
Current children cumulated vsize (KiB) 915648

[startup+282.596 s]
/proc/loadavg: 2.06 2.11 2.05 3/104 1918
/proc/meminfo: memFree=702800/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=280.85
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 60717 0 1 0 27994 91 0 0 25 0 8 0 143475348 937623552 60415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1817/statm: 228912 60415 2547 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=1.57
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 43509 0 0 0 139 18 0 0 16 0 8 0 143475352 937623552 60415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 60415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 60415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 60415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.42
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 537 0 0 0 40 2 0 0 15 0 8 0 143475356 937623552 60415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 60415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 60415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.85
Current children cumulated vsize (KiB) 915648

[startup+342.667 s]
/proc/loadavg: 2.32 2.17 2.07 4/104 1918
/proc/meminfo: memFree=629968/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=340.39
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 77933 0 1 0 33940 99 0 0 25 0 8 0 143475348 937623552 77621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074164609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1817/statm: 228912 77621 2547 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=1.71
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 60710 0 0 0 146 25 0 0 16 0 8 0 143475352 937623552 77621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 77621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 77621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 77621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.44
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 542 0 0 0 42 2 0 0 17 0 8 0 143475356 937623552 77621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 77621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 77621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.39
Current children cumulated vsize (KiB) 915648

[startup+402.752 s]
/proc/loadavg: 2.26 2.19 2.09 3/93 2159
/proc/meminfo: memFree=1296176/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=400.06
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 84624 0 1 0 39900 106 0 0 25 0 8 0 143475348 937623552 84310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141745 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1817/statm: 228912 84310 2547 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=1.76
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 67399 0 0 0 148 28 0 0 16 0 8 0 143475352 937623552 84310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 84310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 84310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 84310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.44
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 542 0 0 0 42 2 0 0 16 0 8 0 143475356 937623552 84310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 84310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 84310 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (KiB) 915648

[startup+462.842 s]
/proc/loadavg: 2.12 2.17 2.09 3/93 2159
/proc/meminfo: memFree=1276656/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=459.83
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 89535 0 1 0 45874 109 0 0 25 0 8 0 143475348 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074141881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1817/statm: 228912 89219 2547 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=1.8
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 72308 0 0 0 150 30 0 0 16 0 8 0 143475352 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.44
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 542 0 0 0 42 2 0 0 16 0 8 0 143475356 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 459.83
Current children cumulated vsize (KiB) 915648

[startup+522.922 s]
/proc/loadavg: 2.04 2.13 2.08 3/93 2159
/proc/meminfo: memFree=1276656/2055920 swapFree=4192812/4192956
[pid=1817] ppid=1814 vsize=915648 CPUtime=519.59
/proc/1817/stat : 1817 (java) R 1814 1817 1587 0 -1 0 89535 0 1 0 51850 109 0 0 25 0 8 0 143475348 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1817/statm: 228912 89219 2547 14 0 215382 0
[pid=1817/tid=1819] ppid=1814 vsize=915648 CPUtime=1.8
/proc/1817/task/1819/stat : 1819 (java) S 1814 1817 1587 0 -1 64 72308 0 0 0 150 30 0 0 16 0 8 0 143475352 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1821] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1821/stat : 1821 (java) S 1814 1817 1587 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1822] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1822/stat : 1822 (java) S 1814 1817 1587 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 143475353 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1823] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1823/stat : 1823 (java) S 1814 1817 1587 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 143475356 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1824] ppid=1814 vsize=915648 CPUtime=0.44
/proc/1817/task/1824/stat : 1824 (java) S 1814 1817 1587 0 -1 64 542 0 0 0 42 2 0 0 16 0 8 0 143475356 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1817/tid=1825] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1825/stat : 1825 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 143475356 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=1817/tid=1826] ppid=1814 vsize=915648 CPUtime=0
/proc/1817/task/1826/stat : 1826 (java) S 1814 1817 1587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 143475356 937623552 89219 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 519.59
Current children cumulated vsize (KiB) 915648

Child status: 0
Real time (s): 564.595
CPU time (s): 561.007
CPU user time (s): 559.855
CPU system time (s): 1.15182
CPU usage (%): 99.3644
Max. virtual memory (cumulated for all children) (KiB): 915652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 559.855
system time used= 1.15182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89549
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= 13392
involuntary context switches= 20578

runsolver used 0.686895 s user time and 1.88871 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sun Jan  7 05:43:29 UTC 2007


IDJOB= 201580
IDBENCH= 3772
FILE ID= node5/201580-1168148609

PBS_JOBID= 3478170

Free space on /tmp= 66344 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  0afc8cfff921a2b2bb2e875a86dffcb1

RANDOM SEED= 955604867

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.240
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.240
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:        902464 kB
Buffers:         59504 kB
Cached:         211340 kB
SwapCached:          0 kB
Active:         951544 kB
Inactive:       138720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        902464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            5196 kB
Writeback:           0 kB
Mapped:         846320 kB
Slab:            46460 kB
Committed_AS:  4303416 kB
PageTables:       3744 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= 66342 MiB



End job on node5 on Sun Jan  7 05:52:54 UTC 2007