Trace number 277894

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 EPFCMSAT (TO) 2400.14 2404.06

General information on the benchmark

NameMaxCSP/cnf/3-80-100-1000/
cnf-3-80-400-912641_ext.xml
MD5SUM422c10cf0d446eba57848ab536238fcf
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints396
Best CPU time to get the best result obtained on this benchmark10.6594
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints399
Maximum constraint arity3
Maximum domain size2
Number of constraints which are defined in extension399
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.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/277894-1169271095/unknown.xml
0.39	   
0.39	   domains being loaded...
0.39	   
0.39	   variables being loaded...
0.43	     nbVariables=80  nbDomainTypes=1  minDomainSize=2  maxDomainSize=2
0.43	       =>  wckTime=0.105  cpuTime=0.09  mem=6M887
0.43	   
0.43	   relations being loaded...
0.43	   
0.43	   constraints being loaded...
0.57	     nbConstraints=399  nbRelationTypes=9  nbExtensionStructures=9  nbSharedExtensionStructures=390
0.57	     nbConflictsStructures=9  nbSharedConflictsStructures=390  nbSharedBinaryRepresentations=0  maxDegree=24  maxArity=3
0.57	       =>  wckTime=0.246  cpuTime=0.17  mem=8M838
0.61	   
0.61	   solver LocalSearchSolver being built... 
0.65	       =>  wckTime=0.33  cpuTime=0.21  mem=5M586
0.66	
0.66	s SATISFIABLE
0.66	o 358
0.66	c 41
0.66	o 362
0.66	c 37
0.66	o 366
0.66	c 33
0.66	o 367
0.66	c 32
0.66	o 368
0.66	c 31
0.66	o 369
0.66	c 30
0.66	o 372
0.66	c 27
0.66	o 373
0.66	c 26
0.67	o 374
0.67	c 25
0.67	o 375
0.67	c 24
0.67	o 376
0.67	c 23
0.67	o 378
0.67	c 21
0.67	o 379
0.67	c 20
0.68	o 380
0.68	c 19
0.68	o 381
0.68	c 18
0.68	o 382
0.68	c 17
0.68	o 384
0.68	c 15
0.68	o 385
0.68	c 14
0.68	o 387
0.68	c 12
0.68	o 388
0.68	c 11
0.69	o 390
0.69	c 9
0.69	o 391
0.69	c 8
0.69	o 392
0.69	c 7
0.69	o 393
0.69	c 6
0.70	o 394
0.70	c 5
0.74	o 395
0.74	c 4
0.75	o 396
0.75	c 3
1.94	   
1.94	   search
1.94	     run=0  nbConstraintChecks=3938925  nbAssignments=10000
1.94	       =>  wckTime=1.286  cpuTime=1.26  mem=5M586
3.21	   
3.21	   search
3.21	     run=1  nbConstraintChecks=8350084  nbAssignments=20000
3.21	       =>  wckTime=2.561  cpuTime=2.51  mem=5M586
4.40	   
4.40	   search
4.40	     run=2  nbConstraintChecks=12209081  nbAssignments=30000
4.40	       =>  wckTime=3.748  cpuTime=3.69  mem=5M586
5.67	   
5.67	   search
5.67	     run=3  nbConstraintChecks=16530502  nbAssignments=40000
5.67	       =>  wckTime=5.015  cpuTime=4.95  mem=5M586
6.85	   
6.85	   search
6.85	     run=4  nbConstraintChecks=20356188  nbAssignments=50000
6.85	       =>  wckTime=6.198  cpuTime=6.12  mem=5M586
8.09	   
8.09	   search
8.09	     run=5  nbConstraintChecks=24610580  nbAssignments=60000
8.09	       =>  wckTime=7.436  cpuTime=7.35  mem=5M586
9.26	   
9.26	   search
9.26	     run=6  nbConstraintChecks=28439299  nbAssignments=70000
9.26	       =>  wckTime=8.61  cpuTime=8.51  mem=5M586
10.49	   
10.49	   search
10.49	     run=7  nbConstraintChecks=32595638  nbAssignments=80000
10.49	       =>  wckTime=9.832  cpuTime=9.72  mem=5M586
11.66	   
11.66	   search
11.66	     run=8  nbConstraintChecks=36464636  nbAssignments=90000
11.66	       =>  wckTime=11.011  cpuTime=10.88  mem=5M586
12.91	   
12.91	   search
12.91	     run=9  nbConstraintChecks=40802533  nbAssignments=100000
12.91	       =>  wckTime=12.261  cpuTime=12.13  mem=5M586
14.10	   
14.10	   search
14.10	     run=10  nbConstraintChecks=44677053  nbAssignments=110000
14.10	       =>  wckTime=13.444  cpuTime=13.3  mem=5M586
15.35	   
15.35	   search
15.35	     run=11  nbConstraintChecks=48980973  nbAssignments=120000
15.35	       =>  wckTime=14.694  cpuTime=14.54  mem=5M586
16.52	   
16.52	   search
16.52	     run=12  nbConstraintChecks=52777924  nbAssignments=130000
16.52	       =>  wckTime=15.865  cpuTime=15.7  mem=5M586
17.78	   
17.78	   search
17.78	     run=13  nbConstraintChecks=57118337  nbAssignments=140000
17.78	       =>  wckTime=17.129  cpuTime=16.95  mem=5M586
18.97	   
18.97	   search
18.97	     run=14  nbConstraintChecks=60970270  nbAssignments=150000
18.97	       =>  wckTime=18.317  cpuTime=18.13  mem=5M586
20.23	   
20.23	   search
20.23	     run=15  nbConstraintChecks=65290381  nbAssignments=160000
20.23	       =>  wckTime=19.579  cpuTime=19.39  mem=5M586
21.42	   
21.42	   search
21.42	     run=16  nbConstraintChecks=69122659  nbAssignments=170000
21.42	       =>  wckTime=20.762  cpuTime=20.55  mem=5M586
22.66	   
22.66	   search
22.66	     run=17  nbConstraintChecks=73307177  nbAssignments=180000
22.66	       =>  wckTime=22.005  cpuTime=21.79  mem=5M586
23.86	   
23.86	   search
23.86	     run=18  nbConstraintChecks=77233387  nbAssignments=190000
23.86	       =>  wckTime=23.206  cpuTime=22.98  mem=5M586
25.12	   
25.12	   search
25.12	     run=19  nbConstraintChecks=81517792  nbAssignments=200000
25.12	       =>  wckTime=24.464  cpuTime=24.22  mem=5M586
26.31	   
26.31	   search
26.31	     run=20  nbConstraintChecks=85412930  nbAssignments=210000
26.31	       =>  wckTime=25.656  cpuTime=25.4  mem=5M586
27.57	   
27.57	   search
27.57	     run=21  nbConstraintChecks=89734399  nbAssignments=220000
27.57	       =>  wckTime=26.912  cpuTime=26.65  mem=5M586
28.74	   
28.74	   search
28.74	     run=22  nbConstraintChecks=93542585  nbAssignments=230000
28.74	       =>  wckTime=28.084  cpuTime=27.81  mem=5M586
29.98	   
29.98	   search
29.98	     run=23  nbConstraintChecks=97798742  nbAssignments=240000
29.98	       =>  wckTime=29.331  cpuTime=29.04  mem=5M586
31.03	   
31.03	   search
31.03	     run=24  nbConstraintChecks=101208458  nbAssignments=248857
31.03	       =>  wckTime=30.376  cpuTime=30.08  mem=5M586
31.03	   
31.03	   global
31.03	     nbConstraintChecks=101208458  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.03	     solvingWckTime=30.375  solvingCpuTime=30.08  expiredTime=no  totalExploration=no  nbFoundSolutions=0
31.03	     globalCpuTime=30.34
31.03	       =>  wckTime=30.707  cpuTime=30.29  mem=5M586
31.03	   
31.03	   solver IterativeSystematicSolver being built... 
31.21	       =>  wckTime=30.89  cpuTime=30.44  mem=19M518
31.29	   
31.29	   preprocessing
31.29	     nbConstraintChecks=1649  nbValidityChecks=4271  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.29	     nbRemovedValues=0  detectedInconsistency=no
31.29	       =>  wckTime=0.076  cpuTime=0.05  mem=19M518
31.33	   
31.33	   search
31.33	     run=0  nbConstraintChecks=1852  nbValidityChecks=10114  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.33	     nbAssignments=38  nbFailedAssignments=8  nbBacktracks=11  nbVisitedNodes=54  nbRestartNogoods=0
31.33	       =>  wckTime=0.115  cpuTime=0.07  mem=19M518
31.37	   
31.37	   search
31.37	     run=1  nbConstraintChecks=4136  nbValidityChecks=23790  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.37	     nbAssignments=86  nbFailedAssignments=20  nbBacktracks=28  nbVisitedNodes=123  nbRestartNogoods=2
31.37	       =>  wckTime=0.158  cpuTime=0.11  mem=19M518
31.42	   
31.42	   search
31.42	     run=2  nbConstraintChecks=8138  nbValidityChecks=51692  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.42	     nbAssignments=150  nbFailedAssignments=36  nbBacktracks=52  nbVisitedNodes=219  nbRestartNogoods=6
31.42	       =>  wckTime=0.2  cpuTime=0.15  mem=19M518
31.47	   
31.47	   search
31.47	     run=3  nbConstraintChecks=12680  nbValidityChecks=77927  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.47	     nbAssignments=227  nbFailedAssignments=60  nbBacktracks=85  nbVisitedNodes=338  nbRestartNogoods=8
31.47	       =>  wckTime=0.253  cpuTime=0.2  mem=19M518
31.53	   
31.53	   search
31.53	     run=4  nbConstraintChecks=19275  nbValidityChecks=125164  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.53	     nbAssignments=319  nbFailedAssignments=86  nbBacktracks=136  nbVisitedNodes=488  nbRestartNogoods=13
31.54	       =>  wckTime=0.32  cpuTime=0.26  mem=19M518
31.63	   
31.63	   search
31.63	     run=5  nbConstraintChecks=29252  nbValidityChecks=197348  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.63	     nbAssignments=466  nbFailedAssignments=133  nbBacktracks=212  nbVisitedNodes=718  nbRestartNogoods=14
31.63	       =>  wckTime=0.412  cpuTime=0.35  mem=19M518
31.77	   
31.77	   search
31.77	     run=6  nbConstraintChecks=44278  nbValidityChecks=301169  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.77	     nbAssignments=678  nbFailedAssignments=204  nbBacktracks=326  nbVisitedNodes=1072  nbRestartNogoods=17
31.77	       =>  wckTime=0.558  cpuTime=0.49  mem=19M518
31.99	   
31.99	   search
31.99	     run=7  nbConstraintChecks=67365  nbValidityChecks=445174  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
31.99	     nbAssignments=965  nbFailedAssignments=295  nbBacktracks=498  nbVisitedNodes=1562  nbRestartNogoods=25
31.99	       =>  wckTime=0.775  cpuTime=0.71  mem=19M518
32.32	   
32.32	   search
32.32	     run=8  nbConstraintChecks=102520  nbValidityChecks=678431  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.32	     nbAssignments=1395  nbFailedAssignments=448  nbBacktracks=754  nbVisitedNodes=2330  nbRestartNogoods=31
32.32	       =>  wckTime=1.104  cpuTime=1.03  mem=19M518
32.79	   
32.79	   search
32.79	     run=9  nbConstraintChecks=153025  nbValidityChecks=1014709  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
32.79	     nbAssignments=2008  nbFailedAssignments=646  nbBacktracks=1138  nbVisitedNodes=3396  nbRestartNogoods=35
32.79	       =>  wckTime=1.577  cpuTime=1.48  mem=19M518
33.46	   
33.46	   search
33.46	     run=10  nbConstraintChecks=218077  nbValidityChecks=1456908  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
33.46	     nbAssignments=2962  nbFailedAssignments=997  nbBacktracks=1716  nbVisitedNodes=5015  nbRestartNogoods=43
33.46	       =>  wckTime=2.245  cpuTime=2.14  mem=19M518
34.43	   
34.43	   search
34.43	     run=11  nbConstraintChecks=324251  nbValidityChecks=2271048  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
34.43	     nbAssignments=4276  nbFailedAssignments=1420  nbBacktracks=2585  nbVisitedNodes=7338  nbRestartNogoods=52
34.43	       =>  wckTime=3.212  cpuTime=3.09  mem=19M518
35.82	   
35.82	   search
35.82	     run=12  nbConstraintChecks=481222  nbValidityChecks=3502071  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
35.82	     nbAssignments=6231  nbFailedAssignments=2053  nbBacktracks=3883  nbVisitedNodes=10775  nbRestartNogoods=58
35.82	       =>  wckTime=4.602  cpuTime=4.47  mem=19M518
37.82	   
37.82	   search
37.82	     run=13  nbConstraintChecks=705771  nbValidityChecks=4883152  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
37.82	     nbAssignments=9152  nbFailedAssignments=3010  nbBacktracks=5830  nbVisitedNodes=15790  nbRestartNogoods=66
37.82	       =>  wckTime=6.604  cpuTime=6.45  mem=19M518
40.91	   
40.91	   search
40.91	     run=14  nbConstraintChecks=1082463  nbValidityChecks=7284706  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
40.91	     nbAssignments=13581  nbFailedAssignments=4485  nbBacktracks=8749  nbVisitedNodes=23334  nbRestartNogoods=70
40.91	       =>  wckTime=9.698  cpuTime=9.52  mem=19M518
45.49	   
45.49	   search
45.49	     run=15  nbConstraintChecks=1615546  nbValidityChecks=10562471  nbPropagations=0  nbRevisions=0
45.49	     nbUselessRevisions=0  nbAssignments=20217  nbFailedAssignments=6709  nbBacktracks=13133  nbVisitedNodes=34622
45.49	     nbRestartNogoods=80
45.49	       =>  wckTime=14.275  cpuTime=14.06  mem=19M518
52.03	   
52.03	   search
52.03	     run=16  nbConstraintChecks=2425194  nbValidityChecks=15537668  nbPropagations=0  nbRevisions=0
52.03	     nbUselessRevisions=0  nbAssignments=30151  nbFailedAssignments=10059  nbBacktracks=19701  nbVisitedNodes=51409
52.03	     nbRestartNogoods=89
52.03	       =>  wckTime=20.81  cpuTime=20.54  mem=19M518
61.79	   
61.79	   search
61.79	     run=17  nbConstraintChecks=3738289  nbValidityChecks=22168353  nbPropagations=0  nbRevisions=0
61.79	     nbUselessRevisions=0  nbAssignments=44468  nbFailedAssignments=14499  nbBacktracks=29560  nbVisitedNodes=76187
61.79	     nbRestartNogoods=93
61.79	       =>  wckTime=30.57  cpuTime=30.22  mem=19M518
75.85	   
75.85	   search
75.85	     run=18  nbConstraintChecks=5626969  nbValidityChecks=31936850  nbPropagations=0  nbRevisions=0
75.85	     nbUselessRevisions=0  nbAssignments=65907  nbFailedAssignments=21131  nbBacktracks=44339  nbVisitedNodes=112984
75.85	     nbRestartNogoods=98
75.85	       =>  wckTime=44.632  cpuTime=44.16  mem=19M518
96.27	   
96.27	   search
96.27	     run=19  nbConstraintChecks=8797504  nbValidityChecks=47136399  nbPropagations=0  nbRevisions=0
96.27	     nbUselessRevisions=0  nbAssignments=97119  nbFailedAssignments=30151  nbBacktracks=66510  nbVisitedNodes=166613
96.27	     nbRestartNogoods=107
96.27	       =>  wckTime=65.056  cpuTime=64.41  mem=19M518
126.74	   
126.74	   search
126.74	     run=20  nbConstraintChecks=13280988  nbValidityChecks=67913942  nbPropagations=0  nbRevisions=0
126.74	     nbUselessRevisions=0  nbAssignments=144232  nbFailedAssignments=43992  nbBacktracks=99763  nbVisitedNodes=246635
126.74	     nbRestartNogoods=112
126.74	       =>  wckTime=95.529  cpuTime=94.63  mem=19M518
171.04	   
171.04	   search
171.04	     run=21  nbConstraintChecks=20420015  nbValidityChecks=102679990  nbPropagations=0  nbRevisions=0
171.04	     nbUselessRevisions=0  nbAssignments=215341  nbFailedAssignments=65190  nbBacktracks=149642  nbVisitedNodes=365670
171.04	     nbRestartNogoods=120
171.04	       =>  wckTime=139.825  cpuTime=138.55  mem=19M518
234.26	   
234.26	   search
234.26	     run=22  nbConstraintChecks=29946297  nbValidityChecks=148101199  nbPropagations=0  nbRevisions=0
234.26	     nbUselessRevisions=0  nbAssignments=320914  nbFailedAssignments=95922  nbBacktracks=224468  nbVisitedNodes=543344
234.26	     nbRestartNogoods=130
234.26	       =>  wckTime=203.048  cpuTime=201.61  mem=19M518
324.39	   
324.39	   search
324.39	     run=23  nbConstraintChecks=45084932  nbValidityChecks=215563699  nbPropagations=0  nbRevisions=0
324.39	     nbUselessRevisions=0  nbAssignments=478362  nbFailedAssignments=141119  nbBacktracks=336696  nbVisitedNodes=808867
324.39	     nbRestartNogoods=138
324.39	       =>  wckTime=293.173  cpuTime=291.64  mem=19M518
458.24	   
458.24	   search
458.24	     run=24  nbConstraintChecks=68140745  nbValidityChecks=311795662  nbPropagations=0  nbRevisions=0
458.24	     nbUselessRevisions=0  nbAssignments=714781  nbFailedAssignments=209164  nbBacktracks=505039  nbVisitedNodes=1205944
458.24	     nbRestartNogoods=147
458.24	       =>  wckTime=427.027  cpuTime=425.35  mem=19M518
653.10	   
653.10	   search
653.10	     run=25  nbConstraintChecks=102289671  nbValidityChecks=450672978  nbPropagations=0  nbRevisions=0
653.10	     nbUselessRevisions=0  nbAssignments=1062203  nbFailedAssignments=304051  nbBacktracks=757550
653.11	     nbVisitedNodes=1787553  nbRestartNogoods=160
653.11	       =>  wckTime=621.889  cpuTime=620.03  mem=19M518
948.18	   
948.18	   search
948.18	     run=26  nbConstraintChecks=152573017  nbValidityChecks=673626808  nbPropagations=0  nbRevisions=0
948.18	     nbUselessRevisions=0  nbAssignments=1584841  nbFailedAssignments=447890  nbBacktracks=1136318
948.18	     nbVisitedNodes=2660672  nbRestartNogoods=170
948.18	       =>  wckTime=916.965  cpuTime=914.78  mem=19M518
1392.55	   
1392.55	   search
1392.55	     run=27  nbConstraintChecks=232269744  nbValidityChecks=1013627614  nbPropagations=0  nbRevisions=0
1392.55	     nbUselessRevisions=0  nbAssignments=2369430  nbFailedAssignments=664299  nbBacktracks=1704469
1392.55	     nbVisitedNodes=3972349  nbRestartNogoods=180
1392.55	       =>  wckTime=1361.335  cpuTime=1358.7  mem=19M518
2066.23	   
2066.23	   search
2066.23	     run=28  nbConstraintChecks=346145583  nbValidityChecks=1523481752  nbPropagations=0  nbRevisions=0
2066.23	     nbUselessRevisions=0  nbAssignments=3548363  nbFailedAssignments=990983  nbBacktracks=2556696
2066.23	     nbVisitedNodes=5948880  nbRestartNogoods=189
2066.23	       =>  wckTime=2035.017  cpuTime=2031.63  mem=19M518
2404.01	v 0 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 1

Verifier Data (download as text)

3 unsatisfied constraints, 396 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/node50/watcher-277894-1169271095 -o ROOT/results/node50/solver-277894-1169271095 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277894-1169271095/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.92 2.01 1.99 2/74 3894
/proc/meminfo: memFree=1198856/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=18540 CPUtime=0
/proc/3893/stat : 3893 (runsolver) R 3891 3893 3321 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275508112 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3893/statm: 4635 279 244 17 0 2626 0

[startup+0.102429 s]
/proc/loadavg: 1.92 2.01 1.99 2/74 3894
/proc/meminfo: memFree=1198856/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=913068 CPUtime=0.08
/proc/3893/stat : 3893 (java) S 3891 3893 3321 0 -1 0 2878 0 1 0 6 2 0 0 18 0 8 0 275508112 934981632 2624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228267 2624 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068

[startup+0.510494 s]
/proc/loadavg: 1.92 2.01 1.99 2/74 3894
/proc/meminfo: memFree=1198856/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915332 CPUtime=0.48
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 6293 0 1 0 43 5 0 0 18 0 8 0 275508112 937299968 6032 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073512867 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228833 6032 2146 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33462 s]
/proc/loadavg: 1.92 2.01 1.99 3/81 3901
/proc/meminfo: memFree=1181072/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=1.3
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 7123 0 1 0 102 28 0 0 24 0 8 0 275508112 937394176 6861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228856 6861 2478 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 6861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 6861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 6861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 6861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.14
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 343 0 0 0 14 0 0 0 16 0 8 0 275508121 937394176 6861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 6861 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 6861 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) 915424

[startup+2.9739 s]
/proc/loadavg: 1.92 2.01 1.99 3/81 3901
/proc/meminfo: memFree=1181072/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=2.92
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 7126 0 1 0 211 81 0 0 25 0 8 0 275508112 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073707385 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228856 6863 2478 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.14
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915424

[startup+6.26745 s]
/proc/loadavg: 1.93 2.00 1.99 3/81 3901
/proc/meminfo: memFree=1180944/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=6.18
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 7126 0 1 0 431 187 0 0 25 0 8 0 275508112 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073698598 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228856 6863 2478 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.14
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 6863 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) 915424

[startup+12.7445 s]
/proc/loadavg: 1.93 2.00 1.99 3/81 3901
/proc/meminfo: memFree=1180952/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=12.6
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 7126 0 1 0 863 397 0 0 25 0 8 0 275508112 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228856 6863 2478 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.14
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 345 0 0 0 14 0 0 0 16 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 6863 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 6863 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) 915424

[startup+25.5977 s]
/proc/loadavg: 1.95 2.00 1.99 3/81 3901
/proc/meminfo: memFree=1180952/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=25.35
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 7132 0 1 0 1717 818 0 0 25 0 8 0 275508112 937394176 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228856 6869 2478 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 175 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.15
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 351 0 0 0 15 0 0 0 16 0 8 0 275508121 937394176 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 6869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915424

[startup+51.206 s]
/proc/loadavg: 1.96 2.00 1.99 3/81 3901
/proc/meminfo: memFree=1170520/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=50.74
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9822 0 1 0 4069 1005 0 0 25 0 8 0 275508112 937394176 9555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073899713 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228856 9555 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.28
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 275508121 937394176 9555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9555 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915424

[startup+102.424 s]
/proc/loadavg: 1.98 2.00 1.99 3/81 3901
/proc/meminfo: memFree=1170456/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=101.53
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9834 0 1 0 9148 1005 0 0 25 0 8 0 275508112 937394176 9566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3893/statm: 228856 9566 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.29
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 421 0 0 0 28 1 0 0 16 0 8 0 275508121 937394176 9566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) R 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915424

[startup+162.471 s]
/proc/loadavg: 1.99 2.00 1.99 3/81 3901
/proc/meminfo: memFree=1170456/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=161.08
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9838 0 1 0 15103 1005 0 0 25 0 8 0 275508112 937394176 9569 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073963482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2020.43
Current children cumulated vsize (KiB) 915424

[startup+2084.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 4185
/proc/meminfo: memFree=1173400/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=2080.42
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9860 0 1 0 207023 1019 0 0 25 0 8 0 275508112 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073963632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3893/statm: 228856 9590 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.29
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 422 0 0 0 28 1 0 0 16 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.42
Current children cumulated vsize (KiB) 915424

[startup+2144.05 s]
/proc/loadavg: 2.05 2.02 2.00 3/81 4185
/proc/meminfo: memFree=1173400/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=2140.38
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9860 0 1 0 213019 1019 0 0 25 0 8 0 275508112 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073962487 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3893/statm: 228856 9590 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.29
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 422 0 0 0 28 1 0 0 16 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.38
Current children cumulated vsize (KiB) 915424

[startup+2204.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 4185
/proc/meminfo: memFree=1173400/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=2200.38
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9860 0 1 0 219019 1019 0 0 25 0 8 0 275508112 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3893/statm: 228856 9590 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.29
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 422 0 0 0 28 1 0 0 16 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.38
Current children cumulated vsize (KiB) 915424

[startup+2264.14 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 4185
/proc/meminfo: memFree=1173400/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=2260.37
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9860 0 1 0 225018 1019 0 0 25 0 8 0 275508112 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3893/statm: 228856 9590 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.29
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 422 0 0 0 28 1 0 0 16 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.37
Current children cumulated vsize (KiB) 915424

[startup+2324.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4185
/proc/meminfo: memFree=1173464/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=2320.34
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9860 0 1 0 231015 1019 0 0 25 0 8 0 275508112 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073963598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3893/statm: 228856 9590 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.29
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 422 0 0 0 28 1 0 0 16 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.34
Current children cumulated vsize (KiB) 915424

[startup+2384.26 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4185
/proc/meminfo: memFree=1173528/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=2380.35
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9860 0 1 0 237016 1019 0 0 25 0 8 0 275508112 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073884394 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3893/statm: 228856 9590 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.29
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 422 0 0 0 28 1 0 0 16 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.35
Current children cumulated vsize (KiB) 915424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2404 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 4185
/proc/meminfo: memFree=1173528/2055920 swapFree=4191892/4192956
[pid=3893] ppid=3891 vsize=915424 CPUtime=2400.08
/proc/3893/stat : 3893 (java) R 3891 3893 3321 0 -1 0 9860 0 1 0 238989 1019 0 0 25 0 8 0 275508112 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826058 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3893/statm: 228856 9590 2534 14 0 215326 0
[pid=3893/tid=3895] ppid=3891 vsize=915424 CPUtime=0.02
/proc/3893/task/3895/stat : 3895 (java) S 3891 3893 3321 0 -1 64 176 0 0 0 2 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3896] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3896/stat : 3896 (java) S 3891 3893 3321 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3897] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3897/stat : 3897 (java) S 3891 3893 3321 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275508117 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3898] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3898/stat : 3898 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3899] ppid=3891 vsize=915424 CPUtime=0.29
/proc/3893/task/3899/stat : 3899 (java) S 3891 3893 3321 0 -1 64 422 0 0 0 28 1 0 0 16 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3893/tid=3900] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3900/stat : 3900 (java) S 3891 3893 3321 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3893/tid=3901] ppid=3891 vsize=915424 CPUtime=0
/proc/3893/task/3901/stat : 3901 (java) S 3891 3893 3321 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275508121 937394176 9590 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915424

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

Child status: 143
Real time (s): 2404.06
CPU time (s): 2400.14
CPU user time (s): 2389.94
CPU system time (s): 10.1994
CPU usage (%): 99.8372
Max. virtual memory (cumulated for all children) (KiB): 915428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2389.94
system time used= 10.1994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9882
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= 49884
involuntary context switches= 18221

runsolver used 2.91856 s user time and 7.74382 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Sat Jan 20 05:31:36 UTC 2007


IDJOB= 277894
IDBENCH= 7780
IDSOLVER= 68
FILE ID= node50/277894-1169271095

PBS_JOBID= 3607395

Free space on /tmp= 66560 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-80-100-1000/cnf-3-80-400-912641_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277894-1169271095/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-277894-1169271095 -o ROOT/results/node50/solver-277894-1169271095 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277894-1169271095/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  422c10cf0d446eba57848ab536238fcf

RANDOM SEED= 209409052

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.263
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	: 5931.00
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.263
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:       1199336 kB
Buffers:         56080 kB
Cached:         692664 kB
SwapCached:        276 kB
Active:         216196 kB
Inactive:       558996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1199336 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            1680 kB
Writeback:           0 kB
Mapped:          37376 kB
Slab:            66784 kB
Committed_AS:  5339320 kB
PageTables:       1876 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= 66560 MiB



End job on node50 on Sat Jan 20 06:11:40 UTC 2007