Trace number 279020

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.14 2401.14

General information on the benchmark

NameMaxCSP/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-70/
kbtree-5-2-4-5-70-21_ext.xml
MD5SUMa93145b1111ad4ea60328c6175bd40b4
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints150
Best CPU time to get the best result obtained on this benchmark1.09183
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/279020-1169290297/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=62  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.39	       =>  wckTime=0.103  cpuTime=0.09  mem=6M910
0.39	   
0.39	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.52	     nbConstraints=211  nbRelationTypes=211  nbExtensionStructures=211  nbSharedExtensionStructures=0
0.52	     nbConflictsStructures=211  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2078  maxDegree=33
0.52	     maxArity=2
0.52	       =>  wckTime=0.234  cpuTime=0.16  mem=8M860
0.56	   
0.56	   solver LocalSearchSolver being built... 
0.60	       =>  wckTime=0.314  cpuTime=0.2  mem=5M574
0.61	
0.61	s SATISFIABLE
0.61	o 61
0.61	c 150
0.61	o 65
0.61	c 146
0.61	o 68
0.61	c 143
0.61	o 69
0.61	c 142
0.61	o 73
0.61	c 138
0.61	o 76
0.61	c 135
0.61	o 78
0.61	c 133
0.62	o 81
0.62	c 130
0.62	o 85
0.62	c 126
0.62	o 88
0.62	c 123
0.62	o 89
0.62	c 122
0.62	o 92
0.62	c 119
0.62	o 95
0.62	c 116
0.62	o 98
0.62	c 113
0.62	o 100
0.62	c 111
0.62	o 102
0.62	c 109
0.62	o 103
0.62	c 108
0.62	o 105
0.62	c 106
0.63	o 108
0.63	c 103
0.63	o 111
0.63	c 100
0.63	o 113
0.63	c 98
0.63	o 115
0.63	c 96
0.63	o 117
0.63	c 94
0.63	o 119
0.63	c 92
0.63	o 121
0.63	c 90
0.63	o 122
0.63	c 89
0.63	o 124
0.63	c 87
0.63	o 126
0.63	c 85
0.63	o 128
0.63	c 83
0.64	o 129
0.64	c 82
0.64	o 130
0.64	c 81
0.64	o 133
0.64	c 78
0.64	o 134
0.64	c 77
0.64	o 135
0.64	c 76
0.64	o 136
0.64	c 75
0.64	o 138
0.64	c 73
0.65	o 139
0.65	c 72
0.65	o 140
0.65	c 71
0.66	o 141
0.66	c 70
0.67	o 142
0.67	c 69
0.67	o 143
0.67	c 68
0.69	o 144
0.69	c 67
0.69	o 145
0.69	c 66
0.69	o 146
0.69	c 65
0.69	o 147
0.69	c 64
0.90	o 148
0.90	c 63
2.37	   
2.37	   search
2.37	     run=0  nbConstraintChecks=10054144  nbAssignments=10000
2.37	       =>  wckTime=1.766  cpuTime=1.73  mem=5M574
4.07	   
4.07	   search
4.07	     run=1  nbConstraintChecks=20241605  nbAssignments=20000
4.07	       =>  wckTime=3.466  cpuTime=3.43  mem=5M574
5.75	   
5.75	   search
5.75	     run=2  nbConstraintChecks=30286470  nbAssignments=30000
5.75	       =>  wckTime=5.149  cpuTime=5.11  mem=5M574
7.43	   
7.43	   search
7.43	     run=3  nbConstraintChecks=40354643  nbAssignments=40000
7.43	       =>  wckTime=6.834  cpuTime=6.8  mem=5M574
9.13	   
9.13	   search
9.13	     run=4  nbConstraintChecks=50458795  nbAssignments=50000
9.13	       =>  wckTime=8.525  cpuTime=8.49  mem=5M574
10.82	   
10.82	   search
10.82	     run=5  nbConstraintChecks=60589197  nbAssignments=60000
10.82	       =>  wckTime=10.218  cpuTime=10.18  mem=5M574
12.51	   
12.51	   search
12.51	     run=6  nbConstraintChecks=70642346  nbAssignments=70000
12.51	       =>  wckTime=11.914  cpuTime=11.87  mem=5M574
14.24	   
14.24	   search
14.24	     run=7  nbConstraintChecks=80954841  nbAssignments=80000
14.24	       =>  wckTime=13.64  cpuTime=13.6  mem=5M574
15.23	o 150
15.23	c 61
15.95	   
15.95	   search
15.95	     run=8  nbConstraintChecks=91089193  nbAssignments=90000
15.95	       =>  wckTime=15.348  cpuTime=15.3  mem=5M574
17.66	   
17.66	   search
17.66	     run=9  nbConstraintChecks=101220561  nbAssignments=100000
17.66	       =>  wckTime=17.059  cpuTime=17.02  mem=5M574
19.37	   
19.37	   search
19.37	     run=10  nbConstraintChecks=111345137  nbAssignments=110000
19.37	       =>  wckTime=18.765  cpuTime=18.72  mem=5M574
21.07	   
21.07	   search
21.07	     run=11  nbConstraintChecks=121432477  nbAssignments=120000
21.07	       =>  wckTime=20.467  cpuTime=20.43  mem=5M574
22.77	   
22.77	   search
22.77	     run=12  nbConstraintChecks=131565562  nbAssignments=130000
22.77	       =>  wckTime=22.166  cpuTime=22.12  mem=5M574
24.48	   
24.48	   search
24.48	     run=13  nbConstraintChecks=141899744  nbAssignments=140000
24.48	       =>  wckTime=23.88  cpuTime=23.83  mem=5M574
26.17	   
26.17	   search
26.17	     run=14  nbConstraintChecks=151968428  nbAssignments=150000
26.17	       =>  wckTime=25.568  cpuTime=25.52  mem=5M574
27.87	   
27.87	   search
27.87	     run=15  nbConstraintChecks=162177932  nbAssignments=160000
27.87	       =>  wckTime=27.272  cpuTime=27.22  mem=5M574
29.55	   
29.55	   search
29.55	     run=16  nbConstraintChecks=172157147  nbAssignments=170000
29.55	       =>  wckTime=28.95  cpuTime=28.91  mem=5M574
31.25	   
31.25	   search
31.25	     run=17  nbConstraintChecks=182278885  nbAssignments=180000
31.25	       =>  wckTime=30.649  cpuTime=30.6  mem=5M574
32.94	   
32.94	   search
32.94	     run=18  nbConstraintChecks=192280773  nbAssignments=190000
32.94	       =>  wckTime=32.338  cpuTime=32.29  mem=5M574
34.67	   
34.67	   search
34.67	     run=19  nbConstraintChecks=202695433  nbAssignments=200000
34.67	       =>  wckTime=34.073  cpuTime=34.02  mem=5M574
36.37	   
36.37	   search
36.37	     run=20  nbConstraintChecks=212762212  nbAssignments=210000
36.37	       =>  wckTime=35.767  cpuTime=35.72  mem=5M574
38.05	   
38.05	   search
38.05	     run=21  nbConstraintChecks=222781574  nbAssignments=220000
38.05	       =>  wckTime=37.452  cpuTime=37.4  mem=5M574
39.74	   
39.74	   search
39.74	     run=22  nbConstraintChecks=232837954  nbAssignments=230000
39.74	       =>  wckTime=39.142  cpuTime=39.08  mem=5M574
41.47	   
41.47	   search
41.47	     run=23  nbConstraintChecks=243219990  nbAssignments=240000
41.47	       =>  wckTime=40.865  cpuTime=40.81  mem=5M574
43.16	   
43.16	   search
43.16	     run=24  nbConstraintChecks=253375766  nbAssignments=250000
43.16	       =>  wckTime=42.562  cpuTime=42.5  mem=5M574
44.85	   
44.85	   search
44.85	     run=25  nbConstraintChecks=263564638  nbAssignments=260000
44.85	       =>  wckTime=44.252  cpuTime=44.19  mem=5M574
45.26	   
45.26	   search
45.26	     run=26  nbConstraintChecks=265942065  nbAssignments=262452
45.26	       =>  wckTime=44.655  cpuTime=44.59  mem=5M574
45.26	   
45.26	   global
45.26	     nbConstraintChecks=265942065  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
45.26	     solvingWckTime=44.653  solvingCpuTime=44.59  expiredTime=no  totalExploration=no  nbFoundSolutions=0
45.26	     globalCpuTime=44.84
45.26	       =>  wckTime=44.969  cpuTime=44.79  mem=5M574
45.26	   
45.26	   solver IterativeSystematicSolver being built... 
45.38	       =>  wckTime=45.094  cpuTime=44.88  mem=16M645
45.39	   
45.39	   preprocessing
45.39	     nbConstraintChecks=1060  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
45.39	     detectedInconsistency=no
45.39	       =>  wckTime=0.0070  cpuTime=0.01  mem=16M645
45.46	   
45.46	   search
45.46	     run=0  nbConstraintChecks=103338  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=66
45.46	     nbFailedAssignments=26  nbBacktracks=10  nbVisitedNodes=103  nbRestartNogoods=0
45.46	       =>  wckTime=0.076  cpuTime=0.06  mem=16M645
45.52	   
45.52	   search
45.52	     run=1  nbConstraintChecks=230388  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=140
45.52	     nbFailedAssignments=56  nbBacktracks=25  nbVisitedNodes=222  nbRestartNogoods=3
45.52	       =>  wckTime=0.135  cpuTime=0.1  mem=16M645
45.56	   
45.56	   search
45.56	     run=2  nbConstraintChecks=345409  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=215
45.56	     nbFailedAssignments=77  nbBacktracks=47  nbVisitedNodes=340  nbRestartNogoods=12
45.56	       =>  wckTime=0.173  cpuTime=0.14  mem=16M645
45.65	   
45.65	   search
45.65	     run=3  nbConstraintChecks=586857  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=343
45.65	     nbFailedAssignments=142  nbBacktracks=80  nbVisitedNodes=566  nbRestartNogoods=17
45.65	       =>  wckTime=0.263  cpuTime=0.23  mem=16M645
45.72	   
45.72	   search
45.72	     run=4  nbConstraintChecks=804223  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=471
45.72	     nbFailedAssignments=186  nbBacktracks=131  nbVisitedNodes=789  nbRestartNogoods=23
45.72	       =>  wckTime=0.336  cpuTime=0.3  mem=16M645
45.87	   
45.87	   search
45.87	     run=5  nbConstraintChecks=1285085  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=706
45.88	     nbFailedAssignments=317  nbBacktracks=206  nbVisitedNodes=1230  nbRestartNogoods=31
45.88	       =>  wckTime=0.491  cpuTime=0.45  mem=16M645
46.03	   
46.03	   search
46.03	     run=6  nbConstraintChecks=1748513  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=964
46.03	     nbFailedAssignments=428  nbBacktracks=319  nbVisitedNodes=1712  nbRestartNogoods=37
46.03	       =>  wckTime=0.645  cpuTime=0.6  mem=16M645
46.27	   
46.27	   search
46.27	     run=7  nbConstraintChecks=2549366  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1365
46.27	     nbFailedAssignments=628  nbBacktracks=489  nbVisitedNodes=2483  nbRestartNogoods=50
46.27	       =>  wckTime=0.883  cpuTime=0.84  mem=16M645
46.88	   
46.88	   search
46.88	     run=8  nbConstraintChecks=4561169  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2395
46.88	     nbFailedAssignments=1373  nbBacktracks=745  nbVisitedNodes=4514  nbRestartNogoods=58
46.88	       =>  wckTime=1.496  cpuTime=1.43  mem=16M645
47.35	   
47.35	   search
47.35	     run=9  nbConstraintChecks=6191821  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3226
47.35	     nbFailedAssignments=1790  nbBacktracks=1129  nbVisitedNodes=6146  nbRestartNogoods=70
47.35	       =>  wckTime=1.961  cpuTime=1.89  mem=16M645
48.26	   
48.26	   search
48.26	     run=10  nbConstraintChecks=9190966  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4717
48.26	     nbFailedAssignments=2677  nbBacktracks=1705  nbVisitedNodes=9100  nbRestartNogoods=76
48.26	       =>  wckTime=2.873  cpuTime=2.8  mem=16M645
49.62	   
49.62	   search
49.62	     run=11  nbConstraintChecks=13972517  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6955
49.62	     nbFailedAssignments=4024  nbBacktracks=2569  nbVisitedNodes=13549  nbRestartNogoods=83
49.62	       =>  wckTime=4.239  cpuTime=4.17  mem=16M645
51.91	   
51.91	   search
51.91	     run=12  nbConstraintChecks=20903257  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10298
51.91	     nbFailedAssignments=6041  nbBacktracks=3866  nbVisitedNodes=20206  nbRestartNogoods=88
51.91	       =>  wckTime=6.522  cpuTime=6.45  mem=16M645
55.63	   
55.63	   search
55.63	     run=13  nbConstraintChecks=31465102  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=15313
55.63	     nbFailedAssignments=9085  nbBacktracks=5812  nbVisitedNodes=30211  nbRestartNogoods=97
55.63	       =>  wckTime=10.248  cpuTime=10.17  mem=16M645
60.64	   
60.64	   search
60.64	     run=14  nbConstraintChecks=45969358  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=22294
60.64	     nbFailedAssignments=13118  nbBacktracks=8731  nbVisitedNodes=44144  nbRestartNogoods=106
60.64	       =>  wckTime=15.254  cpuTime=15.18  mem=16M645
68.11	   
68.11	   search
68.11	     run=15  nbConstraintChecks=66925524  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32870
68.11	     nbFailedAssignments=19290  nbBacktracks=13109  nbVisitedNodes=65265  nbRestartNogoods=113
68.11	       =>  wckTime=22.731  cpuTime=22.65  mem=16M645
80.82	   
80.82	   search
80.82	     run=16  nbConstraintChecks=98055933  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=48793
80.82	     nbFailedAssignments=28623  nbBacktracks=19677  nbVisitedNodes=97087  nbRestartNogoods=117
80.82	       =>  wckTime=35.434  cpuTime=35.35  mem=16M645
96.04	   
96.04	   search
96.04	     run=17  nbConstraintChecks=136344212  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=68290
96.04	     nbFailedAssignments=38250  nbBacktracks=29529  nbVisitedNodes=136000  nbRestartNogoods=124
96.04	       =>  wckTime=50.66  cpuTime=50.57  mem=16M645
118.87	   
118.87	   search
118.87	     run=18  nbConstraintChecks=190903392  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=97846
118.87	     nbFailedAssignments=53009  nbBacktracks=44307  nbVisitedNodes=194750  nbRestartNogoods=134
118.87	       =>  wckTime=73.485  cpuTime=73.39  mem=16M645
153.94	   
153.94	   search
153.94	     run=19  nbConstraintChecks=271869655  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=146109
153.94	     nbFailedAssignments=79080  nbBacktracks=66477  nbVisitedNodes=289925  nbRestartNogoods=144
153.94	       =>  wckTime=108.552  cpuTime=108.44  mem=16M645
205.61	   
205.61	   search
205.61	     run=20  nbConstraintChecks=388452967  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=214105
205.61	     nbFailedAssignments=113793  nbBacktracks=99732  nbVisitedNodes=424698  nbRestartNogoods=159
205.61	       =>  wckTime=160.224  cpuTime=160.1  mem=16M645
267.27	   
267.27	   search
267.27	     run=21  nbConstraintChecks=546358911  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=305378
267.27	     nbFailedAssignments=155169  nbBacktracks=149611  nbVisitedNodes=602349  nbRestartNogoods=174
267.27	       =>  wckTime=221.883  cpuTime=221.73  mem=16M645
348.66	   
348.66	   search
348.66	     run=22  nbConstraintChecks=747776876  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=434837
348.66	     nbFailedAssignments=209782  nbBacktracks=224430  nbVisitedNodes=858809  nbRestartNogoods=189
348.66	       =>  wckTime=303.274  cpuTime=303.09  mem=16M645
484.73	   
484.73	   search
484.73	     run=23  nbConstraintChecks=1120547960  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=657810
484.73	     nbFailedAssignments=320500  nbBacktracks=336658  nbVisitedNodes=1294853  nbRestartNogoods=204
484.73	       =>  wckTime=439.345  cpuTime=439.13  mem=16M645
698.35	   
698.36	   search
698.36	     run=24  nbConstraintChecks=1635572165  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=980376
698.36	     nbFailedAssignments=474701  nbBacktracks=504999  nbVisitedNodes=1925518  nbRestartNogoods=219
698.36	       =>  wckTime=652.971  cpuTime=652.54  mem=16M645
1027.25	   
1027.25	   search
1027.25	     run=25  nbConstraintChecks=2422770700  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1457166
1027.25	     nbFailedAssignments=698951  nbBacktracks=757510  nbVisitedNodes=2846837  nbRestartNogoods=230
1027.25	       =>  wckTime=981.867  cpuTime=981.32  mem=16M645
1444.94	   
1444.94	   search
1444.94	     run=26  nbConstraintChecks=3543678488  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2210184
1444.94	     nbFailedAssignments=1073170  nbBacktracks=1136277  nbVisitedNodes=4295086  nbRestartNogoods=249
1444.94	       =>  wckTime=1399.554  cpuTime=1398.86  mem=16M645
2165.11	   
2165.11	   search
2165.11	     run=27  nbConstraintChecks=5282888054  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3288341
2165.11	     nbFailedAssignments=1583157  nbBacktracks=1704428  nbVisitedNodes=6369837  nbRestartNogoods=264
2165.11	       =>  wckTime=2119.728  cpuTime=2118.78  mem=16M645
2401.10	v 0 2 3 0 0 3 2 3 4 0 3 3 1 0 4 3 1 0 4 1 4 1 1 1 4 4 4 4 3 4 3 1 0 1 0 3 4 3 2 1 4 0 4 2 4 0 4 3 4 0 0 3 1 4 3 2 3 1 0 2 1 4 

Verifier Data (download as text)

61 unsatisfied constraints, 150 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/node76/watcher-279020-1169290297 -o ROOT/results/node76/solver-279020-1169290297 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279020-1169290297/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: 1.20 1.03 1.16 5/85 5815
/proc/meminfo: memFree=1676576/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=0 CPUtime=0
/proc/5814/stat : 5814 (runsolver) R 5812 5814 5528 0 -1 4194368 18 0 0 0 0 0 0 0 18 0 1 0 277426850 0 0 18446744073709551615 0 0 0 18446744073709551615 206843737111 0 0 4096 24578 0 0 0 17 1 0 0
/proc/5814/statm: 0 0 0 0 0 0 0

[startup+0.10706 s]
/proc/loadavg: 1.20 1.03 1.16 5/85 5815
/proc/meminfo: memFree=1676576/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=914992 CPUtime=0.08
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 3081 0 1 0 7 1 0 0 17 0 8 0 277426850 936951808 2829 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152815842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228748 2829 1456 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992

[startup+0.515139 s]
/proc/loadavg: 1.20 1.03 1.16 5/85 5815
/proc/meminfo: memFree=1676576/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915336 CPUtime=0.5
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 6630 0 1 0 45 5 0 0 19 0 8 0 277426850 937304064 6371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228834 6371 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915336

[startup+1.3363 s]
/proc/loadavg: 1.20 1.03 1.16 3/92 5822
/proc/meminfo: memFree=1658472/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=1.32
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 7218 0 1 0 113 19 0 0 25 0 8 0 277426850 937439232 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 6958 2477 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915472 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277426854 937443328 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.14
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 277426858 937439232 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 6958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915468

[startup+2.98763 s]
/proc/loadavg: 1.27 1.05 1.17 3/92 5822
/proc/meminfo: memFree=1658472/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=2.97
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 7222 0 1 0 246 51 0 0 25 0 8 0 277426850 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 6961 2477 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915472 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937443328 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.14
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 277426858 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915468

[startup+6.26627 s]
/proc/loadavg: 1.27 1.05 1.17 3/92 5822
/proc/meminfo: memFree=1658472/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=6.24
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 7222 0 1 0 507 117 0 0 25 0 8 0 277426850 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 6961 2477 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915472 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937443328 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.14
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 348 0 0 0 14 0 0 0 16 0 8 0 277426858 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915468

[startup+12.7465 s]
/proc/loadavg: 1.38 1.08 1.17 3/92 5822
/proc/meminfo: memFree=1658472/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=12.72
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 7223 0 1 0 1029 243 0 0 25 0 8 0 277426850 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 6962 2477 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915472 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937443328 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.15
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 277426858 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915468

[startup+25.5831 s]
/proc/loadavg: 1.47 1.11 1.18 3/92 5822
/proc/meminfo: memFree=1658472/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=25.55
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 7223 0 1 0 2059 496 0 0 25 0 8 0 277426850 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 6962 2477 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915472 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937443328 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.15
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 277426858 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915472 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937443328 6962 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915468

[startup+51.2681 s]
/proc/loadavg: 1.65 1.18 1.20 3/92 5822
/proc/meminfo: memFree=1643816/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=51.22
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9110 0 1 0 4227 895 0 0 25 0 8 0 277426850 937439232 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850882 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8846 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915468

[startup+102.523 s]
/proc/loadavg: 1.85 1.30 1.24 3/92 5822
/proc/meminfo: memFree=1643688/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=102.45
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9127 0 1 0 9350 895 0 0 25 0 8 0 277426850 937439232 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8862 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 414 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915468

[startup+162.621 s]
/proc/loadavg: 1.94 1.43 1.29 3/92 5822
/proc/meminfo: memFree=1643624/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=162.53
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9132 0 1 0 15358 895 0 0 25 0 8 0 277426850 937439232 8867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2024.35
Current children cumulated vsize (KiB) 915468

[startup+2085.33 s]
/proc/loadavg: 2.00 2.00 1.88 3/92 6022
/proc/meminfo: memFree=1643056/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=2084.42
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9155 0 1 0 207547 895 0 0 25 0 8 0 277426850 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8887 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 416 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2084.42
Current children cumulated vsize (KiB) 915468

[startup+2145.41 s]
/proc/loadavg: 2.00 2.00 1.89 3/92 6022
/proc/meminfo: memFree=1643056/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=2144.49
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9155 0 1 0 213554 895 0 0 25 0 8 0 277426850 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073868780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8887 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 416 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2144.49
Current children cumulated vsize (KiB) 915468

[startup+2205.5 s]
/proc/loadavg: 2.00 2.00 1.89 3/92 6022
/proc/meminfo: memFree=1643056/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=2204.55
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9158 0 1 0 219560 895 0 0 25 0 8 0 277426850 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073900776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8890 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 416 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2204.55
Current children cumulated vsize (KiB) 915468

[startup+2265.6 s]
/proc/loadavg: 2.04 2.01 1.90 3/92 6022
/proc/meminfo: memFree=1642992/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=2264.63
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9158 0 1 0 225568 895 0 0 25 0 8 0 277426850 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878499 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8890 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 416 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2264.63
Current children cumulated vsize (KiB) 915468

[startup+2325.69 s]
/proc/loadavg: 2.01 2.01 1.91 3/92 6022
/proc/meminfo: memFree=1643056/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=2324.7
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9158 0 1 0 231575 895 0 0 25 0 8 0 277426850 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073874428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8890 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 416 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2324.7
Current children cumulated vsize (KiB) 915468

[startup+2385.79 s]
/proc/loadavg: 2.00 2.00 1.91 3/92 6022
/proc/meminfo: memFree=1642992/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=2384.78
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9158 0 1 0 237583 895 0 0 25 0 8 0 277426850 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073717350 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8890 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 416 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2384.78
Current children cumulated vsize (KiB) 915468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.09 s]
/proc/loadavg: 2.00 2.00 1.91 3/92 6022
/proc/meminfo: memFree=1642992/2055888 swapFree=4087964/4096564
[pid=5814] ppid=5812 vsize=915468 CPUtime=2400.08
/proc/5814/stat : 5814 (java) R 5812 5814 5528 0 -1 0 9158 0 1 0 239113 895 0 0 25 0 8 0 277426850 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073905254 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5814/statm: 228867 8890 2528 14 0 215336 0
[pid=5814/tid=5816] ppid=5812 vsize=915468 CPUtime=0.02
/proc/5814/task/5816/stat : 5816 (java) S 5812 5814 5528 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277426854 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5817] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5817/stat : 5817 (java) S 5812 5814 5528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5818] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5818/stat : 5818 (java) S 5812 5814 5528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277426855 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5819] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5819/stat : 5819 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5820] ppid=5812 vsize=915468 CPUtime=0.26
/proc/5814/task/5820/stat : 5820 (java) S 5812 5814 5528 0 -1 64 416 0 0 0 25 1 0 0 16 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5821] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5821/stat : 5821 (java) S 5812 5814 5528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5814/tid=5822] ppid=5812 vsize=915468 CPUtime=0
/proc/5814/task/5822/stat : 5822 (java) S 5812 5814 5528 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277426858 937439232 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915468

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

Child status: 143
Real time (s): 2401.14
CPU time (s): 2400.14
CPU user time (s): 2391.17
CPU system time (s): 8.96464
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 915472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.17
system time used= 8.96464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9180
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= 49723
involuntary context switches= 55355

runsolver used 2.51062 s user time and 6.05408 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Jan 20 10:51:38 UTC 2007


IDJOB= 279020
IDBENCH= 9279
IDSOLVER= 69
FILE ID= node76/279020-1169290297

PBS_JOBID= 3609762

Free space on /tmp= 66649 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a93145b1111ad4ea60328c6175bd40b4

RANDOM SEED= 795727077

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1677056 kB
Buffers:         25684 kB
Cached:         265812 kB
SwapCached:       2128 kB
Active:         103184 kB
Inactive:       221132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1677056 kB
SwapTotal:     4096564 kB
SwapFree:      4087964 kB
Dirty:            3404 kB
Writeback:           0 kB
Mapped:          50160 kB
Slab:            40124 kB
Committed_AS:  8801472 kB
PageTables:       1868 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66649 MiB



End job on node76 on Sat Jan 20 11:31:39 UTC 2007