Trace number 277262

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.12 2401.44

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-5.xml
MD5SUM35e4216e34935e9081eda29536a155be
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4064
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1595
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=epfc.xml
0.32	   
0.32	   instance
0.32	     name=/tmp/evaluation/277262-1169262975/unknown.xml
0.35	   
0.35	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.52	     nbVariables=400  nbDomainTypes=400  minDomainSize=1497  maxDomainSize=1595
0.52	       =>  wckTime=0.232  cpuTime=0.17  mem=23M581
0.52	   
0.52	   predicates being loaded...
0.53	   
0.53	   constraints being loaded...
60.84	   
60.85	   INFO : Stopping converting binary constraints (cpu=60.12, mem = 91M678)
61.57	     nbConstraints=4180  nbConvertedConstraints=108  nbConvertConstraintsChecks=256126941  nbExtensionStructures=108
61.57	     nbSharedExtensionStructures=0  nbConflictsStructures=108  nbSharedConflictsStructures=0
61.57	     nbSharedBinaryRepresentations=94740  nbEvaluationManagers=4072  nbSharedEvaluationManagers=0  maxDegree=21
61.57	     maxArity=2
61.57	       =>  wckTime=61.278  cpuTime=60.55  mem=101M505
61.79	   
61.79	   solver LocalSearchSolver being built... 
61.83	       =>  wckTime=61.533  cpuTime=60.59  mem=91M29
62.04	
62.04	s SATISFIABLE
62.04	o 3769
62.04	c 411
62.37	o 3774
62.37	c 406
62.54	o 3779
62.54	c 401
62.64	o 3784
62.64	c 396
63.03	o 3787
63.03	c 393
63.29	o 3791
63.29	c 389
63.60	o 3795
63.60	c 385
63.98	o 3799
63.98	c 381
64.30	o 3803
64.30	c 377
64.59	o 3807
64.59	c 373
64.82	o 3811
64.82	c 369
65.01	o 3815
65.01	c 365
65.25	o 3819
65.25	c 361
65.47	o 3823
65.47	c 357
65.88	o 3827
65.88	c 353
66.12	o 3831
66.12	c 349
66.46	o 3834
66.46	c 346
66.89	o 3837
66.89	c 343
67.40	o 3840
67.40	c 340
68.11	o 3843
68.11	c 337
68.80	o 3846
68.80	c 334
69.40	o 3849
69.40	c 331
70.08	o 3852
70.08	c 328
70.66	o 3855
70.66	c 325
71.29	o 3858
71.29	c 322
71.83	o 3861
71.83	c 319
72.55	o 3864
72.55	c 316
73.11	o 3867
73.12	c 313
73.58	o 3870
73.58	c 310
74.11	o 3873
74.11	c 307
74.58	o 3876
74.58	c 304
75.05	o 3879
75.05	c 301
75.64	o 3882
75.64	c 298
76.15	o 3885
76.15	c 295
76.73	o 3888
76.73	c 292
77.29	o 3890
77.29	c 290
77.96	o 3892
77.96	c 288
78.53	o 3894
78.53	c 286
79.04	o 3896
79.04	c 284
79.53	o 3898
79.53	c 282
79.98	o 3900
79.98	c 280
80.47	o 3902
80.47	c 278
80.97	o 3904
80.97	c 276
81.40	o 3906
81.40	c 274
81.88	o 3908
81.88	c 272
82.35	o 3910
82.35	c 270
82.68	o 3912
82.68	c 268
83.11	o 3914
83.11	c 266
83.57	o 3915
83.57	c 265
84.35	o 3916
84.35	c 264
85.60	o 3919
85.60	c 261
86.76	o 3921
86.76	c 259
87.89	o 3923
87.89	c 257
89.03	o 3925
89.03	c 255
90.14	o 3927
90.14	c 253
91.25	o 3929
91.25	c 251
92.33	o 3931
92.33	c 249
93.34	o 3933
93.34	c 247
94.33	o 3935
94.33	c 245
95.36	o 3937
95.36	c 243
96.38	o 3939
96.38	c 241
97.35	o 3941
97.35	c 239
98.27	o 3943
98.27	c 237
99.21	o 3945
99.21	c 235
100.09	o 3947
100.09	c 233
101.00	o 3949
101.00	c 231
101.91	o 3951
101.91	c 229
102.74	o 3953
102.74	c 227
103.55	o 3955
103.55	c 225
104.34	o 3957
104.34	c 223
105.10	o 3959
105.10	c 221
105.81	o 3961
105.81	c 219
106.64	o 3963
106.64	c 217
107.34	o 3965
107.34	c 215
108.16	o 3967
108.16	c 213
108.93	o 3969
108.93	c 211
109.68	o 3971
109.68	c 209
110.38	o 3973
110.38	c 207
111.22	o 3975
111.22	c 205
111.95	o 3977
111.95	c 203
112.55	o 3979
112.55	c 201
113.15	o 3981
113.15	c 199
113.99	o 3983
113.99	c 197
114.78	o 3985
114.78	c 195
115.62	o 3986
115.62	c 194
116.46	o 3987
116.46	c 193
117.39	o 3988
117.39	c 192
118.17	o 3989
118.17	c 191
118.94	o 3990
118.94	c 190
119.67	o 3991
119.67	c 189
120.40	o 3992
120.40	c 188
121.09	o 3993
121.09	c 187
121.71	o 3994
121.71	c 186
122.33	o 3995
122.33	c 185
123.19	o 3996
123.19	c 184
123.79	o 3997
123.79	c 183
124.53	o 3998
124.53	c 182
125.16	o 3999
125.16	c 181
125.69	o 4000
125.69	c 180
126.22	o 4001
126.22	c 179
126.79	o 4002
126.79	c 178
127.48	o 4003
127.48	c 177
127.93	o 4004
127.93	c 176
128.34	o 4005
128.34	c 175
128.74	o 4006
128.74	c 174
129.14	o 4007
129.14	c 173
129.53	o 4008
129.53	c 172
130.21	o 4009
130.21	c 171
130.59	o 4010
130.59	c 170
132.33	o 4011
132.33	c 169
133.74	o 4012
133.75	c 168
134.11	o 4013
134.11	c 167
134.58	o 4015
134.58	c 165
135.00	o 4016
135.00	c 164
135.41	o 4018
135.41	c 162
135.65	o 4020
135.65	c 160
135.88	o 4022
135.88	c 158
136.27	o 4023
136.27	c 157
136.85	o 4024
136.85	c 156
137.61	o 4025
137.61	c 155
137.85	o 4026
137.85	c 154
138.32	o 4027
138.32	c 153
139.48	o 4028
139.48	c 152
140.14	o 4029
140.14	c 151
140.61	o 4030
140.61	c 150
141.94	o 4031
141.94	c 149
144.09	o 4032
144.09	c 148
145.41	o 4033
145.41	c 147
146.74	o 4034
146.74	c 146
148.00	o 4035
148.00	c 145
149.26	o 4036
149.26	c 144
151.77	o 4037
151.77	c 143
153.00	o 4038
153.00	c 142
155.83	o 4039
155.83	c 141
157.01	o 4040
157.01	c 140
158.23	o 4041
158.23	c 139
159.39	o 4042
159.39	c 138
160.55	o 4043
160.55	c 137
161.70	o 4044
161.70	c 136
162.83	o 4045
162.83	c 135
163.90	o 4046
163.90	c 134
165.00	o 4047
165.00	c 133
166.08	o 4048
166.08	c 132
167.17	o 4049
167.17	c 131
168.62	o 4050
168.62	c 130
169.67	o 4051
169.67	c 129
170.77	o 4052
170.77	c 128
171.75	o 4053
171.75	c 127
172.76	o 4054
172.76	c 126
173.71	o 4055
173.71	c 125
174.67	o 4056
174.67	c 124
175.60	o 4057
175.60	c 123
176.60	o 4058
176.60	c 122
177.59	o 4059
177.59	c 121
178.65	o 4060
178.65	c 120
179.63	o 4061
179.63	c 119
180.89	o 4062
180.89	c 118
181.79	o 4063
181.79	c 117
189.41	o 4064
189.41	c 116
219.78	   
219.78	   search
219.78	     run=0  nbConstraintChecks=366882576  nbAssignments=218
219.78	       =>  wckTime=157.957  cpuTime=157.75  mem=91M29
219.78	   
219.78	   global
219.78	     nbConstraintChecks=366882576  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
219.78	     solvingWckTime=157.93  solvingCpuTime=157.72  expiredTime=no  totalExploration=no  nbFoundSolutions=0
219.78	     globalCpuTime=218.38
219.78	       =>  wckTime=219.491  cpuTime=218.34  mem=91M29
219.78	   
219.78	   solver IterativeSystematicSolver being built... 
220.18	       =>  wckTime=219.893  cpuTime=218.57  mem=172M204
2401.37	v 33 88 676 699 1068 1556 546 1326 1386 863 1285 1449 894 138 697 140 1082 1211 1307 1544 45 285 1232 113 267 314 1039 1388 1459 1533 389 942 1468 1584 326 369 437 773 284 309 734 1120 1291 1475 13 317 897 1081 1196 1422 13 507 864 1446 854 1133 1333 25 661 1167 110 210 454 872 102 131 198 726 1306 858 960 1279 0 47 116 489 260 313 1435 1 383 449 641 1474 285 1056 1151 1254 1101 1488 418 569 1056 1302 1482 707 945 1570 440 1068 906 1085 1003 9 342 424 529 1117 1266 13 392 439 615 7 358 857 382 545 1330 1461 1311 1358 1544 103 526 1136 1579 1105 802 1428 1492 16 865 20 85 532 1460 594 1387 1415 21 262 921 1251 1349 877 1176 1254 1379 91 593 1447 1273 1365 40 1125 1511 5 87 939 191 670 872 744 999 1061 1199 1240 768 1006 1264 1503 964 1050 1187 1279 194 548 677 1233 318 513 1228 1526 364 878 1388 206 346 988 1104 284 418 540 990 1327 737 1192 789 841 57 0 131 668 878 1441 829 17 297 724 1069 1172 209 349 559 1030 1425 973 1141 1085 973 1392 1566 78 152 694 1136 1404 1584 0 137 597 746 1523 189 787 841 1461 399 936 514 736 1037 1428 1483 466 72 214 636 6 94 403 732 890 1337 263 318 204 439 753 361 132 276 1055 1128 1174 283 664 926 1134 148 572 791 1470 1526 677 1332 333 651 1264 639 742 814 834 1159 1147 1256 54 239 135 223 1171 104 379 192 492 537 856 1184 1498 509 642 858 473 542 1023 64 552 565 1193 1264 1388 18 346 451 784 1301 1557 1 726 922 75 211 438 1298 27 124 263 450 1051 1286 1362 9 309 479 1401 479 582 1038 1488 328 839 572 887 983 1029 1206 1331 262 1093 56 180 898 110 346 539 919 1257 1418 1563 218 847 1162 1228 1379 77 117 663 1386 1482 455 517 4 76 1159 1529 265 294 482 692 295 489 696 987 582 729 1039 958 1367 1427 875 43 694 827 693 961 1375 225 948 1480

Verifier Data (download as text)

116 unsatisfied constraints, 4064 satisfied constraints

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node15/watcher-277262-1169262975 -o ROOT/results/node15/solver-277262-1169262975 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277262-1169262975/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.99 4/86 13796
/proc/meminfo: memFree=1430472/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=172 CPUtime=0
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 274692310 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7512363 0 0 4096 0 0 0 0 17 0 0 0
/proc/13795/statm: 43 24 18 14 0 3 0

[startup+0.107447 s]
/proc/loadavg: 2.00 2.00 1.99 4/86 13796
/proc/meminfo: memFree=1430472/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=914988 CPUtime=0.09
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 3072 0 1 0 8 1 0 0 23 0 8 0 274692310 936947712 2818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228747 2818 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.518516 s]
/proc/loadavg: 2.00 2.00 1.99 4/86 13796
/proc/meminfo: memFree=1430472/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915332 CPUtime=0.5
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 9568 0 1 0 45 5 0 0 25 0 8 0 274692310 937299968 9307 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228833 9307 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34166 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 13803
/proc/meminfo: memFree=1375056/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=1.32
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 16446 0 1 0 124 8 0 0 25 0 8 0 274692310 937611264 16184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804852 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 16184 2171 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274692314 937611264 16184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274692314 937611264 16184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274692314 937611264 16184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 16184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.15
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274692317 937611264 16184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 16184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 16184 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915636

[startup+2.97894 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 13803
/proc/meminfo: memFree=1355408/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=2.96
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 21159 0 1 0 286 10 0 0 25 0 8 0 274692310 937611264 20896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786743 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 20896 2182 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.04
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 4549 0 0 0 3 1 0 0 16 0 8 0 274692314 937611264 20896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 20896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 20896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 20896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.15
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274692317 937611264 20896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 20896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 20896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915636

[startup+6.2795 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 13803
/proc/meminfo: memFree=1355224/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=6.25
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 21162 0 1 0 615 10 0 0 25 0 8 0 274692310 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 20899 2182 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.04
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 4549 0 0 0 3 1 0 0 16 0 8 0 274692314 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.15
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274692317 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 20899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915636

[startup+12.7556 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 13803
/proc/meminfo: memFree=1355224/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=12.72
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 21163 0 1 0 1262 10 0 0 25 0 8 0 274692310 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 20900 2182 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.04
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 4549 0 0 0 3 1 0 0 16 0 8 0 274692314 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.15
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274692317 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 20900 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915636

[startup+25.6168 s]
/proc/loadavg: 2.00 2.00 1.99 3/93 13803
/proc/meminfo: memFree=1355352/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=25.59
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 21165 0 1 0 2548 11 0 0 25 0 8 0 274692310 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 20902 2182 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.04
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 4549 0 0 0 3 1 0 0 16 0 8 0 274692314 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.15
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274692317 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 20902 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915636

[startup+51.2342 s]
/proc/loadavg: 2.08 2.02 2.00 3/93 13803
/proc/meminfo: memFree=1314136/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=51.16
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 31504 0 1 0 5101 15 0 0 25 0 8 0 274692310 937611264 31240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785172 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 31240 2182 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.27
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 14885 0 0 0 22 5 0 0 16 0 8 0 274692314 937611264 31240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 31240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 31240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 31240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.15
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 405 0 0 0 15 0 0 0 17 0 8 0 274692317 937611264 31240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 31240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 31240 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915636

[startup+102.455 s]
/proc/loadavg: 2.03 2.01 2.00 3/93 13803
/proc/meminfo: memFree=1278168/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=102.32
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 40811 0 1 0 10213 19 0 0 25 0 8 0 274692310 937611264 40544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 40544 2504 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.71
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 23800 0 0 0 63 8 0 0 16 0 8 0 274692314 937611264 40544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 40544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 40544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 40544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.21
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 445 0 0 0 21 0 0 0 15 0 8 0 274692317 937611264 40544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 40544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 40544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 915636

[startup+162.519 s]
/proc/loadavg: 2.08 2.03 2.00 3/93 13803
/proc/meminfo: memFree=1278104/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=162.3
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 40812 0 1 0 16210 20 0 0 25 0 8 0 274692310 937611264 40545 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.67 s]
/proc/loadavg: 1.02 1.02 1.19 2/85 13823
/proc/meminfo: memFree=1226224/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=2082.44
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 56762 0 1 0 208212 32 0 0 25 0 8 0 274692310 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 56474 2551 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.84
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 39593 0 0 0 70 14 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.3
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 502 0 0 0 29 1 0 0 16 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.44
Current children cumulated vsize (KiB) 915636

[startup+2143.7 s]
/proc/loadavg: 1.01 1.01 1.18 2/85 13823
/proc/meminfo: memFree=1226224/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=2142.45
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 56762 0 1 0 214212 33 0 0 25 0 8 0 274692310 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074059122 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 56474 2551 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.84
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 39593 0 0 0 70 14 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.3
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 502 0 0 0 29 1 0 0 16 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 915636

[startup+2203.72 s]
/proc/loadavg: 1.00 1.01 1.16 2/85 13823
/proc/meminfo: memFree=1226224/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=2202.45
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 56762 0 1 0 220212 33 0 0 25 0 8 0 274692310 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 56474 2551 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.84
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 39593 0 0 0 70 14 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.3
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 502 0 0 0 29 1 0 0 16 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.45
Current children cumulated vsize (KiB) 915636

[startup+2263.74 s]
/proc/loadavg: 1.00 1.00 1.15 2/85 13823
/proc/meminfo: memFree=1226224/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=2262.45
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 56762 0 1 0 226212 33 0 0 25 0 8 0 274692310 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 56474 2551 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.84
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 39593 0 0 0 70 14 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.3
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 502 0 0 0 29 1 0 0 16 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.45
Current children cumulated vsize (KiB) 915636

[startup+2323.76 s]
/proc/loadavg: 1.00 1.00 1.14 2/85 13823
/proc/meminfo: memFree=1226224/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=2322.45
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 56762 0 1 0 232212 33 0 0 25 0 8 0 274692310 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785152 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 56474 2551 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.84
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 39593 0 0 0 70 14 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.3
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 502 0 0 0 29 1 0 0 16 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.45
Current children cumulated vsize (KiB) 915636

[startup+2383.79 s]
/proc/loadavg: 1.04 1.01 1.13 2/85 13823
/proc/meminfo: memFree=1226160/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=2382.47
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 56762 0 1 0 238213 34 0 0 25 0 8 0 274692310 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 56474 2551 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.84
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 39593 0 0 0 70 14 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.3
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 502 0 0 0 29 1 0 0 16 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.47
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.36 s]
/proc/loadavg: 1.03 1.01 1.13 2/85 13823
/proc/meminfo: memFree=1226224/2055920 swapFree=4173628/4192956
[pid=13795] ppid=13793 vsize=915636 CPUtime=2400.04
/proc/13795/stat : 13795 (java) R 13793 13795 12229 0 -1 0 56762 0 1 0 239970 34 0 0 25 0 8 0 274692310 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074059069 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13795/statm: 228909 56474 2551 14 0 215379 0
[pid=13795/tid=13797] ppid=13793 vsize=915636 CPUtime=0.84
/proc/13795/task/13797/stat : 13797 (java) S 13793 13795 12229 0 -1 64 39593 0 0 0 70 14 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13798] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13798/stat : 13798 (java) S 13793 13795 12229 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13799] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13799/stat : 13799 (java) S 13793 13795 12229 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274692314 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13800] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13800/stat : 13800 (java) S 13793 13795 12229 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13801] ppid=13793 vsize=915636 CPUtime=0.3
/proc/13795/task/13801/stat : 13801 (java) S 13793 13795 12229 0 -1 64 502 0 0 0 29 1 0 0 16 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13802] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13802/stat : 13802 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13795/tid=13803] ppid=13793 vsize=915636 CPUtime=0
/proc/13795/task/13803/stat : 13803 (java) S 13793 13795 12229 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274692317 937611264 56474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2401.44
CPU time (s): 2400.12
CPU user time (s): 2399.74
CPU system time (s): 0.376942
CPU usage (%): 99.9448
Max. virtual memory (cumulated for all children) (KiB): 915640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.74
system time used= 0.376942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56787
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= 50064
involuntary context switches= 29638

runsolver used 2.28765 s user time and 6.81696 s system time

The end

Launcher Data (download as text)

Begin job on node15 on Sat Jan 20 03:16:15 UTC 2007


IDJOB= 277262
IDBENCH= 6522
IDSOLVER= 68
FILE ID= node15/277262-1169262975

PBS_JOBID= 3607277

Free space on /tmp= 66560 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  35e4216e34935e9081eda29536a155be

RANDOM SEED= 823969730

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1430888 kB
Buffers:         52684 kB
Cached:         458656 kB
SwapCached:       5936 kB
Active:         195492 kB
Inactive:       354904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1430888 kB
SwapTotal:     4192956 kB
SwapFree:      4173628 kB
Dirty:            2248 kB
Writeback:           0 kB
Mapped:          50072 kB
Slab:            59208 kB
Committed_AS:  8442252 kB
PageTables:       2344 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 node15 on Sat Jan 20 03:56:16 UTC 2007