Trace number 282970

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 EPFCOPTIMUM 1976.36 1988.51

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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/282970-1169324789/unknown.xml
0.38	   
0.38	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.42	     nbVariables=47  nbDomainTypes=1  minDomainSize=4  maxDomainSize=4
0.42	       =>  wckTime=0.102  cpuTime=0.09  mem=6M887
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.179  cpuTime=0.15  mem=8M837
0.54	   
0.54	   solver LocalSearchSolver being built... 
0.59	       =>  wckTime=0.263  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.183  cpuTime=1.15  mem=5M489
2.95	   
2.95	   search
2.95	     run=1  nbConstraintChecks=9115862  nbAssignments=20000
2.95	       =>  wckTime=2.365  cpuTime=2.31  mem=5M489
4.05	   
4.05	   search
4.05	     run=2  nbConstraintChecks=13362874  nbAssignments=30000
4.05	       =>  wckTime=3.47  cpuTime=3.41  mem=5M489
5.27	   
5.27	   search
5.27	     run=3  nbConstraintChecks=18464107  nbAssignments=40000
5.27	       =>  wckTime=4.683  cpuTime=4.61  mem=5M489
6.40	   
6.40	   search
6.40	     run=4  nbConstraintChecks=22901344  nbAssignments=50000
6.40	       =>  wckTime=5.813  cpuTime=5.73  mem=5M489
7.58	   
7.58	   search
7.58	     run=5  nbConstraintChecks=27763550  nbAssignments=60000
7.58	       =>  wckTime=6.999  cpuTime=6.91  mem=5M489
8.70	   
8.70	   search
8.70	     run=6  nbConstraintChecks=32058970  nbAssignments=70000
8.70	       =>  wckTime=8.114  cpuTime=8.01  mem=5M489
9.89	   
9.89	   search
9.89	     run=7  nbConstraintChecks=36902861  nbAssignments=80000
9.89	       =>  wckTime=9.307  cpuTime=9.2  mem=5M489
11.02	   
11.02	   search
11.02	     run=8  nbConstraintChecks=41268693  nbAssignments=90000
11.02	       =>  wckTime=10.436  cpuTime=10.31  mem=5M489
12.21	   
12.21	   search
12.21	     run=9  nbConstraintChecks=46062630  nbAssignments=100000
12.21	       =>  wckTime=11.625  cpuTime=11.49  mem=5M489
13.35	   
13.35	   search
13.35	     run=10  nbConstraintChecks=50519324  nbAssignments=110000
13.35	       =>  wckTime=12.764  cpuTime=12.62  mem=5M489
14.56	   
14.56	   search
14.56	     run=11  nbConstraintChecks=55465694  nbAssignments=120000
14.56	       =>  wckTime=13.972  cpuTime=13.81  mem=5M489
15.67	   
15.68	   search
15.68	     run=12  nbConstraintChecks=59753730  nbAssignments=130000
15.68	       =>  wckTime=15.092  cpuTime=14.93  mem=5M489
16.87	   
16.87	   search
16.87	     run=13  nbConstraintChecks=64667240  nbAssignments=140000
16.88	       =>  wckTime=16.291  cpuTime=16.11  mem=5M489
17.99	   
17.99	   search
17.99	     run=14  nbConstraintChecks=68946236  nbAssignments=150000
17.99	       =>  wckTime=17.411  cpuTime=17.23  mem=5M489
19.18	   
19.18	   search
19.18	     run=15  nbConstraintChecks=73757901  nbAssignments=160000
19.18	       =>  wckTime=18.595  cpuTime=18.39  mem=5M489
20.28	   
20.28	   search
20.28	     run=16  nbConstraintChecks=77952316  nbAssignments=170000
20.28	       =>  wckTime=19.696  cpuTime=19.48  mem=5M489
21.46	   
21.46	   search
21.46	     run=17  nbConstraintChecks=82810394  nbAssignments=180000
21.46	       =>  wckTime=20.881  cpuTime=20.66  mem=5M489
22.56	   
22.56	   search
22.56	     run=18  nbConstraintChecks=86940320  nbAssignments=190000
22.56	       =>  wckTime=21.973  cpuTime=21.74  mem=5M489
23.77	   
23.77	   search
23.77	     run=19  nbConstraintChecks=91931988  nbAssignments=200000
23.77	       =>  wckTime=23.182  cpuTime=22.94  mem=5M489
24.87	   
24.87	   search
24.87	     run=20  nbConstraintChecks=96229074  nbAssignments=210000
24.87	       =>  wckTime=24.289  cpuTime=24.03  mem=5M489
26.05	   
26.05	   search
26.05	     run=21  nbConstraintChecks=100984154  nbAssignments=220000
26.05	       =>  wckTime=25.468  cpuTime=25.2  mem=5M489
27.15	   
27.15	   search
27.15	     run=22  nbConstraintChecks=105194220  nbAssignments=230000
27.15	       =>  wckTime=26.565  cpuTime=26.3  mem=5M489
28.36	   
28.36	   search
28.36	     run=23  nbConstraintChecks=110230608  nbAssignments=240000
28.36	       =>  wckTime=27.78  cpuTime=27.49  mem=5M489
29.47	   
29.47	   search
29.47	     run=24  nbConstraintChecks=114422276  nbAssignments=250000
29.47	       =>  wckTime=28.888  cpuTime=28.59  mem=5M489
30.69	   
30.69	   search
30.69	     run=25  nbConstraintChecks=119407977  nbAssignments=260000
30.69	       =>  wckTime=30.106  cpuTime=29.79  mem=5M489
30.93	   
30.93	   search
30.93	     run=26  nbConstraintChecks=120227766  nbAssignments=262352
30.93	       =>  wckTime=30.343  cpuTime=30.03  mem=5M489
30.93	   
30.93	   global
30.93	     nbConstraintChecks=120227766  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.93	     solvingWckTime=30.341  solvingCpuTime=30.03  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.93	     globalCpuTime=30.27
30.93	       =>  wckTime=30.606  cpuTime=30.22  mem=5M489
30.93	   
30.93	   solver IterativeSystematicSolver being built... 
31.06	       =>  wckTime=30.743  cpuTime=30.33  mem=16M494
31.11	   
31.11	   preprocessing
31.12	     nbConstraintChecks=15901  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
31.12	     detectedInconsistency=no
31.12	       =>  wckTime=0.048  cpuTime=0.02  mem=16M494
31.14	   
31.14	   search
31.14	     run=0  nbConstraintChecks=30798  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46
31.14	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=67  nbRestartNogoods=0
31.14	       =>  wckTime=0.07  cpuTime=0.05  mem=16M494
31.18	   
31.18	   search
31.18	     run=1  nbConstraintChecks=73599  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=103
31.18	     nbFailedAssignments=33  nbBacktracks=25  nbVisitedNodes=162  nbRestartNogoods=3
31.18	       =>  wckTime=0.113  cpuTime=0.08  mem=16M494
31.21	   
31.21	   search
31.21	     run=2  nbConstraintChecks=132030  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=184
31.21	     nbFailedAssignments=67  nbBacktracks=47  nbVisitedNodes=298  nbRestartNogoods=8
31.21	       =>  wckTime=0.14  cpuTime=0.1  mem=16M494
31.24	   
31.24	   search
31.24	     run=3  nbConstraintChecks=198488  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=276
31.24	     nbFailedAssignments=97  nbBacktracks=80  nbVisitedNodes=453  nbRestartNogoods=12
31.24	       =>  wckTime=0.17  cpuTime=0.13  mem=16M494
31.27	   
31.27	   search
31.27	     run=4  nbConstraintChecks=289441  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=398
31.27	     nbFailedAssignments=142  nbBacktracks=131  nbVisitedNodes=670  nbRestartNogoods=14
31.27	       =>  wckTime=0.208  cpuTime=0.17  mem=16M494
31.33	   
31.33	   search
31.33	     run=5  nbConstraintChecks=440457  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=590
31.33	     nbFailedAssignments=231  nbBacktracks=206  nbVisitedNodes=1022  nbRestartNogoods=18
31.33	       =>  wckTime=0.266  cpuTime=0.22  mem=16M494
31.43	   
31.43	   search
31.43	     run=6  nbConstraintChecks=699746  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=879
31.43	     nbFailedAssignments=383  nbBacktracks=319  nbVisitedNodes=1576  nbRestartNogoods=22
31.43	       =>  wckTime=0.363  cpuTime=0.32  mem=16M494
31.56	   
31.56	   search
31.56	     run=7  nbConstraintChecks=1008120  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1251
31.56	     nbFailedAssignments=556  nbBacktracks=489  nbVisitedNodes=2280  nbRestartNogoods=25
31.56	       =>  wckTime=0.492  cpuTime=0.44  mem=16M494
31.79	   
31.79	   search
31.79	     run=8  nbConstraintChecks=1551716  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1848
31.79	     nbFailedAssignments=877  nbBacktracks=745  nbVisitedNodes=3446  nbRestartNogoods=32
31.79	       =>  wckTime=0.729  cpuTime=0.65  mem=16M494
32.01	   
32.01	   search
32.01	     run=9  nbConstraintChecks=2221856  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2632
32.01	     nbFailedAssignments=1252  nbBacktracks=1129  nbVisitedNodes=4948  nbRestartNogoods=36
32.01	       =>  wckTime=0.949  cpuTime=0.86  mem=16M494
32.45	   
32.45	   search
32.45	     run=10  nbConstraintChecks=3312391  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3798
32.45	     nbFailedAssignments=1828  nbBacktracks=1705  nbVisitedNodes=7252  nbRestartNogoods=38
32.45	       =>  wckTime=1.38  cpuTime=1.29  mem=16M494
33.17	   
33.17	   search
33.17	     run=11  nbConstraintChecks=5113373  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5709
33.17	     nbFailedAssignments=2861  nbBacktracks=2569  nbVisitedNodes=11050  nbRestartNogoods=43
33.17	       =>  wckTime=2.108  cpuTime=2.01  mem=16M494
34.01	   
34.01	   search
34.01	     run=12  nbConstraintChecks=7356209  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=8184
34.01	     nbFailedAssignments=4027  nbBacktracks=3866  nbVisitedNodes=15872  nbRestartNogoods=51
34.01	       =>  wckTime=2.948  cpuTime=2.84  mem=16M494
35.43	   
35.43	   search
35.43	     run=13  nbConstraintChecks=10680496  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=11814
35.43	     nbFailedAssignments=5696  nbBacktracks=5812  nbVisitedNodes=22738  nbRestartNogoods=53
35.43	       =>  wckTime=4.367  cpuTime=4.25  mem=16M494
37.57	   
37.57	   search
37.57	     run=14  nbConstraintChecks=15356559  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=17318
37.57	     nbFailedAssignments=8266  nbBacktracks=8732  nbVisitedNodes=33037  nbRestartNogoods=59
37.57	       =>  wckTime=6.508  cpuTime=6.36  mem=16M494
40.43	   
40.43	   search
40.44	     run=15  nbConstraintChecks=21561862  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=24874
40.44	     nbFailedAssignments=11434  nbBacktracks=13110  nbVisitedNodes=46863  nbRestartNogoods=65
40.44	       =>  wckTime=9.369  cpuTime=9.2  mem=16M494
44.86	   
44.86	   search
44.86	     run=16  nbConstraintChecks=30735308  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=36071
44.86	     nbFailedAssignments=16049  nbBacktracks=19680  nbVisitedNodes=67496  nbRestartNogoods=71
44.86	       =>  wckTime=13.791  cpuTime=13.58  mem=16M494
51.17	   
51.17	   search
51.17	     run=17  nbConstraintChecks=44023789  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=52494
51.17	     nbFailedAssignments=22609  nbBacktracks=29532  nbVisitedNodes=97466  nbRestartNogoods=79
51.17	       =>  wckTime=20.105  cpuTime=19.83  mem=16M494
60.78	   
60.78	   search
60.78	     run=18  nbConstraintChecks=64559840  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=77554
60.78	     nbFailedAssignments=32884  nbBacktracks=44310  nbVisitedNodes=143555  nbRestartNogoods=86
60.78	       =>  wckTime=29.714  cpuTime=29.36  mem=16M494
75.31	   
75.32	   search
75.32	     run=19  nbConstraintChecks=94482997  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=114456
75.32	     nbFailedAssignments=47607  nbBacktracks=66479  nbVisitedNodes=211037  nbRestartNogoods=93
75.32	       =>  wckTime=44.25  cpuTime=43.76  mem=16M494
96.22	   
96.23	   search
96.23	     run=20  nbConstraintChecks=137987013  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=169040
96.23	     nbFailedAssignments=68922  nbBacktracks=99731  nbVisitedNodes=309858  nbRestartNogoods=98
96.23	       =>  wckTime=65.16  cpuTime=64.47  mem=16M494
128.30	   
128.30	   search
128.30	     run=21  nbConstraintChecks=205261493  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=251983
128.30	     nbFailedAssignments=101976  nbBacktracks=149610  nbVisitedNodes=461295  nbRestartNogoods=105
128.30	       =>  wckTime=97.233  cpuTime=96.25  mem=16M494
180.41	   
180.41	   search
180.41	     run=22  nbConstraintChecks=309224909  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=380286
180.41	     nbFailedAssignments=155445  nbBacktracks=224429  nbVisitedNodes=698304  nbRestartNogoods=109
180.41	       =>  wckTime=149.343  cpuTime=147.89  mem=16M494
254.83	   
254.83	   search
254.83	     run=23  nbConstraintChecks=468278298  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=571925
254.83	     nbFailedAssignments=234843  nbBacktracks=336656  nbVisitedNodes=1050893  nbRestartNogoods=122
254.83	       =>  wckTime=223.762  cpuTime=221.63  mem=16M494
377.40	   
377.40	   search
377.40	     run=24  nbConstraintChecks=726930447  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=869847
377.40	     nbFailedAssignments=364415  nbBacktracks=505000  nbVisitedNodes=1608043  nbRestartNogoods=128
377.40	       =>  wckTime=346.331  cpuTime=343.07  mem=16M494
539.63	   
539.63	   search
539.63	     run=25  nbConstraintChecks=1051598986  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1277555
539.63	     nbFailedAssignments=519601  nbBacktracks=757511  nbVisitedNodes=2348324  nbRestartNogoods=136
539.63	       =>  wckTime=508.565  cpuTime=503.83  mem=16M494
795.85	   
795.85	   search
795.85	     run=26  nbConstraintChecks=1562860241  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1902235
795.85	     nbFailedAssignments=765505  nbBacktracks=1136278  nbVisitedNodes=3483524  nbRestartNogoods=145
795.85	       =>  wckTime=764.787  cpuTime=757.72  mem=16M494
1170.28	   
1170.28	   search
1170.28	     run=27  nbConstraintChecks=2313324558  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2833985
1170.28	     nbFailedAssignments=1129088  nbBacktracks=1704429  nbVisitedNodes=5178668  nbRestartNogoods=151
1170.28	       =>  wckTime=1139.217  cpuTime=1128.73  mem=16M494
1716.77	   
1716.77	   search
1716.77	     run=28  nbConstraintChecks=3475408743  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4248465
1716.77	     nbFailedAssignments=1691333  nbBacktracks=2556655  nbVisitedNodes=7771286  nbRestartNogoods=163
1716.77	       =>  wckTime=1685.704  cpuTime=1673.9  mem=16M494
1988.46	   
1988.46	   search
1988.46	     run=29  nbConstraintChecks=4047728175  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4972025
1988.46	     nbFailedAssignments=1961313  nbBacktracks=3010236  nbVisitedNodes=9075664  nbRestartNogoods=174
1988.46	       =>  wckTime=1957.392  cpuTime=1945.5  mem=16M494
1988.46	   
1988.46	   global
1988.46	     nbConstraintChecks=4047744076  nbRestartNogoods=174  solvingWckTime=1957.393  solvingCpuTime=1945.5  expiredTime=no
1988.46	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=1975.88
1988.46	       =>  wckTime=1988.136  cpuTime=1975.83  mem=16M494
1988.46	
1988.46	s OPTIMUM FOUND
1988.46	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 
1988.46	   
1988.46	   totalWckTime=1988.219  totalCpuTime=1975.89

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/node13/watcher-282970-1169324789 -o ROOT/results/node13/solver-282970-1169324789 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282970-1169324789/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: 2.04 2.02 2.00 4/93 3224
/proc/meminfo: memFree=1292960/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=18540 CPUtime=0
/proc/3223/stat : 3223 (runsolver) R 3221 3223 2371 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 280873887 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3223/statm: 4635 279 244 17 0 2626 0

[startup+0.108687 s]
/proc/loadavg: 2.04 2.02 2.00 4/93 3224
/proc/meminfo: memFree=1292960/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=914988 CPUtime=0.08
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 2996 0 1 0 7 1 0 0 17 0 8 0 280873887 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.520706 s]
/proc/loadavg: 2.04 2.02 2.00 4/93 3224
/proc/meminfo: memFree=1292960/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=0.49
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 6526 0 1 0 46 3 0 0 18 0 8 0 280873887 937299968 6264 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228833 6264 2165 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34881 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 3231
/proc/meminfo: memFree=1275624/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915336 CPUtime=1.3
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 7018 0 1 0 102 28 0 0 25 0 8 0 280873887 937304064 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12295056 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228834 6756 2479 14 0 215304 0
[pid=3223/tid=3225] ppid=3221 vsize=915336 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280873891 937304064 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915336 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937304064 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915336 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937304064 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915336 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937304064 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915336 CPUtime=0.09
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 318 0 0 0 9 0 0 0 16 0 8 0 280873895 937304064 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915336 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937304064 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915336 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937304064 6756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915336

[startup+2.98603 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 3231
/proc/meminfo: memFree=1275560/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=2.93
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 7021 0 1 0 208 85 0 0 25 0 8 0 280873887 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228833 6758 2479 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.1
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 280873895 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 6758 18446744073709551615 134512640 134570532 4294956464 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) 915332

[startup+6.26547 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 3231
/proc/meminfo: memFree=1275496/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=6.18
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 7021 0 1 0 424 194 0 0 25 0 8 0 280873887 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073615893 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228833 6758 2479 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.1
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 280873895 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 6758 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915332

[startup+12.7533 s]
/proc/loadavg: 2.03 2.02 2.00 4/100 3231
/proc/meminfo: memFree=1275504/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=12.6
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 7022 0 1 0 848 412 0 0 25 0 8 0 280873887 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228833 6759 2479 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.1
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 321 0 0 0 10 0 0 0 17 0 8 0 280873895 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915332

[startup+25.6081 s]
/proc/loadavg: 2.03 2.02 2.00 3/100 3231
/proc/meminfo: memFree=1275568/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=25.34
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 7022 0 1 0 1693 841 0 0 25 0 8 0 280873887 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 12313619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228833 6759 2479 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 150 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.1
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 280873895 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 6759 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915332

[startup+51.2185 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 3231
/proc/meminfo: memFree=1267696/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=50.71
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9045 0 1 0 4052 1019 0 0 25 0 8 0 280873887 937299968 8778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228833 8778 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8778 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915332

[startup+102.419 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 3231
/proc/meminfo: memFree=1267696/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=101.45
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9053 0 1 0 9125 1020 0 0 25 0 8 0 280873887 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3223/statm: 228833 8785 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8785 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915332

[startup+162.466 s]
/proc/loadavg: 2.10 2.03 2.01 3/100 3231
/proc/meminfo: memFree=1267696/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=160.95
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9055 0 1 0 15075 1020 0 0 25 0 8 0 280873887 937299968 8787 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.48
Current children cumulated vsize (KiB) 915332

[startup+1603.47 s]
/proc/loadavg: 1.00 1.34 1.70 2/85 3394
/proc/meminfo: memFree=1301112/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=1591.47
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9071 0 1 0 158120 1027 0 0 25 0 8 0 280873887 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743897 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3223/statm: 228833 8802 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.47
Current children cumulated vsize (KiB) 915332

[startup+1663.49 s]
/proc/loadavg: 1.00 1.27 1.65 2/85 3394
/proc/meminfo: memFree=1301176/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=1651.47
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9071 0 1 0 164120 1027 0 0 25 0 8 0 280873887 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3223/statm: 228833 8802 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8802 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.47
Current children cumulated vsize (KiB) 915332

[startup+1723.5 s]
/proc/loadavg: 1.00 1.22 1.61 2/85 3394
/proc/meminfo: memFree=1301176/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=1711.47
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9073 0 1 0 170120 1027 0 0 25 0 8 0 280873887 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727579 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3223/statm: 228833 8804 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.47
Current children cumulated vsize (KiB) 915332

[startup+1783.52 s]
/proc/loadavg: 1.00 1.18 1.57 2/85 3394
/proc/meminfo: memFree=1301176/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=1771.47
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9073 0 1 0 176119 1028 0 0 25 0 8 0 280873887 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753724 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3223/statm: 228833 8804 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.47
Current children cumulated vsize (KiB) 915332

[startup+1843.54 s]
/proc/loadavg: 1.00 1.14 1.53 2/85 3394
/proc/meminfo: memFree=1301176/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=1831.47
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9073 0 1 0 182119 1028 0 0 25 0 8 0 280873887 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3223/statm: 228833 8804 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1831.47
Current children cumulated vsize (KiB) 915332

[startup+1903.56 s]
/proc/loadavg: 1.00 1.11 1.50 2/85 3394
/proc/meminfo: memFree=1301240/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=1891.47
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9073 0 1 0 188119 1028 0 0 25 0 8 0 280873887 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727531 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3223/statm: 228833 8804 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1891.47
Current children cumulated vsize (KiB) 915332

[startup+1963.58 s]
/proc/loadavg: 1.04 1.11 1.47 2/85 3394
/proc/meminfo: memFree=1301240/2055920 swapFree=4169400/4192956
[pid=3223] ppid=3221 vsize=915332 CPUtime=1951.46
/proc/3223/stat : 3223 (java) R 3221 3223 2371 0 -1 0 9073 0 1 0 194118 1028 0 0 25 0 8 0 280873887 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727525 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3223/statm: 228833 8804 2532 14 0 215303 0
[pid=3223/tid=3225] ppid=3221 vsize=915332 CPUtime=0.02
/proc/3223/task/3225/stat : 3225 (java) S 3221 3223 2371 0 -1 64 151 0 0 0 2 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3226] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3226/stat : 3226 (java) S 3221 3223 2371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3227] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3227/stat : 3227 (java) S 3221 3223 2371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280873891 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3228] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3228/stat : 3228 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3229] ppid=3221 vsize=915332 CPUtime=0.22
/proc/3223/task/3229/stat : 3229 (java) S 3221 3223 2371 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3230] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3230/stat : 3230 (java) S 3221 3223 2371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3223/tid=3231] ppid=3221 vsize=915332 CPUtime=0
/proc/3223/task/3231/stat : 3231 (java) S 3221 3223 2371 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 280873895 937299968 8804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1951.46
Current children cumulated vsize (KiB) 915332

Child status: 0
Real time (s): 1988.51
CPU time (s): 1976.36
CPU user time (s): 1966.07
CPU system time (s): 10.2894
CPU usage (%): 99.3889
Max. virtual memory (cumulated for all children) (KiB): 915336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1966.07
system time used= 10.2894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9168
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= 41291
involuntary context switches= 114885

runsolver used 2.02069 s user time and 6.18506 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan 20 20:26:29 UTC 2007


IDJOB= 282970
IDBENCH= 12971
IDSOLVER= 68
FILE ID= node13/282970-1169324789

PBS_JOBID= 3610079

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/282970-1169324789/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-282970-1169324789 -o ROOT/results/node13/solver-282970-1169324789 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/282970-1169324789/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d7e45575bbac0fb5e64744e0880af712

RANDOM SEED= 21738857

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.247
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.247
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:       1293440 kB
Buffers:         65520 kB
Cached:         554544 kB
SwapCached:       8664 kB
Active:         347852 kB
Inactive:       334232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1293440 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            1684 kB
Writeback:           0 kB
Mapped:          78932 kB
Slab:            64964 kB
Committed_AS:  9556468 kB
PageTables:       2496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB



End job on node13 on Sat Jan 20 20:59:38 UTC 2007