Trace number 281935

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCOPTIMUM 797.586 798.057

General information on the benchmark

NameMaxCSP/
maxclique/mann-a9_ext.xml
MD5SUM44533c8a08cd8c83de8dc1a91d9e917e
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints88
Best CPU time to get the best result obtained on this benchmark0.18897
Satisfiable
(Un)Satisfiability was proved
Number of variables46
Number of constraints117
Maximum constraint arity2
Maximum domain size2
Number of constraints which are defined in extension117
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/281935-1169315782/unknown.xml
0.35	   
0.35	   domains being loaded...
0.35	   
0.35	   variables being loaded...
0.38	     nbVariables=46  nbDomainTypes=2  minDomainSize=1  maxDomainSize=2
0.38	       =>  wckTime=0.093  cpuTime=0.09  mem=6M887
0.38	   
0.38	   relations being loaded...
0.39	   
0.39	   constraints being loaded...
0.44	     nbConstraints=117  nbRelationTypes=2  nbSingletonDomainVariables=1  nbExtensionStructures=2
0.44	     nbSharedExtensionStructures=115  nbConflictsStructures=2  nbSharedConflictsStructures=115
0.44	     nbSharedBinaryRepresentations=3  maxDegree=45  maxArity=2
0.44	       =>  wckTime=0.147  cpuTime=0.12  mem=7M879
0.47	   
0.47	   solver LocalSearchSolver being built... 
0.51	       =>  wckTime=0.223  cpuTime=0.16  mem=5M420
0.51	
0.51	s SATISFIABLE
0.51	o 79
0.51	c 38
0.51	o 80
0.51	c 37
0.52	o 81
0.52	c 36
0.52	o 82
0.52	c 35
0.52	o 83
0.52	c 34
0.52	o 84
0.52	c 33
0.52	o 85
0.52	c 32
0.52	o 86
0.52	c 31
0.52	o 87
0.52	c 30
0.72	o 88
0.72	c 29
1.25	   
1.25	   search
1.25	     run=0  nbConstraintChecks=1078916  nbAssignments=10000
1.25	       =>  wckTime=0.742  cpuTime=0.72  mem=5M420
1.94	   
1.94	   search
1.94	     run=1  nbConstraintChecks=2177698  nbAssignments=20000
1.94	       =>  wckTime=1.425  cpuTime=1.4  mem=5M420
2.61	   
2.61	   search
2.61	     run=2  nbConstraintChecks=3256948  nbAssignments=30000
2.61	       =>  wckTime=2.101  cpuTime=2.08  mem=5M420
3.29	   
3.29	   search
3.29	     run=3  nbConstraintChecks=4355377  nbAssignments=40000
3.29	       =>  wckTime=2.779  cpuTime=2.76  mem=5M420
3.96	   
3.96	   search
3.96	     run=4  nbConstraintChecks=5432219  nbAssignments=50000
3.96	       =>  wckTime=3.454  cpuTime=3.43  mem=5M420
4.64	   
4.64	   search
4.64	     run=5  nbConstraintChecks=6535093  nbAssignments=60000
4.64	       =>  wckTime=4.133  cpuTime=4.11  mem=5M420
5.32	   
5.32	   search
5.32	     run=6  nbConstraintChecks=7613781  nbAssignments=70000
5.32	       =>  wckTime=4.812  cpuTime=4.78  mem=5M420
6.01	   
6.01	   search
6.01	     run=7  nbConstraintChecks=8706813  nbAssignments=80000
6.01	       =>  wckTime=5.498  cpuTime=5.47  mem=5M420
6.69	   
6.69	   search
6.69	     run=8  nbConstraintChecks=9789561  nbAssignments=90000
6.69	       =>  wckTime=6.182  cpuTime=6.16  mem=5M420
7.38	   
7.38	   search
7.38	     run=9  nbConstraintChecks=10887452  nbAssignments=100000
7.38	       =>  wckTime=6.869  cpuTime=6.84  mem=5M420
8.06	   
8.06	   search
8.06	     run=10  nbConstraintChecks=11966796  nbAssignments=110000
8.06	       =>  wckTime=7.551  cpuTime=7.52  mem=5M420
8.75	   
8.75	   search
8.75	     run=11  nbConstraintChecks=13061364  nbAssignments=120000
8.75	       =>  wckTime=8.237  cpuTime=8.21  mem=5M420
9.43	   
9.43	   search
9.43	     run=12  nbConstraintChecks=14136283  nbAssignments=130000
9.43	       =>  wckTime=8.919  cpuTime=8.89  mem=5M420
10.12	   
10.12	   search
10.12	     run=13  nbConstraintChecks=15230584  nbAssignments=140000
10.12	       =>  wckTime=9.605  cpuTime=9.58  mem=5M420
10.80	   
10.80	   search
10.80	     run=14  nbConstraintChecks=16310988  nbAssignments=150000
10.80	       =>  wckTime=10.289  cpuTime=10.26  mem=5M420
11.49	   
11.49	   search
11.49	     run=15  nbConstraintChecks=17407510  nbAssignments=160000
11.49	       =>  wckTime=10.975  cpuTime=10.95  mem=5M420
12.17	   
12.17	   search
12.17	     run=16  nbConstraintChecks=18485571  nbAssignments=170000
12.17	       =>  wckTime=11.658  cpuTime=11.63  mem=5M420
12.85	   
12.85	   search
12.85	     run=17  nbConstraintChecks=19587111  nbAssignments=180000
12.85	       =>  wckTime=12.344  cpuTime=12.32  mem=5M420
13.54	   
13.54	   search
13.54	     run=18  nbConstraintChecks=20664864  nbAssignments=190000
13.54	       =>  wckTime=13.027  cpuTime=13.0  mem=5M420
14.22	   
14.22	   search
14.22	     run=19  nbConstraintChecks=21762614  nbAssignments=200000
14.22	       =>  wckTime=13.713  cpuTime=13.68  mem=5M420
14.91	   
14.91	   search
14.91	     run=20  nbConstraintChecks=22838892  nbAssignments=210000
14.91	       =>  wckTime=14.397  cpuTime=14.37  mem=5M420
15.59	   
15.59	   search
15.59	     run=21  nbConstraintChecks=23937396  nbAssignments=220000
15.59	       =>  wckTime=15.078  cpuTime=15.05  mem=5M420
16.26	   
16.26	   search
16.26	     run=22  nbConstraintChecks=25013615  nbAssignments=230000
16.26	       =>  wckTime=15.754  cpuTime=15.72  mem=5M420
16.94	   
16.94	   search
16.94	     run=23  nbConstraintChecks=26110318  nbAssignments=240000
16.94	       =>  wckTime=16.434  cpuTime=16.4  mem=5M420
17.62	   
17.62	   search
17.62	     run=24  nbConstraintChecks=27191096  nbAssignments=250000
17.62	       =>  wckTime=17.111  cpuTime=17.08  mem=5M420
18.30	   
18.30	   search
18.30	     run=25  nbConstraintChecks=28289924  nbAssignments=260000
18.30	       =>  wckTime=17.793  cpuTime=17.76  mem=5M420
18.98	   
18.98	   search
18.98	     run=26  nbConstraintChecks=29367494  nbAssignments=270000
18.98	       =>  wckTime=18.471  cpuTime=18.43  mem=5M420
19.66	   
19.66	   search
19.66	     run=27  nbConstraintChecks=30462013  nbAssignments=280000
19.66	       =>  wckTime=19.152  cpuTime=19.12  mem=5M420
20.34	   
20.34	   search
20.34	     run=28  nbConstraintChecks=31540625  nbAssignments=290000
20.34	       =>  wckTime=19.83  cpuTime=19.8  mem=5M420
21.02	   
21.02	   search
21.02	     run=29  nbConstraintChecks=32635152  nbAssignments=300000
21.02	       =>  wckTime=20.512  cpuTime=20.48  mem=5M420
21.70	   
21.70	   search
21.70	     run=30  nbConstraintChecks=33709637  nbAssignments=310000
21.70	       =>  wckTime=21.191  cpuTime=21.16  mem=5M420
22.38	   
22.38	   search
22.38	     run=31  nbConstraintChecks=34805793  nbAssignments=320000
22.38	       =>  wckTime=21.873  cpuTime=21.84  mem=5M420
23.08	   
23.08	   search
23.08	     run=32  nbConstraintChecks=35884443  nbAssignments=330000
23.08	       =>  wckTime=22.568  cpuTime=22.52  mem=5M420
23.77	   
23.77	   search
23.77	     run=33  nbConstraintChecks=36986245  nbAssignments=340000
23.77	       =>  wckTime=23.261  cpuTime=23.21  mem=5M420
24.46	   
24.46	   search
24.46	     run=34  nbConstraintChecks=38063329  nbAssignments=350000
24.46	       =>  wckTime=23.947  cpuTime=23.9  mem=5M420
25.15	   
25.15	   search
25.15	     run=35  nbConstraintChecks=39161120  nbAssignments=360000
25.15	       =>  wckTime=24.637  cpuTime=24.58  mem=5M420
25.83	   
25.83	   search
25.83	     run=36  nbConstraintChecks=40238786  nbAssignments=370000
25.83	       =>  wckTime=25.32  cpuTime=25.26  mem=5M420
26.52	   
26.52	   search
26.52	     run=37  nbConstraintChecks=41337111  nbAssignments=380000
26.52	       =>  wckTime=26.008  cpuTime=25.96  mem=5M420
27.20	   
27.20	   search
27.20	     run=38  nbConstraintChecks=42413312  nbAssignments=390000
27.20	       =>  wckTime=26.691  cpuTime=26.64  mem=5M420
27.89	   
27.89	   search
27.89	     run=39  nbConstraintChecks=43512829  nbAssignments=400000
27.89	       =>  wckTime=27.379  cpuTime=27.32  mem=5M420
28.57	   
28.57	   search
28.57	     run=40  nbConstraintChecks=44591028  nbAssignments=410000
28.57	       =>  wckTime=28.062  cpuTime=28.0  mem=5M420
29.26	   
29.26	   search
29.26	     run=41  nbConstraintChecks=45686015  nbAssignments=420000
29.26	       =>  wckTime=28.749  cpuTime=28.69  mem=5M420
29.94	   
29.94	   search
29.94	     run=42  nbConstraintChecks=46763708  nbAssignments=430000
29.94	       =>  wckTime=29.432  cpuTime=29.37  mem=5M420
30.63	   
30.63	   search
30.63	     run=43  nbConstraintChecks=47857336  nbAssignments=440000
30.63	       =>  wckTime=30.12  cpuTime=30.06  mem=5M420
30.77	   
30.77	   search
30.77	     run=44  nbConstraintChecks=48076868  nbAssignments=442118
30.77	       =>  wckTime=30.264  cpuTime=30.21  mem=5M420
30.78	   
30.78	   global
30.78	     nbConstraintChecks=48076868  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
30.78	     solvingWckTime=30.261  solvingCpuTime=30.21  expiredTime=no  totalExploration=no  nbFoundSolutions=0
30.78	     globalCpuTime=30.41
30.78	       =>  wckTime=30.486  cpuTime=30.37  mem=5M420
30.78	   
30.78	   solver IterativeSystematicSolver being built... 
30.90	       =>  wckTime=30.609  cpuTime=30.47  mem=16M491
30.93	   
30.93	   preprocessing
30.93	     nbConstraintChecks=9037  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
30.93	     detectedInconsistency=no
30.93	       =>  wckTime=0.034  cpuTime=0.02  mem=16M491
30.95	   
30.95	   search
30.95	     run=0  nbConstraintChecks=7219  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=32
30.95	     nbFailedAssignments=11  nbBacktracks=11  nbVisitedNodes=51  nbRestartNogoods=0
30.95	       =>  wckTime=0.048  cpuTime=0.03  mem=16M491
30.97	   
30.97	   search
30.97	     run=1  nbConstraintChecks=15122  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=63
30.97	     nbFailedAssignments=19  nbBacktracks=26  nbVisitedNodes=100  nbRestartNogoods=3
30.97	       =>  wckTime=0.068  cpuTime=0.04  mem=16M491
30.98	   
30.98	   search
30.98	     run=2  nbConstraintChecks=26848  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=107
30.98	     nbFailedAssignments=32  nbBacktracks=48  nbVisitedNodes=171  nbRestartNogoods=7
30.98	       =>  wckTime=0.079  cpuTime=0.05  mem=16M491
30.99	   
30.99	   search
30.99	     run=3  nbConstraintChecks=43871  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=168
30.99	     nbFailedAssignments=51  nbBacktracks=83  nbVisitedNodes=273  nbRestartNogoods=12
30.99	       =>  wckTime=0.094  cpuTime=0.06  mem=16M491
31.02	   
31.02	   search
31.02	     run=4  nbConstraintChecks=67350  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=253
31.02	     nbFailedAssignments=77  nbBacktracks=133  nbVisitedNodes=412  nbRestartNogoods=17
31.02	       =>  wckTime=0.116  cpuTime=0.09  mem=16M491
31.04	   
31.04	   search
31.04	     run=5  nbConstraintChecks=101533  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=366
31.04	     nbFailedAssignments=106  nbBacktracks=208  nbVisitedNodes=609  nbRestartNogoods=21
31.04	       =>  wckTime=0.142  cpuTime=0.11  mem=16M491
31.07	   
31.07	   search
31.07	     run=6  nbConstraintChecks=149647  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=527
31.07	     nbFailedAssignments=146  nbBacktracks=324  nbVisitedNodes=884  nbRestartNogoods=26
31.07	       =>  wckTime=0.176  cpuTime=0.14  mem=16M491
31.13	   
31.13	   search
31.13	     run=7  nbConstraintChecks=224266  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=782
31.13	     nbFailedAssignments=218  nbBacktracks=494  nbVisitedNodes=1314  nbRestartNogoods=31
31.13	       =>  wckTime=0.227  cpuTime=0.19  mem=16M491
31.21	   
31.21	   search
31.21	     run=8  nbConstraintChecks=338846  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1150
31.21	     nbFailedAssignments=319  nbBacktracks=751  nbVisitedNodes=1964  nbRestartNogoods=38
31.21	       =>  wckTime=0.308  cpuTime=0.27  mem=16M491
31.34	   
31.34	   search
31.34	     run=9  nbConstraintChecks=520726  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1716
31.34	     nbFailedAssignments=482  nbBacktracks=1137  nbVisitedNodes=2979  nbRestartNogoods=44
31.34	       =>  wckTime=0.438  cpuTime=0.38  mem=16M491
31.55	   
31.55	   search
31.55	     run=10  nbConstraintChecks=872995  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2843
31.55	     nbFailedAssignments=1023  nbBacktracks=1713  nbVisitedNodes=5070  nbRestartNogoods=51
31.55	       =>  wckTime=0.65  cpuTime=0.59  mem=16M491
31.85	   
31.85	   search
31.85	     run=11  nbConstraintChecks=1393756  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4465
31.85	     nbFailedAssignments=1773  nbBacktracks=2578  nbVisitedNodes=7993  nbRestartNogoods=57
31.85	       =>  wckTime=0.948  cpuTime=0.88  mem=16M491
32.29	   
32.29	   search
32.29	     run=12  nbConstraintChecks=2179407  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6792
32.29	     nbFailedAssignments=2792  nbBacktracks=3875  nbVisitedNodes=12280  nbRestartNogoods=66
32.29	       =>  wckTime=1.392  cpuTime=1.33  mem=16M491
32.83	   
32.83	   search
32.83	     run=13  nbConstraintChecks=3133957  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9780
32.83	     nbFailedAssignments=3824  nbBacktracks=5821  nbVisitedNodes=17549  nbRestartNogoods=73
32.83	       =>  wckTime=1.927  cpuTime=1.86  mem=16M491
33.65	   
33.65	   search
33.65	     run=14  nbConstraintChecks=4657092  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14191
33.65	     nbFailedAssignments=5300  nbBacktracks=8744  nbVisitedNodes=25971  nbRestartNogoods=80
33.65	       =>  wckTime=2.747  cpuTime=2.68  mem=16M491
34.69	   
34.69	   search
34.69	     run=15  nbConstraintChecks=6762505  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=20507
34.69	     nbFailedAssignments=7220  nbBacktracks=13122  nbVisitedNodes=37872  nbRestartNogoods=88
34.69	       =>  wckTime=3.791  cpuTime=3.72  mem=16M491
36.17	   
36.17	   search
36.17	     run=16  nbConstraintChecks=9828868  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=30343
36.17	     nbFailedAssignments=10478  nbBacktracks=19691  nbVisitedNodes=55526  nbRestartNogoods=96
36.17	       =>  wckTime=5.272  cpuTime=5.2  mem=16M491
38.14	   
38.14	   search
38.14	     run=17  nbConstraintChecks=14055588  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=43949
38.14	     nbFailedAssignments=14213  nbBacktracks=29548  nbVisitedNodes=80587  nbRestartNogoods=104
38.14	       =>  wckTime=7.243  cpuTime=7.17  mem=16M491
40.91	   
40.91	   search
40.91	     run=18  nbConstraintChecks=20356837  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=65076
40.91	     nbFailedAssignments=20539  nbBacktracks=44326  nbVisitedNodes=119418  nbRestartNogoods=113
40.91	       =>  wckTime=10.014  cpuTime=9.94  mem=16M491
44.91	   
44.91	   search
44.91	     run=19  nbConstraintChecks=29482382  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=96482
44.91	     nbFailedAssignments=29754  nbBacktracks=66499  nbVisitedNodes=175920  nbRestartNogoods=121
44.91	       =>  wckTime=14.008  cpuTime=13.93  mem=16M491
50.88	   
50.88	   search
50.88	     run=20  nbConstraintChecks=43687082  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=145244
50.88	     nbFailedAssignments=45249  nbBacktracks=99760  nbVisitedNodes=263296  nbRestartNogoods=126
50.88	       =>  wckTime=19.98  cpuTime=19.9  mem=16M491
59.11	   
59.11	   search
59.11	     run=21  nbConstraintChecks=63585201  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=214629
59.11	     nbFailedAssignments=64725  nbBacktracks=149638  nbVisitedNodes=386195  nbRestartNogoods=134
59.11	       =>  wckTime=28.209  cpuTime=28.13  mem=16M491
71.79	   
71.79	   search
71.79	     run=22  nbConstraintChecks=93866269  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=319854
71.79	     nbFailedAssignments=95106  nbBacktracks=224457  nbVisitedNodes=573227  nbRestartNogoods=140
71.79	       =>  wckTime=40.893  cpuTime=40.81  mem=16M491
91.39	   
91.39	   search
91.39	     run=23  nbConstraintChecks=141106791  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=483525
91.39	     nbFailedAssignments=146526  nbBacktracks=336684  nbVisitedNodes=867947  nbRestartNogoods=148
91.39	       =>  wckTime=60.491  cpuTime=60.4  mem=16M491
120.20	   
120.20	   search
120.20	     run=24  nbConstraintChecks=211491215  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=729515
120.20	     nbFailedAssignments=224153  nbBacktracks=505026  nbVisitedNodes=1313454  nbRestartNogoods=159
120.20	       =>  wckTime=89.297  cpuTime=89.19  mem=16M491
163.22	   
163.22	   search
163.22	     run=25  nbConstraintChecks=315414945  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1093781
163.22	     nbFailedAssignments=335881  nbBacktracks=757541  nbVisitedNodes=1945953  nbRestartNogoods=168
163.22	       =>  wckTime=132.325  cpuTime=132.2  mem=16M491
223.35	   
223.35	   search
223.36	     run=26  nbConstraintChecks=468798772  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1640828
223.36	     nbFailedAssignments=504144  nbBacktracks=1136308  nbVisitedNodes=2919021  nbRestartNogoods=178
223.36	       =>  wckTime=192.456  cpuTime=192.31  mem=16M491
318.78	   
318.78	   search
318.78	     run=27  nbConstraintChecks=703921202  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2462434
318.78	     nbFailedAssignments=757581  nbBacktracks=1704459  nbVisitedNodes=4365360  nbRestartNogoods=186
318.78	       =>  wckTime=287.882  cpuTime=287.62  mem=16M491
460.75	   
460.75	   search
460.75	     run=28  nbConstraintChecks=1053599633  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3696943
460.75	     nbFailedAssignments=1139845  nbBacktracks=2556685  nbVisitedNodes=6541986  nbRestartNogoods=193
460.75	       =>  wckTime=429.854  cpuTime=429.52  mem=16M491
662.22	   
662.22	   search
662.22	     run=29  nbConstraintChecks=1564575951  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=5540540
662.22	     nbFailedAssignments=1705075  nbBacktracks=3835026  nbVisitedNodes=9752481  nbRestartNogoods=204
662.22	       =>  wckTime=631.32  cpuTime=630.91  mem=16M491
798.01	   
798.01	   search
798.01	     run=30  nbConstraintChecks=1909583716  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6756293
798.01	     nbFailedAssignments=2080321  nbBacktracks=4675534  nbVisitedNodes=11860230  nbRestartNogoods=216
798.01	       =>  wckTime=767.112  cpuTime=766.65  mem=16M491
798.01	   
798.01	   global
798.01	     nbConstraintChecks=1909592753  nbRestartNogoods=216  solvingWckTime=767.114  solvingCpuTime=766.65  expiredTime=no
798.01	     totalExploration=yes  nbFoundSolutions=0  globalCpuTime=797.16
798.01	       =>  wckTime=797.723  cpuTime=797.12  mem=16M491
798.02	
798.02	s OPTIMUM FOUND
798.02	v 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 -1 
798.02	   
798.02	   totalWckTime=797.797  totalCpuTime=797.16

Verifier Data (download as text)

29 unsatisfied constraints, 88 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/node76/watcher-281935-1169315782 -o ROOT/results/node76/solver-281935-1169315782 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281935-1169315782/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: 0.92 0.98 0.99 3/70 11077
/proc/meminfo: memFree=1687912/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=1788 CPUtime=0
/proc/11076/stat : 11076 (java) D 11074 11076 10421 0 -1 0 169 0 0 0 0 0 0 0 20 0 1 0 279975363 1830912 138 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0
/proc/11076/statm: 447 138 104 14 0 91 0

[startup+0.105959 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 11077
/proc/meminfo: memFree=1687912/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=914992 CPUtime=0.08
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 3051 0 1 0 7 1 0 0 16 0 8 0 279975363 936951808 2799 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 5285564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11076/statm: 228748 2799 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992

[startup+0.514039 s]
/proc/loadavg: 0.92 0.98 0.99 3/70 11077
/proc/meminfo: memFree=1687912/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915336 CPUtime=0.48
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 6895 0 1 0 44 4 0 0 16 0 8 0 279975363 937304064 6635 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152150433 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11076/statm: 228834 6635 2474 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915336

[startup+1.33619 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 11084
/proc/meminfo: memFree=1670960/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915340 CPUtime=1.31
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 6917 0 1 0 90 41 0 0 17 0 8 0 279975363 937308160 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228834 6657 2480 14 0 215303 0
[pid=11076/tid=11078] ppid=11074 vsize=915340 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279975367 937308160 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915340 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937308160 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915340 CPUtime=0.08
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 318 0 0 0 8 0 0 0 16 0 8 0 279975371 937308160 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915340

[startup+2.98252 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 11084
/proc/meminfo: memFree=1670896/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915336 CPUtime=2.95
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 6918 0 1 0 174 121 0 0 18 0 8 0 279975363 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228834 6657 2480 14 0 215303 0
[pid=11076/tid=11078] ppid=11074 vsize=915336 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279975367 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915336 CPUtime=0.08
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 318 0 0 0 8 0 0 0 16 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915340 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937308160 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915336

[startup+6.26216 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 11084
/proc/meminfo: memFree=1670920/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915340 CPUtime=6.22
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 6918 0 1 0 338 284 0 0 25 0 8 0 279975363 937308160 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228834 6657 2480 14 0 215303 0
[pid=11076/tid=11078] ppid=11074 vsize=915340 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279975367 937308160 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915340 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937308160 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915336 CPUtime=0.08
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 318 0 0 0 8 0 0 0 16 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937304064 6657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915340

[startup+12.7404 s]
/proc/loadavg: 0.94 0.98 0.99 2/77 11084
/proc/meminfo: memFree=1670928/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915336 CPUtime=12.7
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 6919 0 1 0 670 600 0 0 25 0 8 0 279975363 937304064 6658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228835 6658 2480 14 0 215304 0
[pid=11076/tid=11078] ppid=11074 vsize=915336 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279975367 937304064 6658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915340 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937308160 6658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937304064 6658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915340 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937308160 6658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915336 CPUtime=0.08
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 319 0 0 0 8 0 0 0 16 0 8 0 279975371 937304064 6658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915340 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937308160 6658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915336 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937304064 6658 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915336

[startup+25.568 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 11084
/proc/meminfo: memFree=1670928/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915476 CPUtime=25.51
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 6926 0 1 0 1315 1236 0 0 19 0 8 0 279975363 937447424 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228869 6665 2480 14 0 215338 0
[pid=11076/tid=11078] ppid=11074 vsize=915476 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 134 0 0 0 2 0 0 0 16 0 8 0 279975367 937447424 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915476 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937447424 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915476 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937447424 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915476 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937447424 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915476 CPUtime=0.09
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 326 0 0 0 9 0 0 0 16 0 8 0 279975371 937447424 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915476 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937447424 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915480 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937451520 6665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915476

[startup+51.246 s]
/proc/loadavg: 0.96 0.98 0.99 2/77 11084
/proc/meminfo: memFree=1662800/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=51.17
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9053 0 1 0 3625 1492 0 0 25 0 8 0 279975363 937414656 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8788 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 384 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8788 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915444

[startup+102.48 s]
/proc/loadavg: 0.98 0.98 0.99 2/77 11084
/proc/meminfo: memFree=1662736/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=102.39
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9062 0 1 0 8747 1492 0 0 25 0 8 0 279975363 937414656 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8796 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 385 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8796 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915444

[startup+162.551 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 11084
/proc/meminfo: memFree=1662736/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=162.44
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9064 0 1 0 14752 1492 0 0 25 0 8 0 279975363 937414656 8798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.52
Current children cumulated vsize (KiB) 915444

[startup+402.859 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 11282
/proc/meminfo: memFree=1662352/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=402.55
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9072 0 1 0 38759 1496 0 0 25 0 8 0 279975363 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073323872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8806 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.55
Current children cumulated vsize (KiB) 915444

[startup+462.921 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 11282
/proc/meminfo: memFree=1662352/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=462.59
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9075 0 1 0 44763 1496 0 0 25 0 8 0 279975363 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073756297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8809 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.59
Current children cumulated vsize (KiB) 915444

[startup+522.989 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 11282
/proc/meminfo: memFree=1662416/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=522.64
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9075 0 1 0 50768 1496 0 0 25 0 8 0 279975363 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073745005 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8809 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.64
Current children cumulated vsize (KiB) 915444

[startup+583.061 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 11282
/proc/meminfo: memFree=1662480/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=582.69
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9075 0 1 0 56773 1496 0 0 25 0 8 0 279975363 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750840 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8809 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 582.69
Current children cumulated vsize (KiB) 915444

[startup+643.129 s]
/proc/loadavg: 1.07 1.00 1.00 2/77 11282
/proc/meminfo: memFree=1662416/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=642.73
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9075 0 1 0 62777 1496 0 0 25 0 8 0 279975363 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8809 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8809 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.73
Current children cumulated vsize (KiB) 915444

[startup+703.194 s]
/proc/loadavg: 1.02 1.00 1.00 2/77 11282
/proc/meminfo: memFree=1662480/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=702.78
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9077 0 1 0 68782 1496 0 0 25 0 8 0 279975363 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073746696 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8811 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.78
Current children cumulated vsize (KiB) 915444

[startup+763.253 s]
/proc/loadavg: 1.01 1.00 1.00 2/77 11282
/proc/meminfo: memFree=1662416/2055888 swapFree=4087964/4096564
[pid=11076] ppid=11074 vsize=915444 CPUtime=762.81
/proc/11076/stat : 11076 (java) R 11074 11076 10421 0 -1 0 9077 0 1 0 74785 1496 0 0 25 0 8 0 279975363 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073750870 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11076/statm: 228861 8811 2533 14 0 215330 0
[pid=11076/tid=11078] ppid=11074 vsize=915444 CPUtime=0.02
/proc/11076/task/11078/stat : 11078 (java) S 11074 11076 10421 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279975367 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11076/tid=11079] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11079/stat : 11079 (java) S 11074 11076 10421 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11080] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11080/stat : 11080 (java) S 11074 11076 10421 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279975368 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11081] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11081/stat : 11081 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279975371 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11082] ppid=11074 vsize=915444 CPUtime=0.19
/proc/11076/task/11082/stat : 11082 (java) S 11074 11076 10421 0 -1 64 386 0 0 0 18 1 0 0 16 0 8 0 279975371 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11083] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11083/stat : 11083 (java) S 11074 11076 10421 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279975371 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11076/tid=11084] ppid=11074 vsize=915444 CPUtime=0
/proc/11076/task/11084/stat : 11084 (java) S 11074 11076 10421 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279975371 937414656 8811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.81
Current children cumulated vsize (KiB) 915444

Child status: 0
Real time (s): 798.057
CPU time (s): 797.586
CPU user time (s): 782.609
CPU system time (s): 14.9767
CPU usage (%): 99.9409
Max. virtual memory (cumulated for all children) (KiB): 915480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 782.609
system time used= 14.9767
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9174
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= 17010
involuntary context switches= 17544

runsolver used 0.882865 s user time and 1.9577 s system time

The end

Launcher Data (download as text)

Begin job on node76 on Sat Jan 20 17:56:23 UTC 2007


IDJOB= 281935
IDBENCH= 12315
IDSOLVER= 68
FILE ID= node76/281935-1169315782

PBS_JOBID= 3610294

Free space on /tmp= 66651 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/mann-a9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281935-1169315782/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node76/watcher-281935-1169315782 -o ROOT/results/node76/solver-281935-1169315782 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281935-1169315782/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  44533c8a08cd8c83de8dc1a91d9e917e

RANDOM SEED= 423344025

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.254
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	: 6006.17
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.254
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1688264 kB
Buffers:         30852 kB
Cached:         273428 kB
SwapCached:       2128 kB
Active:          89992 kB
Inactive:       223832 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1688264 kB
SwapTotal:     4096564 kB
SwapFree:      4087964 kB
Dirty:            1856 kB
Writeback:           0 kB
Mapped:          17072 kB
Slab:            40100 kB
Committed_AS:  8318960 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66651 MiB



End job on node76 on Sat Jan 20 18:09:41 UTC 2007