Trace number 279047

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.14 2412.55

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.38	   
0.38	   instance
0.38	     name=/tmp/evaluation/279047-1169291100/unknown.xml
0.42	   
0.42	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.46	     nbVariables=62  nbDomainTypes=1  minDomainSize=5  maxDomainSize=5
0.46	       =>  wckTime=0.15  cpuTime=0.08  mem=6M910
0.46	   
0.46	   relations being loaded...
0.51	   
0.51	   constraints being loaded...
0.61	     nbConstraints=211  nbRelationTypes=211  nbExtensionStructures=211  nbSharedExtensionStructures=0
0.61	     nbConflictsStructures=211  nbSharedConflictsStructures=0  nbSharedBinaryRepresentations=2078  maxDegree=17
0.61	     maxArity=2
0.61	       =>  wckTime=0.296  cpuTime=0.16  mem=8M893
0.65	   
0.65	   solver LocalSearchSolver being built... 
0.69	       =>  wckTime=0.381  cpuTime=0.2  mem=5M574
0.70	
0.70	s SATISFIABLE
0.70	o 106
0.70	c 105
0.70	o 111
0.70	c 100
0.70	o 116
0.70	c 95
0.70	o 118
0.70	c 93
0.71	o 119
0.71	c 92
0.71	o 120
0.71	c 91
0.71	o 123
0.71	c 88
0.71	o 126
0.71	c 85
0.71	o 130
0.71	c 81
0.71	o 134
0.71	c 77
0.71	o 137
0.71	c 74
0.71	o 140
0.71	c 71
0.71	o 143
0.71	c 68
0.71	o 145
0.71	c 66
0.71	o 146
0.71	c 65
0.71	o 149
0.71	c 62
0.71	o 152
0.71	c 59
0.72	o 153
0.72	c 58
0.72	o 155
0.72	c 56
0.72	o 157
0.72	c 54
0.72	o 158
0.72	c 53
0.72	o 160
0.72	c 51
0.72	o 162
0.72	c 49
0.72	o 164
0.72	c 47
0.72	o 165
0.72	c 46
0.73	o 167
0.73	c 44
0.73	o 168
0.73	c 43
0.73	o 169
0.73	c 42
0.73	o 171
0.73	c 40
0.73	o 172
0.73	c 39
0.73	o 173
0.73	c 38
0.73	o 174
0.73	c 37
0.73	o 175
0.73	c 36
0.73	o 176
0.73	c 35
0.74	o 177
0.74	c 34
0.74	o 178
0.74	c 33
0.74	o 179
0.74	c 32
0.74	o 180
0.74	c 31
0.74	o 181
0.74	c 30
0.75	o 182
0.75	c 29
0.75	o 183
0.75	c 28
0.75	o 184
0.75	c 27
0.78	o 185
0.78	c 26
1.72	o 186
1.72	c 25
2.25	   
2.25	   search
2.25	     run=0  nbConstraintChecks=6754062  nbAssignments=10000
2.25	       =>  wckTime=1.554  cpuTime=1.53  mem=5M574
3.79	   
3.79	   search
3.79	     run=1  nbConstraintChecks=13939644  nbAssignments=20000
3.79	       =>  wckTime=3.092  cpuTime=3.05  mem=5M574
5.28	   
5.28	   search
5.28	     run=2  nbConstraintChecks=20694932  nbAssignments=30000
5.28	       =>  wckTime=4.588  cpuTime=4.53  mem=5M574
6.89	   
6.89	   search
6.89	     run=3  nbConstraintChecks=28269663  nbAssignments=40000
6.89	       =>  wckTime=6.2  cpuTime=6.13  mem=5M574
8.14	o 187
8.14	c 24
8.39	   
8.39	   search
8.39	     run=4  nbConstraintChecks=35005698  nbAssignments=50000
8.39	       =>  wckTime=7.692  cpuTime=7.61  mem=5M574
9.98	   
9.98	   search
9.98	     run=5  nbConstraintChecks=42535548  nbAssignments=60000
9.98	       =>  wckTime=9.29  cpuTime=9.19  mem=5M574
11.50	   
11.50	   search
11.50	     run=6  nbConstraintChecks=49409048  nbAssignments=70000
11.50	       =>  wckTime=10.804  cpuTime=10.69  mem=5M574
13.05	   
13.05	   search
13.05	     run=7  nbConstraintChecks=56556251  nbAssignments=80000
13.05	       =>  wckTime=12.359  cpuTime=12.22  mem=5M574
14.53	   
14.53	   search
14.53	     run=8  nbConstraintChecks=63275972  nbAssignments=90000
14.53	       =>  wckTime=13.838  cpuTime=13.7  mem=5M574
16.09	   
16.09	   search
16.09	     run=9  nbConstraintChecks=70532277  nbAssignments=100000
16.09	       =>  wckTime=15.393  cpuTime=15.24  mem=5M574
17.59	   
17.59	   search
17.59	     run=10  nbConstraintChecks=77415991  nbAssignments=110000
17.59	       =>  wckTime=16.898  cpuTime=16.73  mem=5M574
19.11	   
19.11	   search
19.11	     run=11  nbConstraintChecks=84542118  nbAssignments=120000
19.11	       =>  wckTime=18.421  cpuTime=18.24  mem=5M574
20.59	   
20.59	   search
20.59	     run=12  nbConstraintChecks=91250521  nbAssignments=130000
20.59	       =>  wckTime=19.898  cpuTime=19.7  mem=5M574
22.14	   
22.14	   search
22.14	     run=13  nbConstraintChecks=98436917  nbAssignments=140000
22.14	       =>  wckTime=21.443  cpuTime=21.23  mem=5M574
23.61	   
23.61	   search
23.61	     run=14  nbConstraintChecks=105081369  nbAssignments=150000
23.61	       =>  wckTime=22.914  cpuTime=22.69  mem=5M574
25.14	   
25.14	   search
25.14	     run=15  nbConstraintChecks=112068001  nbAssignments=160000
25.14	       =>  wckTime=24.451  cpuTime=24.22  mem=5M574
26.65	   
26.65	   search
26.65	     run=16  nbConstraintChecks=118898343  nbAssignments=170000
26.65	       =>  wckTime=25.958  cpuTime=25.7  mem=5M574
28.17	   
28.17	   search
28.17	     run=17  nbConstraintChecks=125878197  nbAssignments=180000
28.17	       =>  wckTime=27.475  cpuTime=27.21  mem=5M574
29.67	   
29.67	   search
29.67	     run=18  nbConstraintChecks=132606891  nbAssignments=190000
29.67	       =>  wckTime=28.974  cpuTime=28.69  mem=5M574
31.20	   
31.20	   search
31.20	     run=19  nbConstraintChecks=139545990  nbAssignments=200000
31.20	       =>  wckTime=30.502  cpuTime=30.2  mem=5M574
32.68	   
32.68	   search
32.68	     run=20  nbConstraintChecks=146213955  nbAssignments=210000
32.68	       =>  wckTime=31.99  cpuTime=31.68  mem=5M574
34.03	o 188
34.03	c 23
34.20	   
34.20	   search
34.20	     run=21  nbConstraintChecks=153103953  nbAssignments=220000
34.20	       =>  wckTime=33.508  cpuTime=33.18  mem=5M574
35.68	   
35.68	   search
35.68	     run=22  nbConstraintChecks=159805606  nbAssignments=230000
35.68	       =>  wckTime=34.985  cpuTime=34.64  mem=5M574
37.24	   
37.24	   search
37.24	     run=23  nbConstraintChecks=167143997  nbAssignments=240000
37.24	       =>  wckTime=36.55  cpuTime=36.2  mem=5M574
38.78	   
38.78	   search
38.78	     run=24  nbConstraintChecks=174222852  nbAssignments=250000
38.78	       =>  wckTime=38.085  cpuTime=37.71  mem=5M574
40.28	   
40.28	   search
40.28	     run=25  nbConstraintChecks=181122660  nbAssignments=260000
40.28	       =>  wckTime=39.591  cpuTime=39.2  mem=5M574
41.79	   
41.79	   search
41.79	     run=26  nbConstraintChecks=188068562  nbAssignments=270000
41.79	       =>  wckTime=41.099  cpuTime=40.7  mem=5M574
43.32	   
43.32	   search
43.32	     run=27  nbConstraintChecks=195100693  nbAssignments=280000
43.32	       =>  wckTime=42.625  cpuTime=42.21  mem=5M574
44.83	   
44.83	   search
44.83	     run=28  nbConstraintChecks=201903916  nbAssignments=290000
44.83	       =>  wckTime=44.132  cpuTime=43.7  mem=5M574
46.36	   
46.36	   search
46.36	     run=29  nbConstraintChecks=208943121  nbAssignments=300000
46.36	       =>  wckTime=45.663  cpuTime=45.22  mem=5M574
47.85	   
47.85	   search
47.85	     run=30  nbConstraintChecks=215686962  nbAssignments=310000
47.85	       =>  wckTime=47.16  cpuTime=46.71  mem=5M574
49.36	   
49.36	   search
49.37	     run=31  nbConstraintChecks=222499109  nbAssignments=320000
49.37	       =>  wckTime=48.672  cpuTime=48.2  mem=5M574
50.88	   
50.88	   search
50.88	     run=32  nbConstraintChecks=229365027  nbAssignments=330000
50.88	       =>  wckTime=50.182  cpuTime=49.7  mem=5M574
52.45	   
52.45	   search
52.45	     run=33  nbConstraintChecks=236671202  nbAssignments=340000
52.45	       =>  wckTime=51.76  cpuTime=51.26  mem=5M574
53.98	   
53.98	   search
53.98	     run=34  nbConstraintChecks=243646252  nbAssignments=350000
53.98	       =>  wckTime=53.286  cpuTime=52.77  mem=5M574
55.50	   
55.51	   search
55.51	     run=35  nbConstraintChecks=250678337  nbAssignments=360000
55.51	       =>  wckTime=54.812  cpuTime=54.28  mem=5M574
57.00	   
57.00	   search
57.00	     run=36  nbConstraintChecks=257577884  nbAssignments=370000
57.00	       =>  wckTime=56.311  cpuTime=55.76  mem=5M574
58.47	   
58.47	   search
58.47	     run=37  nbConstraintChecks=264216311  nbAssignments=380000
58.47	       =>  wckTime=57.781  cpuTime=57.22  mem=5M574
59.96	   
59.96	   search
59.96	     run=38  nbConstraintChecks=270941343  nbAssignments=390000
59.96	       =>  wckTime=59.265  cpuTime=58.69  mem=5M574
61.53	   
61.53	   search
61.53	     run=39  nbConstraintChecks=278337736  nbAssignments=400000
61.53	       =>  wckTime=60.836  cpuTime=60.26  mem=5M574
63.02	   
63.02	   search
63.02	     run=40  nbConstraintChecks=285120110  nbAssignments=410000
63.02	       =>  wckTime=62.327  cpuTime=61.73  mem=5M574
64.32	   
64.32	   search
64.32	     run=41  nbConstraintChecks=291074899  nbAssignments=418567
64.32	       =>  wckTime=63.63  cpuTime=63.02  mem=5M574
64.33	   
64.33	   global
64.33	     nbConstraintChecks=291074899  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
64.33	     solvingWckTime=63.629  solvingCpuTime=63.01  expiredTime=no  totalExploration=no  nbFoundSolutions=0
64.33	     globalCpuTime=63.27
64.33	       =>  wckTime=64.012  cpuTime=63.22  mem=5M574
64.33	   
64.33	   solver IterativeSystematicSolver being built... 
64.47	       =>  wckTime=64.157  cpuTime=63.33  mem=16M695
64.48	   
64.48	   preprocessing
64.48	     nbConstraintChecks=100  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
64.48	     detectedInconsistency=no
64.48	       =>  wckTime=0.0050  cpuTime=0.0  mem=16M695
64.55	   
64.55	   search
64.55	     run=0  nbConstraintChecks=53524  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=51
64.55	     nbFailedAssignments=18  nbBacktracks=10  nbVisitedNodes=80  nbRestartNogoods=0
64.56	       =>  wckTime=0.082  cpuTime=0.05  mem=16M695
64.60	   
64.60	   search
64.60	     run=1  nbConstraintChecks=123043  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=112
64.60	     nbFailedAssignments=42  nbBacktracks=25  nbVisitedNodes=180  nbRestartNogoods=2
64.60	       =>  wckTime=0.133  cpuTime=0.09  mem=16M695
64.66	   
64.66	   search
64.66	     run=2  nbConstraintChecks=213093  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=187
64.66	     nbFailedAssignments=69  nbBacktracks=47  nbVisitedNodes=304  nbRestartNogoods=8
64.66	       =>  wckTime=0.189  cpuTime=0.15  mem=16M695
64.73	   
64.73	   search
64.73	     run=3  nbConstraintChecks=346103  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=291
64.73	     nbFailedAssignments=117  nbBacktracks=80  nbVisitedNodes=489  nbRestartNogoods=15
64.73	       =>  wckTime=0.26  cpuTime=0.22  mem=16M695
64.87	   
64.87	   search
64.87	     run=4  nbConstraintChecks=597196  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=464
64.87	     nbFailedAssignments=218  nbBacktracks=130  nbVisitedNodes=813  nbRestartNogoods=17
64.87	       =>  wckTime=0.397  cpuTime=0.35  mem=16M695
65.03	   
65.03	   search
65.03	     run=5  nbConstraintChecks=897228  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=669
65.03	     nbFailedAssignments=328  nbBacktracks=205  nbVisitedNodes=1203  nbRestartNogoods=20
65.03	       =>  wckTime=0.557  cpuTime=0.51  mem=16M695
65.27	   
65.27	   search
65.27	     run=6  nbConstraintChecks=1411545  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1009
65.27	     nbFailedAssignments=528  nbBacktracks=318  nbVisitedNodes=1856  nbRestartNogoods=26
65.27	       =>  wckTime=0.801  cpuTime=0.75  mem=16M695
65.59	   
65.59	   search
65.59	     run=7  nbConstraintChecks=2018634  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1411
65.59	     nbFailedAssignments=739  nbBacktracks=488  nbVisitedNodes=2639  nbRestartNogoods=34
65.59	       =>  wckTime=1.119  cpuTime=1.06  mem=16M695
66.18	   
66.18	   search
66.18	     run=8  nbConstraintChecks=3134544  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2116
66.18	     nbFailedAssignments=1168  nbBacktracks=744  nbVisitedNodes=4029  nbRestartNogoods=42
66.18	       =>  wckTime=1.711  cpuTime=1.63  mem=16M695
66.90	   
66.90	   search
66.90	     run=9  nbConstraintChecks=4536574  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3004
66.90	     nbFailedAssignments=1648  nbBacktracks=1128  nbVisitedNodes=5781  nbRestartNogoods=49
66.90	       =>  wckTime=2.431  cpuTime=2.34  mem=16M695
67.85	   
67.85	   search
67.85	     run=10  nbConstraintChecks=6454293  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=4228
67.85	     nbFailedAssignments=2272  nbBacktracks=1705  nbVisitedNodes=8206  nbRestartNogoods=54
67.85	       =>  wckTime=3.379  cpuTime=3.28  mem=16M695
69.62	   
69.62	   search
69.62	     run=11  nbConstraintChecks=9816147  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=6393
69.62	     nbFailedAssignments=3554  nbBacktracks=2569  nbVisitedNodes=12517  nbRestartNogoods=64
69.62	       =>  wckTime=5.153  cpuTime=5.03  mem=16M695
72.30	   
72.30	   search
72.30	     run=12  nbConstraintChecks=15279080  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=9901
72.30	     nbFailedAssignments=5745  nbBacktracks=3866  nbVisitedNodes=19513  nbRestartNogoods=71
72.30	       =>  wckTime=7.831  cpuTime=7.69  mem=16M695
75.67	   
75.67	   search
75.67	     run=13  nbConstraintChecks=22224698  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=14175
75.67	     nbFailedAssignments=8046  nbBacktracks=5812  nbVisitedNodes=28034  nbRestartNogoods=76
75.67	       =>  wckTime=11.198  cpuTime=11.02  mem=16M695
81.12	   
81.12	   search
81.12	     run=14  nbConstraintChecks=34313765  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=21522
81.12	     nbFailedAssignments=12456  nbBacktracks=8731  nbVisitedNodes=42710  nbRestartNogoods=84
81.12	       =>  wckTime=16.646  cpuTime=16.42  mem=16M695
88.57	   
88.57	   search
88.57	     run=15  nbConstraintChecks=50298897  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=31554
88.57	     nbFailedAssignments=18091  nbBacktracks=13109  nbVisitedNodes=62755  nbRestartNogoods=91
88.57	       =>  wckTime=24.1  cpuTime=23.8  mem=16M695
104.27	   
104.27	   search
104.27	     run=16  nbConstraintChecks=76426358  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=47444
104.27	     nbFailedAssignments=27403  nbBacktracks=19677  nbVisitedNodes=94525  nbRestartNogoods=98
104.27	       =>  wckTime=39.798  cpuTime=39.36  mem=16M695
125.33	   
125.33	   search
125.33	     run=17  nbConstraintChecks=115142801  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=72060
125.33	     nbFailedAssignments=42152  nbBacktracks=29529  nbVisitedNodes=143742  nbRestartNogoods=108
125.33	       =>  wckTime=60.857  cpuTime=60.23  mem=16M695
155.19	   
155.19	   search
155.19	     run=18  nbConstraintChecks=173770445  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=108258
155.19	     nbFailedAssignments=63555  nbBacktracks=44307  nbVisitedNodes=216119  nbRestartNogoods=119
155.19	       =>  wckTime=90.72  cpuTime=89.81  mem=16M695
201.12	   
201.12	   search
201.12	     run=19  nbConstraintChecks=254504616  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=160752
201.12	     nbFailedAssignments=93872  nbBacktracks=66475  nbVisitedNodes=320746  nbRestartNogoods=129
201.12	       =>  wckTime=136.65  cpuTime=135.32  mem=16M695
279.65	   
279.65	   search
279.65	     run=20  nbConstraintChecks=390434396  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=250627
279.65	     nbFailedAssignments=150482  nbBacktracks=99727  nbVisitedNodes=499125  nbRestartNogoods=139
279.65	       =>  wckTime=215.184  cpuTime=213.13  mem=16M695
366.78	   
366.78	   search
366.78	     run=21  nbConstraintChecks=535539715  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=363911
366.78	     nbFailedAssignments=213876  nbBacktracks=149605  nbVisitedNodes=720829  nbRestartNogoods=154
366.78	       =>  wckTime=302.313  cpuTime=299.47  mem=16M695
486.72	   
486.72	   search
486.72	     run=22  nbConstraintChecks=729446013  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=516059
486.72	     nbFailedAssignments=291184  nbBacktracks=224423  nbVisitedNodes=1017856  nbRestartNogoods=169
486.72	       =>  wckTime=422.251  cpuTime=418.29  mem=16M695
631.96	   
631.96	   search
631.96	     run=23  nbConstraintChecks=966384795  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=725172
631.96	     nbFailedAssignments=388051  nbBacktracks=336654  nbVisitedNodes=1407464  nbRestartNogoods=178
631.96	       =>  wckTime=567.491  cpuTime=562.21  mem=16M695
873.16	   
873.16	   search
873.16	     run=24  nbConstraintChecks=1367195145  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1067878
873.16	     nbFailedAssignments=562395  nbBacktracks=504995  nbVisitedNodes=2070012  nbRestartNogoods=190
873.16	       =>  wckTime=808.688  cpuTime=801.19  mem=16M695
1190.27	   
1190.27	   search
1190.27	     run=25  nbConstraintChecks=1904313121  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=1551098
1190.27	     nbFailedAssignments=793090  nbBacktracks=757507  nbVisitedNodes=2993188  nbRestartNogoods=202
1190.27	       =>  wckTime=1125.802  cpuTime=1115.55  mem=16M695
1694.57	   
1694.57	   search
1694.57	     run=26  nbConstraintChecks=2809094399  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=2324122
1694.57	     nbFailedAssignments=1187329  nbBacktracks=1136274  nbVisitedNodes=4464346  nbRestartNogoods=215
1694.57	       =>  wckTime=1630.103  cpuTime=1619.07  mem=16M695
2285.14	   
2285.14	   search
2285.14	     run=27  nbConstraintChecks=3928966829  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0  nbAssignments=3368561
2285.14	     nbFailedAssignments=1663600  nbBacktracks=1704425  nbVisitedNodes=6466847  nbRestartNogoods=228
2285.14	       =>  wckTime=2220.668  cpuTime=2208.99  mem=16M695
2412.51	v 3 2 1 2 1 2 3 1 2 4 4 4 1 4 0 0 4 3 4 4 0 0 4 3 3 2 0 4 4 3 0 4 4 2 0 2 2 2 2 1 1 0 2 3 3 1 0 3 1 2 0 1 1 2 2 3 2 2 2 3 1 2

Verifier Data (download as text)

23 unsatisfied constraints, 188 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/node15/watcher-279047-1169291100 -o ROOT/results/node15/solver-279047-1169291100 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279047-1169291100/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.09 2.04 1.96 4/93 19105
/proc/meminfo: memFree=1405144/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=18540 CPUtime=0
/proc/19104/stat : 19104 (runsolver) R 19102 19104 19036 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 277504865 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 240472616231 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19104/statm: 4635 279 244 17 0 2626 0

[startup+0.10774 s]
/proc/loadavg: 2.09 2.04 1.96 4/93 19105
/proc/meminfo: memFree=1405144/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=914988 CPUtime=0.08
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 277504865 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923466 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.516809 s]
/proc/loadavg: 2.09 2.04 1.96 4/93 19105
/proc/meminfo: memFree=1405144/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915332 CPUtime=0.45
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 6235 0 1 0 42 3 0 0 18 0 8 0 277504865 937299968 5974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072919648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228833 5974 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915332

[startup+1.34495 s]
/proc/loadavg: 2.16 2.06 1.96 3/100 19112
/proc/meminfo: memFree=1386848/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=1.27
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 7236 0 1 0 106 21 0 0 25 0 8 0 277504865 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228866 6974 2476 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.14
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 277504873 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 6974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915464

[startup+2.98223 s]
/proc/loadavg: 2.16 2.06 1.96 3/100 19112
/proc/meminfo: memFree=1386784/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=2.89
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 7240 0 1 0 227 62 0 0 25 0 8 0 277504865 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073725504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228866 6977 2476 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.15
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277504873 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915464

[startup+6.2788 s]
/proc/loadavg: 2.15 2.06 1.96 4/100 19112
/proc/meminfo: memFree=1386784/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915468 CPUtime=6.15
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 7240 0 1 0 468 147 0 0 25 0 8 0 277504865 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228867 6977 2476 14 0 215337 0
[pid=19104/tid=19106] ppid=19102 vsize=915468 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277504869 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915468 CPUtime=0.15
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277504873 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937439232 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915468

[startup+12.7549 s]
/proc/loadavg: 2.13 2.05 1.96 3/100 19112
/proc/meminfo: memFree=1386792/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=12.57
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 7240 0 1 0 944 313 0 0 25 0 8 0 277504865 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228866 6977 2476 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.15
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 277504873 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 6977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915464

[startup+25.6041 s]
/proc/loadavg: 2.11 2.05 1.96 3/100 19112
/proc/meminfo: memFree=1386792/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=25.3
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 7241 0 1 0 1888 642 0 0 25 0 8 0 277504865 937435136 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073726540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228866 6978 2476 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.15
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 277504873 937435136 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 6978 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915464

[startup+51.2095 s]
/proc/loadavg: 2.07 2.05 1.96 3/100 19112
/proc/meminfo: memFree=1386792/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915468 CPUtime=50.68
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 7247 0 1 0 3763 1305 0 0 25 0 8 0 277504865 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228867 6984 2476 14 0 215337 0
[pid=19104/tid=19106] ppid=19102 vsize=915468 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 172 0 0 0 2 0 0 0 16 0 8 0 277504869 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915468 CPUtime=0.16
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 355 0 0 0 16 0 0 0 16 0 8 0 277504873 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915468 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937439232 6984 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 915468

[startup+102.416 s]
/proc/loadavg: 2.03 2.04 1.96 3/100 19112
/proc/meminfo: memFree=1379496/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=101.4
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9137 0 1 0 8492 1648 0 0 25 0 8 0 277504865 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073734192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19104/statm: 228866 8869 2527 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.27
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 416 0 0 0 26 1 0 0 16 0 8 0 277504873 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 915464

[startup+162.455 s]
/proc/loadavg: 2.01 2.03 1.96 3/100 19112
/proc/meminfo: memFree=1379432/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=160.89
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9145 0 1 0 14441 1648 0 0 25 0 8 0 277504865 937435136 8876 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2083.4 s]
/proc/loadavg: 2.14 2.04 2.00 3/94 19204
/proc/meminfo: memFree=1356944/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=2071.37
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9169 0 1 0 205482 1655 0 0 25 0 8 0 277504865 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19104/statm: 228866 8897 2527 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.27
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2071.37
Current children cumulated vsize (KiB) 915464

[startup+2143.43 s]
/proc/loadavg: 2.11 2.05 2.00 3/94 19204
/proc/meminfo: memFree=1356944/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=2131.31
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9169 0 1 0 211476 1655 0 0 25 0 8 0 277504865 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073884245 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19104/statm: 228866 8897 2527 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.27
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2131.31
Current children cumulated vsize (KiB) 915464

[startup+2203.43 s]
/proc/loadavg: 2.04 2.04 2.00 3/94 19204
/proc/meminfo: memFree=1356944/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=2191.25
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9169 0 1 0 217470 1655 0 0 25 0 8 0 277504865 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19104/statm: 228866 8897 2527 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.27
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2191.25
Current children cumulated vsize (KiB) 915464

[startup+2263.45 s]
/proc/loadavg: 2.01 2.03 2.00 3/94 19204
/proc/meminfo: memFree=1356944/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=2251.21
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9169 0 1 0 223466 1655 0 0 25 0 8 0 277504865 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073878987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19104/statm: 228866 8897 2527 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.27
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 8897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.21
Current children cumulated vsize (KiB) 915464

[startup+2323.46 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 19204
/proc/meminfo: memFree=1356944/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=2311.15
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9171 0 1 0 229459 1656 0 0 25 0 8 0 277504865 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19104/statm: 228866 8899 2527 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.27
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.15
Current children cumulated vsize (KiB) 915464

[startup+2383.48 s]
/proc/loadavg: 2.00 2.02 2.00 3/94 19204
/proc/meminfo: memFree=1356944/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=2371.1
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9171 0 1 0 235454 1656 0 0 25 0 8 0 277504865 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880306 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19104/statm: 228866 8899 2527 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.27
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.1
Current children cumulated vsize (KiB) 915464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2412.49 s]
/proc/loadavg: 2.00 2.01 2.00 4/94 19204
/proc/meminfo: memFree=1356880/2055920 swapFree=4173628/4192956
[pid=19104] ppid=19102 vsize=915464 CPUtime=2400.09
/proc/19104/stat : 19104 (java) R 19102 19104 19036 0 -1 0 9171 0 1 0 238353 1656 0 0 25 0 8 0 277504865 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860796 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19104/statm: 228866 8899 2527 14 0 215336 0
[pid=19104/tid=19106] ppid=19102 vsize=915464 CPUtime=0.02
/proc/19104/task/19106/stat : 19106 (java) S 19102 19104 19036 0 -1 64 173 0 0 0 2 0 0 0 16 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19107] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19107/stat : 19107 (java) S 19102 19104 19036 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19108] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19108/stat : 19108 (java) S 19102 19104 19036 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277504869 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19109] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19109/stat : 19109 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19110] ppid=19102 vsize=915464 CPUtime=0.27
/proc/19104/task/19110/stat : 19110 (java) S 19102 19104 19036 0 -1 64 417 0 0 0 26 1 0 0 16 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19104/tid=19111] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19111/stat : 19111 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19104/tid=19112] ppid=19102 vsize=915464 CPUtime=0
/proc/19104/task/19112/stat : 19112 (java) S 19102 19104 19036 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277504873 937435136 8899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915464

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

Child status: 143
Real time (s): 2412.55
CPU time (s): 2400.14
CPU user time (s): 2383.57
CPU system time (s): 16.5675
CPU usage (%): 99.4854
Max. virtual memory (cumulated for all children) (KiB): 915468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2383.57
system time used= 16.5675
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9193
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= 50032
involuntary context switches= 102943

runsolver used 2.39464 s user time and 8.29974 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan 20 11:05:00 UTC 2007


IDJOB= 279047
IDBENCH= 9322
IDSOLVER= 69
FILE ID= node15/279047-1169291100

PBS_JOBID= 3609592

Free space on /tmp= 66561 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-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279047-1169291100/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-279047-1169291100 -o ROOT/results/node15/solver-279047-1169291100 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/279047-1169291100/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  aba9607e0eecd57ecbe30187fe580480

RANDOM SEED= 632443041

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.276
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.276
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:       1405624 kB
Buffers:         53664 kB
Cached:         460112 kB
SwapCached:       6628 kB
Active:         218616 kB
Inactive:       356536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1405624 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:            1872 kB
Writeback:           0 kB
Mapped:          80852 kB
Slab:            59684 kB
Committed_AS:  9494792 kB
PageTables:       2496 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 node15 on Sat Jan 20 11:45:13 UTC 2007