Trace number 252529

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESACSAT 372.437 374.385

DiagnosticValue
CHECKS107697022
NODES60813

General information on the benchmark

NamesocialGolfers/
socialGolfer-6-4-8.xml
MD5SUMaaf8b5330dc32e7696d08f880e11996b
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 benchmark239.695
SatisfiableYES
(Un)Satisfiability was proved
Number of variables4512
Number of constraints24544
Maximum constraint arity32
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension24544
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=esac.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/252529-1168407753/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.54	     nbVariables=4512  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.54	       =>  wckTime=0.224  cpuTime=0.15  mem=8M836
0.54	   
0.54	   predicates being loaded...
0.55	   
0.55	   constraints being loaded...
3.75	     nbConstraints=24544  nbConflictsStructures=3  nbSharedConflictsStructures=24493  nbUnbuiltConflictsStructures=1
3.75	     nbSharedBinaryRepresentations=0  nbEvaluationManagers=4  nbSharedEvaluationManagers=24540  maxDegree=33
3.75	     maxArity=32
3.75	       =>  wckTime=3.437  cpuTime=2.91  mem=49M244
4.01	   
4.01	   solver IterativeSystematicSolver being built... 
4.88	       =>  wckTime=4.564  cpuTime=3.54  mem=67M120
28.65	   
28.65	   preprocessing
28.65	     nbConstraintChecks=16525  nbValidityChecks=28748  nbPropagations=9835  nbRevisions=33165  nbUselessRevisions=32352
28.65	     nbSingletonTests=4611  nbEffectiveSingletonTests=0  nbESACBranches=11  nbRemovedValues=0  detectedInconsistency=no
28.65	       =>  wckTime=23.759  cpuTime=23.47  mem=69M147
32.03	   
32.03	   search
32.03	     run=0  nbConstraintChecks=1052653  nbValidityChecks=2730  nbPropagations=10202  nbRevisions=35825
32.03	     nbUselessRevisions=34760  nbAssignments=115  nbFailedAssignments=1  nbBacktracks=31  nbVisitedNodes=117
32.03	     nbRestartNogoods=0  mapSize=1  nbInferences=0  nbTooLargeKeys=0
32.03	       =>  wckTime=27.135  cpuTime=26.79  mem=69M147
32.43	   
32.43	   search
32.43	     run=1  nbConstraintChecks=1058463  nbValidityChecks=7864  nbPropagations=20813  nbRevisions=75979
32.43	     nbUselessRevisions=73379  nbAssignments=235  nbFailedAssignments=4  nbBacktracks=48  nbVisitedNodes=242
32.43	     nbRestartNogoods=1  mapSize=5  nbInferences=0  nbTooLargeKeys=0
32.43	       =>  wckTime=27.541  cpuTime=27.19  mem=69M147
36.62	   
36.62	   search
36.62	     run=2  nbConstraintChecks=2184943  nbValidityChecks=20073  nbPropagations=32296  nbRevisions=127230
36.62	     nbUselessRevisions=122508  nbAssignments=608  nbFailedAssignments=8  nbBacktracks=70  nbVisitedNodes=623
36.62	     nbRestartNogoods=2  mapSize=12  nbInferences=0  nbTooLargeKeys=0
36.62	       =>  wckTime=31.734  cpuTime=31.34  mem=70M161
41.13	   
41.13	   search
41.13	     run=3  nbConstraintChecks=3309145  nbValidityChecks=38073  nbPropagations=45309  nbRevisions=193523
41.13	     nbUselessRevisions=185529  nbAssignments=1136  nbFailedAssignments=19  nbBacktracks=105  nbVisitedNodes=1180
41.13	     nbRestartNogoods=3  mapSize=34  nbInferences=0  nbTooLargeKeys=0
41.13	       =>  wckTime=36.235  cpuTime=35.79  mem=70M161
54.69	   
54.70	   search
54.70	     run=4  nbConstraintChecks=7586640  nbValidityChecks=72408  nbPropagations=61475  nbRevisions=288854
54.70	     nbUselessRevisions=275282  nbAssignments=2296  nbFailedAssignments=35  nbBacktracks=156  nbVisitedNodes=1941
54.70	     nbRestartNogoods=10  mapSize=60  nbInferences=0  nbTooLargeKeys=0
54.70	       =>  wckTime=49.804  cpuTime=49.22  mem=72M188
75.85	   
75.85	   search
75.85	     run=5  nbConstraintChecks=13747231  nbValidityChecks=214551  nbPropagations=88720  nbRevisions=506964
75.85	     nbUselessRevisions=480192  nbAssignments=6455  nbFailedAssignments=53  nbBacktracks=234  nbVisitedNodes=3191
75.85	     nbRestartNogoods=21  mapSize=93  nbInferences=0  nbTooLargeKeys=0
75.85	       =>  wckTime=70.959  cpuTime=70.19  mem=75M229
106.65	   
106.68	   search
106.68	     run=6  nbConstraintChecks=22944365  nbValidityChecks=467624  nbPropagations=131524  nbRevisions=952086
106.68	     nbUselessRevisions=901930  nbAssignments=12132  nbFailedAssignments=75  nbBacktracks=349  nbVisitedNodes=4786
106.68	     nbRestartNogoods=33  mapSize=115  nbInferences=0  nbTooLargeKeys=0
106.68	       =>  wckTime=101.764  cpuTime=100.7  mem=81M310
268.87	   
268.87	   search
268.87	     run=7  nbConstraintChecks=82677425  nbValidityChecks=1095445  nbPropagations=208739  nbRevisions=1972754
268.87	     nbUselessRevisions=1877183  nbAssignments=24601  nbFailedAssignments=123  nbBacktracks=537  nbVisitedNodes=5912
268.87	     nbRestartNogoods=48  mapSize=166  nbInferences=0  nbTooLargeKeys=0
268.87	       =>  wckTime=263.982  cpuTime=262.15  mem=83M337
284.76	   
284.76	   search
284.76	     run=8  nbConstraintChecks=87696905  nbValidityChecks=1179381  nbPropagations=289675  nbRevisions=3062064
284.76	     nbUselessRevisions=2918569  nbAssignments=26174  nbFailedAssignments=153  nbBacktracks=796  nbVisitedNodes=7282
284.76	     nbRestartNogoods=51  mapSize=222  nbInferences=0  nbTooLargeKeys=0
284.76	       =>  wckTime=279.874  cpuTime=278.05  mem=87M392
299.24	   
299.24	   search
299.24	     run=9  nbConstraintChecks=91559802  nbValidityChecks=1353328  nbPropagations=378248  nbRevisions=4296399
299.24	     nbUselessRevisions=4097563  nbAssignments=28559  nbFailedAssignments=226  nbBacktracks=1187  nbVisitedNodes=9366
299.24	     nbRestartNogoods=56  mapSize=347  nbInferences=0  nbTooLargeKeys=0
299.24	       =>  wckTime=294.353  cpuTime=292.52  mem=94M487
324.56	   
324.56	   search
324.56	     run=10  nbConstraintChecks=98736901  nbValidityChecks=1807614  nbPropagations=489032  nbRevisions=5958930
324.56	     nbUselessRevisions=5689229  nbAssignments=36640  nbFailedAssignments=321  nbBacktracks=1763  nbVisitedNodes=10754
324.56	     nbRestartNogoods=63  mapSize=553  nbInferences=0  nbTooLargeKeys=0
324.56	       =>  wckTime=319.673  cpuTime=317.79  mem=96M514
332.25	   
332.25	   search
332.25	     run=11  nbConstraintChecks=99557705  nbValidityChecks=2008271  nbPropagations=608461  nbRevisions=7791713
332.25	     nbUselessRevisions=7442998  nbAssignments=39363  nbFailedAssignments=446  nbBacktracks=2628  nbVisitedNodes=13416
332.25	     nbRestartNogoods=66  mapSize=828  nbInferences=0  nbTooLargeKeys=0
332.25	       =>  wckTime=327.362  cpuTime=325.41  mem=68M756
353.46	   
353.46	   INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=81M5)
355.03	   
355.03	   search
355.03	     run=12  nbConstraintChecks=103184134  nbValidityChecks=2745330  nbPropagations=763562  nbRevisions=10288073
355.03	     nbUselessRevisions=9834304  nbAssignments=51383  nbFailedAssignments=575  nbBacktracks=3938  nbVisitedNodes=16529
355.03	     nbRestartNogoods=75
355.03	       =>  wckTime=350.141  cpuTime=348.15  mem=81M5
374.31	   
374.31	   search
374.31	     run=13  nbConstraintChecks=107680497  nbValidityChecks=3180731  nbPropagations=941685  nbRevisions=13164347
374.31	     nbUselessRevisions=12589708  nbAssignments=60813  nbFailedAssignments=729  nbBacktracks=4952  nbVisitedNodes=22549
374.31	     nbRestartNogoods=86
374.31	       =>  wckTime=369.425  cpuTime=367.42  mem=81M5
374.32	   
374.32	   global
374.32	     nbConstraintChecks=107697022  nbValidityChecks=3209479  nbPropagations=951520  nbRevisions=13197512
374.32	     nbUselessRevisions=12622060  nbRestartNogoods=86  solvingWckTime=369.426  solvingCpuTime=367.42  expiredTime=no
374.32	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=371.02
374.32	       =>  wckTime=373.998  cpuTime=370.96  mem=81M5
374.32	   
374.32	s SATISFIABLE
374.32	v 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 
374.32	d NODES 60813
374.32	d CHECKS 107697022
374.32	   
374.32	   totalWckTime=374.084  totalCpuTime=371.03

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/node30/watcher-252529-1168407753 -o ROOT/results/node30/solver-252529-1168407753 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252529-1168407753/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.71 1.22 1.17 4/94 27580
/proc/meminfo: memFree=1081624/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=9948 CPUtime=0
/proc/27579/stat : 27579 (java) S 27577 27579 27250 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 189169279 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/27579/statm: 2487 472 386 14 0 1142 0

[startup+0.104193 s]
/proc/loadavg: 1.71 1.22 1.17 4/94 27580
/proc/meminfo: memFree=1081624/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=914988 CPUtime=0.08
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 2989 0 1 0 8 0 0 0 18 0 8 0 189169279 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.512222 s]
/proc/loadavg: 1.71 1.22 1.17 4/94 27580
/proc/meminfo: memFree=1081624/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915328 CPUtime=0.49
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 6123 0 1 0 46 3 0 0 18 0 8 0 189169279 937295872 5862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228832 5862 2126 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33427 s]
/proc/loadavg: 1.82 1.25 1.18 3/101 27587
/proc/meminfo: memFree=1019296/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915620 CPUtime=1.31
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 17837 0 1 0 119 12 0 0 24 0 8 0 189169279 937594880 17575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073533797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228905 17575 2147 14 0 215375 0
[pid=27579/tid=27581] ppid=27577 vsize=915620 CPUtime=0.05
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 1337 0 0 0 5 0 0 0 17 0 8 0 189169283 937594880 17575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915620 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937594880 17575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915620 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189169284 937594880 17575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915620 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937594880 17575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915620 CPUtime=0.14
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 398 0 0 0 14 0 0 0 16 0 8 0 189169287 937594880 17575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915620 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937594880 17575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915620 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937594880 17575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915620

[startup+2.98092 s]
/proc/loadavg: 1.82 1.25 1.18 3/101 27587
/proc/meminfo: memFree=1009568/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915624 CPUtime=2.93
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 20187 0 1 0 207 86 0 0 25 0 8 0 189169279 937598976 19923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228906 19923 2179 14 0 215376 0
[pid=27579/tid=27581] ppid=27577 vsize=915624 CPUtime=0.14
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 3580 0 0 0 13 1 0 0 16 0 8 0 189169283 937598976 19923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915624 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937598976 19923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915624 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 189169284 937598976 19923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915624 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937598976 19923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915624 CPUtime=0.18
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 414 0 0 0 17 1 0 0 16 0 8 0 189169287 937598976 19923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915624 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937598976 19923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915624 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937598976 19923 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915624

[startup+6.19059 s]
/proc/loadavg: 1.83 1.27 1.18 4/101 27587
/proc/meminfo: memFree=895584/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=6.09
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 30539 0 1 0 492 117 0 0 25 0 8 0 189169279 937836544 30209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074168313 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228964 30209 2546 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.68
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 13367 0 0 0 63 5 0 0 17 0 8 0 189169283 937836544 30209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 30209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 30209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 30209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.32
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 503 0 0 0 31 1 0 0 16 0 8 0 189169287 937836544 30209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 30209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 30209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915856

[startup+12.677 s]
/proc/loadavg: 1.84 1.28 1.18 3/101 27587
/proc/meminfo: memFree=831592/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=12.51
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 30546 0 1 0 1134 117 0 0 25 0 8 0 189169279 937836544 30213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074168296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228964 30213 2546 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.68
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 13367 0 0 0 63 5 0 0 17 0 8 0 189169283 937836544 30213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 30213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 30213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 30213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.33
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 509 0 0 0 32 1 0 0 15 0 8 0 189169287 937836544 30213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 30213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 30213 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915856

[startup+25.5518 s]
/proc/loadavg: 1.94 1.32 1.20 3/101 27587
/proc/meminfo: memFree=821928/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=25.26
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 30553 0 1 0 2408 118 0 0 25 0 8 0 189169279 937836544 30218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074144478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228964 30218 2546 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.68
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 13367 0 0 0 63 5 0 0 16 0 8 0 189169283 937836544 30218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 30218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 30218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 30218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.35
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 515 0 0 0 33 2 0 0 16 0 8 0 189169287 937836544 30218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 30218 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 30218 18446744073709551615 134512640 134570532 4294956480 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) 915856

[startup+51.1745 s]
/proc/loadavg: 1.96 1.38 1.22 3/101 27587
/proc/meminfo: memFree=787048/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=50.62
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 30580 0 1 0 4944 118 0 0 25 0 8 0 189169279 937836544 30240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852978 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228964 30240 2548 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.68
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 13367 0 0 0 63 5 0 0 16 0 8 0 189169283 937836544 30240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 30240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 30240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 30240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.38
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 533 0 0 0 36 2 0 0 15 0 8 0 189169287 937836544 30240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 30240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 30240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 915856

[startup+102.397 s]
/proc/loadavg: 2.27 1.54 1.28 4/101 27587
/proc/meminfo: memFree=780456/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=101.38
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 30586 0 1 0 10019 119 0 0 25 0 8 0 189169279 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073855639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228964 30244 2548 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.68
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 13367 0 0 0 63 5 0 0 16 0 8 0 189169283 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.39
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 537 0 0 0 37 2 0 0 16 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 915856

[startup+162.467 s]
/proc/loadavg: 2.47 1.74 1.37 3/101 27587
/proc/meminfo: memFree=779816/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=160.91
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 30586 0 1 0 15971 120 0 0 25 0 8 0 189169279 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27579/statm: 228964 30244 2548 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.68
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 13367 0 0 0 63 5 0 0 16 0 8 0 189169283 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.39
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 537 0 0 0 37 2 0 0 16 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 915856

[startup+222.483 s]
/proc/loadavg: 2.17 1.78 1.40 3/95 27651
/proc/meminfo: memFree=1476832/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=220.7
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 30586 0 1 0 21949 121 0 0 25 0 8 0 189169279 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856444 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27579/statm: 228964 30244 2548 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.68
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 13367 0 0 0 63 5 0 0 16 0 8 0 189169283 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.39
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 537 0 0 0 37 2 0 0 16 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.7
Current children cumulated vsize (KiB) 915856

[startup+282.498 s]
/proc/loadavg: 2.06 1.82 1.44 3/95 27651
/proc/meminfo: memFree=1465128/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=280.68
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 30586 0 1 0 27946 122 0 0 25 0 8 0 189169279 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27579/statm: 228964 30244 2548 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.68
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 13367 0 0 0 63 5 0 0 16 0 8 0 189169283 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.39
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 537 0 0 0 37 2 0 0 16 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 30244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.68
Current children cumulated vsize (KiB) 915856

[startup+342.524 s]
/proc/loadavg: 2.02 1.85 1.47 3/95 27651
/proc/meminfo: memFree=1443880/2055920 swapFree=4167304/4192956
[pid=27579] ppid=27577 vsize=915856 CPUtime=340.65
/proc/27579/stat : 27579 (java) R 27577 27579 27250 0 -1 0 32606 0 1 0 33942 123 0 0 25 0 8 0 189169279 937836544 32257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074144480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27579/statm: 228964 32257 2548 14 0 215434 0
[pid=27579/tid=27581] ppid=27577 vsize=915856 CPUtime=0.74
/proc/27579/task/27581/stat : 27581 (java) S 27577 27579 27250 0 -1 64 15375 0 0 0 68 6 0 0 16 0 8 0 189169283 937836544 32257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27579/tid=27582] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27250 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 189169284 937836544 32257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27583] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27250 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 189169284 937836544 32257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27584] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27250 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 189169287 937836544 32257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27585] ppid=27577 vsize=915856 CPUtime=0.4
/proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27250 0 -1 64 543 0 0 0 38 2 0 0 16 0 8 0 189169287 937836544 32257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27579/tid=27586] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 189169287 937836544 32257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27579/tid=27587] ppid=27577 vsize=915856 CPUtime=0
/proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27250 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 189169287 937836544 32257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.65
Current children cumulated vsize (KiB) 915856

Child status: 0
Real time (s): 374.385
CPU time (s): 372.437
CPU user time (s): 371.182
CPU system time (s): 1.25581
CPU usage (%): 99.4799
Max. virtual memory (cumulated for all children) (KiB): 915984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 371.182
system time used= 1.25581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32620
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= 9376
involuntary context switches= 19274

runsolver used 0.478927 s user time and 1.20582 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Wed Jan 10 05:42:33 UTC 2007


IDJOB= 252529
IDBENCH= 12951
FILE ID= node30/252529-1168407753

PBS_JOBID= 3523368

Free space on /tmp= 66469 MiB

BENCH NAME= HOME/pub/bench/CPAI06/socialGolfers/socialGolfer-6-4-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252529-1168407753/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-252529-1168407753 -o ROOT/results/node30/solver-252529-1168407753 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/252529-1168407753/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  aaf8b5330dc32e7696d08f880e11996b

RANDOM SEED= 265453023

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.234
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.234
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:       1082104 kB
Buffers:         37976 kB
Cached:         327996 kB
SwapCached:       2588 kB
Active:         689156 kB
Inactive:       229512 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1082104 kB
SwapTotal:     4192956 kB
SwapFree:      4167304 kB
Dirty:           28804 kB
Writeback:           0 kB
Mapped:         575524 kB
Slab:            38768 kB
Committed_AS:  4829484 kB
PageTables:       3320 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= 66489 MiB



End job on node30 on Wed Jan 10 05:48:48 UTC 2007