Trace number 214028

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 487.324 492.283

DiagnosticValue
CHECKS119950676
NODES349378

General information on the benchmark

NamepseudoSeries/par/
par-16-2.xml
MD5SUM943f9e56236aca9d1f32a5d4420aad28
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 benchmark1.93
SatisfiableYES
(Un)Satisfiability was provedYES
Number of variables2030
Number of constraints4313
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4313
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=mac.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/214028-1168077574/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.60	     nbVariables=2030  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.60	       =>  wckTime=0.27  cpuTime=0.18  mem=10M820
0.61	   
0.61	   predicates being loaded...
0.61	   
0.61	   constraints being loaded...
1.32	     nbConstraints=4313  nbSingletonDomainVariables=766  nbConvertedConstraints=1941  nbConvertConstraintsChecks=64
1.32	     nbExtensionStructures=7  nbSharedExtensionStructures=1934  nbConflictsStructures=22
1.32	     nbSharedConflictsStructures=4291  nbSharedBinaryRepresentations=16  nbEvaluationManagers=15
1.32	     nbSharedEvaluationManagers=2357  maxDegree=43  maxArity=3
1.32	       =>  wckTime=0.989  cpuTime=0.8  mem=36M174
1.42	   
1.42	   solver IterativeSystematicSolver being built... 
1.74	       =>  wckTime=1.409  cpuTime=1.05  mem=36M926
1.78	   
1.78	   preprocessing
1.78	     nbConstraintChecks=0  nbPropagations=2030  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
1.78	     detectedInconsistency=no
1.78	       =>  wckTime=0.027  cpuTime=0.02  mem=36M926
1.94	   
1.94	   search
1.94	     run=0  nbConstraintChecks=12206  nbValidityChecks=4362  nbPropagations=5941  nbRevisions=13030
1.94	     nbUselessRevisions=9108  nbAssignments=41  nbFailedAssignments=3  nbBacktracks=10  nbVisitedNodes=49
1.94	     nbRestartNogoods=0  mapSize=5  nbInferences=0  nbTooLargeKeys=0
1.94	       =>  wckTime=0.184  cpuTime=0.14  mem=37M900
2.03	   
2.03	   search
2.03	     run=1  nbConstraintChecks=24381  nbValidityChecks=10518  nbPropagations=16069  nbRevisions=40391
2.03	     nbUselessRevisions=28344  nbAssignments=84  nbFailedAssignments=6  nbBacktracks=26  nbVisitedNodes=100
2.03	     nbRestartNogoods=2  mapSize=11  nbInferences=0  nbTooLargeKeys=0
2.03	       =>  wckTime=0.284  cpuTime=0.23  mem=37M900
2.15	   
2.15	   search
2.15	     run=2  nbConstraintChecks=43048  nbValidityChecks=20046  nbPropagations=32545  nbRevisions=89210
2.15	     nbUselessRevisions=62658  nbAssignments=141  nbFailedAssignments=13  nbBacktracks=48  nbVisitedNodes=170
2.15	     nbRestartNogoods=4  mapSize=20  nbInferences=0  nbTooLargeKeys=0
2.15	       =>  wckTime=0.405  cpuTime=0.35  mem=37M900
2.31	   
2.31	   search
2.31	     run=3  nbConstraintChecks=65728  nbValidityChecks=31758  nbPropagations=56733  nbRevisions=164289
2.31	     nbUselessRevisions=115482  nbAssignments=212  nbFailedAssignments=22  nbBacktracks=82  nbVisitedNodes=256
2.31	     nbRestartNogoods=8  mapSize=32  nbInferences=0  nbTooLargeKeys=0
2.31	       =>  wckTime=0.56  cpuTime=0.5  mem=37M900
2.49	   
2.49	   search
2.49	     run=4  nbConstraintChecks=90266  nbValidityChecks=44454  nbPropagations=89289  nbRevisions=267771
2.49	     nbUselessRevisions=188294  nbAssignments=293  nbFailedAssignments=32  nbBacktracks=133  nbVisitedNodes=354
2.49	     nbRestartNogoods=11  mapSize=48  nbInferences=0  nbTooLargeKeys=0
2.49	       =>  wckTime=0.734  cpuTime=0.67  mem=37M900
2.77	   
2.77	   search
2.77	     run=5  nbConstraintChecks=132325  nbValidityChecks=65916  nbPropagations=135984  nbRevisions=419256
2.77	     nbUselessRevisions=294872  nbAssignments=415  nbFailedAssignments=46  nbBacktracks=216  nbVisitedNodes=506
2.77	     nbRestartNogoods=12  mapSize=76  nbInferences=0  nbTooLargeKeys=0
2.77	       =>  wckTime=1.024  cpuTime=0.95  mem=37M900
3.15	   
3.15	   search
3.15	     run=6  nbConstraintChecks=194094  nbValidityChecks=97570  nbPropagations=203498  nbRevisions=641288
3.15	     nbUselessRevisions=451039  nbAssignments=581  nbFailedAssignments=66  nbBacktracks=334  nbVisitedNodes=717
3.15	     nbRestartNogoods=14  mapSize=118  nbInferences=0  nbTooLargeKeys=0
3.15	       =>  wckTime=1.399  cpuTime=1.32  mem=37M900
3.64	   
3.64	   search
3.64	     run=7  nbConstraintChecks=250467  nbValidityChecks=128507  nbPropagations=290021  nbRevisions=931037
3.64	     nbUselessRevisions=655666  nbAssignments=821  nbFailedAssignments=100  nbBacktracks=511  nbVisitedNodes=1022
3.64	     nbRestartNogoods=17  mapSize=180  nbInferences=0  nbTooLargeKeys=0
3.64	       =>  wckTime=1.89  cpuTime=1.81  mem=37M900
4.32	   
4.32	   search
4.32	     run=8  nbConstraintChecks=327210  nbValidityChecks=171344  nbPropagations=402721  nbRevisions=1317410
4.32	     nbUselessRevisions=930071  nbAssignments=1156  nbFailedAssignments=152  nbBacktracks=767  nbVisitedNodes=1454
4.32	     nbRestartNogoods=20  mapSize=274  nbInferences=0  nbTooLargeKeys=0
4.32	       =>  wckTime=2.57  cpuTime=2.48  mem=37M900
5.44	   
5.44	   search
5.44	     run=9  nbConstraintChecks=471661  nbValidityChecks=251491  nbPropagations=563947  nbRevisions=1878904
5.44	     nbUselessRevisions=1330192  nbAssignments=1640  nbFailedAssignments=212  nbBacktracks=1152  nbVisitedNodes=2074
5.44	     nbRestartNogoods=23  mapSize=407  nbInferences=0  nbTooLargeKeys=0
5.44	       =>  wckTime=3.689  cpuTime=3.57  mem=37M900
7.03	   
7.03	   search
7.03	     run=10  nbConstraintChecks=727135  nbValidityChecks=398189  nbPropagations=811943  nbRevisions=2760294
7.03	     nbUselessRevisions=1961368  nbAssignments=2371  nbFailedAssignments=326  nbBacktracks=1736  nbVisitedNodes=3051
7.03	     nbRestartNogoods=26  mapSize=648  nbInferences=0  nbTooLargeKeys=0
7.03	       =>  wckTime=5.276  cpuTime=5.12  mem=38M874
9.08	   
9.08	   search
9.08	     run=11  nbConstraintChecks=985811  nbValidityChecks=563589  nbPropagations=1147546  nbRevisions=3992495
9.08	     nbUselessRevisions=2852018  nbAssignments=3404  nbFailedAssignments=455  nbBacktracks=2604  nbVisitedNodes=4389
9.08	     nbRestartNogoods=31  mapSize=948  nbInferences=0  nbTooLargeKeys=0
9.08	       =>  wckTime=7.329  cpuTime=7.15  mem=38M874
9.61	   
9.61	   INFO : Stopping hyperNogood (mapSize=1015, nbTooLargekeys=0, mem=38M874)
11.30	   
11.30	   search
11.30	     run=12  nbConstraintChecks=1462688  nbValidityChecks=828713  nbPropagations=1643220  nbRevisions=5811842
11.30	     nbUselessRevisions=4163185  nbAssignments=4982  nbFailedAssignments=699  nbBacktracks=3905  nbVisitedNodes=6438
11.30	     nbRestartNogoods=36
11.30	       =>  wckTime=9.549  cpuTime=9.35  mem=38M874
14.35	   
14.35	   search
14.35	     run=13  nbConstraintChecks=2234844  nbValidityChecks=1241643  nbPropagations=2398981  nbRevisions=8547407
14.35	     nbUselessRevisions=6121137  nbAssignments=7302  nbFailedAssignments=1040  nbBacktracks=5851  nbVisitedNodes=9429
14.35	     nbRestartNogoods=41
14.35	       =>  wckTime=12.599  cpuTime=12.37  mem=38M874
18.77	   
18.77	   search
18.77	     run=14  nbConstraintChecks=3313611  nbValidityChecks=1859202  nbPropagations=3518077  nbRevisions=12621082
18.77	     nbUselessRevisions=9043012  nbAssignments=10735  nbFailedAssignments=1523  nbBacktracks=8772  nbVisitedNodes=13885
18.77	     nbRestartNogoods=44
18.77	       =>  wckTime=17.021  cpuTime=16.75  mem=38M874
25.05	   
25.05	   search
25.05	     run=15  nbConstraintChecks=4694929  nbValidityChecks=2674432  nbPropagations=5090019  nbRevisions=18436051
25.05	     nbUselessRevisions=13233325  nbAssignments=15892  nbFailedAssignments=2254  nbBacktracks=13172
25.05	     nbVisitedNodes=20591  nbRestartNogoods=50
25.05	       =>  wckTime=23.301  cpuTime=22.97  mem=38M874
35.17	   
35.17	   search
35.17	     run=16  nbConstraintChecks=7160642  nbValidityChecks=4210725  nbPropagations=7510319  nbRevisions=27528176
35.17	     nbUselessRevisions=19819362  nbAssignments=23626  nbFailedAssignments=3384  nbBacktracks=19751
35.17	     nbVisitedNodes=30590  nbRestartNogoods=56
35.17	       =>  wckTime=33.424  cpuTime=33.0  mem=38M874
50.23	   
50.23	   search
50.23	     run=17  nbConstraintChecks=10863186  nbValidityChecks=6457174  nbPropagations=11181635  nbRevisions=41445045
50.23	     nbUselessRevisions=29935417  nbAssignments=35186  nbFailedAssignments=5073  nbBacktracks=29604
50.23	     nbVisitedNodes=45456  nbRestartNogoods=64
50.23	       =>  wckTime=48.481  cpuTime=47.92  mem=38M874
71.44	   
71.44	   search
71.44	     run=18  nbConstraintChecks=15371373  nbValidityChecks=9304024  nbPropagations=16380924  nbRevisions=61424644
71.44	     nbUselessRevisions=44527384  nbAssignments=52338  nbFailedAssignments=7396  nbBacktracks=44382
71.44	     nbVisitedNodes=66977  nbRestartNogoods=70
71.44	       =>  wckTime=69.686  cpuTime=68.93  mem=38M874
108.82	   
108.82	   search
108.82	     run=19  nbConstraintChecks=24660674  nbValidityChecks=14909745  nbPropagations=24726575  nbRevisions=93596517
108.82	     nbUselessRevisions=68063702  nbAssignments=78592  nbFailedAssignments=11452  nbBacktracks=66555
108.82	     nbVisitedNodes=101604  nbRestartNogoods=82
108.82	       =>  wckTime=107.066  cpuTime=105.82  mem=38M874
160.00	   
160.00	   search
160.00	     run=20  nbConstraintChecks=36511551  nbValidityChecks=22225652  nbPropagations=37050812  nbRevisions=141264049
160.00	     nbUselessRevisions=102975898  nbAssignments=117510  nbFailedAssignments=17071  nbBacktracks=99831
160.00	     nbVisitedNodes=151618  nbRestartNogoods=89
160.00	       =>  wckTime=158.244  cpuTime=156.41  mem=38M874
251.57	   
251.57	   search
251.57	     run=21  nbConstraintChecks=61487452  nbValidityChecks=37260246  nbPropagations=57735207  nbRevisions=221403100
251.57	     nbUselessRevisions=161703115  nbAssignments=178022  nbFailedAssignments=27681  nbBacktracks=149709
251.57	     nbVisitedNodes=231966  nbRestartNogoods=94
251.57	       =>  wckTime=249.819  cpuTime=247.06  mem=38M874
379.46	   
379.46	   search
379.46	     run=22  nbConstraintChecks=93321143  nbValidityChecks=56672030  nbPropagations=89184907  nbRevisions=343466456
379.46	     nbUselessRevisions=251205355  nbAssignments=267065  nbFailedAssignments=41882  nbBacktracks=224530
379.46	     nbVisitedNodes=348554  nbRestartNogoods=101
379.46	       =>  wckTime=377.714  cpuTime=373.75  mem=38M874
492.23	   
492.23	   search
492.23	     run=23  nbConstraintChecks=119950676  nbValidityChecks=73298668  nbPropagations=129695831  nbRevisions=501187270
492.23	     nbUselessRevisions=366956818  nbAssignments=349378  nbFailedAssignments=54379  nbBacktracks=292316
492.23	     nbVisitedNodes=456026  nbRestartNogoods=108
492.23	       =>  wckTime=490.482  cpuTime=485.47  mem=38M874
492.23	   
492.23	   global
492.23	     nbConstraintChecks=119950676  nbValidityChecks=73298668  nbPropagations=129697861  nbRevisions=501187270
492.23	     nbUselessRevisions=366956818  nbRestartNogoods=108  solvingWckTime=490.483  solvingCpuTime=485.47  expiredTime=no
492.23	     totalExploration=no  nbFoundSolutions=1  globalCpuTime=486.6
492.23	       =>  wckTime=491.899  cpuTime=486.54  mem=38M874
492.24	   
492.24	s SATISFIABLE
492.24	v 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 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 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 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 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 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 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 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 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 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 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 
492.24	d NODES 349378
492.24	d CHECKS 119950676
492.24	   
492.24	   totalWckTime=491.989  totalCpuTime=486.6

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/node17/watcher-214028-1168077574 -o ROOT/results/node17/solver-214028-1168077574 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214028-1168077574/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.80 1.88 5/93 12667
/proc/meminfo: memFree=1554664/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=18540 CPUtime=0
/proc/12666/stat : 12666 (runsolver) R 12664 12666 10817 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156152259 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12666/statm: 4635 279 244 17 0 2626 0

[startup+0.107761 s]
/proc/loadavg: 1.84 1.80 1.88 5/93 12667
/proc/meminfo: memFree=1554664/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=914988 CPUtime=0.09
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 2960 0 1 0 7 2 0 0 17 0 8 0 156152259 936947712 2706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2862368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228747 2706 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515797 s]
/proc/loadavg: 1.84 1.80 1.88 5/93 12667
/proc/meminfo: memFree=1554664/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915328 CPUtime=0.49
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 6396 0 1 0 45 4 0 0 18 0 8 0 156152259 937295872 6135 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228832 6135 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33689 s]
/proc/loadavg: 1.84 1.80 1.88 3/100 12674
/proc/meminfo: memFree=1513968/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915644 CPUtime=1.3
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 13493 0 1 0 105 25 0 0 24 0 8 0 156152259 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228911 13230 2179 14 0 215381 0
[pid=12666/tid=12668] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12668/stat : 12668 (java) R 12664 12666 10817 0 -1 64 15 0 0 0 0 0 0 0 16 0 8 0 156152263 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156152264 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 156152264 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915644 CPUtime=0.22
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 435 0 0 0 21 1 0 0 16 0 8 0 156152267 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915644 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937619456 13230 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915644

[startup+2.97755 s]
/proc/loadavg: 1.85 1.80 1.88 3/100 12674
/proc/meminfo: memFree=1506032/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=2.92
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14883 0 1 0 265 27 0 0 25 0 8 0 156152259 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074136000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14619 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 17 0 8 0 156152263 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.35
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 508 0 0 0 33 2 0 0 15 0 8 0 156152267 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915732

[startup+6.18585 s]
/proc/loadavg: 1.85 1.80 1.88 3/100 12674
/proc/meminfo: memFree=1505840/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=6.1
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14900 0 1 0 582 28 0 0 25 0 8 0 156152259 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074153330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14632 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 17 0 8 0 156152263 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.38
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 523 0 0 0 36 2 0 0 15 0 8 0 156152267 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14632 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915732

[startup+12.6611 s]
/proc/loadavg: 1.87 1.81 1.88 3/100 12674
/proc/meminfo: memFree=1505968/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=12.51
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14908 0 1 0 1223 28 0 0 25 0 8 0 156152259 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074104160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14636 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 17 0 8 0 156152263 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 528 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14636 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14636 18446744073709551615 134512640 134570532 4294956464 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) 915732

[startup+25.5334 s]
/proc/loadavg: 1.89 1.82 1.88 3/100 12674
/proc/meminfo: memFree=1506032/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=25.26
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14911 0 1 0 2498 28 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074090015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 15 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915732

[startup+51.1661 s]
/proc/loadavg: 1.93 1.83 1.88 3/100 12674
/proc/meminfo: memFree=1506096/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=50.66
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14911 0 1 0 5038 28 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074092550 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 15 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 915732

[startup+102.432 s]
/proc/loadavg: 2.03 1.87 1.89 3/106 12756
/proc/meminfo: memFree=1504824/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=101.34
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14911 0 1 0 10105 29 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074158803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 15 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 915732

[startup+162.474 s]
/proc/loadavg: 2.01 1.89 1.90 3/106 12840
/proc/meminfo: memFree=1504832/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=160.68
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14912 0 1 0 16039 29 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074153330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.68
Current children cumulated vsize (KiB) 915732

[startup+222.495 s]
/proc/loadavg: 2.00 1.91 1.90 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=220.08
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14912 0 1 0 21979 29 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074158803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.08
Current children cumulated vsize (KiB) 915732

[startup+282.504 s]
/proc/loadavg: 2.00 1.92 1.91 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=279.52
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14912 0 1 0 27922 30 0 0 25 0 8 0 156152259 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074110851 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14638 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 530 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14638 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.52
Current children cumulated vsize (KiB) 915732

[startup+342.516 s]
/proc/loadavg: 2.00 1.93 1.91 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=338.97
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14913 0 1 0 33866 31 0 0 25 0 8 0 156152259 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074165964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14639 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 531 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.97
Current children cumulated vsize (KiB) 915732

[startup+402.526 s]
/proc/loadavg: 2.03 1.96 1.91 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=398.42
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14913 0 1 0 39810 32 0 0 25 0 8 0 156152259 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074178084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14639 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 531 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.42
Current children cumulated vsize (KiB) 915732

[startup+462.534 s]
/proc/loadavg: 2.01 1.96 1.91 3/100 12872
/proc/meminfo: memFree=1505904/2055920 swapFree=4192812/4192956
[pid=12666] ppid=12664 vsize=915732 CPUtime=457.87
/proc/12666/stat : 12666 (java) R 12664 12666 10817 0 -1 0 14913 0 1 0 45755 32 0 0 25 0 8 0 156152259 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074107334 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12666/statm: 228933 14639 2533 14 0 215403 0
[pid=12666/tid=12668] ppid=12664 vsize=915732 CPUtime=0.08
/proc/12666/task/12668/stat : 12668 (java) S 12664 12666 10817 0 -1 64 916 0 0 0 8 0 0 0 16 0 8 0 156152263 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12669] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12669/stat : 12669 (java) S 12664 12666 10817 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12670] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12670/stat : 12670 (java) S 12664 12666 10817 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156152264 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12671] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12671/stat : 12671 (java) S 12664 12666 10817 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12672] ppid=12664 vsize=915732 CPUtime=0.39
/proc/12666/task/12672/stat : 12672 (java) S 12664 12666 10817 0 -1 64 531 0 0 0 37 2 0 0 16 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12673] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12673/stat : 12673 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156152267 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12666/tid=12674] ppid=12664 vsize=915732 CPUtime=0
/proc/12666/task/12674/stat : 12674 (java) S 12664 12666 10817 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156152268 937709568 14639 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.87
Current children cumulated vsize (KiB) 915732

Child status: 0
Real time (s): 492.283
CPU time (s): 487.324
CPU user time (s): 486.98
CPU system time (s): 0.343947
CPU usage (%): 98.9926
Max. virtual memory (cumulated for all children) (KiB): 915732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 486.98
system time used= 0.343947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14925
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= 11697
involuntary context switches= 20863

runsolver used 0.661899 s user time and 1.68874 s system time

The end

Launcher Data (download as text)

Begin job on node17 on Sat Jan  6 09:59:35 UTC 2007


IDJOB= 214028
IDBENCH= 4893
FILE ID= node17/214028-1168077574

PBS_JOBID= 3475745

Free space on /tmp= 66317 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  943f9e56236aca9d1f32a5d4420aad28

RANDOM SEED= 182800029

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.236
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.236
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:       1555144 kB
Buffers:         46644 kB
Cached:         234604 kB
SwapCached:          0 kB
Active:         206088 kB
Inactive:       205284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1555144 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2296 kB
Writeback:           0 kB
Mapped:         159152 kB
Slab:            73852 kB
Committed_AS:  4565112 kB
PageTables:       2436 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= 66317 MiB



End job on node17 on Sat Jan  6 10:07:47 UTC 2007