Trace number 282971

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.13 2402.53

General information on the benchmark

Namecoloring/
myciel-5g-4-ext.xml
MD5SUMd7e45575bbac0fb5e64744e0880af712
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints232
Best CPU time to get the best result obtained on this benchmark8.10877
SatisfiableNO
(Un)Satisfiability was proved
Number of variables47
Number of constraints236
Maximum constraint arity2
Maximum domain size4
Number of constraints which are defined in extension236
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.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/282971-1169324792/unknown.xml
0.38	   
0.38	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.42	     nbVariables=47  nbDomainTypes=1  minDomainSize=4  maxDomainSize=4
0.42	       =>  wckTime=0.109  cpuTime=0.09  mem=6M910
0.42	   
0.42	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.50	     nbConstraints=236  nbRelationTypes=1  nbExtensionStructures=1  nbSharedExtensionStructures=235
0.50	     nbConflictsStructures=1  nbSharedConflictsStructures=235  nbSharedBinaryRepresentations=4  maxDegree=23  maxArity=2
0.50	       =>  wckTime=0.187  cpuTime=0.15  mem=8M860
0.54	   
0.54	   solver LocalSearchSolver being built... 
0.58	       =>  wckTime=0.271  cpuTime=0.19  mem=5M489
0.59	
0.59	s SATISFIABLE
0.59	o 186
0.59	c 50
0.59	o 191
0.59	c 45
0.59	o 196
0.59	c 40
0.59	o 197
0.59	c 39
0.59	o 200
0.59	c 36
0.59	o 204
0.59	c 32
0.59	o 207
0.59	c 29
0.60	o 209
0.60	c 27
0.60	o 210
0.60	c 26
0.60	o 213
0.60	c 23
0.60	o 215
0.60	c 21
0.60	o 217
0.60	c 19
0.60	o 218
0.60	c 18
0.60	o 219
0.60	c 17
0.60	o 221
0.60	c 15
0.60	o 224
0.60	c 12
0.60	o 225
0.60	c 11
0.60	o 226
0.60	c 10
0.60	o 228
0.60	c 8
0.61	o 229
0.61	c 7
0.61	o 230
0.61	c 6
0.61	o 231
0.61	c 5
0.62	o 232
0.62	c 4
1.77	   
1.77	   search
1.77	     run=0  nbConstraintChecks=4297163  nbAssignments=10000
1.77	       =>  wckTime=1.191  cpuTime=1.15  mem=5M489
2.96	   
2.96	   search
2.96	     run=1  nbConstraintChecks=9115862  nbAssignments=20000
2.96	       =>  wckTime=2.377  cpuTime=2.33  mem=5M489
4.07	   
4.07	   search
4.07	     run=2  nbConstraintChecks=13362874  nbAssignments=30000
4.07	       =>  wckTime=3.485  cpuTime=3.43  mem=5M489
5.28	   
5.28	   search
5.28	     run=3  nbConstraintChecks=18464107  nbAssignments=40000
5.28	       =>  wckTime=4.702  cpuTime=4.63  mem=5M489
6.42	   
6.42	   search
6.42	     run=4  nbConstraintChecks=22901344  nbAssignments=50000
6.42	       =>  wckTime=5.836  cpuTime=5.76  mem=5M489
7.61	   
7.61	   search
7.61	     run=5  nbConstraintChecks=27763550  nbAssignments=60000
7.61	       =>  wckTime=7.028  cpuTime=6.94  mem=5M489
8.73	   
8.73	   search
8.73	     run=6  nbConstraintChecks=32058970  nbAssignments=70000
8.73	       =>  wckTime=8.144  cpuTime=8.04  mem=5M489
9.91	   
9.91	   search
9.91	     run=7  nbConstraintChecks=36902861  nbAssignments=80000
9.91	       =>  wckTime=9.33  cpuTime=9.22  mem=5M489
11.04	   
11.04	   search
11.04	     run=8  nbConstraintChecks=41268693  nbAssignments=90000
11.04	       =>  wckTime=10.454  cpuTime=10.33  mem=5M489
12.23	   
12.23	   search
12.23	     run=9  nbConstraintChecks=46062630  nbAssignments=100000
12.23	       =>  wckTime=11.644  cpuTime=11.52  mem=5M489
13.36	   
13.36	   search
13.36	     run=10  nbConstraintChecks=50519324  nbAssignments=110000
13.36	       =>  wckTime=12.78  cpuTime=12.64  mem=5M489
14.47	   
14.47	   search
14.47	     run=11  nbConstraintChecks=55465694  nbAssignments=120000
14.47	       =>  wckTime=13.891  cpuTime=13.75  mem=5M489
15.50	   
15.50	   search
15.50	     run=12  nbConstraintChecks=59753730  nbAssignments=130000
15.50	       =>  wckTime=14.919  cpuTime=14.77  mem=5M489
16.61	   
16.61	   search
16.61	     run=13  nbConstraintChecks=64667240  nbAssignments=140000
16.61	       =>  wckTime=16.025  cpuTime=15.89  mem=5M489
17.63	   
17.63	   search
17.63	     run=14  nbConstraintChecks=68946236  nbAssignments=150000
17.63	       =>  wckTime=17.052  cpuTime=16.9  mem=5M489
18.72	   
18.72	   search
18.72	     run=15  nbConstraintChecks=73757901  nbAssignments=160000
18.73	       =>  wckTime=18.143  cpuTime=18.0  mem=5M489
19.75	   
19.75	   search
19.75	     run=16  nbConstraintChecks=77952316  nbAssignments=170000
19.75	       =>  wckTime=19.163  cpuTime=19.02  mem=5M489
20.84	   
20.84	   search
20.84	     run=17  nbConstraintChecks=82810394  nbAssignments=180000
20.84	       =>  wckTime=20.26  cpuTime=20.11  mem=5M489
21.86	   
21.86	   search
21.86	     run=18  nbConstraintChecks=86940320  nbAssignments=190000
21.86	       =>  wckTime=21.276  cpuTime=21.13  mem=5M489
22.98	   
22.98	   search
22.98	     run=19  nbConstraintChecks=91931988  nbAssignments=200000
22.98	       =>  wckTime=22.4  cpuTime=22.26  mem=5M489
24.02	   
24.02	   search
24.02	     run=20  nbConstraintChecks=96229074  nbAssignments=210000
24.02	       =>  wckTime=23.437  cpuTime=23.29  mem=5M489
25.12	   
25.12	   search
25.12	     run=21  nbConstraintChecks=100984154  nbAssignments=220000
25.12	       =>  wckTime=24.536  cpuTime=24.39  mem=5M489
26.14	   
26.14	   search
26.14	     run=22  nbConstraintChecks=105194220  nbAssignments=230000
26.15	       =>  wckTime=25.563  cpuTime=25.42  mem=5M489
27.27	   
27.27	   search
27.27	     run=23  nbConstraintChecks=110230608  nbAssignments=240000
27.27	       =>  wckTime=26.691  cpuTime=26.54  mem=5M489
28.30	   
28.30	   search
28.30	     run=24  nbConstraintChecks=114422276  nbAssignments=250000
28.30	       =>  wckTime=27.717  cpuTime=27.57  mem=5M489
29.42	   
29.42	   search
29.42	     run=25  nbConstraintChecks=119407977  nbAssignments=260000
29.42	       =>  wckTime=28.839  cpuTime=28.69  mem=5M489
30.46	   
30.46	   search
30.46	     run=26  nbConstraintChecks=123738836  nbAssignments=270000
30.46	       =>  wckTime=29.882  cpuTime=29.73  mem=5M489
30.76	   
30.76	   search
30.76	     run=27  nbConstraintChecks=125085281  nbAssignments=272541
30.76	       =>  wckTime=30.176  cpuTime=30.03  mem=5M489
30.76	   
30.76	   global
30.76	     nbConstraintChecks=125085281  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.76	     solvingWckTime=30.173  solvingCpuTime=30.03  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.76	     globalCpuTime=30.27
30.76	       =>  wckTime=30.446  cpuTime=30.22  mem=5M489
30.76	   
30.76	   solver IterativeSystematicSolver being built... 
30.88	       =>  wckTime=30.57  cpuTime=30.32  mem=16M478
30.89	   
30.89	   preprocessing
30.89	     nbConstraintChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
30.89	     detectedInconsistency=no
30.89	       =>  wckTime=0.0040  cpuTime=0.0  mem=16M478
30.93	   
30.93	   search
30.93	     run=0  nbConstraintChecks=30313  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47
30.93	     nbFailedAssignments=9  nbBacktracks=10  nbVisitedNodes=67  nbRestartNogoods=0
30.93	       =>  wckTime=0.046  cpuTime=0.03  mem=16M478
30.97	   
30.97	   search
30.97	     run=1  nbConstraintChecks=74226  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=109
30.97	     nbFailedAssignments=29  nbBacktracks=26  nbVisitedNodes=165  nbRestartNogoods=3
30.97	       =>  wckTime=0.081  cpuTime=0.05  mem=16M478
30.99	   
30.99	   search
30.99	     run=2  nbConstraintChecks=124666  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=181
30.99	     nbFailedAssignments=52  nbBacktracks=48  nbVisitedNodes=282  nbRestartNogoods=4
30.99	       =>  wckTime=0.106  cpuTime=0.07  mem=16M478
31.02	   
31.02	   search
31.02	     run=3  nbConstraintChecks=201411  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=279
31.02	     nbFailedAssignments=88  nbBacktracks=83  nbVisitedNodes=451  nbRestartNogoods=8
31.02	       =>  wckTime=0.135  cpuTime=0.1  mem=16M478
31.07	   
31.07	   search
31.07	     run=4  nbConstraintChecks=334630  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=425
31.07	     nbFailedAssignments=160  nbBacktracks=133  nbVisitedNodes=719  nbRestartNogoods=11
31.07	       =>  wckTime=0.183  cpuTime=0.14  mem=16M478
31.12	   
31.12	   search
31.12	     run=5  nbConstraintChecks=477775  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=605
31.12	     nbFailedAssignments=237  nbBacktracks=209  nbVisitedNodes=1052  nbRestartNogoods=16
31.12	       =>  wckTime=0.232  cpuTime=0.19  mem=16M478
31.20	   
31.20	   search
31.20	     run=6  nbConstraintChecks=722506  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=896
31.20	     nbFailedAssignments=388  nbBacktracks=324  nbVisitedNodes=1609  nbRestartNogoods=20
31.20	       =>  wckTime=0.318  cpuTime=0.27  mem=16M478
31.31	   
31.31	   search
31.31	     run=7  nbConstraintChecks=1023782  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1270
31.31	     nbFailedAssignments=564  nbBacktracks=494  nbVisitedNodes=2329  nbRestartNogoods=27
31.31	       =>  wckTime=0.426  cpuTime=0.38  mem=16M478
31.50	   
31.50	   search
31.50	     run=8  nbConstraintChecks=1585482  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1862
31.50	     nbFailedAssignments=875  nbBacktracks=751  nbVisitedNodes=3489  nbRestartNogoods=30
31.50	       =>  wckTime=0.613  cpuTime=0.55  mem=16M478
31.72	   
31.72	   search
31.72	     run=9  nbConstraintChecks=2316074  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2751
31.72	     nbFailedAssignments=1355  nbBacktracks=1135  nbVisitedNodes=5242  nbRestartNogoods=35
31.72	       =>  wckTime=0.838  cpuTime=0.77  mem=16M478
32.18	   
32.18	   search
32.18	     run=10  nbConstraintChecks=3532633  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4106
32.18	     nbFailedAssignments=2105  nbBacktracks=1715  nbVisitedNodes=7927  nbRestartNogoods=39
32.18	       =>  wckTime=1.297  cpuTime=1.23  mem=16M478
32.71	   
32.71	   search
32.71	     run=11  nbConstraintChecks=5262009  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6019
32.71	     nbFailedAssignments=3132  nbBacktracks=2579  nbVisitedNodes=11731  nbRestartNogoods=45
32.71	       =>  wckTime=1.824  cpuTime=1.76  mem=16M478
33.38	   
33.38	   search
33.38	     run=12  nbConstraintChecks=7625230  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8711
33.38	     nbFailedAssignments=4500  nbBacktracks=3876  nbVisitedNodes=17064  nbRestartNogoods=54
33.38	       =>  wckTime=2.492  cpuTime=2.42  mem=16M478
34.67	   
34.67	   search
34.67	     run=13  nbConstraintChecks=11836048  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=13099
34.67	     nbFailedAssignments=6923  nbBacktracks=5822  nbVisitedNodes=25821  nbRestartNogoods=60
34.67	       =>  wckTime=3.78  cpuTime=3.71  mem=16M478
36.66	   
36.66	   search
36.66	     run=14  nbConstraintChecks=17803303  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=19234
36.66	     nbFailedAssignments=10126  nbBacktracks=8742  nbVisitedNodes=38078  nbRestartNogoods=69
36.66	       =>  wckTime=5.778  cpuTime=5.7  mem=16M478
39.67	   
39.67	   search
39.67	     run=15  nbConstraintChecks=26433036  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=28112
39.67	     nbFailedAssignments=14612  nbBacktracks=13120  nbVisitedNodes=55817  nbRestartNogoods=75
39.67	       =>  wckTime=8.786  cpuTime=8.71  mem=16M478
42.81	   
42.81	   search
42.81	     run=16  nbConstraintChecks=35945888  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=39844
42.81	     nbFailedAssignments=19752  nbBacktracks=19691  nbVisitedNodes=79197  nbRestartNogoods=81
42.81	       =>  wckTime=11.924  cpuTime=11.83  mem=16M478
49.31	   
49.31	   search
49.31	     run=17  nbConstraintChecks=53122285  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=58865
49.32	     nbFailedAssignments=28908  nbBacktracks=29543  nbVisitedNodes=116027  nbRestartNogoods=96
49.32	       =>  wckTime=18.43  cpuTime=18.32  mem=16M478
58.06	   
58.06	   search
58.06	     run=18  nbConstraintChecks=74884555  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=85193
58.06	     nbFailedAssignments=40448  nbBacktracks=44321  nbVisitedNodes=164256  nbRestartNogoods=104
58.06	       =>  wckTime=27.178  cpuTime=27.07  mem=16M478
69.69	   
69.69	   search
69.69	     run=19  nbConstraintChecks=104725217  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=123416
69.69	     nbFailedAssignments=56488  nbBacktracks=66492  nbVisitedNodes=232409  nbRestartNogoods=111
69.69	       =>  wckTime=38.802  cpuTime=38.69  mem=16M478
86.85	   
86.85	   search
86.85	     run=20  nbConstraintChecks=147997854  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=177696
86.85	     nbFailedAssignments=77503  nbBacktracks=99745  nbVisitedNodes=329179  nbRestartNogoods=119
86.85	       =>  wckTime=55.965  cpuTime=55.82  mem=16M478
114.07	   
114.07	   search
114.07	     run=21  nbConstraintChecks=211814824  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=258576
114.07	     nbFailedAssignments=108491  nbBacktracks=149624  nbVisitedNodes=472542  nbRestartNogoods=130
114.07	       =>  wckTime=83.182  cpuTime=83.02  mem=16M478
152.66	   
152.66	   search
152.66	     run=22  nbConstraintChecks=309041028  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=379579
152.66	     nbFailedAssignments=154659  nbBacktracks=224442  nbVisitedNodes=689455  nbRestartNogoods=140
152.66	       =>  wckTime=121.774  cpuTime=121.58  mem=16M478
212.69	   
212.69	   search
212.69	     run=23  nbConstraintChecks=452692316  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=558258
212.69	     nbFailedAssignments=221100  nbBacktracks=336669  nbVisitedNodes=1009802  nbRestartNogoods=148
212.69	       =>  wckTime=181.803  cpuTime=181.56  mem=16M478
302.11	   
302.11	   search
302.11	     run=24  nbConstraintChecks=674437810  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=830377
302.11	     nbFailedAssignments=324866  nbBacktracks=505011  nbVisitedNodes=1498485  nbRestartNogoods=156
302.11	       =>  wckTime=271.223  cpuTime=270.9  mem=16M478
432.31	   
432.31	   search
432.31	     run=25  nbConstraintChecks=997506386  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1229536
432.31	     nbFailedAssignments=471493  nbBacktracks=757527  nbVisitedNodes=2210791  nbRestartNogoods=163
432.31	       =>  wckTime=401.428  cpuTime=400.97  mem=16M478
624.28	   
624.28	   search
624.28	     run=26  nbConstraintChecks=1464028872  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1815653
624.28	     nbFailedAssignments=678833  nbBacktracks=1136295  nbVisitedNodes=3259397  nbRestartNogoods=172
624.28	       =>  wckTime=593.397  cpuTime=592.77  mem=16M478
916.45	   
916.45	   search
916.45	     run=27  nbConstraintChecks=2164056314  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2697946
916.45	     nbFailedAssignments=992961  nbBacktracks=1704450  nbVisitedNodes=4836784  nbRestartNogoods=181
916.45	       =>  wckTime=885.565  cpuTime=884.65  mem=16M478
1363.63	   
1363.63	   search
1363.63	     run=28  nbConstraintChecks=3229521284  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4024679
1363.63	     nbFailedAssignments=1467453  nbBacktracks=2556679  nbVisitedNodes=7218184  nbRestartNogoods=196
1363.63	       =>  wckTime=1332.745  cpuTime=1331.4  mem=16M478
2044.43	   
2044.43	   search
2044.43	     run=29  nbConstraintChecks=4860279466  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6041192
2044.43	     nbFailedAssignments=2205615  nbBacktracks=3835019  nbVisitedNodes=10845039  nbRestartNogoods=209
2044.43	       =>  wckTime=2013.546  cpuTime=2011.56  mem=16M478
2402.47	v 1 2 2 2 1 1 1 1 2 1 2 0 0 0 0 0 0 0 0 0 0 0 2 3 3 3 3 3 3 3 3 3 3 3 3 0 3 0 0 3 0 3 0 0 0 2 1

Verifier Data (download as text)

4 unsatisfied constraints, 232 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/node39/watcher-282971-1169324792 -o ROOT/results/node39/solver-282971-1169324792 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282971-1169324792/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.85 1.97 1.89 4/73 20136
/proc/meminfo: memFree=1267536/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=18540 CPUtime=0
/proc/20135/stat : 20135 (runsolver) R 20133 20135 19511 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 280878781 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20135/statm: 4635 279 244 17 0 2626 0

[startup+0.108028 s]
/proc/loadavg: 1.85 1.97 1.89 4/73 20136
/proc/meminfo: memFree=1267536/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=914988 CPUtime=0.09
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 2996 0 1 0 7 2 0 0 17 0 8 0 280878781 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20135/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516066 s]
/proc/loadavg: 1.85 1.97 1.89 4/73 20136
/proc/meminfo: memFree=1267536/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=0.49
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 6517 0 1 0 45 4 0 0 18 0 8 0 280878781 937299968 6255 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20135/statm: 228833 6255 2160 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33713 s]
/proc/loadavg: 1.85 1.97 1.89 3/80 20143
/proc/meminfo: memFree=1250136/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=1.3
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 7011 0 1 0 103 27 0 0 25 0 8 0 280878781 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11513066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20135/statm: 228833 6749 2476 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.1
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 318 0 0 0 10 0 0 0 16 0 8 0 280878789 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 6749 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280878789 937299968 6749 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) 915332

[startup+2.98129 s]
/proc/loadavg: 1.85 1.97 1.89 3/80 20143
/proc/meminfo: memFree=1250136/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915336 CPUtime=2.93
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 7014 0 1 0 209 84 0 0 25 0 8 0 280878781 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20135/statm: 228834 6751 2476 14 0 215304 0
[pid=20135/tid=20137] ppid=20133 vsize=915336 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280878785 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915336 CPUtime=0.11
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 320 0 0 0 11 0 0 0 16 0 8 0 280878789 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280878789 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915336

[startup+6.18158 s]
/proc/loadavg: 1.86 1.97 1.89 3/80 20143
/proc/meminfo: memFree=1250144/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915336 CPUtime=6.11
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 7014 0 1 0 414 197 0 0 25 0 8 0 280878781 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20135/statm: 228834 6751 2476 14 0 215304 0
[pid=20135/tid=20137] ppid=20133 vsize=915336 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280878785 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915336 CPUtime=0.11
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 320 0 0 0 11 0 0 0 16 0 8 0 280878789 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280878789 937304064 6751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915336

[startup+12.6532 s]
/proc/loadavg: 1.87 1.97 1.89 3/80 20143
/proc/meminfo: memFree=1250280/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=12.52
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 7015 0 1 0 839 413 0 0 25 0 8 0 280878781 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073617572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20135/statm: 228833 6752 2476 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.11
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 280878789 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280878789 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915332

[startup+25.5104 s]
/proc/loadavg: 1.83 1.95 1.89 3/81 20233
/proc/meminfo: memFree=1228768/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=25.37
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 7015 0 1 0 1677 860 0 0 24 0 8 0 280878781 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228834 6752 2476 14 0 215304 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937304064 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.11
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 321 0 0 0 11 0 0 0 16 0 8 0 280878789 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915336 CPUtime=0
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280878789 937304064 6752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915332

[startup+51.1397 s]
/proc/loadavg: 1.89 1.95 1.89 3/81 20233
/proc/meminfo: memFree=1221216/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=50.95
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9033 0 1 0 4053 1042 0 0 25 0 8 0 280878781 937299968 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8767 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 376 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280878789 937299968 8767 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915332

[startup+102.388 s]
/proc/loadavg: 1.95 1.96 1.90 3/81 20233
/proc/meminfo: memFree=1221216/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=102.16
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9041 0 1 0 9174 1042 0 0 25 0 8 0 280878781 937299968 8775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750336 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8775 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280878789 937299968 8775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 915332

[startup+162.487 s]
/proc/loadavg: 1.98 1.97 1.90 3/81 20233
/proc/meminfo: memFree=1221216/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=162.21
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9047 0 1 0 15179 1042 0 0 25 0 8 0 280878781 937299968 8780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

Current children cumulated CPU time (s) 2022.53
Current children cumulated vsize (KiB) 915332

[startup+2084.53 s]
/proc/loadavg: 2.00 2.00 1.96 3/87 20307
/proc/meminfo: memFree=1219656/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=2082.47
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9064 0 1 0 207198 1049 0 0 25 0 8 0 280878781 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073772945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8796 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0.05
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 3 2 0 0 15 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.47
Current children cumulated vsize (KiB) 915332

[startup+2144.56 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 20431
/proc/meminfo: memFree=1220624/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=2142.41
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9064 0 1 0 213187 1054 0 0 25 0 8 0 280878781 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788405 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8796 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0.05
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 3 2 0 0 15 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 915332

[startup+2204.66 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 20431
/proc/meminfo: memFree=1220640/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=2202.44
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9064 0 1 0 219190 1054 0 0 25 0 8 0 280878781 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8796 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0.05
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 3 2 0 0 15 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.44
Current children cumulated vsize (KiB) 915332

[startup+2264.67 s]
/proc/loadavg: 2.00 2.00 1.96 3/81 20431
/proc/meminfo: memFree=1220640/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=2262.39
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9064 0 1 0 225185 1054 0 0 25 0 8 0 280878781 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774017 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8796 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0.05
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 3 2 0 0 15 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.39
Current children cumulated vsize (KiB) 915332

[startup+2324.76 s]
/proc/loadavg: 2.04 2.01 1.96 3/81 20431
/proc/meminfo: memFree=1220640/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=2322.44
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9064 0 1 0 231190 1054 0 0 25 0 8 0 280878781 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8796 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0.05
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 3 2 0 0 15 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.44
Current children cumulated vsize (KiB) 915332

[startup+2384.86 s]
/proc/loadavg: 2.06 2.02 1.97 3/81 20431
/proc/meminfo: memFree=1220640/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=2382.48
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9064 0 1 0 237193 1055 0 0 25 0 8 0 280878781 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8796 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0.05
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 3 2 0 0 15 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.48
Current children cumulated vsize (KiB) 915332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.46 s]
/proc/loadavg: 2.04 2.02 1.97 3/81 20431
/proc/meminfo: memFree=1220640/2055920 swapFree=4187336/4192956
[pid=20135] ppid=20133 vsize=915332 CPUtime=2400.06
/proc/20135/stat : 20135 (java) R 20133 20135 19511 0 -1 0 9064 0 1 0 238951 1055 0 0 25 0 8 0 280878781 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746381 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20135/statm: 228833 8796 2527 14 0 215303 0
[pid=20135/tid=20137] ppid=20133 vsize=915332 CPUtime=0.02
/proc/20135/task/20137/stat : 20137 (java) S 20133 20135 19511 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20138] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20138/stat : 20138 (java) S 20133 20135 19511 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20139] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20139/stat : 20139 (java) S 20133 20135 19511 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280878785 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20140] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20140/stat : 20140 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20141] ppid=20133 vsize=915332 CPUtime=0.2
/proc/20135/task/20141/stat : 20141 (java) S 20133 20135 19511 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20135/tid=20142] ppid=20133 vsize=915332 CPUtime=0
/proc/20135/task/20142/stat : 20142 (java) S 20133 20135 19511 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20135/tid=20143] ppid=20133 vsize=915332 CPUtime=0.05
/proc/20135/task/20143/stat : 20143 (java) S 20133 20135 19511 0 -1 64 0 0 0 0 3 2 0 0 15 0 8 0 280878789 937299968 8796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915332

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

Child status: 143
Real time (s): 2402.53
CPU time (s): 2400.13
CPU user time (s): 2389.57
CPU system time (s): 10.5584
CPU usage (%): 99.9002
Max. virtual memory (cumulated for all children) (KiB): 915336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.57
system time used= 10.5584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9084
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= 49639
involuntary context switches= 12565

runsolver used 2.42363 s user time and 8.24075 s system time

The end

Launcher Data (download as text)

Begin job on node39 on Sat Jan 20 20:26:32 UTC 2007


IDJOB= 282971
IDBENCH= 12971
IDSOLVER= 69
FILE ID= node39/282971-1169324792

PBS_JOBID= 3610369

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/coloring/myciel-5g-4-ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282971-1169324792/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node39/watcher-282971-1169324792 -o ROOT/results/node39/solver-282971-1169324792 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282971-1169324792/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d7e45575bbac0fb5e64744e0880af712

RANDOM SEED= 946974226

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.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1268016 kB
Buffers:         54252 kB
Cached:         637452 kB
SwapCached:        944 kB
Active:         201960 kB
Inactive:       507236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1268016 kB
SwapTotal:     4192956 kB
SwapFree:      4187336 kB
Dirty:            4036 kB
Writeback:           0 kB
Mapped:          26476 kB
Slab:            64128 kB
Committed_AS:  5529660 kB
PageTables:       1728 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= 66561 MiB



End job on node39 on Sat Jan 20 21:06:34 UTC 2007