Trace number 215406

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 626.15 629.146

DiagnosticValue
CHECKS225517503
NODES58588

General information on the benchmark

NamepseudoSeries/
ii/ii-16b1.xml
MD5SUM4163ccc10de5ab641614c8f6bd263422
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 benchmark6.45302
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables3456
Number of constraints26520
Maximum constraint arity16
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension26520
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/215406-1168078456/unknown.xml
0.37	   
0.37	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.57	     nbVariables=3456  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.57	       =>  wckTime=0.256  cpuTime=0.17  mem=11M778
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
3.95	     nbConstraints=26512  nbMergedConstraints=8  nbConvertedConstraints=25408  nbConvertConstraintsChecks=131336
3.95	     nbExtensionStructures=2  nbSharedExtensionStructures=25406  nbConflictsStructures=5
3.95	     nbSharedConflictsStructures=26507  nbSharedBinaryRepresentations=5  nbEvaluationManagers=3
3.95	     nbSharedEvaluationManagers=1101  maxDegree=121  maxArity=16
3.96	       =>  wckTime=3.643  cpuTime=3.19  mem=60M734
4.17	   
4.17	   solver IterativeSystematicSolver being built... 
4.63	       =>  wckTime=4.317  cpuTime=3.54  mem=50M915
4.69	   
4.69	   preprocessing
4.69	     nbConstraintChecks=0  nbPropagations=3456  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
4.69	     detectedInconsistency=no
4.69	       =>  wckTime=0.053  cpuTime=0.06  mem=51M923
8.44	   
8.44	   search
8.44	     run=0  nbConstraintChecks=52764  nbValidityChecks=148  nbPropagations=6186  nbRevisions=27681
8.44	     nbUselessRevisions=25171  nbAssignments=450  nbFailedAssignments=2  nbBacktracks=11  nbVisitedNodes=455
8.44	     nbRestartNogoods=0  mapSize=3  nbInferences=0  nbTooLargeKeys=0
8.44	       =>  wckTime=3.808  cpuTime=3.76  mem=51M923
12.31	   
12.31	   search
12.31	     run=1  nbConstraintChecks=110965  nbValidityChecks=1597  nbPropagations=16365  nbRevisions=87379
12.31	     nbUselessRevisions=78580  nbAssignments=911  nbFailedAssignments=6  nbBacktracks=36  nbVisitedNodes=923
12.31	     nbRestartNogoods=1  mapSize=9  nbInferences=0  nbTooLargeKeys=0
12.31	       =>  wckTime=7.679  cpuTime=7.6  mem=52M932
16.15	   
16.15	   search
16.15	     run=2  nbConstraintChecks=173304  nbValidityChecks=5165  nbPropagations=31655  nbRevisions=183651
16.15	     nbUselessRevisions=163662  nbAssignments=1373  nbFailedAssignments=11  nbBacktracks=58  nbVisitedNodes=1394
16.15	     nbRestartNogoods=2  mapSize=16  nbInferences=0  nbTooLargeKeys=0
16.15	       =>  wckTime=11.519  cpuTime=11.42  mem=52M932
20.12	   
20.12	   search
20.12	     run=3  nbConstraintChecks=249558  nbValidityChecks=7657  nbPropagations=54469  nbRevisions=323119
20.12	     nbUselessRevisions=284590  nbAssignments=1840  nbFailedAssignments=19  nbBacktracks=97  nbVisitedNodes=1877
20.12	     nbRestartNogoods=4  mapSize=31  nbInferences=0  nbTooLargeKeys=0
20.12	       =>  wckTime=15.484  cpuTime=15.35  mem=52M932
24.30	   
24.30	   search
24.30	     run=4  nbConstraintChecks=327591  nbValidityChecks=12478  nbPropagations=85103  nbRevisions=509188
24.30	     nbUselessRevisions=444469  nbAssignments=2309  nbFailedAssignments=27  nbBacktracks=154  nbVisitedNodes=2362
24.30	     nbRestartNogoods=5  mapSize=46  nbInferences=0  nbTooLargeKeys=0
24.30	       =>  wckTime=19.663  cpuTime=19.51  mem=53M940
28.03	   
28.03	   search
28.03	     run=5  nbConstraintChecks=467473  nbValidityChecks=19461  nbPropagations=129355  nbRevisions=778509
28.03	     nbUselessRevisions=673963  nbAssignments=2744  nbFailedAssignments=42  nbBacktracks=230  nbVisitedNodes=2827
28.03	     nbRestartNogoods=6  mapSize=74  nbInferences=0  nbTooLargeKeys=0
28.03	       =>  wckTime=23.396  cpuTime=23.22  mem=53M940
31.78	   
31.78	   search
31.78	     run=6  nbConstraintChecks=766923  nbValidityChecks=29925  nbPropagations=196029  nbRevisions=1226080
31.78	     nbUselessRevisions=1058726  nbAssignments=3189  nbFailedAssignments=87  nbBacktracks=346  nbVisitedNodes=3340
31.78	     nbRestartNogoods=8  mapSize=141  nbInferences=0  nbTooLargeKeys=0
31.78	       =>  wckTime=27.145  cpuTime=26.95  mem=53M940
37.09	   
37.09	   search
37.09	     run=7  nbConstraintChecks=1212133  nbValidityChecks=47238  nbPropagations=292501  nbRevisions=1942445
37.09	     nbUselessRevisions=1681488  nbAssignments=3688  nbFailedAssignments=146  nbBacktracks=523  nbVisitedNodes=3939
37.09	     nbRestartNogoods=9  mapSize=234  nbInferences=0  nbTooLargeKeys=0
37.09	       =>  wckTime=32.459  cpuTime=32.23  mem=54M949
45.10	   
45.10	   search
45.10	     run=8  nbConstraintChecks=2141557  nbValidityChecks=93465  nbPropagations=450551  nbRevisions=3239551
45.10	     nbUselessRevisions=2821099  nbAssignments=4375  nbFailedAssignments=274  nbBacktracks=780  nbVisitedNodes=4816
45.10	     nbRestartNogoods=10  mapSize=410  nbInferences=0  nbTooLargeKeys=0
45.10	       =>  wckTime=40.467  cpuTime=40.2  mem=56M966
56.83	   
56.83	   search
56.83	     run=9  nbConstraintChecks=4104926  nbValidityChecks=131619  nbPropagations=723006  nbRevisions=5810001
56.83	     nbUselessRevisions=5114610  nbAssignments=5347  nbFailedAssignments=555  nbBacktracks=1170  nbVisitedNodes=6115
56.83	     nbRestartNogoods=18  mapSize=717  nbInferences=9  nbTooLargeKeys=0
56.83	       =>  wckTime=52.196  cpuTime=51.87  mem=58M983
72.49	   
72.49	   search
72.49	     run=10  nbConstraintChecks=8264515  nbValidityChecks=399057  nbPropagations=1189607  nbRevisions=11320706
72.49	     nbUselessRevisions=10145632  nbAssignments=6625  nbFailedAssignments=991  nbBacktracks=1768  nbVisitedNodes=7876
72.49	     nbRestartNogoods=25  mapSize=1180  nbInferences=11  nbTooLargeKeys=0
72.49	       =>  wckTime=67.86  cpuTime=67.45  mem=62M8
94.80	   
94.80	   search
94.80	     run=11  nbConstraintChecks=14884871  nbValidityChecks=672504  nbPropagations=1934508  nbRevisions=21282107
94.80	     nbUselessRevisions=19335484  nbAssignments=8365  nbFailedAssignments=1630  nbBacktracks=2649  nbVisitedNodes=10329
94.80	     nbRestartNogoods=33  mapSize=1875  nbInferences=14  nbTooLargeKeys=0
94.80	       =>  wckTime=90.171  cpuTime=89.66  mem=65M34
125.62	   
125.62	   search
125.62	     run=12  nbConstraintChecks=19507519  nbValidityChecks=856048  nbPropagations=2875237  nbRevisions=34404124
125.62	     nbUselessRevisions=31481092  nbAssignments=10318  nbFailedAssignments=2092  nbBacktracks=3971  nbVisitedNodes=12774
125.62	     nbRestartNogoods=34  mapSize=2360  nbInferences=17  nbTooLargeKeys=0
125.62	       =>  wckTime=120.984  cpuTime=120.33  mem=71M85
169.93	   
169.93	   search
169.93	     run=13  nbConstraintChecks=32140947  nbValidityChecks=1074406  nbPropagations=4355698  nbRevisions=55915617
169.93	     nbUselessRevisions=51449138  nbAssignments=13634  nbFailedAssignments=3338  nbBacktracks=5933  nbVisitedNodes=17469
169.93	     nbRestartNogoods=35  mapSize=3678  nbInferences=62  nbTooLargeKeys=0
169.93	       =>  wckTime=165.297  cpuTime=164.42  mem=78M144
229.90	   
229.90	   search
229.90	     run=14  nbConstraintChecks=55826209  nbValidityChecks=1919018  nbPropagations=6690244  nbRevisions=92244807
229.90	     nbUselessRevisions=85328084  nbAssignments=18960  nbFailedAssignments=5612  nbBacktracks=8866  nbVisitedNodes=25407
229.90	     nbRestartNogoods=36  mapSize=6256  nbInferences=99  nbTooLargeKeys=0
229.90	       =>  wckTime=225.263  cpuTime=224.22  mem=88M229
339.20	   
339.20	   search
339.20	     run=15  nbConstraintChecks=94180632  nbValidityChecks=3407868  nbPropagations=10645514  nbRevisions=154652948
339.20	     nbUselessRevisions=143586956  nbAssignments=26885  nbFailedAssignments=9011  nbBacktracks=13245
339.20	     nbVisitedNodes=37370  nbRestartNogoods=40  mapSize=10265  nbInferences=99  nbTooLargeKeys=0
339.20	       =>  wckTime=334.571  cpuTime=333.2  mem=80M324
487.88	   
487.88	   search
487.88	     run=16  nbConstraintChecks=146435916  nbValidityChecks=4413565  nbPropagations=16539129  nbRevisions=249385832
487.88	     nbUselessRevisions=232121477  nbAssignments=38540  nbFailedAssignments=14019  nbBacktracks=19825
487.88	     nbVisitedNodes=54702  nbRestartNogoods=68  mapSize=15919  nbInferences=100  nbTooLargeKeys=0
487.88	       =>  wckTime=483.245  cpuTime=481.06  mem=102M511
598.12	   
598.12	   INFO : Stopping hyperNogood (mapSize=20042, nbTooLargekeys=0, mem=111M238)
629.08	   
629.08	   search
629.08	     run=17  nbConstraintChecks=225517503  nbValidityChecks=6457910  nbPropagations=25279616  nbRevisions=392832061
629.08	     nbUselessRevisions=366361713  nbAssignments=58588  nbFailedAssignments=21437  nbBacktracks=28999
629.08	     nbVisitedNodes=83358  nbRestartNogoods=77
629.08	       =>  wckTime=624.45  cpuTime=621.27  mem=111M238
629.08	   
629.08	   global
629.08	     nbConstraintChecks=225517503  nbValidityChecks=6457910  nbPropagations=25283072  nbRevisions=392832061
629.08	     nbUselessRevisions=366361713  nbRestartNogoods=77  solvingWckTime=624.451  solvingCpuTime=621.27  expiredTime=no
629.08	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=624.86
629.08	       =>  wckTime=628.773  cpuTime=624.81  mem=111M238
629.09	   
629.09	s SATISFIABLE
629.09	v 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 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 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 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 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 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 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 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 0 1 0 1 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 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 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 0 1 0 1 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 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 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 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 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 0 1 0 1 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 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 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 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 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 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 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 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 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 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 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 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 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 0 1 0 1 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 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 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 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 
629.09	d NODES 58588
629.09	d CHECKS 225517503
629.09	   
629.09	   totalWckTime=628.855  totalCpuTime=624.86

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-215406-1168078456 -o ROOT/results/node14/solver-215406-1168078456 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215406-1168078456/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.84 1.95 1.98 4/93 26025
/proc/meminfo: memFree=1375072/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=906644 CPUtime=0.02
/proc/26024/stat : 26024 (java) S 26022 26024 25217 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 156240556 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 226661 1817 1036 14 0 214244 0
[pid=26024/tid=26026] ppid=26022 vsize=906644 CPUtime=0
/proc/26024/task/26026/stat : 26026 (java) R 26022 26024 25217 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 156240560 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103352 s]
/proc/loadavg: 1.84 1.95 1.98 4/93 26025
/proc/meminfo: memFree=1375072/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=914988 CPUtime=0.08
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 3005 0 1 0 7 1 0 0 18 0 8 0 156240556 936947712 2751 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154020604 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228747 2751 1430 14 0 215242 0
[pid=26024/tid=26026] ppid=26022 vsize=914988 CPUtime=0
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156240560 936947712 2751 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.511392 s]
/proc/loadavg: 1.84 1.95 1.98 4/93 26025
/proc/meminfo: memFree=1375072/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915328 CPUtime=0.49
/proc/26024/stat : 26024 (java) S 26022 26024 25217 0 -1 0 6592 0 1 0 44 5 0 0 17 0 8 0 156240556 937295872 6331 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228832 6331 2135 14 0 215302 0
[pid=26024/tid=26026] ppid=26022 vsize=915328 CPUtime=0
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156240560 937295872 6331 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.33247 s]
/proc/loadavg: 1.84 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1314920/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915636 CPUtime=1.31
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 18094 0 1 0 120 11 0 0 21 0 8 0 156240556 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228909 17831 2157 14 0 215379 0
[pid=26024/tid=26026] ppid=26022 vsize=915636 CPUtime=0.05
/proc/26024/task/26026/stat : 26026 (java) R 26022 26024 25217 0 -1 64 1561 0 0 0 5 0 0 0 16 0 8 0 156240560 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156240561 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915636 CPUtime=0.16
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 405 0 0 0 15 1 0 0 16 0 8 0 156240564 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937611264 17831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937611264 17831 18446744073709551615 134512640 134570532 4294956464 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) 915636

[startup+2.97063 s]
/proc/loadavg: 1.84 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1306792/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915636 CPUtime=2.94
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 24238 0 1 0 226 68 0 0 25 0 8 0 156240556 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228909 23974 2178 14 0 215379 0
[pid=26024/tid=26026] ppid=26022 vsize=915636 CPUtime=0.21
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 7610 0 0 0 19 2 0 0 18 0 8 0 156240560 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156240561 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915636 CPUtime=0.21
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 435 0 0 0 20 1 0 0 16 0 8 0 156240564 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915636 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937611264 23974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636

[startup+6.17493 s]
/proc/loadavg: 1.85 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1270120/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=6.13
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28944 0 1 0 491 122 0 0 25 0 8 0 156240556 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28614 2534 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 17 0 8 0 156240560 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.36
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 519 0 0 0 34 2 0 0 15 0 8 0 156240564 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915872

[startup+12.6505 s]
/proc/loadavg: 1.87 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1270264/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=12.57
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28966 0 1 0 1134 123 0 0 25 0 8 0 156240556 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074192303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28632 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 17 0 8 0 156240560 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.39
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 534 0 0 0 37 2 0 0 15 0 8 0 156240564 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915872

[startup+25.5288 s]
/proc/loadavg: 1.89 1.95 1.98 3/100 26032
/proc/meminfo: memFree=1270392/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=25.39
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28977 0 1 0 2416 123 0 0 25 0 8 0 156240556 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28640 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 16 0 8 0 156240560 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.4
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 543 0 0 0 38 2 0 0 16 0 8 0 156240564 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28640 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915872

[startup+51.1642 s]
/proc/loadavg: 1.93 1.96 1.98 3/100 26032
/proc/meminfo: memFree=1270456/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=50.89
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28981 0 1 0 4966 123 0 0 25 0 8 0 156240556 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28642 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 16 0 8 0 156240560 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.41
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 546 0 0 0 39 2 0 0 16 0 8 0 156240564 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28642 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 915872

[startup+102.428 s]
/proc/loadavg: 1.97 1.96 1.98 3/100 26032
/proc/meminfo: memFree=1270456/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=101.92
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28993 0 1 0 10068 124 0 0 25 0 8 0 156240556 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074173889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228968 28648 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 16 0 8 0 156240560 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 553 0 0 0 40 2 0 0 17 0 8 0 156240564 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (KiB) 915872

################
# More data... #
################

/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.65
Current children cumulated vsize (KiB) 915872

[startup+222.532 s]
/proc/loadavg: 1.94 1.96 1.97 3/100 26088
/proc/meminfo: memFree=1288752/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=221.55
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 28994 0 1 0 22030 125 0 0 25 0 8 0 156240556 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 28649 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.45
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 11786 0 0 0 41 4 0 0 16 0 8 0 156240560 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 28649 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (KiB) 915872

[startup+282.597 s]
/proc/loadavg: 1.97 1.96 1.97 3/100 26090
/proc/meminfo: memFree=1265776/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=281.53
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 28026 127 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.53
Current children cumulated vsize (KiB) 915872

[startup+342.659 s]
/proc/loadavg: 1.99 1.97 1.97 3/100 26090
/proc/meminfo: memFree=1265840/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=341.36
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 34009 127 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074212579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.36
Current children cumulated vsize (KiB) 915872

[startup+402.717 s]
/proc/loadavg: 2.07 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1265904/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=401.11
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 39983 128 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.11
Current children cumulated vsize (KiB) 915872

[startup+462.778 s]
/proc/loadavg: 2.02 1.99 1.98 4/100 26090
/proc/meminfo: memFree=1265904/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=460.83
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 45955 128 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.83
Current children cumulated vsize (KiB) 915872

[startup+522.837 s]
/proc/loadavg: 2.01 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1265840/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=520.57
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 34700 0 1 0 51929 128 0 0 25 0 8 0 156240556 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 34354 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.51
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 17491 0 0 0 45 6 0 0 16 0 8 0 156240560 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 34354 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.57
Current children cumulated vsize (KiB) 915872

[startup+582.903 s]
/proc/loadavg: 2.00 1.99 1.98 3/100 26090
/proc/meminfo: memFree=1223664/2055920 swapFree=4182236/4192956
[pid=26024] ppid=26022 vsize=915872 CPUtime=580.32
/proc/26024/stat : 26024 (java) R 26022 26024 25217 0 -1 0 45275 0 1 0 57900 132 0 0 25 0 8 0 156240556 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228968 44928 2537 14 0 215438 0
[pid=26024/tid=26026] ppid=26022 vsize=915872 CPUtime=0.6
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25217 0 -1 64 28065 0 0 0 51 9 0 0 16 0 8 0 156240560 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25217 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156240561 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156240564 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915872 CPUtime=0.42
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25217 0 -1 64 554 0 0 0 40 2 0 0 16 0 8 0 156240564 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156240564 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915872 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25217 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156240564 937852928 44928 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 580.32
Current children cumulated vsize (KiB) 915872

Child status: 0
Real time (s): 629.146
CPU time (s): 626.15
CPU user time (s): 624.788
CPU system time (s): 1.36179
CPU usage (%): 99.5238
Max. virtual memory (cumulated for all children) (KiB): 915992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 624.788
system time used= 1.36179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45285
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= 14380
involuntary context switches= 26817

runsolver used 0.793879 s user time and 2.00069 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan  6 10:14:16 UTC 2007


IDJOB= 215406
IDBENCH= 4999
FILE ID= node14/215406-1168078456

PBS_JOBID= 3475803

Free space on /tmp= 66324 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  4163ccc10de5ab641614c8f6bd263422

RANDOM SEED= 302987041

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:       1375552 kB
Buffers:         57856 kB
Cached:         389356 kB
SwapCached:       3696 kB
Active:         218460 kB
Inactive:       361636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1375552 kB
SwapTotal:     4192956 kB
SwapFree:      4182236 kB
Dirty:            5168 kB
Writeback:           0 kB
Mapped:         152324 kB
Slab:            84936 kB
Committed_AS:  5496936 kB
PageTables:       2380 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= 66325 MiB



End job on node14 on Sat Jan  6 10:24:47 UTC 2007