Trace number 277241

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.14 2416.89

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-0.xml
MD5SUMd218a1129bf7e99e8b8586f845179931
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4074
Best CPU time to get the best result obtained on this benchmark2400.15
SatisfiableNO
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1580
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=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/277241-1169261974/unknown.xml
0.38	   
0.38	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.57	     nbVariables=400  nbDomainTypes=400  minDomainSize=1482  maxDomainSize=1580
0.57	       =>  wckTime=0.248  cpuTime=0.19  mem=22M609
0.57	   
0.57	   predicates being loaded...
0.57	   
0.57	   constraints being loaded...
61.30	   
61.31	   INFO : Stopping converting binary constraints (cpu=60.03, mem = 91M948)
62.09	     nbConstraints=4180  nbConvertedConstraints=102  nbConvertConstraintsChecks=239321875  nbExtensionStructures=102
62.09	     nbSharedExtensionStructures=0  nbConflictsStructures=102  nbSharedConflictsStructures=0
62.09	     nbSharedBinaryRepresentations=64208  nbEvaluationManagers=4078  nbSharedEvaluationManagers=0  maxDegree=21
62.09	     maxArity=2
62.09	       =>  wckTime=61.774  cpuTime=60.47  mem=100M735
62.32	   
62.32	   solver LocalSearchSolver being built... 
62.36	       =>  wckTime=62.045  cpuTime=60.51  mem=93M160
62.57	
62.57	s SATISFIABLE
62.57	o 3749
62.57	c 431
62.65	o 3754
62.65	c 426
63.04	o 3759
63.04	c 421
63.21	o 3763
63.21	c 417
63.67	o 3767
63.67	c 413
64.12	o 3771
64.12	c 409
64.57	o 3775
64.57	c 405
65.04	o 3779
65.04	c 401
65.43	o 3783
65.43	c 397
65.89	o 3787
65.89	c 393
66.30	o 3791
66.30	c 389
66.83	o 3794
66.83	c 386
67.34	o 3797
67.34	c 383
67.76	o 3800
67.76	c 380
68.04	o 3803
68.04	c 377
68.45	o 3806
68.45	c 374
69.05	o 3807
69.05	c 373
69.92	o 3811
69.92	c 369
70.84	o 3814
70.85	c 366
71.79	o 3817
71.79	c 363
72.70	o 3820
72.70	c 360
73.54	o 3823
73.54	c 357
74.39	o 3826
74.39	c 354
75.21	o 3829
75.21	c 351
76.01	o 3832
76.01	c 348
76.85	o 3835
76.85	c 345
77.65	o 3838
77.65	c 342
78.37	o 3841
78.37	c 339
79.10	o 3844
79.10	c 336
79.87	o 3847
79.87	c 333
80.63	o 3850
80.63	c 330
81.23	o 3853
81.23	c 327
81.84	o 3856
81.84	c 324
82.52	o 3859
82.52	c 321
83.14	o 3862
83.14	c 318
83.67	o 3865
83.67	c 315
84.24	o 3868
84.24	c 312
84.71	o 3871
84.71	c 309
85.21	o 3874
85.21	c 306
85.82	o 3877
85.82	c 303
86.36	o 3880
86.36	c 300
86.79	o 3883
86.79	c 297
87.46	o 3886
87.46	c 294
88.10	o 3888
88.10	c 292
88.71	o 3890
88.71	c 290
89.28	o 3892
89.28	c 288
89.97	o 3894
89.97	c 286
90.53	o 3896
90.53	c 284
91.45	o 3898
91.45	c 282
91.95	o 3900
91.95	c 280
92.73	o 3902
92.73	c 278
93.33	o 3904
93.33	c 276
93.92	o 3905
93.92	c 275
94.71	o 3906
94.71	c 274
95.62	o 3907
95.62	c 273
96.50	o 3908
96.50	c 272
97.59	o 3910
97.59	c 270
98.18	o 3913
98.18	c 267
99.53	o 3915
99.53	c 265
100.84	o 3917
100.84	c 263
102.16	o 3919
102.16	c 261
103.43	o 3921
103.43	c 259
104.65	o 3923
104.65	c 257
105.88	o 3925
105.88	c 255
107.09	o 3927
107.09	c 253
108.27	o 3929
108.27	c 251
109.46	o 3931
109.46	c 249
110.57	o 3933
110.57	c 247
111.74	o 3935
111.74	c 245
112.81	o 3937
112.81	c 243
113.85	o 3939
113.85	c 241
114.94	o 3941
114.94	c 239
115.93	o 3943
115.93	c 237
116.93	o 3945
116.93	c 235
117.90	o 3947
117.90	c 233
118.81	o 3949
118.81	c 231
119.80	o 3951
119.80	c 229
120.69	o 3953
120.69	c 227
121.65	o 3955
121.65	c 225
122.52	o 3957
122.52	c 223
123.35	o 3959
123.35	c 221
124.21	o 3961
124.21	c 219
125.03	o 3963
125.03	c 217
125.94	o 3965
125.94	c 215
126.69	o 3967
126.69	c 213
127.53	o 3969
127.53	c 211
128.33	o 3971
128.33	c 209
129.05	o 3973
129.05	c 207
129.86	o 3975
129.86	c 205
130.63	o 3977
130.63	c 203
131.41	o 3979
131.41	c 201
132.33	o 3981
132.33	c 199
132.94	o 3983
132.94	c 197
133.62	o 3985
133.62	c 195
134.38	o 3987
134.38	c 193
135.11	o 3989
135.11	c 191
135.99	o 3990
135.99	c 190
136.86	o 3991
136.86	c 189
137.35	o 3993
137.35	c 187
138.13	o 3994
138.13	c 186
138.90	o 3995
138.90	c 185
139.70	o 3996
139.70	c 184
140.39	o 3997
140.39	c 183
141.04	o 3998
141.04	c 182
141.69	o 3999
141.69	c 181
142.28	o 4000
142.28	c 180
142.84	o 4002
142.84	c 178
143.42	o 4003
143.42	c 177
144.01	o 4004
144.01	c 176
144.59	o 4005
144.59	c 175
145.06	o 4006
145.06	c 174
145.74	o 4007
145.74	c 173
146.21	o 4008
146.21	c 172
146.66	o 4009
146.66	c 171
147.28	o 4010
147.28	c 170
151.48	o 4011
151.48	c 169
152.00	o 4012
152.00	c 168
152.60	o 4013
152.60	c 167
153.23	o 4014
153.23	c 166
153.81	o 4015
153.81	c 165
154.29	o 4016
154.29	c 164
155.88	o 4017
155.88	c 163
159.78	o 4018
159.78	c 162
163.50	o 4019
163.50	c 161
164.55	o 4020
164.55	c 160
166.92	o 4022
166.92	c 158
170.46	o 4023
170.46	c 157
172.05	o 4024
172.05	c 156
173.66	o 4025
173.66	c 155
175.27	o 4026
175.27	c 154
176.83	o 4027
176.83	c 153
178.39	o 4028
178.39	c 152
181.28	o 4029
181.28	c 151
182.79	o 4030
182.79	c 150
184.31	o 4031
184.31	c 149
185.80	o 4032
185.80	c 148
187.27	o 4033
187.27	c 147
188.56	o 4034
188.56	c 146
189.99	o 4035
189.99	c 145
191.41	o 4036
191.41	c 144
192.79	o 4037
192.79	c 143
194.15	o 4038
194.15	c 142
195.52	o 4039
195.52	c 141
196.95	o 4040
196.95	c 140
198.28	o 4041
198.28	c 139
199.65	o 4042
199.65	c 138
201.06	o 4043
201.06	c 137
202.37	o 4044
202.37	c 136
203.30	o 4046
203.30	c 134
205.52	o 4047
205.52	c 133
207.27	o 4048
207.27	c 132
208.47	o 4049
208.47	c 131
209.61	o 4050
209.61	c 130
210.73	o 4051
210.73	c 129
211.87	o 4052
211.87	c 128
212.98	o 4053
212.98	c 127
214.06	o 4054
214.06	c 126
215.27	o 4055
215.27	c 125
216.28	o 4056
216.28	c 124
217.30	o 4057
217.30	c 123
218.29	o 4058
218.29	c 122
219.28	o 4059
219.28	c 121
220.43	o 4060
220.43	c 120
221.42	o 4061
221.42	c 119
222.54	o 4062
222.54	c 118
223.53	o 4063
223.53	c 117
224.65	o 4064
224.65	c 116
225.62	o 4065
225.62	c 115
226.94	o 4066
226.94	c 114
228.23	o 4067
228.23	c 113
229.14	o 4068
229.14	c 112
230.31	o 4069
230.31	c 111
231.20	o 4070
231.20	c 110
234.77	o 4071
234.77	c 109
249.33	o 4072
249.33	c 108
250.13	o 4073
250.13	c 107
281.05	   
281.05	   search
281.05	     run=0  nbConstraintChecks=444566688  nbAssignments=259
281.05	       =>  wckTime=218.691  cpuTime=213.02  mem=93M160
281.05	   
281.05	   global
281.05	     nbConstraintChecks=444566688  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
281.05	     solvingWckTime=218.662  solvingCpuTime=213.0  expiredTime=no  totalExploration=no  nbFoundSolutions=0
281.05	     globalCpuTime=273.6
281.05	       =>  wckTime=280.736  cpuTime=273.54  mem=93M160
281.05	   
281.05	   solver IterativeSystematicSolver being built... 
281.47	       =>  wckTime=281.152  cpuTime=273.77  mem=173M125
2416.84	v 366 1264 529 699 920 1433 992 1338 230 638 893 1061 132 286 906 1208 1426 1488 1121 1140 1129 1320 831 1481 149 377 2 196 993 404 482 5 149 446 764 1231 183 578 805 925 275 490 1001 1301 229 368 726 1238 1285 1517 894 1227 282 614 1109 1349 1412 125 313 667 307 1139 1285 1453 526 696 809 1469 358 462 955 1456 1555 81 384 489 1067 1416 1 100 805 1150 224 354 6 63 709 308 495 798 870 972 1386 1468 4 103 489 811 1066 1272 316 121 239 455 1053 1381 1449 1550 51 211 6 271 6 88 562 789 442 883 1369 1478 279 1493 10 226 271 948 1004 1292 1405 2 38 357 719 147 276 675 780 1137 1318 1342 67 94 207 401 857 1238 1362 1420 1035 38 126 595 1233 1279 848 962 144 254 807 1232 1007 42 163 1229 34 117 500 1114 99 414 573 796 54 291 1187 1225 1391 407 519 722 8 163 270 600 1237 191 671 1520 2 333 383 432 813 1474 15 170 260 794 1059 1567 3 368 429 1017 1192 1318 1485 876 519 555 990 1124 1512 1527 569 780 1039 1485 1104 1220 675 1118 1303 447 707 251 334 410 545 1454 21 178 492 606 705 1345 177 230 1090 1441 754 906 491 610 730 1291 472 933 1301 0 118 262 719 62 206 425 598 1172 1189 1010 210 354 377 428 826 938 1206 644 718 1 12 416 753 1350 511 706 781 31 813 1399 153 872 904 1259 594 660 981 19 150 499 1131 1171 1382 304 381 1002 1204 1283 1455 827 241 501 968 1051 172 293 464 577 1097 558 838 1115 92 170 184 1264 1394 1427 356 935 299 760 1296 624 992 1166 1366 1530 980 1094 1440 332 1035 1466 1479 1531 876 611 768 843 530 613 86 112 281 321 328 625 1026 1232 1413 1487 688 1013 1 294 1184 1282 846 1090 218 619 202 1127 1392 1539 1234 1419 1478 1341 1386 184 632 1236 688 1065 1178 1336 1490 846 390 771 1131 1374 244 372 657 901 1016 1342 359 403 882 1410 1445 3 127 411 948 1178

Verifier Data (download as text)

107 unsatisfied constraints, 4073 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/node13/watcher-277241-1169261974 -o ROOT/results/node13/solver-277241-1169261974 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277241-1169261974/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.00 2.00 1.92 4/93 20141
/proc/meminfo: memFree=1337112/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=1784 CPUtime=0
/proc/20140/stat : 20140 (java) D 20138 20140 19318 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 274592396 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/20140/statm: 446 140 106 14 0 91 0

[startup+0.106783 s]
/proc/loadavg: 2.00 2.00 1.92 4/93 20141
/proc/meminfo: memFree=1337112/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=914988 CPUtime=0.08
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 274592396 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.514838 s]
/proc/loadavg: 2.00 2.00 1.92 4/93 20141
/proc/meminfo: memFree=1337112/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915332 CPUtime=0.49
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 7923 0 1 0 44 5 0 0 18 0 8 0 274592396 937299968 7662 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228833 7662 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33794 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20148
/proc/meminfo: memFree=1281568/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=1.3
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 16213 0 1 0 121 9 0 0 25 0 8 0 274592396 937611264 15952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228909 15952 2171 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 274592400 937611264 15952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 274592401 937611264 15952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274592401 937611264 15952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 15952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.15
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 399 0 0 0 15 0 0 0 16 0 8 0 274592404 937611264 15952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 15952 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274592404 937611264 15952 18446744073709551615 134512640 134570532 4294956464 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.99116 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20148
/proc/meminfo: memFree=1261728/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=2.94
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 21158 0 1 0 282 12 0 0 25 0 8 0 274592396 937611264 20894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228909 20894 2182 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.04
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 4553 0 0 0 3 1 0 0 16 0 8 0 274592400 937611264 20894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 20894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 20894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 20894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.15
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 274592404 937611264 20894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 20894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274592404 937611264 20894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636

[startup+6.2836 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20148
/proc/meminfo: memFree=1261728/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=6.21
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 21161 0 1 0 609 12 0 0 25 0 8 0 274592396 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228909 20897 2182 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.04
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 4553 0 0 0 3 1 0 0 16 0 8 0 274592400 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.15
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 274592404 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274592404 937611264 20897 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915636

[startup+12.7715 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20148
/proc/meminfo: memFree=1261664/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=12.63
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 21163 0 1 0 1251 12 0 0 25 0 8 0 274592396 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228909 20899 2182 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.04
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 4553 0 0 0 3 1 0 0 16 0 8 0 274592400 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.15
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 274592404 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274592404 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915636

[startup+25.6122 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20148
/proc/meminfo: memFree=1261728/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=25.35
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 21166 0 1 0 2523 12 0 0 25 0 8 0 274592396 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228909 20902 2182 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.04
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 4553 0 0 0 3 1 0 0 16 0 8 0 274592400 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.15
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 274592404 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274592404 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915636

[startup+51.2266 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 20148
/proc/meminfo: memFree=1216288/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=50.73
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 32518 0 1 0 5056 17 0 0 25 0 8 0 274592396 937611264 32253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228909 32253 2182 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.32
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 15900 0 0 0 26 6 0 0 16 0 8 0 274592400 937611264 32253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 32253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 32253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 32253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.16
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 404 0 0 0 16 0 0 0 17 0 8 0 274592404 937611264 32253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 32253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274592404 937611264 32253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915636

[startup+102.456 s]
/proc/loadavg: 2.00 2.00 1.92 3/106 20222
/proc/meminfo: memFree=1181008/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=101.41
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 41341 0 1 0 10119 22 0 0 25 0 8 0 274592396 937611264 41073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20140/statm: 228909 41073 2504 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.77
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 24331 0 0 0 68 9 0 0 16 0 8 0 274592400 937611264 41073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 41073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 41073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 41073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.22
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 444 0 0 0 21 1 0 0 15 0 8 0 274592404 937611264 41073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 41073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274592404 937611264 41073 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 915636

[startup+162.477 s]
/proc/loadavg: 2.33 2.08 1.95 4/106 20781
/proc/meminfo: memFree=1178704/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=156.94
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 41342 0 1 0 15671 23 0 0 25 0 8 0 274592396 937611264 41074 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783974 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2083.65 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 20898
/proc/meminfo: memFree=1136352/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=2068.71
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 57261 0 1 0 206824 47 0 0 25 0 8 0 274592396 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073929261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20140/statm: 228909 56975 2551 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.91
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 40096 0 0 0 75 16 0 0 16 0 8 0 274592400 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.32
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0.02
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2068.71
Current children cumulated vsize (KiB) 915636

[startup+2143.68 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 20898
/proc/meminfo: memFree=1136288/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=2128.42
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 57261 0 1 0 212795 47 0 0 25 0 8 0 274592396 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20140/statm: 228909 56975 2551 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.91
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 40096 0 0 0 75 16 0 0 16 0 8 0 274592400 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.32
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0.03
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2128.42
Current children cumulated vsize (KiB) 915636

[startup+2203.72 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 20898
/proc/meminfo: memFree=1136352/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=2188.11
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 57261 0 1 0 218764 47 0 0 25 0 8 0 274592396 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783858 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20140/statm: 228909 56975 2551 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.91
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 40096 0 0 0 75 16 0 0 16 0 8 0 274592400 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.32
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0.03
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2188.11
Current children cumulated vsize (KiB) 915636

[startup+2263.76 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 20898
/proc/meminfo: memFree=1136352/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=2247.84
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 57261 0 1 0 224737 47 0 0 25 0 8 0 274592396 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073929237 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20140/statm: 228909 56975 2551 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.91
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 40096 0 0 0 75 16 0 0 16 0 8 0 274592400 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.32
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0.03
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2247.84
Current children cumulated vsize (KiB) 915636

[startup+2323.8 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 20898
/proc/meminfo: memFree=1136288/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=2307.55
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 57261 0 1 0 230708 47 0 0 25 0 8 0 274592396 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20140/statm: 228909 56975 2551 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.91
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 40096 0 0 0 75 16 0 0 16 0 8 0 274592400 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.32
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0.03
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2307.55
Current children cumulated vsize (KiB) 915636

[startup+2383.83 s]
/proc/loadavg: 2.00 2.00 1.97 3/101 20898
/proc/meminfo: memFree=1136288/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=2367.26
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 57261 0 1 0 236678 48 0 0 25 0 8 0 274592396 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20140/statm: 228909 56975 2551 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.91
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 40096 0 0 0 75 16 0 0 16 0 8 0 274592400 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.32
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0.03
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2367.26
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2416.83 s]
/proc/loadavg: 2.06 2.01 1.98 3/101 20898
/proc/meminfo: memFree=1136288/2055920 swapFree=4169400/4192956
[pid=20140] ppid=20138 vsize=915636 CPUtime=2400.08
/proc/20140/stat : 20140 (java) R 20138 20140 19318 0 -1 0 57261 0 1 0 239960 48 0 0 25 0 8 0 274592396 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074069754 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20140/statm: 228909 56975 2551 14 0 215379 0
[pid=20140/tid=20142] ppid=20138 vsize=915636 CPUtime=0.91
/proc/20140/task/20142/stat : 20142 (java) S 20138 20140 19318 0 -1 64 40096 0 0 0 75 16 0 0 16 0 8 0 274592400 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20143] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20143/stat : 20143 (java) S 20138 20140 19318 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20144] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20144/stat : 20144 (java) S 20138 20140 19318 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592401 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20145] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20145/stat : 20145 (java) S 20138 20140 19318 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20146] ppid=20138 vsize=915636 CPUtime=0.32
/proc/20140/task/20146/stat : 20146 (java) S 20138 20140 19318 0 -1 64 499 0 0 0 31 1 0 0 16 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20140/tid=20147] ppid=20138 vsize=915636 CPUtime=0
/proc/20140/task/20147/stat : 20147 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20140/tid=20148] ppid=20138 vsize=915636 CPUtime=0.03
/proc/20140/task/20148/stat : 20148 (java) S 20138 20140 19318 0 -1 64 0 0 0 0 1 2 0 0 15 0 8 0 274592404 937611264 56975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2416.89
CPU time (s): 2400.14
CPU user time (s): 2399.63
CPU system time (s): 0.515921
CPU usage (%): 99.3071
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.63
system time used= 0.515921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57286
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= 50309
involuntary context switches= 96466

runsolver used 2.68259 s user time and 6.99694 s system time

The end

Launcher Data (download as text)

Begin job on node13 on Sat Jan 20 02:59:34 UTC 2007


IDJOB= 277241
IDBENCH= 6512
IDSOLVER= 68
FILE ID= node13/277241-1169261974

PBS_JOBID= 3607261

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d218a1129bf7e99e8b8586f845179931

RANDOM SEED= 237476811

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.247
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.247
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:       1337528 kB
Buffers:         60324 kB
Cached:         524276 kB
SwapCached:       3124 kB
Active:         325832 kB
Inactive:       315004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1337528 kB
SwapTotal:     4192956 kB
SwapFree:      4169400 kB
Dirty:            2344 kB
Writeback:           0 kB
Mapped:          73976 kB
Slab:            62144 kB
Committed_AS:  8508872 kB
PageTables:       2492 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 node13 on Sat Jan 20 03:39:51 UTC 2007