Trace number 279056

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 PFCMSAT (TO) 2400.13 2413.03

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.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=pfc.xml
0.36	   
0.36	   instance
0.36	     name=/tmp/evaluation/279056-1169291229/unknown.xml
0.39	   
0.39	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.44	     nbVariables=62  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.44	       =>  wckTime=0.105  cpuTime=0.09  mem=6M910
0.44	   
0.44	   relations being loaded...
0.49	   
0.49	   constraints being loaded...
0.57	     nbConstraints=211  nbRelationTypes=211  nbExtensionStructures=211  nbSharedExtensionStructures=0
0.57	     nbConflictsStructures=211  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2078  maxDegree=29
0.57	     maxArity=2
0.57	       =>  wckTime=0.239  cpuTime=0.16  mem=8M893
0.61	   
0.61	   solver LocalSearchSolver being built... 
0.65	       =>  wckTime=0.319  cpuTime=0.21  mem=5M574
0.66	
0.66	s SATISFIABLE
0.66	o 107
0.66	c 104
0.66	o 111
0.66	c 100
0.66	o 115
0.66	c 96
0.66	o 116
0.66	c 95
0.66	o 121
0.66	c 90
0.66	o 123
0.66	c 88
0.66	o 124
0.66	c 87
0.66	o 126
0.66	c 85
0.67	o 128
0.67	c 83
0.67	o 131
0.67	c 80
0.67	o 132
0.67	c 79
0.67	o 133
0.67	c 78
0.67	o 136
0.67	c 75
0.67	o 137
0.67	c 74
0.67	o 140
0.67	c 71
0.67	o 141
0.67	c 70
0.67	o 143
0.67	c 68
0.68	o 144
0.68	c 67
0.68	o 145
0.68	c 66
0.68	o 147
0.68	c 64
0.68	o 148
0.68	c 63
0.68	o 150
0.68	c 61
0.68	o 151
0.68	c 60
0.68	o 154
0.68	c 57
0.68	o 156
0.68	c 55
0.68	o 158
0.68	c 53
0.68	o 160
0.68	c 51
0.68	o 163
0.68	c 48
0.68	o 165
0.68	c 46
0.68	o 167
0.68	c 44
0.68	o 168
0.68	c 43
0.68	o 169
0.68	c 42
0.69	o 170
0.69	c 41
0.69	o 171
0.69	c 40
0.69	o 172
0.69	c 39
0.69	o 173
0.69	c 38
0.69	o 174
0.69	c 37
0.69	o 175
0.69	c 36
0.69	o 177
0.69	c 34
0.69	o 178
0.69	c 33
0.69	o 179
0.69	c 32
0.69	o 180
0.69	c 31
0.69	o 181
0.69	c 30
0.70	o 182
0.70	c 29
0.70	o 183
0.70	c 28
0.70	o 184
0.70	c 27
0.72	o 185
0.72	c 26
0.72	o 186
0.72	c 25
0.72	o 187
0.72	c 24
0.80	o 188
0.80	c 23
0.93	o 189
0.93	c 22
0.95	o 190
0.95	c 21
1.17	o 191
1.17	c 20
2.04	   
2.04	   search
2.04	     run=0  nbConstraintChecks=6126177  nbAssignments=10000
2.04	       =>  wckTime=1.392  cpuTime=1.36  mem=5M574
3.42	   
3.42	   search
3.42	     run=1  nbConstraintChecks=12669953  nbAssignments=20000
3.42	       =>  wckTime=2.769  cpuTime=2.72  mem=5M574
4.74	   
4.74	   search
4.74	     run=2  nbConstraintChecks=18834812  nbAssignments=30000
4.74	       =>  wckTime=4.087  cpuTime=4.02  mem=5M574
6.12	   
6.12	   search
6.12	     run=3  nbConstraintChecks=25250155  nbAssignments=40000
6.12	       =>  wckTime=5.465  cpuTime=5.37  mem=5M574
7.45	   
7.45	   search
7.45	     run=4  nbConstraintChecks=31537039  nbAssignments=50000
7.45	       =>  wckTime=6.799  cpuTime=6.69  mem=5M574
8.80	   
8.80	   search
8.80	     run=5  nbConstraintChecks=37980220  nbAssignments=60000
8.80	       =>  wckTime=8.15  cpuTime=8.03  mem=5M574
10.12	   
10.12	   search
10.12	     run=6  nbConstraintChecks=44208145  nbAssignments=70000
10.12	       =>  wckTime=9.472  cpuTime=9.34  mem=5M574
11.49	   
11.49	   search
11.49	     run=7  nbConstraintChecks=50749591  nbAssignments=80000
11.49	       =>  wckTime=10.837  cpuTime=10.69  mem=5M574
12.80	   
12.80	   search
12.80	     run=8  nbConstraintChecks=56921753  nbAssignments=90000
12.80	       =>  wckTime=12.15  cpuTime=11.99  mem=5M574
14.15	   
14.15	   search
14.15	     run=9  nbConstraintChecks=63406765  nbAssignments=100000
14.15	       =>  wckTime=13.503  cpuTime=13.35  mem=5M574
15.47	   
15.47	   search
15.47	     run=10  nbConstraintChecks=69618206  nbAssignments=110000
15.47	       =>  wckTime=14.818  cpuTime=14.65  mem=5M574
16.80	   
16.80	   search
16.80	     run=11  nbConstraintChecks=75923292  nbAssignments=120000
16.80	       =>  wckTime=16.154  cpuTime=15.97  mem=5M574
17.19	o 192
17.19	c 19
18.12	   
18.12	   search
18.12	     run=12  nbConstraintChecks=82026941  nbAssignments=130000
18.12	       =>  wckTime=17.469  cpuTime=17.27  mem=5M574
19.46	   
19.46	   search
19.46	     run=13  nbConstraintChecks=88307012  nbAssignments=140000
19.46	       =>  wckTime=18.812  cpuTime=18.6  mem=5M574
20.81	   
20.81	   search
20.81	     run=14  nbConstraintChecks=94576530  nbAssignments=150000
20.81	       =>  wckTime=20.159  cpuTime=19.94  mem=5M574
22.17	   
22.17	   search
22.17	     run=15  nbConstraintChecks=101008122  nbAssignments=160000
22.17	       =>  wckTime=21.519  cpuTime=21.28  mem=5M574
23.52	   
23.52	   search
23.52	     run=16  nbConstraintChecks=107383897  nbAssignments=170000
23.53	       =>  wckTime=22.874  cpuTime=22.63  mem=5M574
24.87	   
24.87	   search
24.87	     run=17  nbConstraintChecks=113715525  nbAssignments=180000
24.87	       =>  wckTime=24.222  cpuTime=23.97  mem=5M574
26.18	   
26.18	   search
26.18	     run=18  nbConstraintChecks=119777751  nbAssignments=190000
26.18	       =>  wckTime=25.533  cpuTime=25.26  mem=5M574
27.56	   
27.56	   search
27.56	     run=19  nbConstraintChecks=126371944  nbAssignments=200000
27.56	       =>  wckTime=26.912  cpuTime=26.63  mem=5M574
28.90	   
28.90	   search
28.90	     run=20  nbConstraintChecks=132691212  nbAssignments=210000
28.90	       =>  wckTime=28.245  cpuTime=27.96  mem=5M574
30.28	   
30.28	   search
30.28	     run=21  nbConstraintChecks=139348448  nbAssignments=220000
30.28	       =>  wckTime=29.624  cpuTime=29.32  mem=5M574
31.57	   
31.57	   search
31.57	     run=22  nbConstraintChecks=145421530  nbAssignments=230000
31.57	       =>  wckTime=30.922  cpuTime=30.61  mem=5M574
32.96	   
32.96	   search
32.96	     run=23  nbConstraintChecks=152133760  nbAssignments=240000
32.96	       =>  wckTime=32.313  cpuTime=31.99  mem=5M574
34.28	   
34.28	   search
34.28	     run=24  nbConstraintChecks=158303577  nbAssignments=250000
34.29	       =>  wckTime=33.634  cpuTime=33.29  mem=5M574
35.64	   
35.64	   search
35.64	     run=25  nbConstraintChecks=164796487  nbAssignments=260000
35.64	       =>  wckTime=34.99  cpuTime=34.64  mem=5M574
36.98	   
36.98	   search
36.98	     run=26  nbConstraintChecks=171099444  nbAssignments=270000
36.98	       =>  wckTime=36.328  cpuTime=35.96  mem=5M574
38.30	   
38.30	   search
38.30	     run=27  nbConstraintChecks=177253550  nbAssignments=280000
38.30	       =>  wckTime=37.649  cpuTime=37.27  mem=5M574
39.61	   
39.61	   search
39.61	     run=28  nbConstraintChecks=183276333  nbAssignments=290000
39.61	       =>  wckTime=38.958  cpuTime=38.57  mem=5M574
40.98	   
40.98	   search
40.98	     run=29  nbConstraintChecks=189745282  nbAssignments=300000
40.98	       =>  wckTime=40.326  cpuTime=39.93  mem=5M574
42.29	   
42.29	   search
42.29	     run=30  nbConstraintChecks=195851146  nbAssignments=310000
42.29	       =>  wckTime=41.643  cpuTime=41.23  mem=5M574
43.67	   
43.67	   search
43.67	     run=31  nbConstraintChecks=202400457  nbAssignments=320000
43.67	       =>  wckTime=43.021  cpuTime=42.6  mem=5M574
45.01	   
45.01	   search
45.01	     run=32  nbConstraintChecks=208617997  nbAssignments=330000
45.01	       =>  wckTime=44.355  cpuTime=43.92  mem=5M574
46.38	   
46.38	   search
46.38	     run=33  nbConstraintChecks=215068265  nbAssignments=340000
46.38	       =>  wckTime=45.726  cpuTime=45.27  mem=5M574
47.47	   
47.47	   search
47.47	     run=34  nbConstraintChecks=220146184  nbAssignments=348279
47.47	       =>  wckTime=46.814  cpuTime=46.36  mem=5M574
47.47	   
47.47	   global
47.47	     nbConstraintChecks=220146184  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
47.47	     solvingWckTime=46.813  solvingCpuTime=46.36  expiredTime=no  totalExploration=no  nbFoundSolutions=0
47.47	     globalCpuTime=46.62
47.47	       =>  wckTime=47.134  cpuTime=46.57  mem=5M574
47.47	   
47.47	   solver IterativeSystematicSolver being built... 
47.60	       =>  wckTime=47.266  cpuTime=46.68  mem=16M595
47.61	   
47.61	   preprocessing
47.61	     nbConstraintChecks=195  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
47.61	     detectedInconsistency=no
47.61	       =>  wckTime=0.0040  cpuTime=0.0  mem=16M595
47.69	   
47.69	   search
47.69	     run=0  nbConstraintChecks=64825  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=53
47.69	     nbFailedAssignments=25  nbBacktracks=10  nbVisitedNodes=89  nbRestartNogoods=0
47.69	       =>  wckTime=0.085  cpuTime=0.06  mem=16M595
47.74	   
47.74	   search
47.74	     run=1  nbConstraintChecks=145343  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=116
47.74	     nbFailedAssignments=55  nbBacktracks=25  nbVisitedNodes=197  nbRestartNogoods=2
47.74	       =>  wckTime=0.142  cpuTime=0.1  mem=16M595
47.78	   
47.78	   search
47.78	     run=2  nbConstraintChecks=227431  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=184
47.78	     nbFailedAssignments=85  nbBacktracks=47  nbVisitedNodes=317  nbRestartNogoods=7
47.78	       =>  wckTime=0.18  cpuTime=0.14  mem=16M595
47.87	   
47.87	   search
47.87	     run=3  nbConstraintChecks=390880  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=300
47.87	     nbFailedAssignments=149  nbBacktracks=80  nbVisitedNodes=530  nbRestartNogoods=13
47.87	       =>  wckTime=0.266  cpuTime=0.22  mem=16M595
48.01	   
48.01	   search
48.01	     run=4  nbConstraintChecks=663989  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=480
48.01	     nbFailedAssignments=261  nbBacktracks=130  nbVisitedNodes=872  nbRestartNogoods=16
48.01	       =>  wckTime=0.407  cpuTime=0.36  mem=16M595
48.15	   
48.15	   search
48.15	     run=5  nbConstraintChecks=959619  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=680
48.15	     nbFailedAssignments=367  nbBacktracks=206  nbVisitedNodes=1254  nbRestartNogoods=25
48.15	       =>  wckTime=0.547  cpuTime=0.5  mem=16M595
48.33	   
48.33	   search
48.33	     run=6  nbConstraintChecks=1346674  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=940
48.33	     nbFailedAssignments=492  nbBacktracks=319  nbVisitedNodes=1752  nbRestartNogoods=29
48.33	       =>  wckTime=0.73  cpuTime=0.68  mem=16M595
48.63	   
48.63	   search
48.63	     run=7  nbConstraintChecks=1930059  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1311
48.63	     nbFailedAssignments=676  nbBacktracks=489  nbVisitedNodes=2477  nbRestartNogoods=33
48.63	       =>  wckTime=1.028  cpuTime=0.96  mem=16M595
49.03	   
49.03	   search
49.03	     run=8  nbConstraintChecks=2775215  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1871
49.03	     nbFailedAssignments=959  nbBacktracks=746  nbVisitedNodes=3577  nbRestartNogoods=36
49.03	       =>  wckTime=1.428  cpuTime=1.35  mem=16M595
49.70	   
49.70	   search
49.70	     run=9  nbConstraintChecks=4195446  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2785
49.70	     nbFailedAssignments=1470  nbBacktracks=1130  nbVisitedNodes=5386  nbRestartNogoods=45
49.70	       =>  wckTime=2.104  cpuTime=2.02  mem=16M595
50.77	   
50.77	   search
50.77	     run=10  nbConstraintChecks=6608732  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4231
50.77	     nbFailedAssignments=2323  nbBacktracks=1706  nbVisitedNodes=8261  nbRestartNogoods=51
50.77	       =>  wckTime=3.17  cpuTime=3.07  mem=16M595
52.51	   
52.51	   search
52.51	     run=11  nbConstraintChecks=9829861  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6269
52.51	     nbFailedAssignments=3479  nbBacktracks=2570  nbVisitedNodes=12319  nbRestartNogoods=55
52.51	       =>  wckTime=4.913  cpuTime=4.78  mem=16M595
54.88	   
54.88	   search
54.88	     run=12  nbConstraintChecks=15450199  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9654
54.88	     nbFailedAssignments=5547  nbBacktracks=3867  nbVisitedNodes=19069  nbRestartNogoods=61
54.88	       =>  wckTime=7.275  cpuTime=7.12  mem=16M595
58.23	   
58.23	   search
58.23	     run=13  nbConstraintChecks=23137794  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14451
58.23	     nbFailedAssignments=8381  nbBacktracks=5813  nbVisitedNodes=28646  nbRestartNogoods=68
58.23	       =>  wckTime=10.629  cpuTime=10.45  mem=16M595
63.69	   
63.69	   search
63.69	     run=14  nbConstraintChecks=34661492  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21628
63.69	     nbFailedAssignments=12625  nbBacktracks=8732  nbVisitedNodes=42986  nbRestartNogoods=78
63.69	       =>  wckTime=16.091  cpuTime=15.87  mem=16M595
72.75	   
72.75	   search
72.75	     run=15  nbConstraintChecks=53803944  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=33046
72.75	     nbFailedAssignments=19646  nbBacktracks=13110  nbVisitedNodes=65803  nbRestartNogoods=95
72.75	       =>  wckTime=25.147  cpuTime=24.84  mem=16M595
83.93	   
83.93	   search
83.93	     run=16  nbConstraintChecks=78413766  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47635
83.93	     nbFailedAssignments=27651  nbBacktracks=19678  nbVisitedNodes=94964  nbRestartNogoods=104
83.93	       =>  wckTime=36.329  cpuTime=35.93  mem=16M595
102.32	   
102.32	   search
102.32	     run=17  nbConstraintChecks=115202622  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=69985
102.32	     nbFailedAssignments=40130  nbBacktracks=29530  nbVisitedNodes=139538  nbRestartNogoods=113
102.32	       =>  wckTime=54.72  cpuTime=54.15  mem=16M595
130.87	   
130.87	   search
130.87	     run=18  nbConstraintChecks=167522726  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=103755
130.87	     nbFailedAssignments=59103  nbBacktracks=44308  nbVisitedNodes=206662  nbRestartNogoods=122
130.87	       =>  wckTime=83.266  cpuTime=82.46  mem=16M595
168.88	   
168.88	   search
168.88	     run=19  nbConstraintChecks=234031729  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=153239
168.88	     nbFailedAssignments=86405  nbBacktracks=66477  nbVisitedNodes=303468  nbRestartNogoods=131
168.88	       =>  wckTime=121.282  cpuTime=120.16  mem=16M595
213.77	   
213.77	   search
213.77	     run=20  nbConstraintChecks=315564577  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=216327
213.77	     nbFailedAssignments=116231  nbBacktracks=99731  nbVisitedNodes=425319  nbRestartNogoods=140
213.77	       =>  wckTime=166.172  cpuTime=164.68  mem=16M595
268.23	   
268.23	   search
268.23	     run=21  nbConstraintChecks=422102786  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=306285
268.23	     nbFailedAssignments=156291  nbBacktracks=149610  nbVisitedNodes=595776  nbRestartNogoods=143
268.23	       =>  wckTime=220.628  cpuTime=218.69  mem=16M595
365.87	   
365.87	   search
365.87	     run=22  nbConstraintChecks=591553589  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=440817
365.87	     nbFailedAssignments=215995  nbBacktracks=224428  nbVisitedNodes=855123  nbRestartNogoods=147
365.87	       =>  wckTime=318.269  cpuTime=315.64  mem=16M595
478.00	   
478.00	   search
478.00	     run=23  nbConstraintChecks=813047388  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=632313
478.00	     nbFailedAssignments=295248  nbBacktracks=336656  nbVisitedNodes=1206928  nbRestartNogoods=155
478.00	       =>  wckTime=430.398  cpuTime=427.24  mem=16M595
678.48	   
678.48	   search
678.48	     run=24  nbConstraintChecks=1185358696  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=941152
678.48	     nbFailedAssignments=435733  nbBacktracks=504997  nbVisitedNodes=1784159  nbRestartNogoods=168
678.48	       =>  wckTime=630.882  cpuTime=626.75  mem=16M595
884.01	   
884.01	   search
884.01	     run=25  nbConstraintChecks=1636358068  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1362834
884.02	     nbFailedAssignments=604878  nbBacktracks=757509  nbVisitedNodes=2565709  nbRestartNogoods=183
884.02	       =>  wckTime=836.415  cpuTime=831.3  mem=16M595
1292.01	   
1292.01	   search
1292.01	     run=26  nbConstraintChecks=2358239602  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1953156
1292.01	     nbFailedAssignments=816417  nbBacktracks=1136276  nbVisitedNodes=3679405  nbRestartNogoods=199
1292.01	       =>  wckTime=1244.409  cpuTime=1237.3  mem=16M595
1873.34	   
1873.34	   search
1873.34	     run=27  nbConstraintChecks=3428213602  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2922992
1873.34	     nbFailedAssignments=1218087  nbBacktracks=1704431  nbVisitedNodes=5504499  nbRestartNogoods=209
1873.34	       =>  wckTime=1825.737  cpuTime=1815.81  mem=16M595
2413.01	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/node5/watcher-279056-1169291229 -o ROOT/results/node5/solver-279056-1169291229 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279056-1169291229/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 2.07 2.04 1.94 5/94 22471
/proc/meminfo: memFree=1171432/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=18540 CPUtime=0
/proc/22470/stat : 22470 (runsolver) R 22468 22470 21767 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 257737315 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/22470/statm: 4635 279 244 17 0 2626 0

[startup+0.104186 s]
/proc/loadavg: 2.07 2.04 1.94 5/94 22471
/proc/meminfo: memFree=1171432/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=907808 CPUtime=0.05
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 2455 0 1 0 4 1 0 0 21 0 4 0 257737315 929595392 2202 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 226952 2202 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808

[startup+0.512228 s]
/proc/loadavg: 2.07 2.04 1.94 5/94 22471
/proc/meminfo: memFree=1171432/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915332 CPUtime=0.45
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 6288 0 1 0 40 5 0 0 25 0 8 0 257737315 937299968 6027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228833 6027 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.33332 s]
/proc/loadavg: 2.07 2.04 1.94 3/101 22478
/proc/meminfo: memFree=1153136/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=1.26
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 7236 0 1 0 101 25 0 0 25 0 8 0 257737315 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740816 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 6974 2476 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.12
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 346 0 0 0 11 1 0 0 16 0 8 0 257737326 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 257737326 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915464

[startup+2.9705 s]
/proc/loadavg: 2.06 2.04 1.94 3/101 22478
/proc/meminfo: memFree=1153136/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=2.89
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 7240 0 1 0 220 69 0 0 25 0 8 0 257737315 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726522 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 6977 2476 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.13
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 348 0 0 0 12 1 0 0 16 0 8 0 257737326 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 257737326 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915464

[startup+6.17287 s]
/proc/loadavg: 2.06 2.04 1.94 3/101 22478
/proc/meminfo: memFree=1153136/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915468 CPUtime=6.04
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 7240 0 1 0 445 159 0 0 25 0 8 0 257737315 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228867 6977 2476 14 0 215337 0
[pid=22470/tid=22472] ppid=22468 vsize=915468 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 257737323 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915468 CPUtime=0.13
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 348 0 0 0 12 1 0 0 16 0 8 0 257737326 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 257737326 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 915468

[startup+12.6356 s]
/proc/loadavg: 2.05 2.04 1.94 3/101 22478
/proc/meminfo: memFree=1153144/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915468 CPUtime=12.44
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 7240 0 1 0 906 338 0 0 25 0 8 0 257737315 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228867 6977 2476 14 0 215337 0
[pid=22470/tid=22472] ppid=22468 vsize=915468 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 257737323 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915468 CPUtime=0.13
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 348 0 0 0 12 1 0 0 16 0 8 0 257737326 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 257737326 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 915468

[startup+25.4881 s]
/proc/loadavg: 2.04 2.04 1.94 3/101 22478
/proc/meminfo: memFree=1153152/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915468 CPUtime=25.2
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 7241 0 1 0 1839 681 0 0 25 0 8 0 257737315 937439232 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228867 6978 2476 14 0 215337 0
[pid=22470/tid=22472] ppid=22468 vsize=915468 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 257737323 937439232 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937439232 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937439232 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937439232 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915468 CPUtime=0.13
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 349 0 0 0 12 1 0 0 16 0 8 0 257737326 937439232 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937439232 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915468 CPUtime=0
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 257737326 937439232 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915468

[startup+51.185 s]
/proc/loadavg: 2.03 2.04 1.94 3/101 22478
/proc/meminfo: memFree=1146048/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=50.64
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9119 0 1 0 3784 1280 0 0 25 0 8 0 257737315 937435136 8852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8852 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 17 0 8 0 257737323 937435136 8852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.23
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 412 0 0 0 21 2 0 0 15 0 8 0 257737326 937435136 8852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 257737326 937435136 8852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915464

[startup+102.482 s]
/proc/loadavg: 2.01 2.03 1.94 3/101 22478
/proc/meminfo: memFree=1145984/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=101.51
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9140 0 1 0 8870 1281 0 0 25 0 8 0 257737315 937435136 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882168 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8872 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.24
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 415 0 0 0 22 2 0 0 16 0 8 0 257737326 937435136 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 257737326 937435136 8872 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915464

[startup+162.505 s]
/proc/loadavg: 2.00 2.02 1.94 3/101 22478
/proc/meminfo: memFree=1145920/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=161.03
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9142 0 1 0 14822 1281 0 0 25 0 8 0 257737315 937435136 8874 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862729 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.36 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 22570
/proc/meminfo: memFree=1117112/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=2072.05
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9168 0 1 0 205916 1289 0 0 25 0 8 0 257737315 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8897 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.24
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 417 0 0 0 22 2 0 0 16 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2072.05
Current children cumulated vsize (KiB) 915464

[startup+2143.39 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 22570
/proc/meminfo: memFree=1117112/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=2131.79
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9168 0 1 0 211890 1289 0 0 25 0 8 0 257737315 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8897 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.24
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 417 0 0 0 22 2 0 0 16 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2131.79
Current children cumulated vsize (KiB) 915464

[startup+2203.42 s]
/proc/loadavg: 2.03 2.01 1.97 3/94 22570
/proc/meminfo: memFree=1117112/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=2191.54
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9168 0 1 0 217865 1289 0 0 25 0 8 0 257737315 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073859560 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8897 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.24
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 417 0 0 0 22 2 0 0 16 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2191.54
Current children cumulated vsize (KiB) 915464

[startup+2263.45 s]
/proc/loadavg: 2.01 2.01 1.97 3/94 22570
/proc/meminfo: memFree=1117112/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=2251.26
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9168 0 1 0 223837 1289 0 0 25 0 8 0 257737315 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073730730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8897 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.24
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 417 0 0 0 22 2 0 0 16 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0.03
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2251.26
Current children cumulated vsize (KiB) 915464

[startup+2323.48 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 22570
/proc/meminfo: memFree=1117112/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=2311.01
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9168 0 1 0 229811 1290 0 0 25 0 8 0 257737315 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8897 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.24
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 417 0 0 0 22 2 0 0 16 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0.03
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2311.01
Current children cumulated vsize (KiB) 915464

[startup+2383.51 s]
/proc/loadavg: 2.00 2.00 1.97 3/94 22570
/proc/meminfo: memFree=1117112/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=2370.75
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9168 0 1 0 235785 1290 0 0 25 0 8 0 257737315 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073923448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8897 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.24
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 417 0 0 0 22 2 0 0 16 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0.03
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2370.75
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2413.01 s]
/proc/loadavg: 2.12 2.03 1.98 3/94 22570
/proc/meminfo: memFree=1117112/2055920 swapFree=4192812/4192956
[pid=22470] ppid=22468 vsize=915464 CPUtime=2400.1
/proc/22470/stat : 22470 (java) R 22468 22470 21767 0 -1 0 9168 0 1 0 238720 1290 0 0 25 0 8 0 257737315 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22470/statm: 228866 8897 2527 14 0 215336 0
[pid=22470/tid=22472] ppid=22468 vsize=915464 CPUtime=0.02
/proc/22470/task/22472/stat : 22472 (java) S 22468 22470 21767 0 -1 64 174 0 0 0 2 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22473] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22473/stat : 22473 (java) S 22468 22470 21767 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22474] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22474/stat : 22474 (java) S 22468 22470 21767 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 257737323 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22475] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22475/stat : 22475 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22476] ppid=22468 vsize=915464 CPUtime=0.24
/proc/22470/task/22476/stat : 22476 (java) S 22468 22470 21767 0 -1 64 417 0 0 0 22 2 0 0 16 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22477] ppid=22468 vsize=915464 CPUtime=0
/proc/22470/task/22477/stat : 22477 (java) S 22468 22470 21767 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22470/tid=22478] ppid=22468 vsize=915464 CPUtime=0.03
/proc/22470/task/22478/stat : 22478 (java) S 22468 22470 21767 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 257737326 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2413.03
CPU time (s): 2400.13
CPU user time (s): 2387.22
CPU system time (s): 12.909
CPU usage (%): 99.4651
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.22
system time used= 12.909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9190
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= 50069
involuntary context switches= 93674

runsolver used 2.51962 s user time and 6.61399 s system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Jan 20 11:07:09 UTC 2007


IDJOB= 279056
IDBENCH= 9354
IDSOLVER= 69
FILE ID= node5/279056-1169291229

PBS_JOBID= 3609552

Free space on /tmp= 66563 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e81fb487b72ee17c6b7d9b1057de570b

RANDOM SEED= 932872440

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.240
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.240
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:       1171848 kB
Buffers:         62744 kB
Cached:         687432 kB
SwapCached:          0 kB
Active:         251292 kB
Inactive:       554524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1171848 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1712 kB
Writeback:           0 kB
Mapped:          82212 kB
Slab:            62900 kB
Committed_AS:  7261364 kB
PageTables:       2264 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 node5 on Sat Jan 20 11:47:22 UTC 2007