Trace number 279037

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.07 2410.42

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=epfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/279037-1169291011/unknown.xml
0.37	   
0.37	   domains being loaded...
0.37	   
0.37	   variables being loaded...
0.42	     nbVariables=62  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.42	       =>  wckTime=0.11  cpuTime=0.09  mem=6M887
0.42	   
0.42	   relations being loaded...
0.47	   
0.47	   constraints being loaded...
0.56	     nbConstraints=211  nbRelationTypes=211  nbExtensionStructures=211  nbSharedExtensionStructures=0
0.56	     nbConflictsStructures=211  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2078  maxDegree=21
0.56	     maxArity=2
0.56	       =>  wckTime=0.251  cpuTime=0.18  mem=8M903
0.60	   
0.60	   solver LocalSearchSolver being built... 
0.64	       =>  wckTime=0.336  cpuTime=0.22  mem=5M574
0.65	
0.65	s SATISFIABLE
0.65	o 120
0.65	c 91
0.65	o 124
0.65	c 87
0.65	o 126
0.65	c 85
0.65	o 127
0.65	c 84
0.66	o 130
0.66	c 81
0.66	o 133
0.66	c 78
0.66	o 136
0.66	c 75
0.66	o 139
0.66	c 72
0.66	o 142
0.66	c 69
0.66	o 143
0.66	c 68
0.66	o 145
0.66	c 66
0.66	o 147
0.66	c 64
0.66	o 150
0.66	c 61
0.66	o 152
0.66	c 59
0.67	o 154
0.67	c 57
0.67	o 156
0.67	c 55
0.67	o 157
0.67	c 54
0.67	o 158
0.67	c 53
0.67	o 159
0.67	c 52
0.68	o 161
0.68	c 50
0.68	o 163
0.68	c 48
0.68	o 164
0.68	c 47
0.68	o 165
0.68	c 46
0.68	o 167
0.68	c 44
0.68	o 168
0.68	c 43
0.68	o 169
0.68	c 42
0.68	o 170
0.68	c 41
0.68	o 173
0.68	c 38
0.68	o 175
0.68	c 36
0.68	o 176
0.68	c 35
0.68	o 178
0.69	c 33
0.69	o 179
0.69	c 32
0.69	o 180
0.69	c 31
0.69	o 181
0.69	c 30
0.70	o 182
0.70	c 29
0.71	o 183
0.71	c 28
0.71	o 184
0.71	c 27
0.71	o 185
0.71	c 26
0.71	o 186
0.71	c 25
0.72	o 187
0.72	c 24
0.73	o 188
0.73	c 23
2.17	   
2.17	   search
2.17	     run=0  nbConstraintChecks=6416953  nbAssignments=10000
2.17	       =>  wckTime=1.522  cpuTime=1.48  mem=5M574
3.66	   
3.66	   search
3.66	     run=1  nbConstraintChecks=13103896  nbAssignments=20000
3.66	       =>  wckTime=3.019  cpuTime=2.96  mem=5M574
3.72	o 189
3.72	c 22
5.10	   
5.10	   search
5.10	     run=2  nbConstraintChecks=19437010  nbAssignments=30000
5.10	       =>  wckTime=4.459  cpuTime=4.38  mem=5M574
6.63	   
6.63	   search
6.63	     run=3  nbConstraintChecks=26310621  nbAssignments=40000
6.63	       =>  wckTime=5.982  cpuTime=5.9  mem=5M574
7.00	o 190
7.00	c 21
8.08	   
8.08	   search
8.08	     run=4  nbConstraintChecks=32702734  nbAssignments=50000
8.08	       =>  wckTime=7.435  cpuTime=7.33  mem=5M574
9.65	   
9.65	   search
9.65	     run=5  nbConstraintChecks=39927931  nbAssignments=60000
9.65	       =>  wckTime=9.004  cpuTime=8.89  mem=5M574
11.10	   
11.10	   search
11.10	     run=6  nbConstraintChecks=46262624  nbAssignments=70000
11.10	       =>  wckTime=10.453  cpuTime=10.32  mem=5M574
12.65	   
12.65	   search
12.65	     run=7  nbConstraintChecks=53437207  nbAssignments=80000
12.65	       =>  wckTime=12.01  cpuTime=11.86  mem=5M574
14.12	   
14.12	   search
14.12	     run=8  nbConstraintChecks=59997156  nbAssignments=90000
14.12	       =>  wckTime=13.471  cpuTime=13.31  mem=5M574
15.62	   
15.62	   search
15.62	     run=9  nbConstraintChecks=66802004  nbAssignments=100000
15.62	       =>  wckTime=14.973  cpuTime=14.8  mem=5M574
16.88	o 191
16.88	c 20
17.09	   
17.09	   search
17.09	     run=10  nbConstraintChecks=73382498  nbAssignments=110000
17.09	       =>  wckTime=16.446  cpuTime=16.26  mem=5M574
18.56	   
18.56	   search
18.56	     run=11  nbConstraintChecks=80028934  nbAssignments=120000
18.56	       =>  wckTime=17.918  cpuTime=17.72  mem=5M574
20.01	   
20.01	   search
20.01	     run=12  nbConstraintChecks=86480307  nbAssignments=130000
20.01	       =>  wckTime=19.364  cpuTime=19.15  mem=5M574
21.53	   
21.53	   search
21.53	     run=13  nbConstraintChecks=93356105  nbAssignments=140000
21.53	       =>  wckTime=20.881  cpuTime=20.65  mem=5M574
23.01	   
23.01	   search
23.01	     run=14  nbConstraintChecks=99970411  nbAssignments=150000
23.01	       =>  wckTime=22.365  cpuTime=22.12  mem=5M574
24.52	   
24.52	   search
24.52	     run=15  nbConstraintChecks=106785743  nbAssignments=160000
24.52	       =>  wckTime=23.877  cpuTime=23.63  mem=5M574
26.00	   
26.00	   search
26.00	     run=16  nbConstraintChecks=113318956  nbAssignments=170000
26.00	       =>  wckTime=25.352  cpuTime=25.08  mem=5M574
27.47	   
27.47	   search
27.47	     run=17  nbConstraintChecks=119836699  nbAssignments=180000
27.47	       =>  wckTime=26.824  cpuTime=26.54  mem=5M574
28.91	   
28.91	   search
28.91	     run=18  nbConstraintChecks=126165891  nbAssignments=190000
28.91	       =>  wckTime=28.266  cpuTime=27.97  mem=5M574
30.45	   
30.45	   search
30.45	     run=19  nbConstraintChecks=133091069  nbAssignments=200000
30.45	       =>  wckTime=29.8  cpuTime=29.49  mem=5M574
31.88	   
31.88	   search
31.88	     run=20  nbConstraintChecks=139339493  nbAssignments=210000
31.88	       =>  wckTime=31.236  cpuTime=30.91  mem=5M574
33.33	   
33.33	   search
33.33	     run=21  nbConstraintChecks=145834214  nbAssignments=220000
33.33	       =>  wckTime=32.69  cpuTime=32.35  mem=5M574
34.79	   
34.79	   search
34.79	     run=22  nbConstraintChecks=152322318  nbAssignments=230000
34.79	       =>  wckTime=34.15  cpuTime=33.79  mem=5M574
36.21	   
36.21	   search
36.21	     run=23  nbConstraintChecks=158574720  nbAssignments=240000
36.21	       =>  wckTime=35.571  cpuTime=35.2  mem=5M574
37.66	   
37.66	   search
37.66	     run=24  nbConstraintChecks=164978795  nbAssignments=250000
37.66	       =>  wckTime=37.02  cpuTime=36.63  mem=5M574
39.16	   
39.16	   search
39.16	     run=25  nbConstraintChecks=171780308  nbAssignments=260000
39.16	       =>  wckTime=38.519  cpuTime=38.12  mem=5M574
40.62	   
40.62	   search
40.62	     run=26  nbConstraintChecks=178277559  nbAssignments=270000
40.62	       =>  wckTime=39.975  cpuTime=39.57  mem=5M574
42.12	   
42.12	   search
42.12	     run=27  nbConstraintChecks=185069187  nbAssignments=280000
42.12	       =>  wckTime=41.48  cpuTime=41.05  mem=5M574
43.59	   
43.59	   search
43.59	     run=28  nbConstraintChecks=191531204  nbAssignments=290000
43.59	       =>  wckTime=42.943  cpuTime=42.5  mem=5M574
45.07	   
45.07	   search
45.07	     run=29  nbConstraintChecks=198125253  nbAssignments=300000
45.07	       =>  wckTime=44.428  cpuTime=43.97  mem=5M574
46.55	   
46.55	   search
46.55	     run=30  nbConstraintChecks=204601952  nbAssignments=310000
46.55	       =>  wckTime=45.901  cpuTime=45.43  mem=5M574
47.17	   
47.17	   search
47.17	     run=31  nbConstraintChecks=207383010  nbAssignments=314289
47.17	       =>  wckTime=46.527  cpuTime=46.06  mem=5M574
47.17	   
47.17	   global
47.17	     nbConstraintChecks=207383010  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
47.17	     solvingWckTime=46.526  solvingCpuTime=46.06  expiredTime=no  totalExploration=no  nbFoundSolutions=0
47.17	     globalCpuTime=46.33
47.17	       =>  wckTime=46.864  cpuTime=46.28  mem=5M574
47.17	   
47.17	   solver IterativeSystematicSolver being built... 
47.32	       =>  wckTime=47.007  cpuTime=46.39  mem=16M580
47.38	   
47.38	   preprocessing
47.38	     nbConstraintChecks=37681  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
47.38	     detectedInconsistency=no
47.38	       =>  wckTime=0.062  cpuTime=0.04  mem=16M580
47.44	   
47.44	   search
47.44	     run=0  nbConstraintChecks=65009  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=56
47.44	     nbFailedAssignments=22  nbBacktracks=13  nbVisitedNodes=92  nbRestartNogoods=0
47.44	       =>  wckTime=0.12  cpuTime=0.09  mem=16M580
47.48	   
47.48	   search
47.48	     run=1  nbConstraintChecks=117601  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=104
47.48	     nbFailedAssignments=35  nbBacktracks=28  nbVisitedNodes=168  nbRestartNogoods=3
47.48	       =>  wckTime=0.161  cpuTime=0.12  mem=16M580
47.53	   
47.53	   search
47.54	     run=2  nbConstraintChecks=204996  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=173
47.54	     nbFailedAssignments=62  nbBacktracks=50  nbVisitedNodes=286  nbRestartNogoods=9
47.54	       =>  wckTime=0.218  cpuTime=0.17  mem=16M580
47.61	   
47.61	   search
47.61	     run=3  nbConstraintChecks=345680  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=279
47.61	     nbFailedAssignments=114  nbBacktracks=83  nbVisitedNodes=477  nbRestartNogoods=15
47.61	       =>  wckTime=0.294  cpuTime=0.25  mem=16M580
47.71	   
47.71	   search
47.71	     run=4  nbConstraintChecks=545055  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=406
47.71	     nbFailedAssignments=170  nbBacktracks=133  nbVisitedNodes=710  nbRestartNogoods=22
47.71	       =>  wckTime=0.393  cpuTime=0.34  mem=16M580
47.86	   
47.86	   search
47.86	     run=5  nbConstraintChecks=832789  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=608
47.86	     nbFailedAssignments=274  nbBacktracks=210  nbVisitedNodes=1093  nbRestartNogoods=26
47.86	       =>  wckTime=0.545  cpuTime=0.49  mem=16M580
48.13	   
48.13	   search
48.13	     run=6  nbConstraintChecks=1344364  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=930
48.13	     nbFailedAssignments=464  nbBacktracks=323  nbVisitedNodes=1718  nbRestartNogoods=30
48.13	       =>  wckTime=0.815  cpuTime=0.76  mem=16M580
48.45	   
48.45	   search
48.45	     run=7  nbConstraintChecks=1956298  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1334
48.45	     nbFailedAssignments=677  nbBacktracks=495  nbVisitedNodes=2507  nbRestartNogoods=38
48.45	       =>  wckTime=1.136  cpuTime=1.07  mem=16M580
49.00	   
49.00	   search
49.00	     run=8  nbConstraintChecks=2957263  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2002
49.00	     nbFailedAssignments=1070  nbBacktracks=752  nbVisitedNodes=3825  nbRestartNogoods=39
49.00	       =>  wckTime=1.683  cpuTime=1.6  mem=16M580
49.71	   
49.71	   search
49.71	     run=9  nbConstraintChecks=4339833  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2949
49.71	     nbFailedAssignments=1612  nbBacktracks=1136  nbVisitedNodes=5698  nbRestartNogoods=46
49.71	       =>  wckTime=2.397  cpuTime=2.3  mem=16M580
51.04	   
51.04	   search
51.04	     run=10  nbConstraintChecks=6807752  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4508
51.04	     nbFailedAssignments=2574  nbBacktracks=1714  nbVisitedNodes=8774  nbRestartNogoods=54
51.04	       =>  wckTime=3.723  cpuTime=3.61  mem=16M580
52.85	   
52.85	   search
52.85	     run=11  nbConstraintChecks=10290038  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6570
52.85	     nbFailedAssignments=3754  nbBacktracks=2578  nbVisitedNodes=12880  nbRestartNogoods=72
52.85	       =>  wckTime=5.537  cpuTime=5.41  mem=16M580
55.38	   
55.38	   search
55.38	     run=12  nbConstraintChecks=14991415  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9494
55.38	     nbFailedAssignments=5360  nbBacktracks=3875  nbVisitedNodes=18707  nbRestartNogoods=80
55.38	       =>  wckTime=8.058  cpuTime=7.9  mem=16M580
59.25	   
59.25	   search
59.25	     run=13  nbConstraintChecks=22811553  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14552
59.25	     nbFailedAssignments=8453  nbBacktracks=5821  nbVisitedNodes=28792  nbRestartNogoods=89
59.25	       =>  wckTime=11.938  cpuTime=11.75  mem=16M580
64.71	   
64.71	   search
64.71	     run=14  nbConstraintChecks=32560520  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20820
64.71	     nbFailedAssignments=11781  nbBacktracks=8740  nbVisitedNodes=41307  nbRestartNogoods=96
64.71	       =>  wckTime=17.394  cpuTime=17.15  mem=16M580
72.92	   
72.92	   search
72.92	     run=15  nbConstraintChecks=48471080  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30878
72.92	     nbFailedAssignments=17442  nbBacktracks=13118  nbVisitedNodes=61365  nbRestartNogoods=108
72.92	       =>  wckTime=25.6  cpuTime=25.28  mem=16M580
85.92	   
85.92	   search
85.92	     run=16  nbConstraintChecks=74893503  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46692
85.92	     nbFailedAssignments=26669  nbBacktracks=19687  nbVisitedNodes=92774  nbRestartNogoods=119
85.92	       =>  wckTime=38.604  cpuTime=38.17  mem=16M580
106.23	   
106.23	   search
106.23	     run=17  nbConstraintChecks=112746447  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=70402
106.23	     nbFailedAssignments=40513  nbBacktracks=29539  nbVisitedNodes=140139  nbRestartNogoods=126
106.23	       =>  wckTime=58.911  cpuTime=58.29  mem=16M580
132.25	   
132.25	   search
132.25	     run=18  nbConstraintChecks=165232885  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=103318
132.25	     nbFailedAssignments=58632  nbBacktracks=44318  nbVisitedNodes=205920  nbRestartNogoods=132
132.25	       =>  wckTime=84.934  cpuTime=84.08  mem=16M580
180.22	   
180.22	   search
180.22	     run=19  nbConstraintChecks=244242656  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=154237
180.22	     nbFailedAssignments=87369  nbBacktracks=66487  nbVisitedNodes=307682  nbRestartNogoods=142
180.22	       =>  wckTime=132.902  cpuTime=131.54  mem=16M580
246.95	   
246.95	   search
246.95	     run=20  nbConstraintChecks=355019544  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=230202
246.95	     nbFailedAssignments=130066  nbBacktracks=99739  nbVisitedNodes=458249  nbRestartNogoods=152
246.95	       =>  wckTime=199.631  cpuTime=197.66  mem=16M580
333.68	   
333.68	   search
333.68	     run=21  nbConstraintChecks=491000648  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=332960
333.68	     nbFailedAssignments=182926  nbBacktracks=149617  nbVisitedNodes=660882  nbRestartNogoods=161
333.68	       =>  wckTime=286.361  cpuTime=283.6  mem=16M580
440.49	   
440.49	   search
440.49	     run=22  nbConstraintChecks=679669096  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=486663
440.49	     nbFailedAssignments=261788  nbBacktracks=224435  nbVisitedNodes=961594  nbRestartNogoods=176
440.49	       =>  wckTime=393.174  cpuTime=389.43  mem=16M580
598.57	   
598.57	   search
598.57	     run=23  nbConstraintChecks=947013904  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=701675
598.57	     nbFailedAssignments=364558  nbBacktracks=336663  nbVisitedNodes=1376039  nbRestartNogoods=188
598.57	       =>  wckTime=551.252  cpuTime=546.05  mem=16M580
823.45	   
823.45	   search
823.45	     run=24  nbConstraintChecks=1311971006  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1000117
823.45	     nbFailedAssignments=494641  nbBacktracks=505004  nbVisitedNodes=1943621  nbRestartNogoods=201
823.45	       =>  wckTime=776.13  cpuTime=768.86  mem=16M580
1107.99	   
1107.99	   search
1107.99	     run=25  nbConstraintChecks=1872986520  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1472976
1107.99	     nbFailedAssignments=714970  nbBacktracks=757516  nbVisitedNodes=2859600  nbRestartNogoods=215
1107.99	       =>  wckTime=1060.669  cpuTime=1052.36  mem=16M580
1535.12	   
1535.12	   search
1535.12	     run=26  nbConstraintChecks=2676851735  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2159650
1535.12	     nbFailedAssignments=1022857  nbBacktracks=1136283  nbVisitedNodes=4173384  nbRestartNogoods=224
1535.12	       =>  wckTime=1487.804  cpuTime=1479.02  mem=16M580
2169.79	   
2169.79	   search
2169.79	     run=27  nbConstraintChecks=3857862923  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3209342
2169.79	     nbFailedAssignments=1504377  nbBacktracks=1704434  nbVisitedNodes=6176440  nbRestartNogoods=234
2169.79	       =>  wckTime=2122.477  cpuTime=2112.78  mem=16M580
2410.36	v 0 1 0 1 0 2 2 3 2 3 2 2 4 1 3 2 2 3 0 2 1 3 2 1 1 2 1 4 0 0 0 4 3 4 1 2 1 1 0 2 2 2 1 2 1 3 1 4 2 3 3 1 1 0 4 1 4 2 3 1 0 2

Verifier Data (download as text)

20 unsatisfied constraints, 191 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/node12/watcher-279037-1169291011 -o ROOT/results/node12/solver-279037-1169291011 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279037-1169291011/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 1.98 1.90 4/93 7479
/proc/meminfo: memFree=1339984/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=906644 CPUtime=0.01
/proc/7478/stat : 7478 (java) S 7476 7478 7338 0 -1 0 2069 0 1 0 1 0 0 0 18 0 2 0 277496192 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 226661 1818 1036 14 0 214244 0
[pid=7478/tid=7480] ppid=7476 vsize=906644 CPUtime=0
/proc/7478/task/7480/stat : 7480 (java) R 7476 7478 7338 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 277496195 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0

[startup+0.103762 s]
/proc/loadavg: 1.92 1.98 1.90 4/93 7479
/proc/meminfo: memFree=1339984/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=914988 CPUtime=0.08
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 3003 0 1 0 7 1 0 0 17 0 8 0 277496192 936947712 2749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073443191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228747 2749 1429 14 0 215242 0
[pid=7478/tid=7480] ppid=7476 vsize=914988 CPUtime=0
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 277496195 936947712 2749 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.511837 s]
/proc/loadavg: 1.92 1.98 1.90 4/93 7479
/proc/meminfo: memFree=1339984/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915332 CPUtime=0.49
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 6350 0 1 0 46 3 0 0 18 0 8 0 277496192 937299968 6089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228833 6089 2147 14 0 215303 0
[pid=7478/tid=7480] ppid=7476 vsize=915332 CPUtime=0
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 277496195 937299968 6089 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33298 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 7486
/proc/meminfo: memFree=1321688/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=1.29
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 7244 0 1 0 111 18 0 0 25 0 8 0 277496192 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073725114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228866 6982 2479 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.15
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 277496199 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464

[startup+2.97027 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 7486
/proc/meminfo: memFree=1321624/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=2.92
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 7247 0 1 0 231 61 0 0 25 0 8 0 277496192 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228866 6984 2479 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.15
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 6984 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) 915464

[startup+6.26787 s]
/proc/loadavg: 1.93 1.98 1.90 3/100 7486
/proc/meminfo: memFree=1321624/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=6.19
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 7247 0 1 0 476 143 0 0 25 0 8 0 277496192 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228866 6984 2479 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.15
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464

[startup+12.743 s]
/proc/loadavg: 1.94 1.98 1.90 3/100 7486
/proc/meminfo: memFree=1321632/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=12.6
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 7247 0 1 0 949 311 0 0 25 0 8 0 277496192 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073725112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228866 6984 2479 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.15
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 6984 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) 915464

[startup+25.6023 s]
/proc/loadavg: 1.95 1.98 1.90 3/100 7486
/proc/meminfo: memFree=1321632/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915468 CPUtime=25.35
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 7248 0 1 0 1881 654 0 0 25 0 8 0 277496192 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228867 6985 2479 14 0 215337 0
[pid=7478/tid=7480] ppid=7476 vsize=915468 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277496195 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915468 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915468 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915468 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915468 CPUtime=0.15
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 277496199 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915468 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915468 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937439232 6985 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) 915468

[startup+51.209 s]
/proc/loadavg: 1.97 1.98 1.90 3/100 7486
/proc/meminfo: memFree=1314400/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=50.7
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9126 0 1 0 3840 1230 0 0 25 0 8 0 277496192 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928922 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228866 8859 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 17 0 8 0 277496195 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.27
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 413 0 0 0 26 1 0 0 15 0 8 0 277496199 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915464

[startup+102.409 s]
/proc/loadavg: 1.98 1.98 1.91 3/100 7486
/proc/meminfo: memFree=1314336/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=101.44
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9144 0 1 0 8913 1231 0 0 25 0 8 0 277496192 937435136 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073881438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7478/statm: 228866 8875 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.27
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 415 0 0 0 26 1 0 0 16 0 8 0 277496199 937435136 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464

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

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

[startup+2083.9 s]
/proc/loadavg: 2.04 2.01 1.96 3/100 7654
/proc/meminfo: memFree=1314520/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=2073.92
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9174 0 1 0 206153 1239 0 0 25 0 8 0 277496192 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7478/statm: 228866 8902 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.28
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 417 0 0 0 27 1 0 0 16 0 8 0 277496199 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.92
Current children cumulated vsize (KiB) 915464

[startup+2143.95 s]
/proc/loadavg: 2.01 2.01 1.96 3/100 7654
/proc/meminfo: memFree=1314456/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=2133.91
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9174 0 1 0 212152 1239 0 0 25 0 8 0 277496192 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877093 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7478/statm: 228866 8902 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.28
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 417 0 0 0 27 1 0 0 16 0 8 0 277496199 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.91
Current children cumulated vsize (KiB) 915464

[startup+2203.99 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 7654
/proc/meminfo: memFree=1314520/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=2193.88
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9176 0 1 0 218149 1239 0 0 25 0 8 0 277496192 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073892532 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7478/statm: 228866 8904 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.28
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 417 0 0 0 27 1 0 0 16 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.88
Current children cumulated vsize (KiB) 915464

[startup+2264.03 s]
/proc/loadavg: 2.07 2.02 1.97 3/100 7654
/proc/meminfo: memFree=1314520/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=2253.86
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9176 0 1 0 224147 1239 0 0 25 0 8 0 277496192 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7478/statm: 228866 8904 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.28
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 417 0 0 0 27 1 0 0 16 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.86
Current children cumulated vsize (KiB) 915464

[startup+2324.08 s]
/proc/loadavg: 2.02 2.01 1.97 3/100 7654
/proc/meminfo: memFree=1314456/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=2313.84
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9176 0 1 0 230145 1239 0 0 25 0 8 0 277496192 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073886260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7478/statm: 228866 8904 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.28
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 417 0 0 0 27 1 0 0 16 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.84
Current children cumulated vsize (KiB) 915464

[startup+2384.13 s]
/proc/loadavg: 2.01 2.00 1.97 3/100 7654
/proc/meminfo: memFree=1314456/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=2373.8
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9176 0 1 0 236141 1239 0 0 25 0 8 0 277496192 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073929063 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7478/statm: 228866 8904 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.28
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 417 0 0 0 27 1 0 0 16 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) S 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.8
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2410.35 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 7654
/proc/meminfo: memFree=1314456/2055920 swapFree=4160348/4192956
[pid=7478] ppid=7476 vsize=915464 CPUtime=2400.01
/proc/7478/stat : 7478 (java) R 7476 7478 7338 0 -1 0 9176 0 1 0 238761 1240 0 0 25 0 8 0 277496192 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073891272 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7478/statm: 228866 8904 2532 14 0 215336 0
[pid=7478/tid=7480] ppid=7476 vsize=915464 CPUtime=0.02
/proc/7478/task/7480/stat : 7480 (java) S 7476 7478 7338 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277496195 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7481] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7481/stat : 7481 (java) S 7476 7478 7338 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7482] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7482/stat : 7482 (java) S 7476 7478 7338 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277496196 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7483] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7483/stat : 7483 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7484] ppid=7476 vsize=915464 CPUtime=0.28
/proc/7478/task/7484/stat : 7484 (java) S 7476 7478 7338 0 -1 64 417 0 0 0 27 1 0 0 16 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7478/tid=7485] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7485/stat : 7485 (java) S 7476 7478 7338 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7478/tid=7486] ppid=7476 vsize=915464 CPUtime=0
/proc/7478/task/7486/stat : 7486 (java) R 7476 7478 7338 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277496199 937435136 8904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2410.42
CPU time (s): 2400.07
CPU user time (s): 2387.66
CPU system time (s): 12.4051
CPU usage (%): 99.5707
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.66
system time used= 12.4051
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9197
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= 49947
involuntary context switches= 95986

runsolver used 3.15852 s user time and 7.52286 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan 20 11:03:32 UTC 2007


IDJOB= 279037
IDBENCH= 9312
IDSOLVER= 68
FILE ID= node12/279037-1169291011

PBS_JOBID= 3609589

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  8658103182bda4cc63e5db060511c966

RANDOM SEED= 711321940

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.265
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.265
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:       1340464 kB
Buffers:         60824 kB
Cached:         519152 kB
SwapCached:       5164 kB
Active:         294184 kB
Inactive:       345928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1340464 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          79444 kB
Slab:            60236 kB
Committed_AS:  8901432 kB
PageTables:       2184 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node12 on Sat Jan 20 11:43:42 UTC 2007