Trace number 215159

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 156.403 157.921

DiagnosticValue
CHECKS134635715
NODES26071

General information on the benchmark

NamepseudoSeries/
ii/ii-16b2.xml
MD5SUM4d12c58291d687c2585394719117e174
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 benchmark4.23
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2152
Number of constraints17197
Maximum constraint arity16
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension17197
Global constraints used (with number of constraints)

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=mac.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/215159-1168077874/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.55	     nbVariables=2152  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.55	       =>  wckTime=0.24  cpuTime=0.16  mem=9M844
0.55	   
0.55	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
2.97	     nbConstraints=17193  nbMergedConstraints=4  nbConvertedConstraints=16308  nbConvertConstraintsChecks=131096
2.97	     nbExtensionStructures=2  nbSharedExtensionStructures=16306  nbConflictsStructures=5
2.97	     nbSharedConflictsStructures=17188  nbSharedBinaryRepresentations=5  nbEvaluationManagers=3
2.97	     nbSharedEvaluationManagers=882  maxDegree=154  maxArity=16
2.97	       =>  wckTime=2.652  cpuTime=2.3  mem=34M678
3.11	   
3.11	   solver IterativeSystematicSolver being built... 
3.48	       =>  wckTime=3.168  cpuTime=2.58  mem=65M186
3.54	   
3.54	   preprocessing
3.54	     nbConstraintChecks=0  nbPropagations=2152  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
3.54	     detectedInconsistency=no
3.54	       =>  wckTime=0.044  cpuTime=0.03  mem=66M195
4.44	   
4.44	   search
4.44	     run=0  nbConstraintChecks=68580  nbValidityChecks=24  nbPropagations=7019  nbRevisions=37968
4.44	     nbUselessRevisions=33105  nbAssignments=183  nbFailedAssignments=6  nbBacktracks=11  nbVisitedNodes=194
4.44	     nbRestartNogoods=0  mapSize=7  nbInferences=0  nbTooLargeKeys=0
4.44	       =>  wckTime=0.95  cpuTime=0.9  mem=67M204
5.33	   
5.33	   search
5.33	     run=1  nbConstraintChecks=155988  nbValidityChecks=2915  nbPropagations=21062  nbRevisions=128359
5.33	     nbUselessRevisions=111574  nbAssignments=364  nbFailedAssignments=13  nbBacktracks=31  nbVisitedNodes=389
5.33	     nbRestartNogoods=3  mapSize=20  nbInferences=0  nbTooLargeKeys=0
5.33	       =>  wckTime=1.84  cpuTime=1.78  mem=67M204
6.16	   
6.16	   search
6.16	     run=2  nbConstraintChecks=260377  nbValidityChecks=4048  nbPropagations=42215  nbRevisions=279528
6.16	     nbUselessRevisions=243615  nbAssignments=537  nbFailedAssignments=22  nbBacktracks=53  nbVisitedNodes=578
6.16	     nbRestartNogoods=4  mapSize=35  nbInferences=0  nbTooLargeKeys=0
6.16	       =>  wckTime=2.675  cpuTime=2.6  mem=67M204
7.26	   
7.26	   search
7.26	     run=3  nbConstraintChecks=385653  nbValidityChecks=9455  nbPropagations=73803  nbRevisions=510612
7.26	     nbUselessRevisions=445019  nbAssignments=726  nbFailedAssignments=30  nbBacktracks=90  nbVisitedNodes=787
7.26	     nbRestartNogoods=5  mapSize=52  nbInferences=0  nbTooLargeKeys=0
7.26	       =>  wckTime=3.773  cpuTime=3.67  mem=67M204
8.23	   
8.23	   search
8.23	     run=4  nbConstraintChecks=554599  nbValidityChecks=10850  nbPropagations=115081  nbRevisions=839845
8.23	     nbUselessRevisions=734615  nbAssignments=900  nbFailedAssignments=44  nbBacktracks=142  nbVisitedNodes=985
8.23	     nbRestartNogoods=8  mapSize=73  nbInferences=0  nbTooLargeKeys=0
8.23	       =>  wckTime=4.744  cpuTime=4.62  mem=67M204
9.71	   
9.71	   search
9.71	     run=5  nbConstraintChecks=915909  nbValidityChecks=26890  nbPropagations=180494  nbRevisions=1407624
9.71	     nbUselessRevisions=1237844  nbAssignments=1133  nbFailedAssignments=81  nbBacktracks=229  nbVisitedNodes=1270
9.71	     nbRestartNogoods=11  mapSize=122  nbInferences=0  nbTooLargeKeys=0
9.71	       =>  wckTime=6.222  cpuTime=6.08  mem=67M204
11.93	   
11.93	   search
11.93	     run=6  nbConstraintChecks=1474748  nbValidityChecks=35901  nbPropagations=283262  nbRevisions=2340144
11.93	     nbUselessRevisions=2067085  nbAssignments=1446  nbFailedAssignments=139  nbBacktracks=352  nbVisitedNodes=1660
11.93	     nbRestartNogoods=14  mapSize=192  nbInferences=0  nbTooLargeKeys=0
11.93	       =>  wckTime=8.443  cpuTime=8.28  mem=68M212
14.81	   
14.81	   search
14.81	     run=7  nbConstraintChecks=2714579  nbValidityChecks=89435  nbPropagations=456122  nbRevisions=4120473
14.81	     nbUselessRevisions=3670710  nbAssignments=1826  nbFailedAssignments=226  nbBacktracks=538  nbVisitedNodes=2173
14.81	     nbRestartNogoods=21  mapSize=309  nbInferences=0  nbTooLargeKeys=0
14.81	       =>  wckTime=11.326  cpuTime=11.12  mem=68M212
18.80	   
18.80	   search
18.80	     run=8  nbConstraintChecks=4975416  nbValidityChecks=117573  nbPropagations=734741  nbRevisions=7398221
18.80	     nbUselessRevisions=6662698  nbAssignments=2344  nbFailedAssignments=371  nbBacktracks=800  nbVisitedNodes=2898
18.80	     nbRestartNogoods=30  mapSize=484  nbInferences=7  nbTooLargeKeys=0
18.81	       =>  wckTime=15.319  cpuTime=15.07  mem=69M221
24.11	   
24.11	   search
24.11	     run=9  nbConstraintChecks=8379243  nbValidityChecks=223451  nbPropagations=1158629  nbRevisions=12995478
24.11	     nbUselessRevisions=11824596  nbAssignments=3101  nbFailedAssignments=618  nbBacktracks=1197  nbVisitedNodes=3954
24.11	     nbRestartNogoods=43  mapSize=769  nbInferences=29  nbTooLargeKeys=0
24.11	       =>  wckTime=20.625  cpuTime=20.32  mem=70M229
31.28	   
31.28	   search
31.28	     run=10  nbConstraintChecks=12921394  nbValidityChecks=271183  nbPropagations=1772575  nbRevisions=21581849
31.28	     nbUselessRevisions=19777387  nbAssignments=4098  nbFailedAssignments=971  nbBacktracks=1781  nbVisitedNodes=5330
31.28	     nbRestartNogoods=51  mapSize=1141  nbInferences=33  nbTooLargeKeys=0
31.28	       =>  wckTime=27.794  cpuTime=27.42  mem=71M238
40.16	   
40.16	   search
40.16	     run=11  nbConstraintChecks=17031711  nbValidityChecks=396804  nbPropagations=2557586  nbRevisions=32940756
40.16	     nbUselessRevisions=30324419  nbAssignments=5317  nbFailedAssignments=1279  nbBacktracks=2647  nbVisitedNodes=6899
40.16	     nbRestartNogoods=54  mapSize=1481  nbInferences=47  nbTooLargeKeys=0
40.16	       =>  wckTime=36.674  cpuTime=36.19  mem=30M991
55.03	   
55.03	   search
55.03	     run=12  nbConstraintChecks=30147580  nbValidityChecks=546798  nbPropagations=3846173  nbRevisions=52541218
55.03	     nbUselessRevisions=48586252  nbAssignments=7620  nbFailedAssignments=2251  nbBacktracks=3948  nbVisitedNodes=10301
55.03	     nbRestartNogoods=56  mapSize=2556  nbInferences=50  nbTooLargeKeys=0
55.03	       =>  wckTime=51.547  cpuTime=50.92  mem=33M23
78.64	   
78.64	   search
78.64	     run=13  nbConstraintChecks=52336841  nbValidityChecks=959809  nbPropagations=5958447  nbRevisions=86000480
78.64	     nbUselessRevisions=79844009  nbAssignments=11221  nbFailedAssignments=3864  nbBacktracks=5894  nbVisitedNodes=15764
78.64	     nbRestartNogoods=75  mapSize=4379  nbInferences=50  nbTooLargeKeys=0
78.64	       =>  wckTime=75.155  cpuTime=74.32  mem=36M70
113.37	   
113.37	   search
113.37	     run=14  nbConstraintChecks=87376621  nbValidityChecks=1479236  nbPropagations=9329042  nbRevisions=140858607
113.37	     nbUselessRevisions=131185122  nbAssignments=16582  nbFailedAssignments=6278  nbBacktracks=8819
113.37	     nbVisitedNodes=24057  nbRestartNogoods=106  mapSize=7296  nbInferences=50  nbTooLargeKeys=0
113.37	       =>  wckTime=109.883  cpuTime=108.72  mem=40M132
148.51	   
148.51	   INFO : Stopping hyperNogood (mapSize=10027, nbTooLargekeys=0, mem=44M195)
157.86	   
157.86	   search
157.86	     run=15  nbConstraintChecks=134635715  nbValidityChecks=2065325  nbPropagations=14461894  nbRevisions=225061420
157.86	     nbUselessRevisions=210036826  nbAssignments=26071  nbFailedAssignments=9562  nbBacktracks=12872
157.86	     nbVisitedNodes=37511  nbRestartNogoods=119
157.86	       =>  wckTime=154.374  cpuTime=152.81  mem=44M195
157.86	   
157.86	   global
157.86	     nbConstraintChecks=134635715  nbValidityChecks=2065325  nbPropagations=14464046  nbRevisions=225061420
157.86	     nbUselessRevisions=210036826  nbRestartNogoods=119  solvingWckTime=154.375  solvingCpuTime=152.81  expiredTime=no
157.86	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=155.44
157.86	       =>  wckTime=157.548  cpuTime=155.4  mem=44M195
157.86	   
157.86	s SATISFIABLE
157.86	v 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 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 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 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 1 0 1 0 0 1 1 0 1 0 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 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 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 1 0 1 0 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 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 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 1 0 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 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 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 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 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 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 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 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 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 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 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 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 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 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 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 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 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 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 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 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 
157.86	d NODES 26071
157.86	d CHECKS 134635715
157.86	   
157.86	   totalWckTime=157.63  totalCpuTime=155.44

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/node14/watcher-215159-1168077874 -o ROOT/results/node14/solver-215159-1168077874 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215159-1168077874/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.96 2.00 2.00 4/93 25799
/proc/meminfo: memFree=1433896/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=906644 CPUtime=0.02
/proc/25798/stat : 25798 (java) S 25796 25798 25731 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 156182334 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 226661 1818 1036 14 0 214244 0
[pid=25798/tid=25800] ppid=25796 vsize=906644 CPUtime=0
/proc/25798/task/25800/stat : 25800 (java) R 25796 25798 25731 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156182337 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104783 s]
/proc/loadavg: 1.96 2.00 2.00 4/93 25799
/proc/meminfo: memFree=1433896/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=914988 CPUtime=0.08
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 3002 0 1 0 7 1 0 0 17 0 8 0 156182334 936947712 2748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155240736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228747 2748 1428 14 0 215242 0
[pid=25798/tid=25800] ppid=25796 vsize=914988 CPUtime=0
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156182337 936947712 2748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512822 s]
/proc/loadavg: 1.96 2.00 2.00 4/93 25799
/proc/meminfo: memFree=1433896/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915328 CPUtime=0.49
/proc/25798/stat : 25798 (java) S 25796 25798 25731 0 -1 0 6587 0 1 0 46 3 0 0 18 0 8 0 156182334 937295872 6326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228832 6326 2135 14 0 215302 0
[pid=25798/tid=25800] ppid=25796 vsize=915328 CPUtime=0
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156182337 937295872 6326 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.3339 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1373424/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915636 CPUtime=1.3
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 17492 0 1 0 121 9 0 0 22 0 8 0 156182334 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813931 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228909 17230 2178 14 0 215379 0
[pid=25798/tid=25800] ppid=25796 vsize=915636 CPUtime=0.03
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 889 0 0 0 3 0 0 0 17 0 8 0 156182337 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915636 CPUtime=0.17
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 413 0 0 0 17 0 0 0 16 0 8 0 156182341 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937611264 17230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937611264 17230 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) 915636

[startup+2.97105 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1357872/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915636 CPUtime=2.92
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 21336 0 1 0 210 82 0 0 25 0 8 0 156182334 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228909 21072 2188 14 0 215379 0
[pid=25798/tid=25800] ppid=25796 vsize=915636 CPUtime=0.14
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 4682 0 0 0 13 1 0 0 17 0 8 0 156182337 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915636 CPUtime=0.23
/proc/25798/task/25804/stat : 25804 (java) R 25796 25798 25731 0 -1 64 442 0 0 0 22 1 0 0 16 0 8 0 156182341 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152967141 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915636 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937611264 21072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915636

[startup+6.18336 s]
/proc/loadavg: 1.96 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1344176/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=6.11
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25100 0 1 0 526 85 0 0 25 0 8 0 156182334 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074200054 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 24815 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.27
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 7930 0 0 0 25 2 0 0 17 0 8 0 156182337 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.36
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 527 0 0 0 35 1 0 0 15 0 8 0 156182341 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 24815 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915872

[startup+12.658 s]
/proc/loadavg: 1.97 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1344248/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=12.5
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25111 0 1 0 1165 85 0 0 25 0 8 0 156182334 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 24823 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.27
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 7930 0 0 0 25 2 0 0 17 0 8 0 156182337 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.38
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 536 0 0 0 37 1 0 0 16 0 8 0 156182341 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 24823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915872

[startup+25.5402 s]
/proc/loadavg: 1.97 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1344376/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=25.26
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25124 0 1 0 2441 85 0 0 25 0 8 0 156182334 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074164890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 24829 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.27
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 7930 0 0 0 25 2 0 0 16 0 8 0 156182337 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.4
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 546 0 0 0 38 2 0 0 16 0 8 0 156182341 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 24829 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915872

[startup+51.1736 s]
/proc/loadavg: 1.98 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1341560/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=50.66
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25849 0 1 0 4980 86 0 0 25 0 8 0 156182334 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074207203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 25551 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.31
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 8648 0 0 0 28 3 0 0 16 0 8 0 156182337 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.41
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 550 0 0 0 39 2 0 0 17 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915872

[startup+102.436 s]
/proc/loadavg: 1.99 2.00 2.00 3/100 25806
/proc/meminfo: memFree=1341624/2055920 swapFree=4182236/4192956
[pid=25798] ppid=25796 vsize=915872 CPUtime=101.45
/proc/25798/stat : 25798 (java) R 25796 25798 25731 0 -1 0 25849 0 1 0 10059 86 0 0 25 0 8 0 156182334 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074156553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25798/statm: 228968 25551 2537 14 0 215438 0
[pid=25798/tid=25800] ppid=25796 vsize=915872 CPUtime=0.31
/proc/25798/task/25800/stat : 25800 (java) S 25796 25798 25731 0 -1 64 8648 0 0 0 28 3 0 0 16 0 8 0 156182337 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25801] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25801/stat : 25801 (java) S 25796 25798 25731 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25802] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25802/stat : 25802 (java) S 25796 25798 25731 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156182338 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25803] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25803/stat : 25803 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25804] ppid=25796 vsize=915872 CPUtime=0.41
/proc/25798/task/25804/stat : 25804 (java) S 25796 25798 25731 0 -1 64 550 0 0 0 39 2 0 0 17 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25805] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25805/stat : 25805 (java) S 25796 25798 25731 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25798/tid=25806] ppid=25796 vsize=915872 CPUtime=0
/proc/25798/task/25806/stat : 25806 (java) S 25796 25798 25731 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156182341 937852928 25551 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915872

Child status: 0
Real time (s): 157.921
CPU time (s): 156.403
CPU user time (s): 155.51
CPU system time (s): 0.892864
CPU usage (%): 99.039
Max. virtual memory (cumulated for all children) (KiB): 915972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 155.51
system time used= 0.892864
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25862
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= 4835
involuntary context switches= 9547

runsolver used 0.235964 s user time and 0.477927 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan  6 10:04:34 UTC 2007


IDJOB= 215159
IDBENCH= 4980
FILE ID= node14/215159-1168077874

PBS_JOBID= 3475826

Free space on /tmp= 66326 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4d12c58291d687c2585394719117e174

RANDOM SEED= 739645341

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.227
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.227
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:       1434312 kB
Buffers:         57796 kB
Cached:         381732 kB
SwapCached:       3696 kB
Active:         161980 kB
Inactive:       359376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1434312 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            4088 kB
Writeback:           0 kB
Mapped:         101264 kB
Slab:            85040 kB
Committed_AS:  5486912 kB
PageTables:       2288 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= 66326 MiB



End job on node14 on Sat Jan  6 10:07:12 UTC 2007