Trace number 277263

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.09 2410.59

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.36	   
0.36	Abscon 109 (November, 2006)
0.36	   
0.36	   configuration
0.36	     name=pfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/277263-1169262982/unknown.xml
0.42	   
0.42	   domains being loaded...
0.48	   
0.48	   variables being loaded...
0.60	     nbVariables=400  nbDomainTypes=400  minDomainSize=1497  maxDomainSize=1595
0.60	       =>  wckTime=0.232  cpuTime=0.16  mem=23M603
0.60	   
0.60	   predicates being loaded...
0.60	   
0.60	   constraints being loaded...
61.33	   
61.33	   INFO : Stopping converting binary constraints (cpu=60.54, mem = 94M584)
62.05	     nbConstraints=4180  nbConvertedConstraints=111  nbConvertConstraintsChecks=263459151  nbExtensionStructures=111
62.05	     nbSharedExtensionStructures=0  nbConflictsStructures=111  nbSharedConflictsStructures=0
62.05	     nbSharedBinaryRepresentations=98077  nbEvaluationManagers=4069  nbSharedEvaluationManagers=0  maxDegree=21
62.05	     maxArity=2
62.05	       =>  wckTime=61.682  cpuTime=60.93  mem=104M848
62.27	   
62.27	   solver LocalSearchSolver being built... 
62.31	       =>  wckTime=61.944  cpuTime=60.97  mem=92M550
62.52	
62.52	s SATISFIABLE
62.52	o 3769
62.52	c 411
62.85	o 3774
62.85	c 406
63.02	o 3779
63.02	c 401
63.12	o 3784
63.12	c 396
63.51	o 3787
63.51	c 393
63.78	o 3791
63.78	c 389
64.09	o 3795
64.09	c 385
64.47	o 3799
64.47	c 381
64.78	o 3803
64.78	c 377
65.07	o 3807
65.07	c 373
65.29	o 3811
65.29	c 369
65.49	o 3815
65.49	c 365
65.72	o 3819
65.72	c 361
65.94	o 3823
65.94	c 357
66.34	o 3827
66.34	c 353
66.58	o 3831
66.58	c 349
66.92	o 3834
66.92	c 346
67.34	o 3837
67.34	c 343
67.85	o 3840
67.85	c 340
68.55	o 3843
68.55	c 337
69.24	o 3846
69.24	c 334
69.84	o 3849
69.84	c 331
70.51	o 3852
70.51	c 328
71.08	o 3855
71.08	c 325
71.71	o 3858
71.71	c 322
72.23	o 3861
72.23	c 319
72.91	o 3864
72.91	c 316
73.47	o 3867
73.47	c 313
73.93	o 3870
73.93	c 310
74.45	o 3873
74.45	c 307
74.92	o 3876
74.92	c 304
75.38	o 3879
75.38	c 301
75.96	o 3882
75.96	c 298
76.46	o 3885
76.46	c 295
77.04	o 3888
77.04	c 292
77.58	o 3890
77.58	c 290
78.23	o 3892
78.23	c 288
78.79	o 3894
78.79	c 286
79.29	o 3896
79.29	c 284
79.77	o 3898
79.77	c 282
80.21	o 3900
80.21	c 280
80.70	o 3902
80.70	c 278
81.19	o 3904
81.19	c 276
81.61	o 3906
81.61	c 274
82.08	o 3908
82.08	c 272
82.53	o 3910
82.53	c 270
82.86	o 3912
82.86	c 268
83.28	o 3914
83.28	c 266
83.73	o 3915
83.73	c 265
84.50	o 3916
84.50	c 264
85.74	o 3919
85.74	c 261
86.88	o 3921
86.88	c 259
88.00	o 3923
88.00	c 257
89.14	o 3925
89.14	c 255
90.23	o 3927
90.23	c 253
91.32	o 3929
91.32	c 251
92.38	o 3931
92.38	c 249
93.38	o 3933
93.38	c 247
94.36	o 3935
94.36	c 245
95.37	o 3937
95.37	c 243
96.37	o 3939
96.37	c 241
97.33	o 3941
97.33	c 239
98.23	o 3943
98.23	c 237
99.15	o 3945
99.15	c 235
100.01	o 3947
100.01	c 233
100.91	o 3949
100.91	c 231
101.80	o 3951
101.80	c 229
102.62	o 3953
102.62	c 227
103.42	o 3955
103.42	c 225
104.20	o 3957
104.20	c 223
104.95	o 3959
104.95	c 221
105.65	o 3961
105.65	c 219
106.48	o 3963
106.48	c 217
107.17	o 3965
107.17	c 215
107.99	o 3967
107.99	c 213
108.77	o 3969
108.77	c 211
109.51	o 3971
109.51	c 209
110.20	o 3973
110.20	c 207
111.03	o 3975
111.03	c 205
111.75	o 3977
111.75	c 203
112.35	o 3979
112.35	c 201
112.94	o 3981
112.94	c 199
113.77	o 3983
113.77	c 197
114.56	o 3985
114.56	c 195
115.39	o 3986
115.39	c 194
116.22	o 3987
116.22	c 193
117.11	o 3988
117.11	c 192
117.87	o 3989
117.87	c 191
118.62	o 3990
118.62	c 190
119.34	o 3991
119.34	c 189
120.05	o 3992
120.05	c 188
120.74	o 3993
120.74	c 187
121.35	o 3994
121.35	c 186
121.96	o 3995
121.96	c 185
122.81	o 3996
122.81	c 184
123.40	o 3997
123.40	c 183
124.14	o 3998
124.14	c 182
124.76	o 3999
124.76	c 181
125.28	o 4000
125.28	c 180
125.80	o 4001
125.80	c 179
126.37	o 4002
126.37	c 178
127.05	o 4003
127.05	c 177
127.49	o 4004
127.49	c 176
127.90	o 4005
127.90	c 175
128.30	o 4006
128.30	c 174
128.69	o 4007
128.69	c 173
129.09	o 4008
129.09	c 172
129.77	o 4009
129.77	c 171
130.14	o 4010
130.14	c 170
131.86	o 4011
131.86	c 169
133.26	o 4012
133.26	c 168
133.61	o 4013
133.61	c 167
134.08	o 4015
134.08	c 165
134.49	o 4016
134.49	c 164
134.89	o 4018
134.89	c 162
135.12	o 4020
135.12	c 160
135.35	o 4022
135.35	c 158
135.74	o 4023
135.74	c 157
136.30	o 4024
136.30	c 156
137.04	o 4025
137.04	c 155
137.28	o 4026
137.28	c 154
137.74	o 4027
137.74	c 153
138.87	o 4028
138.87	c 152
139.51	o 4029
139.51	c 151
139.97	o 4030
139.97	c 150
141.29	o 4031
141.29	c 149
143.39	o 4032
143.39	c 148
144.69	o 4033
144.69	c 147
145.99	o 4034
145.99	c 146
147.24	o 4035
147.24	c 145
148.49	o 4036
148.49	c 144
150.96	o 4037
150.96	c 143
152.17	o 4038
152.17	c 142
154.97	o 4039
154.97	c 141
156.14	o 4040
156.14	c 140
157.34	o 4041
157.34	c 139
158.47	o 4042
158.47	c 138
159.60	o 4043
159.60	c 137
160.75	o 4044
160.75	c 136
161.84	o 4045
161.84	c 135
162.90	o 4046
162.90	c 134
163.98	o 4047
163.98	c 133
165.05	o 4048
165.05	c 132
166.12	o 4049
166.12	c 131
167.56	o 4050
167.56	c 130
168.60	o 4051
168.60	c 129
169.69	o 4052
169.69	c 128
170.66	o 4053
170.66	c 127
171.65	o 4054
171.65	c 126
172.58	o 4055
172.58	c 125
173.52	o 4056
173.52	c 124
174.44	o 4057
174.44	c 123
175.43	o 4058
175.43	c 122
176.41	o 4059
176.41	c 121
177.45	o 4060
177.45	c 120
178.41	o 4061
178.41	c 119
179.64	o 4062
179.64	c 118
180.53	o 4063
180.53	c 117
188.05	o 4064
188.05	c 116
218.51	   
218.51	   search
218.51	     run=0  nbConstraintChecks=368026474  nbAssignments=219
218.51	       =>  wckTime=156.202  cpuTime=156.0  mem=92M550
218.51	   
218.51	   global
218.51	     nbConstraintChecks=368026474  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
218.51	     solvingWckTime=156.175  solvingCpuTime=155.98  expiredTime=no  totalExploration=no  nbFoundSolutions=0
218.51	     globalCpuTime=217.02
218.51	       =>  wckTime=218.145  cpuTime=216.97  mem=92M550
218.51	   
218.51	   solver IterativeSystematicSolver being built... 
218.90	       =>  wckTime=218.535  cpuTime=217.2  mem=173M632
356.78	   
356.78	   preprocessing
356.78	     nbConstraintChecks=555988497  nbValidityChecks=760711  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
356.78	     nbRemovedValues=0  detectedInconsistency=no
356.78	       =>  wckTime=137.878  cpuTime=137.33  mem=173M632
2410.52	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/node14/watcher-277263-1169262982 -o ROOT/results/node14/solver-277263-1169262982 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277263-1169262982/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.21 2.07 1.97 3/87 23678
/proc/meminfo: memFree=1299528/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=1784 CPUtime=0
/proc/23677/stat : 23677 (java) D 23675 23677 22193 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 274693154 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/23677/statm: 446 163 128 14 0 91 0

[startup+0.108583 s]
/proc/loadavg: 2.21 2.07 1.97 3/87 23678
/proc/meminfo: memFree=1299528/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=906128 CPUtime=0.01
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 1939 0 1 0 1 0 0 0 18 0 1 0 274693154 927875072 1688 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 0 0 0 17 0 0 0
/proc/23677/statm: 226532 1688 978 14 0 214115 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 906128

[startup+0.516584 s]
/proc/loadavg: 2.21 2.07 1.97 3/87 23678
/proc/meminfo: memFree=1299528/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915332 CPUtime=0.42
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 6240 0 1 0 38 4 0 0 25 0 8 0 274693154 937299968 5979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23677/statm: 228833 5982 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332

[startup+1.33966 s]
/proc/loadavg: 2.21 2.07 1.97 3/94 23685
/proc/meminfo: memFree=1244240/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=1.24
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 16237 0 1 0 116 8 0 0 25 0 8 0 274693154 937611264 15976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23677/statm: 228909 15976 2168 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274693166 937611264 15976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274693166 937611264 15976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274693166 937611264 15976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 15976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.14
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 400 0 0 0 14 0 0 0 16 0 8 0 274693169 937611264 15976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 15976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 15976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915636

[startup+2.98482 s]
/proc/loadavg: 2.28 2.08 1.98 3/94 23685
/proc/meminfo: memFree=1224528/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=2.88
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 21154 0 1 0 279 9 0 0 25 0 8 0 274693154 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804852 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23677/statm: 228909 20891 2179 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.04
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 4550 0 0 0 3 1 0 0 17 0 8 0 274693166 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.15
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274693169 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 20891 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915636

[startup+6.26413 s]
/proc/loadavg: 2.28 2.08 1.98 3/94 23685
/proc/meminfo: memFree=1224400/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=6.16
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 21155 0 1 0 607 9 0 0 25 0 8 0 274693154 937611264 20892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23677/statm: 228909 20892 2179 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.04
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 4550 0 0 0 3 1 0 0 16 0 8 0 274693166 937611264 20892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 20892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 20892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 20892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.15
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274693169 937611264 20892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 20892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 20892 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915636

[startup+12.7547 s]
/proc/loadavg: 2.23 2.08 1.98 3/94 23685
/proc/meminfo: memFree=1224400/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=12.65
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 21158 0 1 0 1256 9 0 0 25 0 8 0 274693154 937611264 20895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23677/statm: 228909 20895 2179 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.04
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 4550 0 0 0 3 1 0 0 16 0 8 0 274693166 937611264 20895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 20895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 20895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 20895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.15
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274693169 937611264 20895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 20895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 20895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915636

[startup+25.608 s]
/proc/loadavg: 2.20 2.08 1.98 3/94 23685
/proc/meminfo: memFree=1224400/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=25.46
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 21160 0 1 0 2537 9 0 0 25 0 8 0 274693154 937611264 20897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23677/statm: 228909 20897 2179 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.04
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 4550 0 0 0 3 1 0 0 16 0 8 0 274693166 937611264 20897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 20897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 20897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 20897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.15
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 403 0 0 0 15 0 0 0 16 0 8 0 274693169 937611264 20897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 20897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 20897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915636

[startup+51.2244 s]
/proc/loadavg: 2.13 2.07 1.98 3/94 23685
/proc/meminfo: memFree=1183120/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=51.08
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 31498 0 1 0 5094 14 0 0 25 0 8 0 274693154 937611264 31234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786664 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23677/statm: 228909 31234 2179 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.28
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 14885 0 0 0 24 4 0 0 16 0 8 0 274693166 937611264 31234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 31234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 31234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 31234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.15
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 405 0 0 0 15 0 0 0 17 0 8 0 274693169 937611264 31234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 31234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 31234 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915636

[startup+102.453 s]
/proc/loadavg: 2.05 2.06 1.98 3/94 23685
/proc/meminfo: memFree=1145680/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=102.25
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 41175 0 1 0 10206 19 0 0 25 0 8 0 274693154 937611264 40908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786235 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23677/statm: 228909 40908 2501 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.73
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 24170 0 0 0 65 8 0 0 16 0 8 0 274693166 937611264 40908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 40908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 40908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 40908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.21
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 445 0 0 0 21 0 0 0 15 0 8 0 274693169 937611264 40908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 40908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 40908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915636

[startup+162.535 s]
/proc/loadavg: 2.02 2.04 1.98 3/94 23685
/proc/meminfo: memFree=1145616/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=162.25
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 41176 0 1 0 16204 21 0 0 25 0 8 0 274693154 937611264 40909 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927969 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2084.54 s]
/proc/loadavg: 2.04 2.02 2.00 3/100 23755
/proc/meminfo: memFree=1060136/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=2075.57
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 57131 0 1 0 207514 43 0 0 25 0 8 0 274693154 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23677/statm: 228909 56840 2549 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.85
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 39961 0 0 0 72 13 0 0 16 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.3
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 506 0 0 0 29 1 0 0 16 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2075.57
Current children cumulated vsize (KiB) 915636

[startup+2144.61 s]
/proc/loadavg: 2.01 2.02 2.00 3/100 23755
/proc/meminfo: memFree=1060072/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=2135.36
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 57131 0 1 0 213492 44 0 0 25 0 8 0 274693154 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23677/statm: 228909 56840 2549 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.85
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 39961 0 0 0 72 13 0 0 16 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.3
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 506 0 0 0 29 1 0 0 16 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2135.36
Current children cumulated vsize (KiB) 915636

[startup+2204.68 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 23755
/proc/meminfo: memFree=1060072/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=2195.15
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 57131 0 1 0 219471 44 0 0 25 0 8 0 274693154 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074091568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23677/statm: 228909 56840 2549 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.85
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 39961 0 0 0 72 13 0 0 16 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.3
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 506 0 0 0 29 1 0 0 16 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2195.15
Current children cumulated vsize (KiB) 915636

[startup+2264.75 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 23755
/proc/meminfo: memFree=1060072/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=2254.95
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 57131 0 1 0 225450 45 0 0 25 0 8 0 274693154 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23677/statm: 228909 56840 2549 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.85
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 39961 0 0 0 72 13 0 0 16 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274693166 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.3
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 506 0 0 0 29 1 0 0 16 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 56840 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2254.95
Current children cumulated vsize (KiB) 915636

[startup+2324.83 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 23755
/proc/meminfo: memFree=1060072/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=2314.74
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 57133 0 1 0 231429 45 0 0 25 0 8 0 274693154 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074099436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23677/statm: 228909 56841 2549 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.85
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 39961 0 0 0 72 13 0 0 16 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.3
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 507 0 0 0 29 1 0 0 16 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2314.74
Current children cumulated vsize (KiB) 915636

[startup+2384.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 23755
/proc/meminfo: memFree=1060008/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=2374.53
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 57133 0 1 0 237407 46 0 0 25 0 8 0 274693154 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073925451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23677/statm: 228909 56841 2549 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.85
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 39961 0 0 0 72 13 0 0 16 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.3
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 507 0 0 0 29 1 0 0 16 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2374.53
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2410.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 23755
/proc/meminfo: memFree=1060072/2055920 swapFree=4158792/4192956
[pid=23677] ppid=23675 vsize=915636 CPUtime=2400.02
/proc/23677/stat : 23677 (java) R 23675 23677 22193 0 -1 0 57133 0 1 0 239956 46 0 0 25 0 8 0 274693154 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23677/statm: 228909 56841 2549 14 0 215379 0
[pid=23677/tid=23679] ppid=23675 vsize=915636 CPUtime=0.85
/proc/23677/task/23679/stat : 23679 (java) S 23675 23677 22193 0 -1 64 39961 0 0 0 72 13 0 0 16 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23680] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23680/stat : 23680 (java) S 23675 23677 22193 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23681] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23681/stat : 23681 (java) S 23675 23677 22193 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274693166 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23682] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23682/stat : 23682 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23683] ppid=23675 vsize=915636 CPUtime=0.3
/proc/23677/task/23683/stat : 23683 (java) S 23675 23677 22193 0 -1 64 507 0 0 0 29 1 0 0 16 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23677/tid=23684] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23684/stat : 23684 (java) S 23675 23677 22193 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23677/tid=23685] ppid=23675 vsize=915636 CPUtime=0
/proc/23677/task/23685/stat : 23685 (java) S 23675 23677 22193 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274693169 937611264 56841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2410.59
CPU time (s): 2400.09
CPU user time (s): 2399.59
CPU system time (s): 0.499924
CPU usage (%): 99.5648
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.59
system time used= 0.499924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57156
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= 50233
involuntary context switches= 76700

runsolver used 2.89656 s user time and 7.78682 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Sat Jan 20 03:16:22 UTC 2007


IDJOB= 277263
IDBENCH= 6522
IDSOLVER= 69
FILE ID= node14/277263-1169262982

PBS_JOBID= 3607278

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-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277263-1169262982/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-277263-1169262982 -o ROOT/results/node14/solver-277263-1169262982 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277263-1169262982/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  35e4216e34935e9081eda29536a155be

RANDOM SEED= 578608936

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.227
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.227
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:       1300008 kB
Buffers:         51980 kB
Cached:         594488 kB
SwapCached:       3272 kB
Active:         194532 kB
Inactive:       484476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1300008 kB
SwapTotal:     4192956 kB
SwapFree:      4158792 kB
Dirty:            2420 kB
Writeback:           0 kB
Mapped:          42064 kB
Slab:            61572 kB
Committed_AS:  8831384 kB
PageTables:       2200 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66561 MiB



End job on node14 on Sat Jan 20 03:56:33 UTC 2007