Trace number 277239

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.2 2410.83

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-6.xml
MD5SUMe7f314495f795a42e6623c58e98048b2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4072
Best CPU time to get the best result obtained on this benchmark2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1619
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/277239-1169261889/unknown.xml
0.35	   
0.35	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.53	     nbVariables=400  nbDomainTypes=400  minDomainSize=1521  maxDomainSize=1619
0.53	       =>  wckTime=0.235  cpuTime=0.17  mem=23M584
0.53	   
0.53	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
61.18	   
61.18	   INFO : Stopping converting binary constraints (cpu=60.18, mem = 103M65)
61.97	     nbConstraints=4180  nbConvertedConstraints=101  nbConvertConstraintsChecks=252872981  nbExtensionStructures=101
61.97	     nbSharedExtensionStructures=0  nbConflictsStructures=101  nbSharedConflictsStructures=0
61.97	     nbSharedBinaryRepresentations=12627  nbEvaluationManagers=4079  nbSharedEvaluationManagers=0  maxDegree=21
61.97	     maxArity=2
61.97	       =>  wckTime=61.68  cpuTime=60.58  mem=122M358
62.23	   
62.23	   solver LocalSearchSolver being built... 
62.27	       =>  wckTime=61.973  cpuTime=60.63  mem=108M878
62.53	
62.53	s SATISFIABLE
62.53	o 3742
62.53	c 438
62.70	o 3747
62.70	c 433
62.84	o 3752
62.84	c 428
63.02	o 3757
63.02	c 423
63.25	o 3762
63.25	c 418
63.50	o 3767
63.50	c 413
63.84	o 3772
63.84	c 408
64.04	o 3777
64.04	c 403
64.46	o 3781
64.46	c 399
64.82	o 3785
64.82	c 395
65.15	o 3789
65.15	c 391
65.47	o 3793
65.47	c 387
65.76	o 3797
65.76	c 383
66.01	o 3801
66.01	c 379
66.27	o 3805
66.27	c 375
66.49	o 3809
66.49	c 371
66.69	o 3813
66.69	c 367
66.99	o 3817
66.99	c 363
67.14	o 3821
67.14	c 359
67.29	o 3825
67.29	c 355
67.54	o 3828
67.54	c 352
68.02	o 3831
68.02	c 349
68.65	o 3834
68.65	c 346
68.88	o 3837
68.88	c 343
69.06	o 3841
69.06	c 339
69.69	o 3844
69.69	c 336
70.30	o 3847
70.30	c 333
70.94	o 3850
70.94	c 330
71.53	o 3853
71.53	c 327
72.06	o 3856
72.06	c 324
72.59	o 3859
72.59	c 321
73.13	o 3862
73.13	c 318
73.73	o 3865
73.73	c 315
74.23	o 3868
74.23	c 312
74.76	o 3871
74.76	c 309
75.28	o 3874
75.28	c 306
75.76	o 3877
75.76	c 303
76.23	o 3880
76.23	c 300
76.72	o 3883
76.72	c 297
77.13	o 3886
77.13	c 294
77.51	o 3889
77.51	c 291
77.88	o 3892
77.88	c 288
78.37	o 3895
78.37	c 285
78.71	o 3898
78.71	c 282
79.29	o 3900
79.29	c 280
79.87	o 3902
79.87	c 278
80.38	o 3904
80.38	c 276
80.89	o 3906
80.89	c 274
81.52	o 3908
81.52	c 272
82.01	o 3910
82.01	c 270
82.52	o 3912
82.52	c 268
83.08	o 3914
83.08	c 266
83.71	o 3916
83.72	c 264
84.33	o 3918
84.33	c 262
84.99	o 3920
84.99	c 260
85.31	o 3922
85.31	c 258
85.87	o 3923
85.87	c 257
86.43	o 3924
86.43	c 256
86.89	o 3926
86.89	c 254
87.69	o 3927
87.69	c 253
88.85	o 3929
88.85	c 251
89.92	o 3931
89.92	c 249
90.99	o 3933
90.99	c 247
92.04	o 3935
92.04	c 245
93.07	o 3937
93.07	c 243
94.10	o 3939
94.10	c 241
95.16	o 3941
95.16	c 239
96.11	o 3943
96.11	c 237
97.14	o 3945
97.14	c 235
98.12	o 3947
98.12	c 233
99.04	o 3949
99.04	c 231
99.90	o 3951
99.91	c 229
100.82	o 3953
100.82	c 227
101.71	o 3955
101.71	c 225
102.55	o 3957
102.55	c 223
103.41	o 3959
103.41	c 221
104.22	o 3961
104.22	c 219
105.04	o 3963
105.04	c 217
105.81	o 3965
105.81	c 215
106.70	o 3967
106.70	c 213
107.51	o 3969
107.51	c 211
108.22	o 3971
108.22	c 209
109.12	o 3973
109.12	c 207
109.80	o 3975
109.80	c 205
110.53	o 3977
110.53	c 203
111.24	o 3979
111.24	c 201
111.90	o 3981
111.90	c 199
112.50	o 3983
112.50	c 197
113.22	o 3985
113.22	c 195
113.86	o 3987
113.86	c 193
114.47	o 3989
114.47	c 191
115.27	o 3991
115.27	c 189
116.22	o 3992
116.22	c 188
117.10	o 3993
117.10	c 187
118.02	o 3994
118.02	c 186
118.91	o 3995
118.91	c 185
119.73	o 3996
119.73	c 184
120.59	o 3997
120.59	c 183
121.39	o 3998
121.39	c 182
122.20	o 3999
122.20	c 181
122.98	o 4000
122.98	c 180
123.81	o 4001
123.81	c 179
124.57	o 4002
124.57	c 178
125.36	o 4003
125.36	c 177
126.11	o 4004
126.11	c 176
126.82	o 4005
126.82	c 175
127.54	o 4006
127.54	c 174
128.18	o 4007
128.18	c 173
128.86	o 4008
128.86	c 172
129.44	o 4009
129.44	c 171
130.19	o 4010
130.19	c 170
130.70	o 4011
130.70	c 169
131.19	o 4012
131.19	c 168
131.77	o 4013
131.77	c 167
132.22	o 4014
132.22	c 166
132.78	o 4015
132.78	c 165
133.31	o 4016
133.31	c 164
136.50	o 4017
136.50	c 163
136.98	o 4018
136.98	c 162
137.50	o 4019
137.50	c 161
137.98	o 4020
137.98	c 160
138.61	o 4021
138.61	c 159
140.25	o 4023
140.25	c 157
141.07	o 4024
141.07	c 156
141.44	o 4025
141.44	c 155
142.74	o 4026
142.74	c 154
143.96	o 4027
143.96	c 153
145.29	o 4028
145.29	c 152
146.61	o 4029
146.61	c 151
147.88	o 4030
147.88	c 150
149.16	o 4031
149.17	c 149
150.41	o 4032
150.41	c 148
151.64	o 4033
151.64	c 147
152.90	o 4034
152.90	c 146
154.11	o 4035
154.11	c 145
155.31	o 4036
155.31	c 144
156.50	o 4037
156.50	c 143
157.65	o 4038
157.65	c 142
158.81	o 4039
158.81	c 141
159.98	o 4040
159.98	c 140
160.66	o 4042
160.66	c 138
161.75	o 4043
161.75	c 137
162.92	o 4044
162.92	c 136
164.06	o 4045
164.06	c 135
165.15	o 4046
165.15	c 134
166.24	o 4047
166.24	c 133
167.36	o 4048
167.36	c 132
168.36	o 4049
168.36	c 131
169.37	o 4050
169.37	c 130
170.49	o 4051
170.49	c 129
171.52	o 4052
171.52	c 128
172.58	o 4053
172.58	c 127
174.49	o 4054
174.49	c 126
175.45	o 4055
175.45	c 125
176.53	o 4056
176.53	c 124
177.45	o 4057
177.45	c 123
178.41	o 4058
178.41	c 122
179.30	o 4059
179.30	c 121
180.39	o 4060
180.39	c 120
181.27	o 4061
181.27	c 119
182.19	o 4062
182.19	c 118
183.40	o 4063
183.40	c 117
184.37	o 4064
184.37	c 116
184.76	o 4065
184.76	c 115
185.82	o 4066
185.82	c 114
187.26	o 4067
187.26	c 113
188.11	o 4068
188.11	c 112
189.08	o 4069
189.08	c 111
191.45	o 4070
191.45	c 110
207.96	o 4071
207.96	c 109
212.23	o 4072
212.23	c 108
243.05	   
243.05	   search
243.05	     run=0  nbConstraintChecks=417686526  nbAssignments=265
243.05	       =>  wckTime=180.78  cpuTime=179.29  mem=108M878
243.05	   
243.05	   global
243.05	     nbConstraintChecks=417686526  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
243.05	     solvingWckTime=180.754  solvingCpuTime=179.27  expiredTime=no  totalExploration=no  nbFoundSolutions=0
243.05	     globalCpuTime=239.96
243.05	       =>  wckTime=242.754  cpuTime=239.92  mem=108M878
243.05	   
243.05	   solver IterativeSystematicSolver being built... 
243.68	       =>  wckTime=243.384  cpuTime=240.14  mem=192M66
377.26	   
377.26	   preprocessing
377.26	     nbConstraintChecks=573816950  nbValidityChecks=771565  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
377.26	     nbRemovedValues=0  detectedInconsistency=no
377.26	       =>  wckTime=133.583  cpuTime=132.94  mem=192M66
2410.74	v 694 1316 1441 0 99 503 689 833 890 128 343 499 625 691 765 822 78 343 1105 1181 43 696 1514 374 529 70 348 1111 1366 90 681 786 1157 1380 967 1334 1451 482 602 1137 1100 1339 58 1101 356 879 1054 65 138 10 259 1133 1375 390 495 702 1000 1133 1104 1360 19 180 689 698 1248 1336 1566 487 884 1404 1555 773 1175 3 242 657 929 1004 1435 1511 467 683 801 1184 1425 10 169 634 836 1105 1513 0 132 177 236 639 1023 290 573 1228 32 739 1119 1229 1569 563 1271 1393 37 203 1213 1355 85 157 849 1197 1392 1497 121 903 811 870 1010 365 1428 1530 209 302 805 914 1413 244 1101 274 734 49 489 594 704 1197 997 31 221 1307 1450 571 1164 200 416 512 538 1367 1456 407 454 478 980 1206 893 1322 851 1189 1463 176 337 507 96 165 351 505 236 610 1114 269 891 1320 369 1036 1090 1428 1129 206 464 712 1379 15 143 420 760 1539 513 870 981 1283 683 842 918 1120 1262 1340 1282 352 669 908 1025 1272 1579 21 455 710 1216 594 1260 71 100 339 422 466 2 248 468 820 997 150 583 1491 242 423 1409 1499 2 250 14 105 1073 1530 1606 1168 188 406 312 389 585 1050 1208 1527 65 232 1253 157 474 534 1332 466 751 1359 1569 1184 1323 1478 287 911 182 749 1331 278 1003 732 1026 1310 457 922 243 571 1171 1394 702 779 902 1452 777 1422 1524 1586 1 100 236 369 516 605 1227 188 246 628 716 870 949 1135 1423 1534 11 135 255 1391 1001 4 448 511 657 752 822 1093 1267 1316 360 441 443 868 1374 1557 334 418 742 1464 1505 654 615 715 345 450 941 1014 1262 970 1394 1422 615 399 550 1505 94 609 1071 1168 1339 886 1170 1246 8 513 678 801 981 131 222 499 901 1134 1352 1512 58 186 1142 1520 1581 297 21 323 524 889 1014 1094 1145 1429 874 1277 1356 1504 662 718 384 511 685 1168 1582 263 783 1063 136 229 771 2 122 299 300 752 799 1141 15 406 

Verifier Data (download as text)

108 unsatisfied constraints, 4072 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/node12/watcher-277239-1169261889 -o ROOT/results/node12/solver-277239-1169261889 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277239-1169261889/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.92 1.98 1.90 4/87 32303
/proc/meminfo: memFree=1024856/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=18540 CPUtime=0
/proc/32302/stat : 32302 (runsolver) R 32300 32302 31840 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274583956 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32302/statm: 4635 279 244 17 0 2626 0

[startup+0.110094 s]
/proc/loadavg: 1.92 1.98 1.90 4/87 32303
/proc/meminfo: memFree=1024856/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=914988 CPUtime=0.09
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 3063 0 1 0 8 1 0 0 17 0 8 0 274583956 936947712 2809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155166642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228747 2809 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.521165 s]
/proc/loadavg: 1.92 1.98 1.90 4/87 32303
/proc/meminfo: memFree=1024856/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915332 CPUtime=0.49
/proc/32302/stat : 32302 (java) S 32300 32302 31840 0 -1 0 9610 0 1 0 44 5 0 0 17 0 8 0 274583956 937299968 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228833 9349 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.34231 s]
/proc/loadavg: 1.92 1.98 1.90 3/94 32310
/proc/meminfo: memFree=969056/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=1.3
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 16297 0 1 0 121 9 0 0 22 0 8 0 274583956 937611264 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 16036 2168 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274583960 937611264 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 274583960 937611264 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274583960 937611264 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.13
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 401 0 0 0 13 0 0 0 20 0 8 0 274583964 937611264 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 16036 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 16036 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.97961 s]
/proc/loadavg: 1.92 1.98 1.90 3/94 32310
/proc/meminfo: memFree=949664/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=2.94
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 21162 0 1 0 283 11 0 0 25 0 8 0 274583956 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 20899 2179 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=0.04
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 4556 0 0 0 3 1 0 0 17 0 8 0 274583960 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.14
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 404 0 0 0 14 0 0 0 16 0 8 0 274583964 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 20899 18446744073709551615 134512640 134570532 4294956480 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.18018 s]
/proc/loadavg: 1.93 1.98 1.90 3/94 32310
/proc/meminfo: memFree=949536/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=6.13
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 21163 0 1 0 602 11 0 0 25 0 8 0 274583956 937611264 20900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 20900 2179 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=0.04
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 4556 0 0 0 3 1 0 0 16 0 8 0 274583960 937611264 20900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 20900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 20900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 20900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.14
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 404 0 0 0 14 0 0 0 16 0 8 0 274583964 937611264 20900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 20900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 20900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915636

[startup+12.6604 s]
/proc/loadavg: 1.94 1.98 1.91 3/94 32310
/proc/meminfo: memFree=949544/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=12.58
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 21166 0 1 0 1247 11 0 0 25 0 8 0 274583956 937611264 20903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 20903 2179 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=0.04
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 4556 0 0 0 3 1 0 0 16 0 8 0 274583960 937611264 20903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 20903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 20903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 20903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.14
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 404 0 0 0 14 0 0 0 16 0 8 0 274583964 937611264 20903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 20903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 20903 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915636

[startup+25.5327 s]
/proc/loadavg: 1.95 1.98 1.91 3/94 32310
/proc/meminfo: memFree=949544/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=25.39
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 21167 0 1 0 2528 11 0 0 25 0 8 0 274583956 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 20904 2179 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=0.04
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 4556 0 0 0 3 1 0 0 16 0 8 0 274583960 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.14
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 404 0 0 0 14 0 0 0 16 0 8 0 274583964 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915640 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937615360 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915636

[startup+51.1613 s]
/proc/loadavg: 1.97 1.98 1.91 3/94 32310
/proc/meminfo: memFree=899112/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=50.9
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 33804 0 1 0 5073 17 0 0 25 0 8 0 274583956 937611264 33540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786697 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 33540 2179 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=0.34
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 17190 0 0 0 28 6 0 0 16 0 8 0 274583960 937611264 33540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 33540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 33540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 33540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.15
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 406 0 0 0 15 0 0 0 17 0 8 0 274583964 937611264 33540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 33540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 33540 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915636

[startup+102.415 s]
/proc/loadavg: 2.04 2.00 1.91 3/94 32310
/proc/meminfo: memFree=854824/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=101.91
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 45179 0 1 0 10169 22 0 0 25 0 8 0 274583956 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 44911 2501 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=0.88
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 28171 0 0 0 79 9 0 0 16 0 8 0 274583960 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.21
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 447 0 0 0 21 0 0 0 16 0 8 0 274583964 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915636

[startup+162.517 s]
/proc/loadavg: 2.01 2.00 1.91 3/94 32310
/proc/meminfo: memFree=854824/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=161.74
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 45179 0 1 0 16150 24 0 0 25 0 8 0 274583956 937611264 44911 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.4 s]
/proc/loadavg: 2.04 2.03 2.00 3/100 579
/proc/meminfo: memFree=1111864/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=2073.13
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 61374 0 1 0 207264 49 0 0 25 0 8 0 274583956 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929271 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 61084 2548 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=1.01
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 44205 0 0 0 86 15 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.29
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.13
Current children cumulated vsize (KiB) 915636

[startup+2143.45 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 579
/proc/meminfo: memFree=1111800/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=2133.11
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 61374 0 1 0 213262 49 0 0 25 0 8 0 274583956 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 61084 2548 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=1.01
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 44205 0 0 0 86 15 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.29
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.11
Current children cumulated vsize (KiB) 915636

[startup+2203.5 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 579
/proc/meminfo: memFree=1111800/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=2193.08
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 61374 0 1 0 219259 49 0 0 25 0 8 0 274583956 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 61084 2548 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=1.01
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 44205 0 0 0 86 15 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.29
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.08
Current children cumulated vsize (KiB) 915636

[startup+2263.55 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 579
/proc/meminfo: memFree=1111800/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=2253.07
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 61374 0 1 0 225258 49 0 0 25 0 8 0 274583956 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074061562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 61084 2548 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=1.01
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 44205 0 0 0 86 15 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.29
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.07
Current children cumulated vsize (KiB) 915636

[startup+2323.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 579
/proc/meminfo: memFree=1111800/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=2313.06
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 61374 0 1 0 231256 50 0 0 25 0 8 0 274583956 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074093540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 61084 2548 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=1.01
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 44205 0 0 0 86 15 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.29
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.06
Current children cumulated vsize (KiB) 915636

[startup+2383.65 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 579
/proc/meminfo: memFree=1111736/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=2373.03
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 61374 0 1 0 237253 50 0 0 25 0 8 0 274583956 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073930741 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 61084 2548 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=1.01
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 44205 0 0 0 86 15 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.29
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.03
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2410.69 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 579
/proc/meminfo: memFree=1111672/2055920 swapFree=4160348/4192956
[pid=32302] ppid=32300 vsize=915636 CPUtime=2400.1
/proc/32302/stat : 32302 (java) R 32300 32302 31840 0 -1 0 61374 0 1 0 239960 50 0 0 25 0 8 0 274583956 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32302/statm: 228909 61084 2548 14 0 215379 0
[pid=32302/tid=32304] ppid=32300 vsize=915636 CPUtime=1.01
/proc/32302/task/32304/stat : 32304 (java) S 32300 32302 31840 0 -1 64 44205 0 0 0 86 15 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32305] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32305/stat : 32305 (java) S 32300 32302 31840 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32306] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32306/stat : 32306 (java) S 32300 32302 31840 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274583960 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32307] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32307/stat : 32307 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32308] ppid=32300 vsize=915636 CPUtime=0.29
/proc/32302/task/32308/stat : 32308 (java) S 32300 32302 31840 0 -1 64 506 0 0 0 28 1 0 0 16 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32302/tid=32309] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32309/stat : 32309 (java) S 32300 32302 31840 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32302/tid=32310] ppid=32300 vsize=915636 CPUtime=0
/proc/32302/task/32310/stat : 32310 (java) S 32300 32302 31840 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274583964 937611264 61084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2410.83
CPU time (s): 2400.2
CPU user time (s): 2399.66
CPU system time (s): 0.536918
CPU usage (%): 99.5589
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.536918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61397
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= 50023
involuntary context switches= 40558

runsolver used 2.34364 s user time and 8.34873 s system time

The end

Launcher Data (download as text)

Begin job on node12 on Sat Jan 20 02:58:09 UTC 2007


IDJOB= 277239
IDBENCH= 6510
IDSOLVER= 69
FILE ID= node12/277239-1169261889

PBS_JOBID= 3607288

Free space on /tmp= 66559 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e7f314495f795a42e6623c58e98048b2

RANDOM SEED= 315451056

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.265
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.265
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:       1025336 kB
Buffers:         59420 kB
Cached:         515932 kB
SwapCached:       5164 kB
Active:         612352 kB
Inactive:       343364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1025336 kB
SwapTotal:     4192956 kB
SwapFree:      4160348 kB
Dirty:            2300 kB
Writeback:           0 kB
Mapped:         390776 kB
Slab:            59172 kB
Committed_AS:  7950692 kB
PageTables:       2760 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node12 on Sat Jan 20 03:38:20 UTC 2007