Trace number 277257

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.14 2419

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-3.xml
MD5SUM9551e0566e5fd6931ad796035015459e
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4069
Best CPU time to get the best result obtained on this benchmark2400.12
SatisfiableNO
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1582
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=pfc.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/277257-1169262745/unknown.xml
0.40	   
0.40	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.59	     nbVariables=400  nbDomainTypes=400  minDomainSize=1484  maxDomainSize=1582
0.59	       =>  wckTime=0.251  cpuTime=0.18  mem=22M638
0.59	   
0.59	   predicates being loaded...
0.59	   
0.59	   constraints being loaded...
61.77	   
61.77	   INFO : Stopping converting binary constraints (cpu=60.43, mem = 97M557)
62.59	     nbConstraints=4180  nbConvertedConstraints=102  nbConvertConstraintsChecks=241108881  nbExtensionStructures=102
62.59	     nbSharedExtensionStructures=0  nbConflictsStructures=102  nbSharedConflictsStructures=0
62.59	     nbSharedBinaryRepresentations=33741  nbEvaluationManagers=4078  nbSharedEvaluationManagers=0  maxDegree=21
62.59	     maxArity=2
62.59	       =>  wckTime=62.249  cpuTime=60.87  mem=110M361
62.83	   
62.83	   solver LocalSearchSolver being built... 
62.87	       =>  wckTime=62.531  cpuTime=60.92  mem=100M453
63.06	
63.06	s SATISFIABLE
63.06	o 3725
63.06	c 455
63.21	o 3731
63.21	c 449
63.51	o 3737
63.51	c 443
63.70	o 3742
63.70	c 438
63.89	o 3747
63.89	c 433
64.14	o 3752
64.14	c 428
64.34	o 3757
64.34	c 423
64.62	o 3762
64.62	c 418
64.81	o 3766
64.81	c 414
65.19	o 3769
65.19	c 411
65.35	o 3772
65.35	c 408
65.68	o 3775
65.68	c 405
66.00	o 3779
66.00	c 401
66.43	o 3783
66.43	c 397
66.81	o 3787
66.81	c 393
67.25	o 3791
67.25	c 389
67.52	o 3795
67.52	c 385
68.03	o 3798
68.03	c 382
68.57	o 3801
68.57	c 379
68.89	o 3804
68.89	c 376
69.43	o 3807
69.43	c 373
69.82	o 3810
69.82	c 370
70.43	o 3812
70.43	c 368
70.83	o 3813
70.83	c 367
71.77	o 3816
71.77	c 364
72.66	o 3819
72.66	c 361
73.50	o 3822
73.50	c 358
74.30	o 3825
74.30	c 355
75.09	o 3828
75.09	c 352
75.82	o 3831
75.82	c 349
76.53	o 3834
76.53	c 346
77.32	o 3837
77.32	c 343
77.99	o 3840
77.99	c 340
78.71	o 3843
78.71	c 337
79.32	o 3846
79.32	c 334
79.90	o 3849
79.90	c 331
80.42	o 3852
80.42	c 328
80.91	o 3855
80.91	c 325
81.45	o 3858
81.45	c 322
81.94	o 3861
81.94	c 319
82.42	o 3864
82.42	c 316
83.15	o 3867
83.15	c 313
83.87	o 3870
83.87	c 310
84.55	o 3873
84.55	c 307
85.46	o 3876
85.46	c 304
85.91	o 3879
85.91	c 301
86.27	o 3882
86.27	c 298
86.91	o 3884
86.91	c 296
87.57	o 3886
87.57	c 294
88.07	o 3889
88.07	c 291
88.64	o 3891
88.64	c 289
89.21	o 3893
89.21	c 287
89.76	o 3895
89.76	c 285
90.27	o 3897
90.27	c 283
90.86	o 3898
90.86	c 282
91.55	o 3899
91.55	c 281
92.28	o 3901
92.28	c 279
93.21	o 3903
93.21	c 277
94.60	o 3905
94.60	c 275
95.69	o 3906
95.69	c 274
97.07	o 3908
97.07	c 272
98.40	o 3910
98.40	c 270
99.75	o 3912
99.75	c 268
101.07	o 3914
101.07	c 266
102.39	o 3916
102.39	c 264
103.64	o 3918
103.64	c 262
104.88	o 3920
104.88	c 260
106.09	o 3922
106.09	c 258
107.32	o 3924
107.32	c 256
108.54	o 3926
108.54	c 254
109.70	o 3928
109.70	c 252
110.87	o 3930
110.87	c 250
112.03	o 3932
112.03	c 248
113.13	o 3934
113.13	c 246
114.22	o 3936
114.22	c 244
115.33	o 3938
115.33	c 242
116.37	o 3940
116.37	c 240
117.36	o 3942
117.36	c 238
118.41	o 3944
118.41	c 236
119.38	o 3946
119.38	c 234
120.33	o 3948
120.33	c 232
121.26	o 3950
121.26	c 230
122.21	o 3952
122.21	c 228
123.17	o 3954
123.17	c 226
124.07	o 3956
124.07	c 224
125.05	o 3958
125.05	c 222
125.92	o 3960
125.92	c 220
126.77	o 3962
126.77	c 218
127.58	o 3964
127.58	c 216
128.41	o 3966
128.41	c 214
129.26	o 3968
129.26	c 212
130.04	o 3970
130.04	c 210
130.77	o 3972
130.77	c 208
131.71	o 3974
131.71	c 206
132.64	o 3976
132.64	c 204
133.46	o 3978
133.46	c 202
134.15	o 3980
134.15	c 200
135.06	o 3982
135.06	c 198
135.76	o 3984
135.76	c 196
136.70	o 3986
136.70	c 194
137.38	o 3988
137.38	c 192
138.25	o 3989
138.25	c 191
139.13	o 3990
139.13	c 190
139.93	o 3991
139.93	c 189
140.74	o 3992
140.74	c 188
141.66	o 3993
141.66	c 187
142.40	o 3994
142.40	c 186
143.17	o 3995
143.17	c 185
143.92	o 3996
143.92	c 184
144.68	o 3997
144.68	c 183
145.39	o 3998
145.39	c 182
145.82	o 4000
145.82	c 180
146.43	o 4001
146.43	c 179
147.15	o 4002
147.15	c 178
147.73	o 4003
147.73	c 177
148.22	o 4004
148.22	c 176
148.77	o 4005
148.77	c 175
149.39	o 4006
149.39	c 174
149.99	o 4007
149.99	c 173
150.57	o 4008
150.57	c 172
151.13	o 4009
151.13	c 171
151.65	o 4010
151.65	c 170
152.11	o 4011
152.11	c 169
152.45	o 4013
152.45	c 167
153.03	o 4014
153.03	c 166
153.53	o 4015
153.53	c 165
153.94	o 4016
153.94	c 164
154.31	o 4017
154.31	c 163
157.48	o 4018
157.48	c 162
157.90	o 4019
157.90	c 161
158.74	o 4020
158.74	c 160
160.18	o 4021
160.18	c 159
160.95	o 4022
160.95	c 158
161.35	o 4024
161.35	c 156
161.75	o 4026
161.75	c 154
162.27	o 4028
162.27	c 152
163.04	o 4029
163.04	c 151
163.40	o 4031
163.40	c 149
164.48	o 4032
164.48	c 148
165.25	o 4033
165.25	c 147
166.29	o 4034
166.29	c 146
167.59	o 4035
167.59	c 145
168.86	o 4036
168.86	c 144
170.11	o 4037
170.11	c 143
171.31	o 4038
171.31	c 142
172.50	o 4039
172.50	c 141
173.67	o 4040
173.67	c 140
174.87	o 4041
174.87	c 139
176.05	o 4042
176.05	c 138
177.22	o 4043
177.22	c 137
178.33	o 4044
178.33	c 136
179.41	o 4045
179.41	c 135
180.48	o 4046
180.48	c 134
181.54	o 4047
181.54	c 133
182.61	o 4048
182.61	c 132
183.70	o 4049
183.70	c 131
184.84	o 4050
184.84	c 130
185.98	o 4051
185.98	c 129
187.10	o 4052
187.10	c 128
188.05	o 4053
188.05	c 127
189.00	o 4054
189.00	c 126
190.09	o 4055
190.09	c 125
191.01	o 4056
191.01	c 124
192.07	o 4057
192.07	c 123
193.00	o 4058
193.00	c 122
193.94	o 4059
193.94	c 121
194.98	o 4060
194.98	c 120
195.83	o 4061
195.83	c 119
196.68	o 4062
196.68	c 118
197.54	o 4063
197.54	c 117
198.50	o 4064
198.50	c 116
199.30	o 4065
199.30	c 115
200.39	o 4066
200.39	c 114
201.40	o 4067
201.40	c 113
206.22	o 4068
206.22	c 112
215.01	o 4069
215.01	c 111
245.51	   
245.51	   search
245.51	     run=0  nbConstraintChecks=378709091  nbAssignments=252
245.51	       =>  wckTime=182.643  cpuTime=180.94  mem=100M453
245.51	   
245.51	   global
245.51	     nbConstraintChecks=378709091  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
245.51	     solvingWckTime=182.615  solvingCpuTime=180.91  expiredTime=no  totalExploration=no  nbFoundSolutions=0
245.51	     globalCpuTime=241.91
245.51	       =>  wckTime=245.174  cpuTime=241.86  mem=100M453
245.51	   
245.51	   solver IterativeSystematicSolver being built... 
245.93	       =>  wckTime=245.592  cpuTime=242.1  mem=180M268
384.97	   
384.97	   preprocessing
384.97	     nbConstraintChecks=547017244  nbValidityChecks=756761  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
384.97	     nbRemovedValues=0  detectedInconsistency=no
384.97	       =>  wckTime=139.038  cpuTime=137.75  mem=181M256
2418.94	v 20 565 1450 1485 200 239 521 561 806 937 1160 1317 1043 1426 863 1424 1564 1435 1535 65 823 928 1164 1472 77 1360 1565 759 1208 1292 998 1508 842 1347 188 418 1445 121 248 677 297 1062 1205 1504 258 520 22 503 522 862 987 644 864 1298 907 1 93 407 11 247 1037 1116 1344 958 1095 243 888 423 640 1538 448 1046 1076 1097 1192 1260 83 1004 1215 1379 388 555 599 861 113 684 1076 1213 1289 399 1389 202 325 429 967 1102 1327 186 258 1209 568 17 97 405 619 753 1011 1140 1288 1331 10 273 322 720 213 540 592 632 1528 609 511 1538 0 222 1004 1476 88 845 1165 1286 1341 1537 0 136 523 917 242 802 905 1140 414 665 982 1186 1491 190 320 443 899 1091 1156 1321 1528 33 518 1298 1415 1499 692 796 17 249 492 409 698 152 359 658 199 448 699 959 1440 748 835 1048 1233 355 388 871 232 786 1228 1398 344 982 1085 1417 2 753 1109 165 233 968 1117 83 226 1 174 370 715 679 806 750 952 1408 31 250 1493 406 954 614 762 1520 437 759 1064 504 865 1385 266 810 38 178 380 1144 1262 1306 449 902 1036 144 592 34 104 681 1227 1340 1479 147 552 722 1437 22 753 51 106 365 856 894 232 302 424 564 1111 1488 18 581 748 1345 147 637 936 1041 599 860 1289 1456 1563 958 1320 1333 700 1150 499 1364 1445 185 912 1530 159 486 1247 214 593 204 251 276 362 491 563 846 959 1332 1418 1466 701 1021 1242 1351 535 947 1297 5 1183 1558 170 827 1305 1417 0 95 697 1379 385 720 1269 0 258 815 228 321 394 643 93 292 1152 1344 261 310 637 779 24 342 479 404 607 708 881 1488 988 1386 1495 926 1223 1334 872 1086 1190 1358 19 92 522 1022 1262 433 919 1319 999 1169 61 137 460 11 190 79 165 322 371 445 986 1087 1361 302 744 549 656 712 942 1572 88 14 120 802 1053 1231 372 445 537 779 1002 299 1146 149 254 635 1038 353 1160 1462

Verifier Data (download as text)

111 unsatisfied constraints, 4069 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/node4/watcher-277257-1169262745 -o ROOT/results/node4/solver-277257-1169262745 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277257-1169262745/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.98 4/93 31177
/proc/meminfo: memFree=1122488/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=18540 CPUtime=0
/proc/31176/stat : 31176 (runsolver) R 31174 31176 29773 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274670103 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31176/statm: 4635 279 244 17 0 2626 0

[startup+0.10785 s]
/proc/loadavg: 2.00 2.00 1.98 4/93 31177
/proc/meminfo: memFree=1122488/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=911488 CPUtime=0.06
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 2575 0 1 0 5 1 0 0 20 0 8 0 274670103 933363712 2322 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152076208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 227872 2322 1266 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488

[startup+0.515889 s]
/proc/loadavg: 2.00 2.00 1.98 4/93 31177
/proc/meminfo: memFree=1122488/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915332 CPUtime=0.47
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 6830 0 1 0 43 4 0 0 18 0 8 0 274670103 937299968 6569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 228833 6569 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332

[startup+1.33996 s]
/proc/loadavg: 2.08 2.02 1.98 3/100 31184
/proc/meminfo: memFree=1066944/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=1.28
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 16224 0 1 0 120 8 0 0 24 0 8 0 274670103 937611264 15963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792702 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 228909 15963 2168 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274670110 937611264 15963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 9 0 0 0 0 0 0 0 19 0 8 0 274670110 937611264 15963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274670110 937611264 15963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 15963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.15
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 401 0 0 0 15 0 0 0 16 0 8 0 274670114 937611264 15963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 15963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 15963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915636

[startup+2.97812 s]
/proc/loadavg: 2.08 2.02 1.98 3/100 31184
/proc/meminfo: memFree=1047232/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=2.91
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 21150 0 1 0 281 10 0 0 25 0 8 0 274670103 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 228909 20886 2179 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.04
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 4547 0 0 0 3 1 0 0 16 0 8 0 274670110 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.17
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 404 0 0 0 16 1 0 0 16 0 8 0 274670114 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 20886 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915636

[startup+6.18643 s]
/proc/loadavg: 2.07 2.02 1.98 3/100 31184
/proc/meminfo: memFree=1047104/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=6.09
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 21151 0 1 0 599 10 0 0 25 0 8 0 274670103 937611264 20887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 228909 20887 2179 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.04
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 4547 0 0 0 3 1 0 0 16 0 8 0 274670110 937611264 20887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 20887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 20887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 20887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.17
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 404 0 0 0 16 1 0 0 16 0 8 0 274670114 937611264 20887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 20887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 20887 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915636

[startup+12.654 s]
/proc/loadavg: 2.07 2.02 1.98 3/100 31184
/proc/meminfo: memFree=1047232/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=12.49
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 21155 0 1 0 1239 10 0 0 25 0 8 0 274670103 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 228909 20891 2179 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.04
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 4547 0 0 0 3 1 0 0 16 0 8 0 274670110 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.17
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 404 0 0 0 16 1 0 0 16 0 8 0 274670114 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915636

[startup+25.5133 s]
/proc/loadavg: 2.06 2.02 1.98 3/100 31184
/proc/meminfo: memFree=1047296/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=25.24
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 21157 0 1 0 2513 11 0 0 25 0 8 0 274670103 937611264 20893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 228909 20893 2179 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.04
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 4547 0 0 0 3 1 0 0 16 0 8 0 274670110 937611264 20893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 20893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 20893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 20893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.17
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 404 0 0 0 16 1 0 0 16 0 8 0 274670114 937611264 20893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 20893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 20893 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915636

[startup+51.1207 s]
/proc/loadavg: 2.03 2.02 1.98 3/100 31184
/proc/meminfo: memFree=998144/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=50.61
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 33410 0 1 0 5045 16 0 0 25 0 8 0 274670103 937611264 33145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 228909 33145 2179 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.34
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 16795 0 0 0 28 6 0 0 16 0 8 0 274670110 937611264 33145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 33145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 33145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 33145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.17
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 406 0 0 0 16 1 0 0 16 0 8 0 274670114 937611264 33145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 33145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 33145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915636

[startup+102.353 s]
/proc/loadavg: 2.09 2.03 1.99 3/100 31184
/proc/meminfo: memFree=960640/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=101.37
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 43113 0 1 0 10117 20 0 0 25 0 8 0 274670103 937611264 42845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31176/statm: 228909 42845 2501 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.85
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 26106 0 0 0 77 8 0 0 16 0 8 0 274670110 937611264 42845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 42845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 42845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 42845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.23
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 446 0 0 0 22 1 0 0 15 0 8 0 274670114 937611264 42845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 42845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 42845 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 915636

[startup+162.416 s]
/proc/loadavg: 2.07 2.03 1.99 3/100 31184
/proc/meminfo: memFree=960576/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=160.88
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 43114 0 1 0 16067 21 0 0 25 0 8 0 274670103 937611264 42846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.23 s]
/proc/loadavg: 2.05 2.01 2.00 3/101 31260
/proc/meminfo: memFree=1116216/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=2065.68
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 59026 0 1 0 206522 46 0 0 25 0 8 0 274670103 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074093935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31176/statm: 228909 58736 2548 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.98
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 41857 0 0 0 84 14 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.33
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2065.68
Current children cumulated vsize (KiB) 915636

[startup+2144.33 s]
/proc/loadavg: 2.02 2.01 2.00 3/101 31260
/proc/meminfo: memFree=1116280/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=2125.73
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 59026 0 1 0 212527 46 0 0 25 0 8 0 274670103 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31176/statm: 228909 58736 2548 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.98
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 41857 0 0 0 84 14 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.33
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2125.73
Current children cumulated vsize (KiB) 915636

[startup+2204.43 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 31260
/proc/meminfo: memFree=1116216/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=2185.74
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 59026 0 1 0 218528 46 0 0 25 0 8 0 274670103 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785851 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31176/statm: 228909 58736 2548 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.98
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 41857 0 0 0 84 14 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.33
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2185.74
Current children cumulated vsize (KiB) 915636

[startup+2264.53 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 31260
/proc/meminfo: memFree=1116280/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=2245.79
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 59026 0 1 0 224533 46 0 0 25 0 8 0 274670103 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931901 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31176/statm: 228909 58736 2548 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.98
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 41857 0 0 0 84 14 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.33
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) R 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2245.79
Current children cumulated vsize (KiB) 915636

[startup+2324.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 31260
/proc/meminfo: memFree=1116216/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=2305.84
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 59026 0 1 0 230537 47 0 0 25 0 8 0 274670103 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074093965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31176/statm: 228909 58736 2548 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.98
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 41857 0 0 0 84 14 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.33
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2305.84
Current children cumulated vsize (KiB) 915636

[startup+2384.63 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 31260
/proc/meminfo: memFree=1116216/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=2365.77
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 59026 0 1 0 236530 47 0 0 25 0 8 0 274670103 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074093156 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31176/statm: 228909 58736 2548 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.98
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 41857 0 0 0 84 14 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.33
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2365.77
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2418.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 31260
/proc/meminfo: memFree=1116216/2055920 swapFree=4182144/4192956
[pid=31176] ppid=31174 vsize=915636 CPUtime=2400.06
/proc/31176/stat : 31176 (java) R 31174 31176 29773 0 -1 0 59026 0 1 0 239959 47 0 0 25 0 8 0 274670103 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073925451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31176/statm: 228909 58736 2548 14 0 215379 0
[pid=31176/tid=31178] ppid=31174 vsize=915636 CPUtime=0.98
/proc/31176/task/31178/stat : 31178 (java) S 31174 31176 29773 0 -1 64 41857 0 0 0 84 14 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31179] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31179/stat : 31179 (java) S 31174 31176 29773 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31180] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31180/stat : 31180 (java) S 31174 31176 29773 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274670110 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31181] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31181/stat : 31181 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31182] ppid=31174 vsize=915636 CPUtime=0.33
/proc/31176/task/31182/stat : 31182 (java) S 31174 31176 29773 0 -1 64 505 0 0 0 31 2 0 0 16 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31183] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31183/stat : 31183 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31176/tid=31184] ppid=31174 vsize=915636 CPUtime=0
/proc/31176/task/31184/stat : 31184 (java) S 31174 31176 29773 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274670114 937611264 58736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915636

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

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

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

runsolver used 2.76058 s user time and 7.96979 s system time

The end

Launcher Data (download as text)

Begin job on node4 on Sat Jan 20 03:12:25 UTC 2007


IDJOB= 277257
IDBENCH= 6519
IDSOLVER= 69
FILE ID= node4/277257-1169262745

PBS_JOBID= 3607268

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  9551e0566e5fd6931ad796035015459e

RANDOM SEED= 76888359

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.223
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.223
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:       1122904 kB
Buffers:         64952 kB
Cached:         514812 kB
SwapCached:       2180 kB
Active:         423396 kB
Inactive:       426320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1122904 kB
SwapTotal:     4192956 kB
SwapFree:      4182144 kB
Dirty:            2244 kB
Writeback:           0 kB
Mapped:         289836 kB
Slab:            67416 kB
Committed_AS:  8448540 kB
PageTables:       2892 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 node4 on Sat Jan 20 03:52:44 UTC 2007