Trace number 278903

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
AbsconMax 109 PFCMSAT (TO) 2400.09 2401.85

General information on the benchmark

NameMaxCSP/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/
kbtree-5-2-4-5-60-01_ext.xml
MD5SUMeff9a427e51b45015efb9278b4a46e28
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints171
Best CPU time to get the best result obtained on this benchmark3.90741
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints211
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension211
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/278903-1169289471/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.42	     nbVariables=62  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.42	       =>  wckTime=0.11  cpuTime=0.09  mem=6M910
0.42	   
0.42	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.56	     nbConstraints=211  nbRelationTypes=211  nbExtensionStructures=211  nbSharedExtensionStructures=0
0.56	     nbConflictsStructures=211  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2078  maxDegree=17
0.56	     maxArity=2
0.56	       =>  wckTime=0.251  cpuTime=0.17  mem=8M860
0.60	   
0.60	   solver LocalSearchSolver being built... 
0.64	       =>  wckTime=0.336  cpuTime=0.22  mem=5M574
0.65	
0.65	s SATISFIABLE
0.65	o 94
0.65	c 117
0.65	o 99
0.65	c 112
0.65	o 103
0.65	c 108
0.65	o 107
0.65	c 104
0.65	o 112
0.65	c 99
0.65	o 115
0.65	c 96
0.66	o 117
0.66	c 94
0.66	o 119
0.66	c 92
0.66	o 121
0.66	c 90
0.66	o 123
0.66	c 88
0.66	o 125
0.66	c 86
0.66	o 126
0.66	c 85
0.66	o 127
0.66	c 84
0.66	o 130
0.66	c 81
0.66	o 131
0.66	c 80
0.67	o 134
0.67	c 77
0.67	o 136
0.67	c 75
0.67	o 138
0.67	c 73
0.67	o 140
0.67	c 71
0.67	o 141
0.67	c 70
0.67	o 143
0.67	c 68
0.67	o 144
0.67	c 67
0.67	o 145
0.67	c 66
0.67	o 146
0.68	c 65
0.68	o 147
0.68	c 64
0.68	o 148
0.68	c 63
0.68	o 150
0.68	c 61
0.68	o 151
0.68	c 60
0.68	o 152
0.68	c 59
0.68	o 153
0.68	c 58
0.68	o 154
0.68	c 57
0.69	o 155
0.69	c 56
0.69	o 156
0.69	c 55
0.69	o 157
0.69	c 54
0.69	o 158
0.69	c 53
0.69	o 159
0.69	c 52
0.69	o 160
0.69	c 51
0.70	o 161
0.70	c 50
0.70	o 162
0.70	c 49
0.70	o 163
0.70	c 48
0.70	o 164
0.70	c 47
0.70	o 165
0.70	c 46
0.70	o 166
0.70	c 45
0.88	o 167
0.88	c 44
1.25	o 168
1.25	c 43
1.25	o 169
1.25	c 42
2.41	   
2.41	   search
2.41	     run=0  nbConstraintChecks=8545244  nbAssignments=10000
2.41	       =>  wckTime=1.769  cpuTime=1.74  mem=5M574
4.11	   
4.11	   search
4.11	     run=1  nbConstraintChecks=17653839  nbAssignments=20000
4.11	       =>  wckTime=3.473  cpuTime=3.42  mem=5M574
5.68	   
5.68	   search
5.68	     run=2  nbConstraintChecks=26314937  nbAssignments=30000
5.68	       =>  wckTime=5.037  cpuTime=4.98  mem=5M574
7.28	   
7.28	   search
7.28	     run=3  nbConstraintChecks=35096770  nbAssignments=40000
7.28	       =>  wckTime=6.64  cpuTime=6.57  mem=5M574
7.49	o 170
7.49	c 41
8.85	   
8.85	   search
8.85	     run=4  nbConstraintChecks=43670437  nbAssignments=50000
8.85	       =>  wckTime=8.206  cpuTime=8.13  mem=5M574
10.45	   
10.45	   search
10.45	     run=5  nbConstraintChecks=52565656  nbAssignments=60000
10.45	       =>  wckTime=9.812  cpuTime=9.73  mem=5M574
12.02	   
12.02	   search
12.02	     run=6  nbConstraintChecks=61060014  nbAssignments=70000
12.02	       =>  wckTime=11.375  cpuTime=11.29  mem=5M574
13.60	   
13.60	   search
13.60	     run=7  nbConstraintChecks=69765259  nbAssignments=80000
13.60	       =>  wckTime=12.957  cpuTime=12.88  mem=5M574
15.16	   
15.16	   search
15.16	     run=8  nbConstraintChecks=78285474  nbAssignments=90000
15.16	       =>  wckTime=14.515  cpuTime=14.43  mem=5M574
16.74	   
16.74	   search
16.74	     run=9  nbConstraintChecks=86995836  nbAssignments=100000
16.74	       =>  wckTime=16.103  cpuTime=16.02  mem=5M574
17.99	o 171
17.99	c 40
18.31	   
18.31	   search
18.31	     run=10  nbConstraintChecks=95635065  nbAssignments=110000
18.31	       =>  wckTime=17.671  cpuTime=17.58  mem=5M574
19.88	   
19.88	   search
19.88	     run=11  nbConstraintChecks=104322703  nbAssignments=120000
19.88	       =>  wckTime=19.236  cpuTime=19.15  mem=5M574
21.43	   
21.43	   search
21.43	     run=12  nbConstraintChecks=112886316  nbAssignments=130000
21.43	       =>  wckTime=20.788  cpuTime=20.7  mem=5M574
23.03	   
23.03	   search
23.03	     run=13  nbConstraintChecks=121979123  nbAssignments=140000
23.03	       =>  wckTime=22.393  cpuTime=22.3  mem=5M574
24.58	   
24.58	   search
24.58	     run=14  nbConstraintChecks=130516020  nbAssignments=150000
24.58	       =>  wckTime=23.943  cpuTime=23.86  mem=5M574
26.15	   
26.15	   search
26.15	     run=15  nbConstraintChecks=139217260  nbAssignments=160000
26.15	       =>  wckTime=25.509  cpuTime=25.42  mem=5M574
27.72	   
27.72	   search
27.72	     run=16  nbConstraintChecks=148005937  nbAssignments=170000
27.72	       =>  wckTime=27.084  cpuTime=27.0  mem=5M574
29.35	   
29.35	   search
29.35	     run=17  nbConstraintChecks=157092110  nbAssignments=180000
29.35	       =>  wckTime=28.705  cpuTime=28.62  mem=5M574
30.92	   
30.92	   search
30.92	     run=18  nbConstraintChecks=165731294  nbAssignments=190000
30.92	       =>  wckTime=30.277  cpuTime=30.19  mem=5M574
32.54	   
32.54	   search
32.54	     run=19  nbConstraintChecks=174787481  nbAssignments=200000
32.54	       =>  wckTime=31.898  cpuTime=31.81  mem=5M574
34.12	   
34.12	   search
34.12	     run=20  nbConstraintChecks=183503964  nbAssignments=210000
34.12	       =>  wckTime=33.481  cpuTime=33.39  mem=5M574
35.71	   
35.71	   search
35.71	     run=21  nbConstraintChecks=192280204  nbAssignments=220000
35.71	       =>  wckTime=35.071  cpuTime=34.97  mem=5M574
37.28	   
37.28	   search
37.28	     run=22  nbConstraintChecks=200906784  nbAssignments=230000
37.28	       =>  wckTime=36.642  cpuTime=36.55  mem=5M574
38.88	   
38.88	   search
38.88	     run=23  nbConstraintChecks=209789350  nbAssignments=240000
38.88	       =>  wckTime=38.235  cpuTime=38.14  mem=5M574
40.49	   
40.49	   search
40.49	     run=24  nbConstraintChecks=218353563  nbAssignments=250000
40.49	       =>  wckTime=39.85  cpuTime=39.74  mem=5M574
42.05	   
42.05	   search
42.05	     run=25  nbConstraintChecks=227055134  nbAssignments=260000
42.05	       =>  wckTime=41.414  cpuTime=41.3  mem=5M574
43.61	   
43.61	   search
43.61	     run=26  nbConstraintChecks=235682676  nbAssignments=270000
43.61	       =>  wckTime=42.972  cpuTime=42.87  mem=5M574
45.25	   
45.25	   search
45.25	     run=27  nbConstraintChecks=244378938  nbAssignments=280000
45.25	       =>  wckTime=44.605  cpuTime=44.49  mem=5M574
46.80	   
46.80	   search
46.80	     run=28  nbConstraintChecks=252965987  nbAssignments=290000
46.80	       =>  wckTime=46.161  cpuTime=46.05  mem=5M574
48.02	   
48.02	   search
48.02	     run=29  nbConstraintChecks=259851426  nbAssignments=297512
48.02	       =>  wckTime=47.378  cpuTime=47.27  mem=5M574
48.02	   
48.02	   global
48.02	     nbConstraintChecks=259851426  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
48.02	     solvingWckTime=47.375  solvingCpuTime=47.27  expiredTime=no  totalExploration=no  nbFoundSolutions=0
48.02	     globalCpuTime=47.53
48.02	       =>  wckTime=47.713  cpuTime=47.49  mem=5M574
48.02	   
48.02	   solver IterativeSystematicSolver being built... 
48.15	       =>  wckTime=47.843  cpuTime=47.58  mem=16M646
48.16	   
48.16	   preprocessing
48.16	     nbConstraintChecks=625  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
48.16	     detectedInconsistency=no
48.16	       =>  wckTime=0.0060  cpuTime=0.01  mem=16M646
48.23	   
48.23	   search
48.23	     run=0  nbConstraintChecks=71838  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=50
48.23	     nbFailedAssignments=18  nbBacktracks=10  nbVisitedNodes=79  nbRestartNogoods=0
48.23	       =>  wckTime=0.081  cpuTime=0.06  mem=16M646
48.28	   
48.28	   search
48.28	     run=1  nbConstraintChecks=158613  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=110
48.28	     nbFailedAssignments=36  nbBacktracks=25  nbVisitedNodes=172  nbRestartNogoods=2
48.28	       =>  wckTime=0.134  cpuTime=0.1  mem=16M646
48.34	   
48.34	   search
48.34	     run=2  nbConstraintChecks=285525  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=190
48.34	     nbFailedAssignments=66  nbBacktracks=47  nbVisitedNodes=304  nbRestartNogoods=6
48.34	       =>  wckTime=0.186  cpuTime=0.15  mem=16M646
48.42	   
48.42	   search
48.42	     run=3  nbConstraintChecks=487815  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=303
48.42	     nbFailedAssignments=125  nbBacktracks=80  nbVisitedNodes=509  nbRestartNogoods=12
48.42	       =>  wckTime=0.271  cpuTime=0.24  mem=16M646
48.50	   
48.50	   search
48.50	     run=4  nbConstraintChecks=698345  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=437
48.50	     nbFailedAssignments=178  nbBacktracks=130  nbVisitedNodes=746  nbRestartNogoods=14
48.50	       =>  wckTime=0.35  cpuTime=0.32  mem=16M646
48.64	   
48.64	   search
48.64	     run=5  nbConstraintChecks=1038063  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=621
48.64	     nbFailedAssignments=260  nbBacktracks=205  nbVisitedNodes=1087  nbRestartNogoods=19
48.64	       =>  wckTime=0.491  cpuTime=0.45  mem=16M646
48.87	   
48.87	   search
48.87	     run=6  nbConstraintChecks=1594617  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=910
48.87	     nbFailedAssignments=413  nbBacktracks=320  nbVisitedNodes=1644  nbRestartNogoods=25
48.87	       =>  wckTime=0.72  cpuTime=0.68  mem=16M646
49.17	   
49.17	   search
49.17	     run=7  nbConstraintChecks=2319535  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1292
49.17	     nbFailedAssignments=601  nbBacktracks=490  nbVisitedNodes=2384  nbRestartNogoods=29
49.17	       =>  wckTime=1.017  cpuTime=0.98  mem=16M646
49.63	   
49.63	   search
49.63	     run=8  nbConstraintChecks=3561557  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1958
49.63	     nbFailedAssignments=985  nbBacktracks=746  nbVisitedNodes=3690  nbRestartNogoods=37
49.63	       =>  wckTime=1.48  cpuTime=1.43  mem=16M646
50.21	   
50.21	   search
50.21	     run=9  nbConstraintChecks=5291688  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2880
50.21	     nbFailedAssignments=1500  nbBacktracks=1130  nbVisitedNodes=5511  nbRestartNogoods=45
50.21	       =>  wckTime=2.057  cpuTime=2.0  mem=16M646
51.00	   
51.00	   search
51.00	     run=10  nbConstraintChecks=7529261  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4108
51.00	     nbFailedAssignments=2125  nbBacktracks=1706  nbVisitedNodes=7940  nbRestartNogoods=53
51.00	       =>  wckTime=2.854  cpuTime=2.8  mem=16M646
52.34	   
52.34	   search
52.34	     run=11  nbConstraintChecks=11331118  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6060
52.34	     nbFailedAssignments=3187  nbBacktracks=2570  nbVisitedNodes=11818  nbRestartNogoods=60
52.34	       =>  wckTime=4.191  cpuTime=4.13  mem=16M646
54.28	   
54.28	   search
54.28	     run=12  nbConstraintChecks=16357637  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8703
54.28	     nbFailedAssignments=4506  nbBacktracks=3867  nbVisitedNodes=17077  nbRestartNogoods=68
54.28	       =>  wckTime=6.127  cpuTime=6.06  mem=16M646
56.92	   
56.92	   search
56.92	     run=13  nbConstraintChecks=24363747  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=12780
56.92	     nbFailedAssignments=6610  nbBacktracks=5814  nbVisitedNodes=25205  nbRestartNogoods=76
56.92	       =>  wckTime=8.767  cpuTime=8.7  mem=16M646
61.07	   
61.07	   search
61.07	     run=14  nbConstraintChecks=35334237  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=18674
61.07	     nbFailedAssignments=9556  nbBacktracks=8733  nbVisitedNodes=36964  nbRestartNogoods=87
61.07	       =>  wckTime=12.916  cpuTime=12.85  mem=16M646
66.72	   
66.72	   search
66.72	     run=15  nbConstraintChecks=51946767  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=27204
66.72	     nbFailedAssignments=13684  nbBacktracks=13111  nbVisitedNodes=54000  nbRestartNogoods=98
66.72	       =>  wckTime=18.572  cpuTime=18.5  mem=16M646
75.02	   
75.02	   search
75.02	     run=16  nbConstraintChecks=78158652  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=41151
75.02	     nbFailedAssignments=21036  nbBacktracks=19679  nbVisitedNodes=81867  nbRestartNogoods=105
75.02	       =>  wckTime=26.873  cpuTime=26.8  mem=16M646
91.33	   
91.33	   search
91.33	     run=17  nbConstraintChecks=120540691  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=62657
91.33	     nbFailedAssignments=32664  nbBacktracks=29531  nbVisitedNodes=124853  nbRestartNogoods=114
91.33	       =>  wckTime=43.175  cpuTime=43.09  mem=16M646
112.47	   
112.47	   search
112.47	     run=18  nbConstraintChecks=179655978  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=94201
112.47	     nbFailedAssignments=49403  nbBacktracks=44309  nbVisitedNodes=187914  nbRestartNogoods=124
112.47	       =>  wckTime=64.319  cpuTime=64.2  mem=16M646
152.56	   
152.56	   search
152.56	     run=19  nbConstraintChecks=285838563  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=148844
152.56	     nbFailedAssignments=81861  nbBacktracks=66477  nbVisitedNodes=297168  nbRestartNogoods=132
152.56	       =>  wckTime=104.41  cpuTime=104.26  mem=16M646
209.63	   
209.63	   search
209.63	     run=20  nbConstraintChecks=439295809  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=227971
209.63	     nbFailedAssignments=127716  nbBacktracks=99729  nbVisitedNodes=455377  nbRestartNogoods=149
209.63	       =>  wckTime=161.478  cpuTime=161.3  mem=16M646
308.66	   
308.66	   search
308.66	     run=21  nbConstraintChecks=667149650  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=348228
308.66	     nbFailedAssignments=198076  nbBacktracks=149607  nbVisitedNodes=695828  nbRestartNogoods=159
308.66	       =>  wckTime=260.51  cpuTime=260.26  mem=16M646
447.22	   
447.22	   search
447.22	     run=22  nbConstraintChecks=987109357  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=525328
447.22	     nbFailedAssignments=300342  nbBacktracks=224425  nbVisitedNodes=1049140  nbRestartNogoods=168
447.22	       =>  wckTime=399.069  cpuTime=398.73  mem=16M646
641.39	   
641.39	   search
641.39	     run=23  nbConstraintChecks=1433572515  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=786664
641.39	     nbFailedAssignments=449438  nbBacktracks=336652  nbVisitedNodes=1558730  nbRestartNogoods=180
641.39	       =>  wckTime=593.239  cpuTime=592.77  mem=16M646
861.46	   
861.46	   search
861.46	     run=24  nbConstraintChecks=1919825282  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1097208
861.46	     nbFailedAssignments=591622  nbBacktracks=504995  nbVisitedNodes=2167186  nbRestartNogoods=191
861.46	       =>  wckTime=813.31  cpuTime=812.69  mem=16M646
1112.13	   
1112.13	   search
1112.13	     run=25  nbConstraintChecks=2563041409  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1553073
1112.13	     nbFailedAssignments=794947  nbBacktracks=757506  nbVisitedNodes=3058338  nbRestartNogoods=202
1112.13	       =>  wckTime=1063.983  cpuTime=1063.18  mem=16M646
1468.26	   
1468.26	   search
1468.26	     run=26  nbConstraintChecks=3427065224  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2170798
1468.26	     nbFailedAssignments=1033885  nbBacktracks=1136273  nbVisitedNodes=4228509  nbRestartNogoods=216
1468.26	       =>  wckTime=1420.109  cpuTime=1419.05  mem=16M646
2039.56	   
2039.56	   search
2039.56	     run=27  nbConstraintChecks=4796604615  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3090458
2039.56	     nbFailedAssignments=1385364  nbBacktracks=1704429  nbVisitedNodes=6022437  nbRestartNogoods=224
2039.56	       =>  wckTime=1991.413  cpuTime=1989.93  mem=16M646
2401.84	v 1 0 3 2 0 0 4 3 0 3 3 4 4 1 4 1 1 1 2 4 2 0 1 0 2 2 2 2 1 1 2 3 4 4 2 1 4 0 1 0 2 1 4 2 1 1 2 0 2 4 3 0 1 3 1 1 1 4 3 4 0 1

Verifier Data (download as text)

40 unsatisfied constraints, 171 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node38/watcher-278903-1169289471 -o ROOT/results/node38/solver-278903-1169289471 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278903-1169289471/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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: 0.60 1.04 1.45 4/73 30498
/proc/meminfo: memFree=1446968/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=906644 CPUtime=0.02
/proc/30497/stat : 30497 (java) S 30495 30497 29821 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 277346849 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/30497/statm: 226661 1817 1036 14 0 214244 0
[pid=30497/tid=30499] ppid=30495 vsize=906644 CPUtime=0
/proc/30497/task/30499/stat : 30499 (java) R 30495 30497 29821 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 277346853 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.104767 s]
/proc/loadavg: 0.60 1.04 1.45 4/73 30498
/proc/meminfo: memFree=1446968/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=914988 CPUtime=0.08
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 3008 0 1 0 7 1 0 0 17 0 8 0 277346849 936947712 2754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30497/statm: 228747 2754 1432 14 0 215242 0
[pid=30497/tid=30499] ppid=30495 vsize=914988 CPUtime=0
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 277346853 936947712 2754 18446744073709551615 134512640 134570532 4294956480 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.512847 s]
/proc/loadavg: 0.60 1.04 1.45 4/73 30498
/proc/meminfo: memFree=1446968/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915332 CPUtime=0.49
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 6400 0 1 0 45 4 0 0 19 0 8 0 277346849 937299968 6139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073467342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30497/statm: 228833 6139 2144 14 0 215303 0
[pid=30497/tid=30499] ppid=30495 vsize=915332 CPUtime=0
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 277346853 937299968 6139 18446744073709551615 134512640 134570532 4294956480 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) 915332

[startup+1.334 s]
/proc/loadavg: 0.60 1.04 1.45 3/80 30505
/proc/meminfo: memFree=1428672/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=1.3
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 7226 0 1 0 112 18 0 0 25 0 8 0 277346849 937435136 6964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073723442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30497/statm: 228866 6964 2476 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 6964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 6964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 6964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 6964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.14
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 277346857 937435136 6964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 6964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 6964 18446744073709551615 134512640 134570532 4294956480 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) 915464

[startup+2.97932 s]
/proc/loadavg: 0.60 1.04 1.45 3/80 30505
/proc/meminfo: memFree=1428672/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=2.95
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 7230 0 1 0 240 55 0 0 25 0 8 0 277346849 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30497/statm: 228866 6967 2476 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.15
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277346857 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464

[startup+6.26896 s]
/proc/loadavg: 0.63 1.04 1.45 2/75 30520
/proc/meminfo: memFree=1432232/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=6.22
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 7230 0 1 0 490 132 0 0 25 0 8 0 277346849 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228867 6967 2476 14 0 215337 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915468 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937439232 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.15
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277346857 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 6967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464

[startup+12.7502 s]
/proc/loadavg: 0.74 1.05 1.45 2/74 30611
/proc/meminfo: memFree=1437232/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=12.67
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 7231 0 1 0 980 287 0 0 25 0 8 0 277346849 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 6968 2476 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915468 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277346853 937439232 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915468 CPUtime=0.15
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 277346857 937439232 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915464

[startup+25.5967 s]
/proc/loadavg: 0.80 1.05 1.45 2/72 30612
/proc/meminfo: memFree=1437600/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=25.52
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 7231 0 1 0 1966 586 0 0 25 0 8 0 277346849 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 6968 2476 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915468 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277346853 937439232 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915468 CPUtime=0.15
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 349 0 0 0 15 0 0 0 17 0 8 0 277346857 937439232 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 6968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915464

[startup+51.2878 s]
/proc/loadavg: 0.86 1.04 1.43 2/72 30612
/proc/meminfo: memFree=1430752/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=51.18
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9108 0 1 0 4012 1106 0 0 19 0 8 0 277346849 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30497/statm: 228866 8842 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.25
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 411 0 0 0 24 1 0 0 15 0 8 0 277346857 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915464

[startup+102.562 s]
/proc/loadavg: 0.94 1.03 1.41 2/72 30612
/proc/meminfo: memFree=1430752/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=102.41
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9127 0 1 0 9135 1106 0 0 25 0 8 0 277346849 937435136 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866654 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 8860 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.25
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 412 0 0 0 24 1 0 0 16 0 8 0 277346857 937435136 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915464

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

Current children cumulated CPU time (s) 2021.47
Current children cumulated vsize (KiB) 915464

[startup+2082.98 s]
/proc/loadavg: 1.05 1.01 1.02 2/72 30810
/proc/meminfo: memFree=1430240/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=2081.42
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9157 0 1 0 207027 1115 0 0 25 0 8 0 277346849 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861172 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 8887 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.26
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 414 0 0 0 25 1 0 0 16 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2081.42
Current children cumulated vsize (KiB) 915464

[startup+2142.99 s]
/proc/loadavg: 1.02 1.01 1.02 2/72 30810
/proc/meminfo: memFree=1430240/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=2141.39
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9157 0 1 0 213024 1115 0 0 25 0 8 0 277346849 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073924414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 8887 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.26
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 414 0 0 0 25 1 0 0 16 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2141.39
Current children cumulated vsize (KiB) 915464

[startup+2202.99 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 30810
/proc/meminfo: memFree=1430240/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=2201.37
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9158 0 1 0 219021 1116 0 0 25 0 8 0 277346849 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 8887 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.26
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 415 0 0 0 25 1 0 0 16 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2201.37
Current children cumulated vsize (KiB) 915464

[startup+2263 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 30810
/proc/meminfo: memFree=1430304/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=2261.32
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9158 0 1 0 225016 1116 0 0 25 0 8 0 277346849 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 8887 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.26
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 415 0 0 0 25 1 0 0 16 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2261.32
Current children cumulated vsize (KiB) 915464

[startup+2323.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 30810
/proc/meminfo: memFree=1430304/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=2321.3
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9158 0 1 0 231014 1116 0 0 25 0 8 0 277346849 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 8887 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.26
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 415 0 0 0 25 1 0 0 16 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.3
Current children cumulated vsize (KiB) 915464

[startup+2383.02 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 30810
/proc/meminfo: memFree=1430304/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=2381.28
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9158 0 1 0 237012 1116 0 0 25 0 8 0 277346849 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073891787 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 8887 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.26
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 415 0 0 0 25 1 0 0 16 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.28
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 30810
/proc/meminfo: memFree=1430304/2055920 swapFree=4192812/4192956
[pid=30497] ppid=30495 vsize=915464 CPUtime=2400.06
/proc/30497/stat : 30497 (java) R 30495 30497 29821 0 -1 0 9158 0 1 0 238890 1116 0 0 25 0 8 0 277346849 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073862227 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/30497/statm: 228866 8887 2527 14 0 215336 0
[pid=30497/tid=30499] ppid=30495 vsize=915464 CPUtime=0.02
/proc/30497/task/30499/stat : 30499 (java) S 30495 30497 29821 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277346853 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30500] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30500/stat : 30500 (java) S 30495 30497 29821 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30501] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30501/stat : 30501 (java) S 30495 30497 29821 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277346854 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30502] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30502/stat : 30502 (java) S 30495 30497 29821 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30503] ppid=30495 vsize=915464 CPUtime=0.26
/proc/30497/task/30503/stat : 30503 (java) S 30495 30497 29821 0 -1 64 415 0 0 0 25 1 0 0 16 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30497/tid=30504] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30504/stat : 30504 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30497/tid=30505] ppid=30495 vsize=915464 CPUtime=0
/proc/30497/task/30505/stat : 30505 (java) S 30495 30497 29821 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277346857 937435136 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915464

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 2401.85
CPU time (s): 2400.09
CPU user time (s): 2388.92
CPU system time (s): 11.1663
CPU usage (%): 99.9264
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.92
system time used= 11.1663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9181
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= 49655
involuntary context switches= 51370

runsolver used 2.03369 s user time and 6.52201 s system time

The end

Launcher Data (download as text)

Begin job on node38 on Sat Jan 20 10:37:52 UTC 2007


IDJOB= 278903
IDBENCH= 9091
IDSOLVER= 69
FILE ID= node38/278903-1169289471

PBS_JOBID= 3609689

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-60/kbtree-5-2-4-5-60-01_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278903-1169289471/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-278903-1169289471 -o ROOT/results/node38/solver-278903-1169289471 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/278903-1169289471/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  eff9a427e51b45015efb9278b4a46e28

RANDOM SEED= 765070397

TIME LIMIT= 2400 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.267
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.267
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:       1447384 kB
Buffers:         37844 kB
Cached:         477120 kB
SwapCached:          0 kB
Active:         140692 kB
Inactive:       395928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1447384 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3896 kB
Writeback:           0 kB
Mapped:          33140 kB
Slab:            57352 kB
Committed_AS:  5373908 kB
PageTables:       1808 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= 66563 MiB



End job on node38 on Sat Jan 20 11:17:54 UTC 2007