Trace number 277248

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.16 2409.67

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-7.xml
MD5SUM573c0b02a6e53d1a67f25a1cab6b07c3
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4065
Best CPU time to get the best result obtained on this benchmark2400.16
SatisfiableNO
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1551
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
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.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/277248-1169262253/unknown.xml
0.38	   
0.38	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1453  maxDomainSize=1551
0.57	       =>  wckTime=0.255  cpuTime=0.18  mem=22M617
0.57	   
0.57	   predicates being loaded...
0.58	   
0.58	   constraints being loaded...
61.51	   
61.51	   INFO : Stopping converting binary constraints (cpu=60.23, mem = 84M943)
62.27	     nbConstraints=4180  nbConvertedConstraints=106  nbConvertConstraintsChecks=235600446  nbExtensionStructures=106
62.27	     nbSharedExtensionStructures=0  nbConflictsStructures=106  nbSharedConflictsStructures=0
62.27	     nbSharedBinaryRepresentations=92649  nbEvaluationManagers=4074  nbSharedEvaluationManagers=0  maxDegree=21
62.27	     maxArity=2
62.27	       =>  wckTime=61.958  cpuTime=60.66  mem=91M481
62.48	   
62.48	   solver LocalSearchSolver being built... 
62.52	       =>  wckTime=62.209  cpuTime=60.71  mem=86M244
62.78	
62.78	s SATISFIABLE
62.78	o 3769
62.78	c 411
62.92	o 3774
62.92	c 406
63.08	o 3779
63.08	c 401
63.19	o 3784
63.19	c 396
63.55	o 3788
63.55	c 392
63.88	o 3792
63.88	c 388
64.10	o 3796
64.10	c 384
64.35	o 3800
64.35	c 380
64.63	o 3804
64.63	c 376
65.19	o 3807
65.19	c 373
65.76	o 3810
65.76	c 370
66.30	o 3813
66.30	c 367
66.83	o 3817
66.83	c 363
67.36	o 3820
67.36	c 360
67.71	o 3822
67.71	c 358
68.11	o 3824
68.11	c 356
68.92	o 3827
68.92	c 353
69.70	o 3830
69.70	c 350
70.51	o 3833
70.51	c 347
71.27	o 3836
71.27	c 344
71.96	o 3839
71.96	c 341
72.65	o 3842
72.65	c 338
73.28	o 3845
73.28	c 335
73.89	o 3848
73.89	c 332
74.51	o 3851
74.51	c 329
75.09	o 3854
75.09	c 326
75.66	o 3857
75.66	c 323
76.28	o 3860
76.28	c 320
76.80	o 3863
76.80	c 317
77.38	o 3866
77.38	c 314
77.91	o 3869
77.91	c 311
78.46	o 3872
78.46	c 308
78.91	o 3875
78.91	c 305
79.43	o 3878
79.43	c 302
80.03	o 3881
80.03	c 299
80.65	o 3884
80.65	c 296
81.27	o 3886
81.27	c 294
81.83	o 3888
81.83	c 292
82.33	o 3890
82.33	c 290
82.93	o 3892
82.93	c 288
83.46	o 3894
83.46	c 286
83.97	o 3896
83.97	c 284
84.54	o 3898
84.54	c 282
85.10	o 3900
85.10	c 280
85.56	o 3902
85.56	c 278
86.25	o 3904
86.25	c 276
86.93	o 3906
86.93	c 274
87.51	o 3908
87.51	c 272
88.06	o 3909
88.06	c 271
88.74	o 3911
88.74	c 269
90.14	o 3913
90.14	c 267
91.53	o 3915
91.53	c 265
92.86	o 3917
92.86	c 263
94.17	o 3919
94.17	c 261
95.44	o 3921
95.44	c 259
96.69	o 3923
96.69	c 257
97.91	o 3925
97.91	c 255
99.11	o 3927
99.11	c 253
100.31	o 3929
100.31	c 251
101.48	o 3931
101.48	c 249
102.64	o 3933
102.64	c 247
103.77	o 3935
103.77	c 245
104.95	o 3937
104.95	c 243
106.05	o 3939
106.05	c 241
107.12	o 3941
107.12	c 239
108.21	o 3943
108.21	c 237
109.25	o 3945
109.25	c 235
110.35	o 3947
110.35	c 233
111.31	o 3949
111.31	c 231
112.38	o 3951
112.38	c 229
113.33	o 3953
113.33	c 227
114.32	o 3955
114.33	c 225
115.33	o 3957
115.33	c 223
116.18	o 3959
116.18	c 221
117.22	o 3961
117.22	c 219
118.07	o 3963
118.07	c 217
119.08	o 3965
119.08	c 215
120.07	o 3967
120.07	c 213
121.13	o 3969
121.13	c 211
122.21	o 3971
122.21	c 209
122.97	o 3973
122.97	c 207
123.74	o 3975
123.74	c 205
124.58	o 3977
124.58	c 203
125.55	o 3979
125.55	c 201
126.57	o 3980
126.57	c 200
127.59	o 3981
127.59	c 199
128.56	o 3982
128.56	c 198
129.54	o 3983
129.54	c 197
130.51	o 3984
130.51	c 196
131.56	o 3985
131.56	c 195
132.56	o 3986
132.56	c 194
133.12	o 3989
133.12	c 191
133.98	o 3990
133.98	c 190
134.83	o 3991
134.83	c 189
135.20	o 3993
135.20	c 187
136.05	o 3994
136.05	c 186
136.84	o 3995
136.85	c 185
137.70	o 3996
137.70	c 184
138.55	o 3997
138.55	c 183
139.26	o 3998
139.26	c 182
139.95	o 3999
139.95	c 181
140.66	o 4000
140.66	c 180
141.32	o 4001
141.32	c 179
141.92	o 4002
141.92	c 178
142.64	o 4003
142.64	c 177
143.22	o 4004
143.22	c 176
143.80	o 4005
143.80	c 175
144.40	o 4006
144.40	c 174
145.05	o 4007
145.05	c 173
145.78	o 4008
145.78	c 172
146.27	o 4009
146.27	c 171
146.83	o 4010
146.83	c 170
147.27	o 4011
147.27	c 169
147.68	o 4012
147.68	c 168
148.13	o 4013
148.13	c 167
148.87	o 4014
148.87	c 166
150.17	o 4015
150.17	c 165
150.58	o 4016
150.58	c 164
151.28	o 4017
151.28	c 163
151.63	o 4018
151.63	c 162
153.09	o 4019
153.09	c 161
153.61	o 4020
153.61	c 160
155.72	o 4021
155.72	c 159
156.21	o 4023
156.21	c 157
156.66	o 4024
156.66	c 156
157.22	o 4025
157.22	c 155
159.32	o 4027
159.32	c 153
159.90	o 4028
159.90	c 152
160.47	o 4030
160.47	c 150
161.02	o 4031
161.02	c 149
164.37	o 4032
164.37	c 148
165.79	o 4033
165.79	c 147
167.26	o 4034
167.26	c 146
168.70	o 4035
168.70	c 145
171.22	o 4036
171.22	c 144
172.61	o 4037
172.61	c 143
173.99	o 4038
173.99	c 142
175.34	o 4039
175.34	c 141
176.65	o 4040
176.65	c 140
177.94	o 4041
177.94	c 139
179.25	o 4042
179.25	c 138
180.58	o 4043
180.58	c 137
181.87	o 4044
181.87	c 136
183.13	o 4045
183.13	c 135
184.31	o 4046
184.31	c 134
185.49	o 4047
185.49	c 133
186.68	o 4048
186.68	c 132
187.34	o 4049
187.34	c 131
188.49	o 4050
188.49	c 130
189.66	o 4051
189.66	c 129
190.86	o 4052
190.86	c 128
192.04	o 4053
192.04	c 127
193.13	o 4054
193.13	c 126
194.21	o 4055
194.21	c 125
195.39	o 4056
195.39	c 124
196.41	o 4057
196.41	c 123
197.47	o 4058
197.47	c 122
199.56	o 4059
199.56	c 121
200.51	o 4060
200.51	c 120
202.38	o 4061
202.38	c 119
203.33	o 4062
203.33	c 118
204.60	o 4063
204.60	c 117
221.28	o 4064
221.28	c 116
252.02	   
252.02	   search
252.02	     run=0  nbConstraintChecks=373614254  nbAssignments=246
252.02	       =>  wckTime=189.493  cpuTime=187.74  mem=86M244
252.02	   
252.02	   global
252.02	     nbConstraintChecks=373614254  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
252.02	     solvingWckTime=189.464  solvingCpuTime=187.72  expiredTime=no  totalExploration=no  nbFoundSolutions=0
252.02	     globalCpuTime=248.5
252.02	       =>  wckTime=251.702  cpuTime=248.45  mem=86M244
252.02	   
252.02	   solver IterativeSystematicSolver being built... 
252.44	       =>  wckTime=252.12  cpuTime=248.68  mem=164M723
386.51	   
386.51	   preprocessing
386.51	     nbConstraintChecks=526652592  nbValidityChecks=736305  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
386.51	     nbRemovedValues=0  detectedInconsistency=no
386.51	       =>  wckTime=134.073  cpuTime=132.83  mem=164M723
1913.76	o 4065
1913.76	c 115
1973.25	   
1973.25	   search
1973.25	     run=0  nbConstraintChecks=5395862674  nbValidityChecks=2500676797  nbPropagations=0  nbRevisions=0
1973.25	     nbUselessRevisions=0  nbAssignments=431  nbFailedAssignments=31  nbBacktracks=278  nbVisitedNodes=675
1973.25	     nbRestartNogoods=0
1973.25	       =>  wckTime=1720.812  cpuTime=1714.03  mem=164M723
2409.62	v 323 347 365 985 0 573 587 0 471 540 600 671 691 242 471 554 656 760 412 550 0 349 455 335 839 268 649 722 735 760 205 799 809 317 893 1053 1060 0 560 634 13 347 592 672 1124 364 510 408 737 819 400 562 169 486 181 445 1085 191 493 571 0 97 687 1001 253 398 431 575 786 791 943 298 468 296 476 524 227 347 415 649 347 418 89 700 796 360 1188 187 362 428 226 293 374 968 165 594 96 531 0 920 697 0 704 787 809 948 0 96 183 393 260 1132 270 765 0 87 283 669 182 883 537 745 187 541 874 0 620 635 780 990 373 440 475 717 0 519 575 612 669 932 297 0 532 909 976 182 684 743 803 835 0 866 99 539 573 618 181 874 93 642 491 537 0 572 976 98 377 445 285 1214 0 98 345 855 173 1139 96 239 431 611 567 594 634 346 1060 1150 1167 0 309 679 0 704 835 181 618 669 0 587 691 854 470 562 582 751 817 259 315 487 567 1054 310 437 486 579 584 597 660 681 695 697 0 241 296 358 1030 260 575 791 860 932 95 649 791 812 869 932 330 962 344 636 0 265 445 885 315 840 0 822 337 870 264 475 763 860 909 338 848 196 821 884 0 309 1005 191 283 408 720 239 418 491 552 189 993 1054 1139 98 487 171 946 1030 418 540 562 98 775 821 829 93 498 531 283 612 649 666 695 768 0 99 265 338 492 541 603 242 320 386 1011 185 268 389 819 908 407 431 0 576 656 693 834 854 348 899 941 277 383 1098 93 434 884 363 744 336 479 98 554 620 634 656 671 679 494 913 94 426 498 724 163 752 778 888 0 660 98 416 992 271 433 477 584 985 0 382 949 87 521 739 812 899 934 271 1065 168 310 531 902 278 477 539 88 405 440 455 176 743 787 799 82 355 283 458 474 492 599 96 666 739 91 722 829 1015

Verifier Data (download as text)

115 unsatisfied constraints, 4065 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/node7/watcher-277248-1169262253 -o ROOT/results/node7/solver-277248-1169262253 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277248-1169262253/unknown.xml 

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

/proc/loadavg: 1.97 2.03 1.95 5/93 18756
/proc/meminfo: memFree=1312096/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=18540 CPUtime=0
/proc/18755/stat : 18755 (runsolver) R 18753 18755 17605 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274620799 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18755/statm: 4635 279 244 17 0 2626 0

[startup+0.107823 s]
/proc/loadavg: 1.97 2.03 1.95 5/93 18756
/proc/meminfo: memFree=1312096/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=914988 CPUtime=0.08
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 2989 0 1 0 7 1 0 0 17 0 8 0 274620799 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155583776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515866 s]
/proc/loadavg: 1.97 2.03 1.95 5/93 18756
/proc/meminfo: memFree=1312096/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915332 CPUtime=0.48
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 7667 0 1 0 44 4 0 0 18 0 8 0 274620799 937299968 7406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610722 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228833 7406 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33994 s]
/proc/loadavg: 1.97 2.03 1.95 3/100 18763
/proc/meminfo: memFree=1256936/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=1.3
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 16129 0 1 0 122 8 0 0 25 0 8 0 274620799 937611264 15868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228909 15868 2168 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274620803 937611264 15868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 274620803 937611264 15868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274620803 937611264 15868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 15868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.15
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 401 0 0 0 15 0 0 0 16 0 8 0 274620807 937611264 15868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 15868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 15868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636

[startup+2.98612 s]
/proc/loadavg: 1.97 2.03 1.95 3/100 18763
/proc/meminfo: memFree=1255336/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=2.93
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 21150 0 1 0 284 9 0 0 25 0 8 0 274620799 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228909 20886 2179 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.05
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 4541 0 0 0 4 1 0 0 16 0 8 0 274620803 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.16
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 274620807 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915636

[startup+6.26546 s]
/proc/loadavg: 1.97 2.03 1.95 3/100 18763
/proc/meminfo: memFree=1236712/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=6.17
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 21153 0 1 0 608 9 0 0 25 0 8 0 274620799 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228909 20888 2179 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.05
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 4541 0 0 0 4 1 0 0 17 0 8 0 274620803 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.16
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 274620807 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915636

[startup+12.7531 s]
/proc/loadavg: 1.97 2.03 1.95 4/100 18763
/proc/meminfo: memFree=1236712/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=12.61
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 21153 0 1 0 1252 9 0 0 25 0 8 0 274620799 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228909 20888 2179 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.05
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 4541 0 0 0 4 1 0 0 16 0 8 0 274620803 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.16
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 274620807 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 20888 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915636

[startup+25.6025 s]
/proc/loadavg: 1.98 2.03 1.95 3/100 18763
/proc/meminfo: memFree=1236776/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=25.34
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 21154 0 1 0 2524 10 0 0 25 0 8 0 274620799 937611264 20889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228909 20889 2179 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.05
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 4541 0 0 0 4 1 0 0 16 0 8 0 274620803 937611264 20889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 20889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 20889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 20889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.16
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 404 0 0 0 16 0 0 0 16 0 8 0 274620807 937611264 20889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 20889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 20889 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915636

[startup+51.2152 s]
/proc/loadavg: 2.05 2.04 1.95 3/100 18763
/proc/meminfo: memFree=1196328/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=50.72
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 31273 0 1 0 5057 15 0 0 25 0 8 0 274620799 937611264 31007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228909 31007 2179 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.3
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 14657 0 0 0 25 5 0 0 16 0 8 0 274620803 937611264 31007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 31007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 31007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 31007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.16
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 406 0 0 0 16 0 0 0 17 0 8 0 274620807 937611264 31007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 31007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 31007 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915636

[startup+102.445 s]
/proc/loadavg: 2.02 2.03 1.95 3/100 18763
/proc/meminfo: memFree=1164136/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=101.47
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 39634 0 1 0 10127 20 0 0 25 0 8 0 274620799 937611264 39365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789862 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18755/statm: 228909 39365 2501 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.73
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 22626 0 0 0 65 8 0 0 16 0 8 0 274620803 937611264 39365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 39365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 39365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 39365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.23
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 446 0 0 0 22 1 0 0 15 0 8 0 274620807 937611264 39365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 39365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 39365 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915636

[startup+162.525 s]
/proc/loadavg: 2.01 2.02 1.95 3/100 18763
/proc/meminfo: memFree=1164136/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=160.99
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 39635 0 1 0 16078 21 0 0 25 0 8 0 274620799 937611264 39366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 2014.47
Current children cumulated vsize (KiB) 915636

[startup+2083.66 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 18839
/proc/meminfo: memFree=1118240/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=2074.46
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 55495 0 1 0 207408 38 0 0 25 0 8 0 274620799 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18755/statm: 228909 55200 2551 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.85
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 38312 0 0 0 72 13 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.35
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 514 0 0 0 33 2 0 0 16 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2074.46
Current children cumulated vsize (KiB) 915636

[startup+2143.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 18839
/proc/meminfo: memFree=1118304/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=2134.44
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 55495 0 1 0 213406 38 0 0 25 0 8 0 274620799 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787061 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18755/statm: 228909 55200 2551 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.85
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 38312 0 0 0 72 13 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.35
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 514 0 0 0 33 2 0 0 16 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2134.44
Current children cumulated vsize (KiB) 915636

[startup+2203.74 s]
/proc/loadavg: 2.09 2.03 2.01 3/101 18839
/proc/meminfo: memFree=1118240/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=2194.4
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 55495 0 1 0 219402 38 0 0 25 0 8 0 274620799 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18755/statm: 228909 55200 2551 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.85
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 38312 0 0 0 72 13 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.35
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 514 0 0 0 33 2 0 0 16 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2194.4
Current children cumulated vsize (KiB) 915636

[startup+2263.77 s]
/proc/loadavg: 2.03 2.03 2.00 3/101 18839
/proc/meminfo: memFree=1118240/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=2254.39
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 55496 0 1 0 225400 39 0 0 25 0 8 0 274620799 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18755/statm: 228909 55200 2551 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.85
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 38312 0 0 0 72 13 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.35
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 514 0 0 0 33 2 0 0 16 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.39
Current children cumulated vsize (KiB) 915636

[startup+2323.78 s]
/proc/loadavg: 2.13 2.05 2.01 3/101 18839
/proc/meminfo: memFree=1118240/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=2314.34
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 55496 0 1 0 231395 39 0 0 25 0 8 0 274620799 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18755/statm: 228909 55200 2551 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.85
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 38312 0 0 0 72 13 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.35
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 514 0 0 0 33 2 0 0 16 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.34
Current children cumulated vsize (KiB) 915636

[startup+2383.88 s]
/proc/loadavg: 2.08 2.05 2.01 3/101 18839
/proc/meminfo: memFree=1118240/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=2374.36
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 55496 0 1 0 237397 39 0 0 25 0 8 0 274620799 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18755/statm: 228909 55200 2551 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.85
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 38312 0 0 0 72 13 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.35
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 514 0 0 0 33 2 0 0 16 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.36
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2409.61 s]
/proc/loadavg: 2.05 2.05 2.00 3/101 18839
/proc/meminfo: memFree=1118240/2055920 swapFree=4192812/4192956
[pid=18755] ppid=18753 vsize=915636 CPUtime=2400.09
/proc/18755/stat : 18755 (java) R 18753 18755 17605 0 -1 0 55496 0 1 0 239970 39 0 0 25 0 8 0 274620799 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18755/statm: 228909 55200 2551 14 0 215379 0
[pid=18755/tid=18757] ppid=18753 vsize=915636 CPUtime=0.85
/proc/18755/task/18757/stat : 18757 (java) S 18753 18755 17605 0 -1 64 38312 0 0 0 72 13 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18758] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18758/stat : 18758 (java) S 18753 18755 17605 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18759] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18759/stat : 18759 (java) S 18753 18755 17605 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274620803 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18760] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18760/stat : 18760 (java) S 18753 18755 17605 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18761] ppid=18753 vsize=915636 CPUtime=0.35
/proc/18755/task/18761/stat : 18761 (java) S 18753 18755 17605 0 -1 64 514 0 0 0 33 2 0 0 16 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18755/tid=18762] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18762/stat : 18762 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18755/tid=18763] ppid=18753 vsize=915636 CPUtime=0
/proc/18755/task/18763/stat : 18763 (java) S 18753 18755 17605 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274620807 937611264 55200 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2409.67
CPU time (s): 2400.16
CPU user time (s): 2399.73
CPU system time (s): 0.427934
CPU usage (%): 99.605
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.73
system time used= 0.427934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55521
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= 50221
involuntary context switches= 93937

runsolver used 2.93155 s user time and 7.97379 s system time

The end

Launcher Data (download as text)

Begin job on node7 on Sat Jan 20 03:04:14 UTC 2007


IDJOB= 277248
IDBENCH= 6514
IDSOLVER= 69
FILE ID= node7/277248-1169262253

PBS_JOBID= 3607285

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-20/js-taillard-20-95-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277248-1169262253/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-277248-1169262253 -o ROOT/results/node7/solver-277248-1169262253 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277248-1169262253/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  573c0b02a6e53d1a67f25a1cab6b07c3

RANDOM SEED= 833770710

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.220
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1312576 kB
Buffers:         53596 kB
Cached:         520256 kB
SwapCached:          0 kB
Active:         236564 kB
Inactive:       424844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1312576 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2260 kB
Writeback:           0 kB
Mapped:         116556 kB
Slab:            66596 kB
Committed_AS:  8948736 kB
PageTables:       2468 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= 66562 MiB



End job on node7 on Sat Jan 20 03:44:23 UTC 2007