Trace number 279055

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.08 2409.61

General information on the benchmark

NameMaxCSP/kbtree/kbtree-5-2-4-5/kbtree-5-2-4-5-50/
kbtree-5-2-4-5-50-11_ext.xml
MD5SUMe81fb487b72ee17c6b7d9b1057de570b
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 benchmark0.609906
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints211
Maximum constraint arity2
Maximum domain size5
Number of constraints which are defined in extension211
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/279055-1169291196/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.39	     nbVariables=62  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.39	       =>  wckTime=0.104  cpuTime=0.09  mem=6M887
0.39	   
0.39	   relations being loaded...
0.44	   
0.44	   constraints being loaded...
0.52	     nbConstraints=211  nbRelationTypes=211  nbExtensionStructures=211  nbSharedExtensionStructures=0
0.52	     nbConflictsStructures=211  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2078  maxDegree=29
0.52	     maxArity=2
0.52	       =>  wckTime=0.236  cpuTime=0.16  mem=8M903
0.56	   
0.56	   solver LocalSearchSolver being built... 
0.60	       =>  wckTime=0.317  cpuTime=0.2  mem=5M574
0.61	
0.61	s SATISFIABLE
0.61	o 107
0.61	c 104
0.61	o 111
0.61	c 100
0.61	o 115
0.61	c 96
0.61	o 116
0.61	c 95
0.62	o 121
0.62	c 90
0.62	o 123
0.62	c 88
0.62	o 124
0.62	c 87
0.62	o 126
0.62	c 85
0.62	o 128
0.62	c 83
0.62	o 131
0.62	c 80
0.62	o 132
0.62	c 79
0.62	o 133
0.62	c 78
0.62	o 136
0.62	c 75
0.62	o 137
0.62	c 74
0.62	o 140
0.62	c 71
0.63	o 141
0.63	c 70
0.63	o 143
0.63	c 68
0.63	o 144
0.63	c 67
0.63	o 145
0.63	c 66
0.63	o 147
0.63	c 64
0.63	o 148
0.63	c 63
0.63	o 150
0.63	c 61
0.63	o 151
0.63	c 60
0.63	o 154
0.63	c 57
0.63	o 156
0.63	c 55
0.64	o 158
0.64	c 53
0.64	o 160
0.64	c 51
0.64	o 163
0.64	c 48
0.64	o 165
0.64	c 46
0.64	o 167
0.64	c 44
0.64	o 168
0.64	c 43
0.64	o 169
0.64	c 42
0.64	o 170
0.64	c 41
0.64	o 171
0.64	c 40
0.64	o 172
0.64	c 39
0.64	o 173
0.64	c 38
0.64	o 174
0.64	c 37
0.64	o 175
0.64	c 36
0.64	o 177
0.64	c 34
0.64	o 178
0.64	c 33
0.64	o 179
0.64	c 32
0.64	o 180
0.64	c 31
0.65	o 181
0.65	c 30
0.65	o 182
0.65	c 29
0.65	o 183
0.65	c 28
0.66	o 184
0.66	c 27
0.67	o 185
0.67	c 26
0.67	o 186
0.67	c 25
0.67	o 187
0.67	c 24
0.75	o 188
0.75	c 23
0.88	o 189
0.88	c 22
0.90	o 190
0.90	c 21
1.11	o 191
1.11	c 20
1.97	   
1.97	   search
1.97	     run=0  nbConstraintChecks=6126177  nbAssignments=10000
1.97	       =>  wckTime=1.37  cpuTime=1.36  mem=5M574
3.33	   
3.33	   search
3.33	     run=1  nbConstraintChecks=12669953  nbAssignments=20000
3.33	       =>  wckTime=2.73  cpuTime=2.71  mem=5M574
4.64	   
4.64	   search
4.64	     run=2  nbConstraintChecks=18834812  nbAssignments=30000
4.64	       =>  wckTime=4.038  cpuTime=4.02  mem=5M574
5.99	   
5.99	   search
5.99	     run=3  nbConstraintChecks=25250155  nbAssignments=40000
5.99	       =>  wckTime=5.382  cpuTime=5.37  mem=5M574
7.31	   
7.31	   search
7.31	     run=4  nbConstraintChecks=31537039  nbAssignments=50000
7.31	       =>  wckTime=6.709  cpuTime=6.69  mem=5M574
8.65	   
8.65	   search
8.65	     run=5  nbConstraintChecks=37980220  nbAssignments=60000
8.65	       =>  wckTime=8.044  cpuTime=8.03  mem=5M574
9.96	   
9.96	   search
9.96	     run=6  nbConstraintChecks=44208145  nbAssignments=70000
9.96	       =>  wckTime=9.354  cpuTime=9.33  mem=5M574
11.31	   
11.31	   search
11.31	     run=7  nbConstraintChecks=50749591  nbAssignments=80000
11.31	       =>  wckTime=10.705  cpuTime=10.69  mem=5M574
12.61	   
12.61	   search
12.61	     run=8  nbConstraintChecks=56921753  nbAssignments=90000
12.61	       =>  wckTime=12.008  cpuTime=11.99  mem=5M574
13.95	   
13.95	   search
13.95	     run=9  nbConstraintChecks=63406765  nbAssignments=100000
13.95	       =>  wckTime=13.351  cpuTime=13.33  mem=5M574
15.26	   
15.26	   search
15.26	     run=10  nbConstraintChecks=69618206  nbAssignments=110000
15.26	       =>  wckTime=14.657  cpuTime=14.64  mem=5M574
16.58	   
16.58	   search
16.58	     run=11  nbConstraintChecks=75923292  nbAssignments=120000
16.58	       =>  wckTime=15.979  cpuTime=15.97  mem=5M574
16.96	o 192
16.96	c 19
17.89	   
17.89	   search
17.89	     run=12  nbConstraintChecks=82026941  nbAssignments=130000
17.89	       =>  wckTime=17.287  cpuTime=17.26  mem=5M574
19.23	   
19.23	   search
19.23	     run=13  nbConstraintChecks=88307012  nbAssignments=140000
19.23	       =>  wckTime=18.622  cpuTime=18.6  mem=5M574
20.56	   
20.56	   search
20.56	     run=14  nbConstraintChecks=94576530  nbAssignments=150000
20.56	       =>  wckTime=19.952  cpuTime=19.93  mem=5M574
21.90	   
21.90	   search
21.90	     run=15  nbConstraintChecks=101008122  nbAssignments=160000
21.90	       =>  wckTime=21.3  cpuTime=21.27  mem=5M574
23.25	   
23.25	   search
23.25	     run=16  nbConstraintChecks=107383897  nbAssignments=170000
23.25	       =>  wckTime=22.642  cpuTime=22.61  mem=5M574
24.58	   
24.58	   search
24.58	     run=17  nbConstraintChecks=113715525  nbAssignments=180000
24.58	       =>  wckTime=23.976  cpuTime=23.95  mem=5M574
25.88	   
25.88	   search
25.88	     run=18  nbConstraintChecks=119777751  nbAssignments=190000
25.88	       =>  wckTime=25.28  cpuTime=25.25  mem=5M574
27.25	   
27.25	   search
27.25	     run=19  nbConstraintChecks=126371944  nbAssignments=200000
27.25	       =>  wckTime=26.649  cpuTime=26.62  mem=5M574
28.58	   
28.58	   search
28.58	     run=20  nbConstraintChecks=132691212  nbAssignments=210000
28.58	       =>  wckTime=27.974  cpuTime=27.94  mem=5M574
29.94	   
29.94	   search
29.94	     run=21  nbConstraintChecks=139348448  nbAssignments=220000
29.94	       =>  wckTime=29.339  cpuTime=29.31  mem=5M574
31.23	   
31.23	   search
31.23	     run=22  nbConstraintChecks=145421530  nbAssignments=230000
31.23	       =>  wckTime=30.628  cpuTime=30.6  mem=5M574
32.61	   
32.61	   search
32.61	     run=23  nbConstraintChecks=152133760  nbAssignments=240000
32.61	       =>  wckTime=32.005  cpuTime=31.97  mem=5M574
33.92	   
33.92	   search
33.92	     run=24  nbConstraintChecks=158303577  nbAssignments=250000
33.92	       =>  wckTime=33.315  cpuTime=33.28  mem=5M574
35.27	   
35.27	   search
35.27	     run=25  nbConstraintChecks=164796487  nbAssignments=260000
35.27	       =>  wckTime=34.662  cpuTime=34.62  mem=5M574
36.59	   
36.59	   search
36.59	     run=26  nbConstraintChecks=171099444  nbAssignments=270000
36.59	       =>  wckTime=35.984  cpuTime=35.94  mem=5M574
37.90	   
37.90	   search
37.90	     run=27  nbConstraintChecks=177253550  nbAssignments=280000
37.90	       =>  wckTime=37.293  cpuTime=37.25  mem=5M574
39.21	   
39.21	   search
39.21	     run=28  nbConstraintChecks=183276333  nbAssignments=290000
39.21	       =>  wckTime=38.61  cpuTime=38.55  mem=5M574
40.58	   
40.58	   search
40.58	     run=29  nbConstraintChecks=189745282  nbAssignments=300000
40.58	       =>  wckTime=39.972  cpuTime=39.91  mem=5M574
41.89	   
41.89	   search
41.89	     run=30  nbConstraintChecks=195851146  nbAssignments=310000
41.89	       =>  wckTime=41.283  cpuTime=41.22  mem=5M574
43.26	   
43.26	   search
43.26	     run=31  nbConstraintChecks=202400457  nbAssignments=320000
43.26	       =>  wckTime=42.652  cpuTime=42.59  mem=5M574
44.58	   
44.58	   search
44.58	     run=32  nbConstraintChecks=208617997  nbAssignments=330000
44.58	       =>  wckTime=43.973  cpuTime=43.91  mem=5M574
45.93	   
45.93	   search
45.93	     run=33  nbConstraintChecks=215068265  nbAssignments=340000
45.93	       =>  wckTime=45.329  cpuTime=45.26  mem=5M574
47.01	   
47.01	   search
47.01	     run=34  nbConstraintChecks=220112004  nbAssignments=348223
47.01	       =>  wckTime=46.408  cpuTime=46.35  mem=5M574
47.01	   
47.01	   global
47.01	     nbConstraintChecks=220112004  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
47.01	     solvingWckTime=46.407  solvingCpuTime=46.35  expiredTime=no  totalExploration=no  nbFoundSolutions=0
47.01	     globalCpuTime=46.59
47.01	       =>  wckTime=46.726  cpuTime=46.55  mem=5M574
47.01	   
47.01	   solver IterativeSystematicSolver being built... 
47.14	       =>  wckTime=46.856  cpuTime=46.65  mem=16M562
47.20	   
47.20	   preprocessing
47.20	     nbConstraintChecks=36714  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
47.20	     detectedInconsistency=no
47.20	       =>  wckTime=0.051  cpuTime=0.03  mem=16M562
47.24	   
47.24	   search
47.24	     run=0  nbConstraintChecks=50395  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47
47.24	     nbFailedAssignments=16  nbBacktracks=10  nbVisitedNodes=74  nbRestartNogoods=0
47.24	       =>  wckTime=0.097  cpuTime=0.07  mem=16M562
47.29	   
47.29	   search
47.29	     run=1  nbConstraintChecks=126621  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=107
47.29	     nbFailedAssignments=40  nbBacktracks=26  nbVisitedNodes=174  nbRestartNogoods=6
47.29	       =>  wckTime=0.15  cpuTime=0.11  mem=16M562
47.35	   
47.35	   search
47.35	     run=2  nbConstraintChecks=230962  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=184
47.35	     nbFailedAssignments=74  nbBacktracks=50  nbVisitedNodes=309  nbRestartNogoods=10
47.35	       =>  wckTime=0.204  cpuTime=0.16  mem=16M562
47.42	   
47.42	   search
47.42	     run=3  nbConstraintChecks=375020  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=286
47.42	     nbFailedAssignments=125  nbBacktracks=83  nbVisitedNodes=495  nbRestartNogoods=16
47.42	       =>  wckTime=0.277  cpuTime=0.23  mem=16M562
47.53	   
47.53	   search
47.53	     run=4  nbConstraintChecks=609975  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=447
47.53	     nbFailedAssignments=215  nbBacktracks=134  nbVisitedNodes=797  nbRestartNogoods=23
47.53	       =>  wckTime=0.387  cpuTime=0.34  mem=16M562
47.68	   
47.68	   search
47.68	     run=5  nbConstraintChecks=947984  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=678
47.68	     nbFailedAssignments=352  nbBacktracks=209  nbVisitedNodes=1240  nbRestartNogoods=30
47.68	       =>  wckTime=0.537  cpuTime=0.49  mem=16M562
47.84	   
47.84	   search
47.84	     run=6  nbConstraintChecks=1334951  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=934
47.84	     nbFailedAssignments=474  nbBacktracks=322  nbVisitedNodes=1731  nbRestartNogoods=37
47.84	       =>  wckTime=0.7  cpuTime=0.65  mem=16M562
48.19	   
48.19	   search
48.19	     run=7  nbConstraintChecks=2034082  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1377
48.19	     nbFailedAssignments=728  nbBacktracks=492  nbVisitedNodes=2598  nbRestartNogoods=44
48.19	       =>  wckTime=1.047  cpuTime=1.0  mem=16M562
48.69	   
48.69	   search
48.69	     run=8  nbConstraintChecks=3094739  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2057
48.69	     nbFailedAssignments=1132  nbBacktracks=748  nbVisitedNodes=3938  nbRestartNogoods=52
48.69	       =>  wckTime=1.545  cpuTime=1.48  mem=16M562
49.44	   
49.44	   search
49.44	     run=9  nbConstraintChecks=4713882  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3085
49.44	     nbFailedAssignments=1754  nbBacktracks=1132  nbVisitedNodes=5965  nbRestartNogoods=60
49.44	       =>  wckTime=2.296  cpuTime=2.23  mem=16M562
50.45	   
50.45	   search
50.45	     run=10  nbConstraintChecks=6989933  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4487
50.45	     nbFailedAssignments=2560  nbBacktracks=1708  nbVisitedNodes=8749  nbRestartNogoods=69
50.45	       =>  wckTime=3.307  cpuTime=3.23  mem=16M562
52.07	   
52.07	   search
52.07	     run=11  nbConstraintChecks=10939318  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6916
52.07	     nbFailedAssignments=4105  nbBacktracks=2572  nbVisitedNodes=13587  nbRestartNogoods=85
52.07	       =>  wckTime=4.922  cpuTime=4.84  mem=16M562
54.33	   
54.33	   search
54.34	     run=12  nbConstraintChecks=16106559  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=10071
54.34	     nbFailedAssignments=5944  nbBacktracks=3870  nbVisitedNodes=19878  nbRestartNogoods=93
54.34	       =>  wckTime=7.191  cpuTime=7.11  mem=16M562
57.59	   
57.59	   search
57.59	     run=13  nbConstraintChecks=23631243  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14812
57.59	     nbFailedAssignments=8720  nbBacktracks=5816  nbVisitedNodes=29339  nbRestartNogoods=104
57.59	       =>  wckTime=10.443  cpuTime=10.36  mem=16M562
62.18	   
62.18	   search
62.18	     run=14  nbConstraintChecks=33175405  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20900
62.18	     nbFailedAssignments=11875  nbBacktracks=8735  nbVisitedNodes=41501  nbRestartNogoods=113
62.18	       =>  wckTime=15.038  cpuTime=14.96  mem=16M562
70.54	   
70.54	   search
70.54	     run=15  nbConstraintChecks=51105068  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31886
70.54	     nbFailedAssignments=18467  nbBacktracks=13115  nbVisitedNodes=63455  nbRestartNogoods=127
70.54	       =>  wckTime=23.395  cpuTime=23.3  mem=16M562
81.91	   
81.91	   search
81.91	     run=16  nbConstraintChecks=76361940  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=46897
81.91	     nbFailedAssignments=26897  nbBacktracks=19683  nbVisitedNodes=93372  nbRestartNogoods=136
81.91	       =>  wckTime=34.766  cpuTime=34.68  mem=16M562
102.92	   
102.92	   search
102.92	     run=17  nbConstraintChecks=114645079  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=70435
102.92	     nbFailedAssignments=40571  nbBacktracks=29535  nbVisitedNodes=140169  nbRestartNogoods=147
102.92	       =>  wckTime=55.773  cpuTime=55.66  mem=16M562
129.07	   
129.07	   search
129.07	     run=18  nbConstraintChecks=163019411  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=101448
129.07	     nbFailedAssignments=56791  nbBacktracks=44313  nbVisitedNodes=201737  nbRestartNogoods=162
129.07	       =>  wckTime=81.929  cpuTime=81.79  mem=16M562
165.20	   
165.20	   search
165.20	     run=19  nbConstraintChecks=230394253  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=148711
165.20	     nbFailedAssignments=81869  nbBacktracks=66482  nbVisitedNodes=295165  nbRestartNogoods=177
165.20	       =>  wckTime=118.054  cpuTime=117.91  mem=16M562
211.07	   
211.07	   search
211.07	     run=20  nbConstraintChecks=314902493  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=210792
211.07	     nbFailedAssignments=110684  nbBacktracks=99734  nbVisitedNodes=415695  nbRestartNogoods=187
211.07	       =>  wckTime=163.929  cpuTime=163.75  mem=16M562
278.65	   
278.65	   search
278.65	     run=21  nbConstraintChecks=438179221  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=309314
278.65	     nbFailedAssignments=159319  nbBacktracks=149612  nbVisitedNodes=605916  nbRestartNogoods=197
278.65	       =>  wckTime=231.506  cpuTime=231.26  mem=16M562
352.59	   
352.59	   search
352.59	     run=22  nbConstraintChecks=599529172  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=444246
352.59	     nbFailedAssignments=219414  nbBacktracks=224431  nbVisitedNodes=865620  nbRestartNogoods=209
352.59	       =>  wckTime=305.447  cpuTime=305.15  mem=16M562
493.90	   
493.90	   search
493.90	     run=23  nbConstraintChecks=861467545  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=644327
493.90	     nbFailedAssignments=307253  nbBacktracks=336658  nbVisitedNodes=1252196  nbRestartNogoods=218
493.90	       =>  wckTime=446.753  cpuTime=446.33  mem=16M562
704.82	   
704.82	   search
704.82	     run=24  nbConstraintChecks=1229430925  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=946291
704.82	     nbFailedAssignments=440864  nbBacktracks=504999  nbVisitedNodes=1828985  nbRestartNogoods=227
704.82	       =>  wckTime=657.679  cpuTime=656.85  mem=16M562
1030.00	   
1030.00	   search
1030.00	     run=25  nbConstraintChecks=1795062391  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1411892
1030.00	     nbFailedAssignments=653940  nbBacktracks=757510  nbVisitedNodes=2725111  nbRestartNogoods=236
1030.00	       =>  wckTime=982.856  cpuTime=980.34  mem=16M562
1432.80	   
1432.80	   search
1432.80	     run=26  nbConstraintChecks=2528034326  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2066879
1432.80	     nbFailedAssignments=930134  nbBacktracks=1136279  nbVisitedNodes=3963122  nbRestartNogoods=249
1432.80	       =>  wckTime=1385.653  cpuTime=1381.12  mem=16M562
2108.39	   
2108.39	   search
2108.39	     run=27  nbConstraintChecks=3736580853  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3054368
2108.39	     nbFailedAssignments=1349449  nbBacktracks=1704430  nbVisitedNodes=5858195  nbRestartNogoods=262
2108.39	       =>  wckTime=2061.245  cpuTime=2053.26  mem=16M562
2409.58	v 3 4 4 1 4 2 4 1 1 3 4 4 0 4 1 1 2 3 0 1 4 0 3 0 0 4 2 0 3 3 3 0 3 4 0 4 4 3 3 2 3 0 3 4 2 4 3 0 4 4 0 2 3 0 0 4 2 2 1 3 1 4

Verifier Data (download as text)

19 unsatisfied constraints, 192 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/node16/watcher-279055-1169291196 -o ROOT/results/node16/solver-279055-1169291196 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279055-1169291196/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.81 1.94 1.90 4/87 29352
/proc/meminfo: memFree=1147416/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=1784 CPUtime=0
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 372 0 0 0 0 0 0 0 18 0 1 0 277514458 1826816 161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160650080 0 0 4096 0 0 0 0 17 0 0 0
/proc/29351/statm: 446 163 128 14 0 91 0

[startup+0.108502 s]
/proc/loadavg: 1.81 1.94 1.90 4/87 29352
/proc/meminfo: memFree=1147416/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=914988 CPUtime=0.1
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 3133 0 1 0 9 1 0 0 24 0 8 0 277514458 936947712 2879 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228747 2880 1474 14 0 215242 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 914988

[startup+0.517423 s]
/proc/loadavg: 1.81 1.94 1.90 4/87 29352
/proc/meminfo: memFree=1147416/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915332 CPUtime=0.5
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 6649 0 1 0 46 4 0 0 25 0 8 0 277514458 937299968 6388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228833 6388 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34527 s]
/proc/loadavg: 1.83 1.94 1.90 3/94 29359
/proc/meminfo: memFree=1129120/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915468 CPUtime=1.33
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 7244 0 1 0 108 25 0 0 25 0 8 0 277514458 937439232 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 6982 2479 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.13
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 346 0 0 0 13 0 0 0 16 0 8 0 277514465 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915468 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937439232 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 6982 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915468

[startup+2.98796 s]
/proc/loadavg: 1.83 1.94 1.90 3/94 29359
/proc/meminfo: memFree=1129120/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=2.97
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 7247 0 1 0 228 69 0 0 25 0 8 0 277514458 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228867 6984 2479 14 0 215337 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915468 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.13
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915464

[startup+6.26735 s]
/proc/loadavg: 1.84 1.94 1.90 3/94 29359
/proc/meminfo: memFree=1129120/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915468 CPUtime=6.25
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 7247 0 1 0 465 160 0 0 25 0 8 0 277514458 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 6984 2479 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.13
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915468

[startup+12.7621 s]
/proc/loadavg: 1.85 1.94 1.90 3/94 29359
/proc/meminfo: memFree=1129056/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=12.74
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 7247 0 1 0 939 335 0 0 25 0 8 0 277514458 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 6984 2479 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915468 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.13
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 348 0 0 0 13 0 0 0 16 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915468 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915464

[startup+25.6377 s]
/proc/loadavg: 1.87 1.94 1.90 4/94 29359
/proc/meminfo: memFree=1129128/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=25.6
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 7248 0 1 0 1861 699 0 0 25 0 8 0 277514458 937435136 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 6985 2479 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915468 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277514461 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.13
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 349 0 0 0 13 0 0 0 16 0 8 0 277514465 937435136 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915468 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937439232 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 6985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.6
Current children cumulated vsize (KiB) 915464

[startup+51.2749 s]
/proc/loadavg: 1.92 1.95 1.90 3/94 29359
/proc/meminfo: memFree=1122088/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=51.22
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9132 0 1 0 3829 1293 0 0 25 0 8 0 277514458 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8866 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.24
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 413 0 0 0 23 1 0 0 15 0 8 0 277514465 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8866 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915464

[startup+102.524 s]
/proc/loadavg: 1.96 1.95 1.91 3/94 29359
/proc/meminfo: memFree=1122024/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=102.43
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9147 0 1 0 8950 1293 0 0 25 0 8 0 277514458 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073881537 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8881 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.25
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 413 0 0 0 24 1 0 0 16 0 8 0 277514465 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8881 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 915464

[startup+162.526 s]
/proc/loadavg: 1.98 1.96 1.91 3/94 29359
/proc/meminfo: memFree=1122024/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=162.39
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9153 0 1 0 14946 1293 0 0 25 0 8 0 277514458 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073926889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.09 s]
/proc/loadavg: 2.08 2.02 1.94 4/94 29361
/proc/meminfo: memFree=1121704/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=2075.25
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9176 0 1 0 206226 1299 0 0 25 0 8 0 277514458 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073859621 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8907 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.25
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 277514465 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8907 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.25
Current children cumulated vsize (KiB) 915464

[startup+2143.1 s]
/proc/loadavg: 2.03 2.01 1.94 3/94 29361
/proc/meminfo: memFree=1121640/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=2134.95
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9179 0 1 0 212196 1299 0 0 25 0 8 0 277514458 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918539 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8910 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.25
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.95
Current children cumulated vsize (KiB) 915464

[startup+2203.12 s]
/proc/loadavg: 2.08 2.02 1.95 5/94 29361
/proc/meminfo: memFree=1121640/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=2194.65
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9179 0 1 0 218166 1299 0 0 25 0 8 0 277514458 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073886433 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8910 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.25
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.65
Current children cumulated vsize (KiB) 915464

[startup+2263.14 s]
/proc/loadavg: 2.03 2.02 1.95 3/94 29361
/proc/meminfo: memFree=1121640/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=2254.37
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9179 0 1 0 224138 1299 0 0 25 0 8 0 277514458 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073881440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8910 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.25
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.37
Current children cumulated vsize (KiB) 915464

[startup+2323.15 s]
/proc/loadavg: 2.05 2.03 1.95 3/94 29361
/proc/meminfo: memFree=1121640/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=2314.08
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9179 0 1 0 230109 1299 0 0 25 0 8 0 277514458 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887652 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8910 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.25
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.08
Current children cumulated vsize (KiB) 915464

[startup+2383.17 s]
/proc/loadavg: 2.07 2.04 1.96 3/94 29452
/proc/meminfo: memFree=1108200/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=2373.76
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9179 0 1 0 236075 1301 0 0 25 0 8 0 277514458 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877149 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8910 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.25
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2373.76
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2409.57 s]
/proc/loadavg: 2.04 2.03 1.96 3/94 29452
/proc/meminfo: memFree=1108328/2055920 swapFree=4191880/4192956
[pid=29351] ppid=29349 vsize=915464 CPUtime=2400.04
/proc/29351/stat : 29351 (java) R 29349 29351 29115 0 -1 0 9179 0 1 0 238703 1301 0 0 25 0 8 0 277514458 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29351/statm: 228866 8910 2532 14 0 215336 0
[pid=29351/tid=29353] ppid=29349 vsize=915464 CPUtime=0.02
/proc/29351/task/29353/stat : 29353 (java) S 29349 29351 29115 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 277514461 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29354] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29354/stat : 29354 (java) S 29349 29351 29115 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29355] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29355/stat : 29355 (java) S 29349 29351 29115 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277514462 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29356] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29356/stat : 29356 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29357] ppid=29349 vsize=915464 CPUtime=0.25
/proc/29351/task/29357/stat : 29357 (java) S 29349 29351 29115 0 -1 64 415 0 0 0 24 1 0 0 16 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29358] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29358/stat : 29358 (java) S 29349 29351 29115 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29351/tid=29359] ppid=29349 vsize=915464 CPUtime=0
/proc/29351/task/29359/stat : 29359 (java) S 29349 29351 29115 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277514465 937435136 8910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2409.61
CPU time (s): 2400.08
CPU user time (s): 2387.06
CPU system time (s): 13.022
CPU usage (%): 99.6046
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.06
system time used= 13.022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9200
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= 49996
involuntary context switches= 120814

runsolver used 2.99554 s user time and 7.56685 s system time

The end

Launcher Data (download as text)

Begin job on node16 on Sat Jan 20 11:06:36 UTC 2007


IDJOB= 279055
IDBENCH= 9354
IDSOLVER= 68
FILE ID= node16/279055-1169291196

PBS_JOBID= 3609593

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-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279055-1169291196/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node16/watcher-279055-1169291196 -o ROOT/results/node16/solver-279055-1169291196 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/279055-1169291196/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e81fb487b72ee17c6b7d9b1057de570b

RANDOM SEED= 878463636

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.220
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.220
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:       1147896 kB
Buffers:         55016 kB
Cached:         680000 kB
SwapCached:        268 kB
Active:         346352 kB
Inactive:       484900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1147896 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2108 kB
Writeback:           0 kB
Mapped:         115856 kB
Slab:            61432 kB
Committed_AS:  7986384 kB
PageTables:       2464 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 node16 on Sat Jan 20 11:46:46 UTC 2007