Trace number 213950

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 506.7 507.035

DiagnosticValue
CHECKS160739338
NODES568755

General information on the benchmark

NamepseudoSeries/par/
par-16-5.xml
MD5SUMb2c1e60b5d6560b6adf6904a2b6ef697
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.12
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2030
Number of constraints4297
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4297
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=mac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/213950-1168077537/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.55	     nbVariables=2030  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.55	       =>  wckTime=0.248  cpuTime=0.16  mem=10M819
0.55	   
0.55	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
1.23	     nbConstraints=4297  nbSingletonDomainVariables=776  nbConvertedConstraints=1957  nbConvertConstraintsChecks=64
1.23	     nbExtensionStructures=7  nbSharedExtensionStructures=1950  nbConflictsStructures=22
1.23	     nbSharedConflictsStructures=4275  nbSharedBinaryRepresentations=16  nbEvaluationManagers=15
1.23	     nbSharedEvaluationManagers=2325  maxDegree=47  maxArity=3
1.23	       =>  wckTime=0.931  cpuTime=0.76  mem=36M174
1.31	   
1.31	   solver IterativeSystematicSolver being built... 
1.60	       =>  wckTime=1.303  cpuTime=1.0  mem=36M907
1.64	   
1.64	   preprocessing
1.64	     nbConstraintChecks=0  nbPropagations=2030  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.64	     detectedInconsistency=no
1.64	       =>  wckTime=0.025  cpuTime=0.01  mem=36M907
1.75	   
1.75	   search
1.75	     run=0  nbConstraintChecks=12366  nbValidityChecks=4479  nbPropagations=6036  nbRevisions=13100
1.75	     nbUselessRevisions=9086  nbAssignments=42  nbFailedAssignments=4  nbBacktracks=14  nbVisitedNodes=51
1.76	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
1.76	       =>  wckTime=0.145  cpuTime=0.11  mem=37M930
1.82	   
1.82	   search
1.82	     run=1  nbConstraintChecks=23654  nbValidityChecks=10054  nbPropagations=15982  nbRevisions=38944
1.82	     nbUselessRevisions=27000  nbAssignments=86  nbFailedAssignments=8  nbBacktracks=32  nbVisitedNodes=103
1.82	     nbRestartNogoods=1  mapSize=14  nbInferences=0  nbTooLargeKeys=0
1.82	       =>  wckTime=0.207  cpuTime=0.17  mem=37M930
1.89	   
1.89	   search
1.89	     run=2  nbConstraintChecks=40492  nbValidityChecks=18399  nbPropagations=31682  nbRevisions=83708
1.89	     nbUselessRevisions=58062  nbAssignments=142  nbFailedAssignments=14  nbBacktracks=55  nbVisitedNodes=171
1.89	     nbRestartNogoods=2  mapSize=24  nbInferences=0  nbTooLargeKeys=0
1.89	       =>  wckTime=0.28  cpuTime=0.24  mem=37M930
1.97	   
1.97	   search
1.97	     run=3  nbConstraintChecks=57787  nbValidityChecks=26853  nbPropagations=53275  nbRevisions=147807
1.97	     nbUselessRevisions=102551  nbAssignments=207  nbFailedAssignments=21  nbBacktracks=88  nbVisitedNodes=249
1.97	     nbRestartNogoods=4  mapSize=35  nbInferences=0  nbTooLargeKeys=0
1.97	       =>  wckTime=0.361  cpuTime=0.32  mem=37M930
2.09	   
2.09	   search
2.09	     run=4  nbConstraintChecks=83017  nbValidityChecks=39347  nbPropagations=83474  nbRevisions=240109
2.09	     nbUselessRevisions=166602  nbAssignments=300  nbFailedAssignments=30  nbBacktracks=138  nbVisitedNodes=360
2.09	     nbRestartNogoods=6  mapSize=50  nbInferences=0  nbTooLargeKeys=0
2.09	       =>  wckTime=0.481  cpuTime=0.44  mem=37M930
2.25	   
2.25	   search
2.25	     run=5  nbConstraintChecks=117184  nbValidityChecks=56956  nbPropagations=125310  nbRevisions=371831
2.25	     nbUselessRevisions=258389  nbAssignments=423  nbFailedAssignments=43  nbBacktracks=214  nbVisitedNodes=508
2.25	     nbRestartNogoods=9  mapSize=72  nbInferences=0  nbTooLargeKeys=0
2.25	       =>  wckTime=0.644  cpuTime=0.6  mem=37M930
2.45	   
2.45	   search
2.45	     run=6  nbConstraintChecks=148816  nbValidityChecks=74003  nbPropagations=177921  nbRevisions=541311
2.45	     nbUselessRevisions=377034  nbAssignments=587  nbFailedAssignments=59  nbBacktracks=331  nbVisitedNodes=708
2.45	     nbRestartNogoods=12  mapSize=105  nbInferences=0  nbTooLargeKeys=0
2.45	       =>  wckTime=0.846  cpuTime=0.8  mem=37M930
2.71	   
2.71	   search
2.71	     run=7  nbConstraintChecks=175829  nbValidityChecks=89366  nbPropagations=239789  nbRevisions=744035
2.71	     nbUselessRevisions=519512  nbAssignments=821  nbFailedAssignments=84  nbBacktracks=502  nbVisitedNodes=992
2.71	     nbRestartNogoods=15  mapSize=150  nbInferences=0  nbTooLargeKeys=0
2.71	       =>  wckTime=1.099  cpuTime=1.05  mem=37M930
3.09	   
3.09	   search
3.09	     run=8  nbConstraintChecks=227333  nbValidityChecks=119900  nbPropagations=319099  nbRevisions=1011625
3.09	     nbUselessRevisions=709131  nbAssignments=1155  nbFailedAssignments=122  nbBacktracks=767  nbVisitedNodes=1402
3.09	     nbRestartNogoods=20  mapSize=221  nbInferences=0  nbTooLargeKeys=0
3.09	       =>  wckTime=1.485  cpuTime=1.43  mem=37M930
3.66	   
3.66	   search
3.66	     run=9  nbConstraintChecks=309889  nbValidityChecks=169267  nbPropagations=426277  nbRevisions=1383866
3.66	     nbUselessRevisions=974831  nbAssignments=1631  nbFailedAssignments=176  nbBacktracks=1160  nbVisitedNodes=1998
3.66	     nbRestartNogoods=25  mapSize=337  nbInferences=0  nbTooLargeKeys=0
3.66	       =>  wckTime=2.053  cpuTime=1.98  mem=37M930
4.54	   
4.54	   search
4.54	     run=10  nbConstraintChecks=477452  nbValidityChecks=273312  nbPropagations=589031  nbRevisions=1975101
4.54	     nbUselessRevisions=1401634  nbAssignments=2383  nbFailedAssignments=313  nbBacktracks=1739  nbVisitedNodes=3023
4.54	     nbRestartNogoods=29  mapSize=602  nbInferences=0  nbTooLargeKeys=0
4.54	       =>  wckTime=2.928  cpuTime=2.84  mem=37M930
5.75	   
5.75	   search
5.75	     run=11  nbConstraintChecks=696057  nbValidityChecks=418989  nbPropagations=826636  nbRevisions=2869991
5.75	     nbUselessRevisions=2053563  nbAssignments=3484  nbFailedAssignments=516  nbBacktracks=2604  nbVisitedNodes=4501
5.75	     nbRestartNogoods=37  mapSize=972  nbInferences=0  nbTooLargeKeys=0
5.75	       =>  wckTime=4.139  cpuTime=4.04  mem=38M904
5.97	   
5.97	   INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=38M904)
7.20	   
7.20	   search
7.20	     run=12  nbConstraintChecks=1154254  nbValidityChecks=682306  nbPropagations=1226459  nbRevisions=4350287
7.20	     nbUselessRevisions=3123230  nbAssignments=5027  nbFailedAssignments=734  nbBacktracks=3902  nbVisitedNodes=6456
7.20	     nbRestartNogoods=44
7.20	       =>  wckTime=5.59  cpuTime=5.49  mem=38M904
9.22	   
9.22	   search
9.22	     run=13  nbConstraintChecks=1861512  nbValidityChecks=1071515  nbPropagations=1857304  nbRevisions=6673572
9.22	     nbUselessRevisions=4792448  nbAssignments=7300  nbFailedAssignments=1015  nbBacktracks=5848  nbVisitedNodes=9288
9.22	     nbRestartNogoods=49
9.22	       =>  wckTime=7.611  cpuTime=7.51  mem=38M904
12.27	   
12.27	   search
12.27	     run=14  nbConstraintChecks=2855346  nbValidityChecks=1668419  nbPropagations=2826246  nbRevisions=10277808
12.27	     nbUselessRevisions=7393414  nbAssignments=10768  nbFailedAssignments=1514  nbBacktracks=8779  nbVisitedNodes=13804
12.27	     nbRestartNogoods=55
12.27	       =>  wckTime=10.662  cpuTime=10.56  mem=38M904
16.46	   
16.46	   search
16.46	     run=15  nbConstraintChecks=4119899  nbValidityChecks=2416688  nbPropagations=4230928  nbRevisions=15504989
16.46	     nbUselessRevisions=11165341  nbAssignments=15870  nbFailedAssignments=2204  nbBacktracks=13166
16.46	     nbVisitedNodes=20206  nbRestartNogoods=63
16.46	       =>  wckTime=14.852  cpuTime=14.75  mem=38M904
22.56	   
22.56	   search
22.56	     run=16  nbConstraintChecks=5927037  nbValidityChecks=3476867  nbPropagations=6260124  nbRevisions=23057392
22.56	     nbUselessRevisions=16617642  nbAssignments=23356  nbFailedAssignments=3071  nbBacktracks=19758
22.56	     nbVisitedNodes=29349  nbRestartNogoods=69
22.56	       =>  wckTime=20.95  cpuTime=20.84  mem=38M904
34.18	   
34.18	   search
34.18	     run=17  nbConstraintChecks=10043816  nbValidityChecks=5860054  nbPropagations=9702486  nbRevisions=35818099
34.18	     nbUselessRevisions=25818418  nbAssignments=35233  nbFailedAssignments=5054  nbBacktracks=29628
34.18	     nbVisitedNodes=45131  nbRestartNogoods=76
34.18	       =>  wckTime=32.568  cpuTime=32.45  mem=38M904
52.24	   
52.24	   search
52.24	     run=18  nbConstraintChecks=16326634  nbValidityChecks=9795647  nbPropagations=15320083  nbRevisions=57023294
52.24	     nbUselessRevisions=41204318  nbAssignments=52979  nbFailedAssignments=7989  nbBacktracks=44409
52.24	     nbVisitedNodes=68383  nbRestartNogoods=84
52.24	       =>  wckTime=50.633  cpuTime=50.51  mem=38M904
77.13	   
77.13	   search
77.13	     run=19  nbConstraintChecks=24727002  nbValidityChecks=14976366  nbPropagations=23829085  nbRevisions=89395110
77.13	     nbUselessRevisions=64755190  nbAssignments=78958  nbFailedAssignments=11768  nbBacktracks=66580
77.13	     nbVisitedNodes=101803  nbRestartNogoods=93
77.13	       =>  wckTime=75.52  cpuTime=75.4  mem=38M904
112.27	   
112.27	   search
112.27	     run=20  nbConstraintChecks=36193260  nbValidityChecks=21875243  nbPropagations=36238633  nbRevisions=136637219
112.27	     nbUselessRevisions=99139891  nbAssignments=117861  nbFailedAssignments=17392  nbBacktracks=99833
112.27	     nbVisitedNodes=151823  nbRestartNogoods=101
112.27	       =>  wckTime=110.659  cpuTime=110.52  mem=38M904
169.07	   
169.07	   search
169.07	     run=21  nbConstraintChecks=55132068  nbValidityChecks=33592163  nbPropagations=55270038  nbRevisions=209231138
169.07	     nbUselessRevisions=151997308  nbAssignments=177201  nbFailedAssignments=26814  nbBacktracks=149726
169.07	     nbVisitedNodes=229834  nbRestartNogoods=112
169.07	       =>  wckTime=167.46  cpuTime=167.23  mem=38M904
246.95	   
246.95	   search
246.95	     run=22  nbConstraintChecks=79981665  nbValidityChecks=48425496  nbPropagations=82860025  nbRevisions=314057331
246.95	     nbUselessRevisions=228196238  nbAssignments=264894  nbFailedAssignments=39626  nbBacktracks=224575
246.95	     nbVisitedNodes=342643  nbRestartNogoods=117
246.95	       =>  wckTime=245.346  cpuTime=245.06  mem=38M904
351.68	   
351.68	   search
351.68	     run=23  nbConstraintChecks=111103142  nbValidityChecks=66846081  nbPropagations=121061779  nbRevisions=458833675
351.68	     nbUselessRevisions=333334152  nbAssignments=393183  nbFailedAssignments=55646  nbBacktracks=336806
351.68	     nbVisitedNodes=503240  nbRestartNogoods=123
351.68	       =>  wckTime=350.074  cpuTime=349.76  mem=38M904
506.98	   
506.98	   search
506.98	     run=24  nbConstraintChecks=160739338  nbValidityChecks=96289621  nbPropagations=176361197  nbRevisions=667763068
506.98	     nbUselessRevisions=484920208  nbAssignments=568755  nbFailedAssignments=79955  nbBacktracks=486039
506.98	     nbVisitedNodes=726676  nbRestartNogoods=134
506.98	       =>  wckTime=505.369  cpuTime=505.0  mem=38M904
506.98	   
506.98	   global
506.98	     nbConstraintChecks=160739338  nbValidityChecks=96289621  nbPropagations=176363227  nbRevisions=667763068
506.98	     nbUselessRevisions=484920208  nbRestartNogoods=134  solvingWckTime=505.369  solvingCpuTime=505.0  expiredTime=no
506.98	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=506.04
506.98	       =>  wckTime=506.678  cpuTime=506.0  mem=38M904
507.01	   
507.01	s SATISFIABLE
507.01	v 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 
507.01	d NODES 568755
507.02	d CHECKS 160739338
507.02	   
507.02	   totalWckTime=506.788  totalCpuTime=506.04

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

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

/proc/loadavg: 1.16 1.03 1.01 3/78 22713
/proc/meminfo: memFree=1771184/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=1500 CPUtime=0
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 156148264 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7587510 0 0 4096 0 0 0 0 17 1 0 0
/proc/22712/statm: 363 65 49 14 0 8 0

[startup+0.107112 s]
/proc/loadavg: 1.16 1.03 1.01 3/78 22713
/proc/meminfo: memFree=1771184/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=914988 CPUtime=0.08
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 3055 0 1 0 6 2 0 0 21 0 8 0 156148264 936947712 2801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925640 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22712/statm: 228747 2801 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.51516 s]
/proc/loadavg: 1.16 1.03 1.01 3/78 22713
/proc/meminfo: memFree=1771184/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915328 CPUtime=0.48
/proc/22712/stat : 22712 (java) S 22710 22712 21897 0 -1 0 6784 0 1 0 43 5 0 0 16 0 8 0 156148264 937295872 6523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228832 6523 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328

[startup+1.33726 s]
/proc/loadavg: 1.15 1.03 1.01 3/85 22720
/proc/meminfo: memFree=1729144/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=1.29
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14595 0 1 0 101 28 0 0 16 0 8 0 156148264 937709568 14332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14332 2392 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.06
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 913 0 0 0 6 0 0 0 16 0 8 0 156148268 937709568 14332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.2
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 436 0 0 0 19 1 0 0 16 0 8 0 156148271 937709568 14332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) R 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915732

[startup+2.98945 s]
/proc/loadavg: 1.15 1.03 1.01 2/85 22720
/proc/meminfo: memFree=1722680/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=2.95
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14858 0 1 0 266 29 0 0 17 0 8 0 156148264 937709568 14593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074088662 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14593 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.06
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 6 0 0 0 16 0 8 0 156148268 937709568 14593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.31
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 509 0 0 0 30 1 0 0 15 0 8 0 156148271 937709568 14593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915732

[startup+6.27484 s]
/proc/loadavg: 1.13 1.03 1.01 3/85 22720
/proc/meminfo: memFree=1722488/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=6.22
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14880 0 1 0 593 29 0 0 17 0 8 0 156148264 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074107370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14611 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.34
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 527 0 0 0 33 1 0 0 15 0 8 0 156148271 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915732

[startup+12.7576 s]
/proc/loadavg: 1.12 1.03 1.01 2/85 22720
/proc/meminfo: memFree=1722496/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=12.7
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14885 0 1 0 1241 29 0 0 25 0 8 0 156148264 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074145421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14614 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 530 0 0 0 34 1 0 0 17 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915732

[startup+25.5822 s]
/proc/loadavg: 1.10 1.03 1.01 2/85 22720
/proc/meminfo: memFree=1722560/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=25.52
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14885 0 1 0 2523 29 0 0 25 0 8 0 156148264 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14614 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 530 0 0 0 34 1 0 0 17 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915732

[startup+51.2692 s]
/proc/loadavg: 1.06 1.03 1.01 2/85 22720
/proc/meminfo: memFree=1722624/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=51.2
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14885 0 1 0 5091 29 0 0 25 0 8 0 156148264 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074088695 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14614 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 530 0 0 0 34 1 0 0 16 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915732

[startup+102.534 s]
/proc/loadavg: 1.02 1.02 1.00 2/85 22720
/proc/meminfo: memFree=1722560/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=102.46
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14886 0 1 0 10216 30 0 0 25 0 8 0 156148264 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103326 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14614 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 530 0 0 0 34 1 0 0 16 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915732

[startup+162.551 s]
/proc/loadavg: 1.01 1.02 1.00 2/91 22856
/proc/meminfo: memFree=1721144/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=162.39
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14886 0 1 0 16207 32 0 0 25 0 8 0 156148264 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14614 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 530 0 0 0 34 1 0 0 16 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.39
Current children cumulated vsize (KiB) 915732

[startup+222.571 s]
/proc/loadavg: 1.03 1.02 1.00 2/85 22918
/proc/meminfo: memFree=1722224/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=222.35
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14886 0 1 0 22203 32 0 0 25 0 8 0 156148264 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14614 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 530 0 0 0 34 1 0 0 16 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 915732

[startup+282.675 s]
/proc/loadavg: 1.01 1.02 1.00 2/85 22918
/proc/meminfo: memFree=1722240/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=282.43
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14886 0 1 0 28211 32 0 0 25 0 8 0 156148264 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074104160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14614 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 530 0 0 0 34 1 0 0 16 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14614 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.43
Current children cumulated vsize (KiB) 915732

[startup+342.776 s]
/proc/loadavg: 1.00 1.01 1.00 2/85 22918
/proc/meminfo: memFree=1722240/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=342.52
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14887 0 1 0 34219 33 0 0 25 0 8 0 156148264 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074083468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14615 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.52
Current children cumulated vsize (KiB) 915732

[startup+402.875 s]
/proc/loadavg: 1.00 1.01 1.00 2/85 22918
/proc/meminfo: memFree=1722240/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=402.6
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14887 0 1 0 40227 33 0 0 25 0 8 0 156148264 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074081350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14615 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.6
Current children cumulated vsize (KiB) 915732

[startup+462.975 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 22918
/proc/meminfo: memFree=1722240/2055920 swapFree=4170284/4192956
[pid=22712] ppid=22710 vsize=915732 CPUtime=462.68
/proc/22712/stat : 22712 (java) R 22710 22712 21897 0 -1 0 14887 0 1 0 46234 34 0 0 25 0 8 0 156148264 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074107370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22712/statm: 228933 14615 2533 14 0 215403 0
[pid=22712/tid=22714] ppid=22710 vsize=915732 CPUtime=0.07
/proc/22712/task/22714/stat : 22714 (java) S 22710 22712 21897 0 -1 64 914 0 0 0 7 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22715] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22715/stat : 22715 (java) S 22710 22712 21897 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22716] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22716/stat : 22716 (java) S 22710 22712 21897 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156148268 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22717] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22717/stat : 22717 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22718] ppid=22710 vsize=915732 CPUtime=0.35
/proc/22712/task/22718/stat : 22718 (java) S 22710 22712 21897 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22712/tid=22719] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22719/stat : 22719 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22712/tid=22720] ppid=22710 vsize=915732 CPUtime=0
/proc/22712/task/22720/stat : 22720 (java) S 22710 22712 21897 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156148271 937709568 14615 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.68
Current children cumulated vsize (KiB) 915732

Child status: 0
Real time (s): 507.035
CPU time (s): 506.7
CPU user time (s): 506.34
CPU system time (s): 0.359945
CPU usage (%): 99.9338
Max. virtual memory (cumulated for all children) (KiB): 915732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 506.34
system time used= 0.359945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14893
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= 11566
involuntary context switches= 7300

runsolver used 0.474927 s user time and 1.35479 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan  6 09:58:57 UTC 2007


IDJOB= 213950
IDBENCH= 4887
FILE ID= node20/213950-1168077537

PBS_JOBID= 3475956

Free space on /tmp= 66546 MiB

BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213950-1168077537/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-213950-1168077537 -o ROOT/results/node20/solver-213950-1168077537 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/213950-1168077537/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  b2c1e60b5d6560b6adf6904a2b6ef697

RANDOM SEED= 542641457

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.216
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.216
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:       1771664 kB
Buffers:         38548 kB
Cached:         150744 kB
SwapCached:       4236 kB
Active:          71948 kB
Inactive:       143896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1771664 kB
SwapTotal:     4192956 kB
SwapFree:      4170284 kB
Dirty:            2292 kB
Writeback:           0 kB
Mapped:          40340 kB
Slab:            53692 kB
Committed_AS:  2824836 kB
PageTables:       2020 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= 66546 MiB



End job on node20 on Sat Jan  6 10:07:24 UTC 2007