Trace number 277242

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.15 2414.91

General information on the benchmark

Nametaillard/
js-taillard-20/js-taillard-20-95-0.xml
MD5SUMd218a1129bf7e99e8b8586f845179931
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints4074
Best CPU time to get the best result obtained on this benchmark2400.15
SatisfiableNO
(Un)Satisfiability was proved
Number of variables400
Number of constraints4180
Maximum constraint arity2
Maximum domain size1580
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4180
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.31	   
0.31	Abscon 109 (November, 2006)
0.31	   
0.31	   configuration
0.31	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277242-1169261977/unknown.xml
0.37	   
0.37	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.56	     nbVariables=400  nbDomainTypes=400  minDomainSize=1482  maxDomainSize=1580
0.56	       =>  wckTime=0.25  cpuTime=0.17  mem=22M643
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
61.55	   
61.55	   INFO : Stopping converting binary constraints (cpu=60.52, mem = 93M269)
62.33	     nbConstraints=4180  nbConvertedConstraints=103  nbConvertConstraintsChecks=241742722  nbExtensionStructures=103
62.33	     nbSharedExtensionStructures=0  nbConflictsStructures=103  nbSharedConflictsStructures=0
62.33	     nbSharedBinaryRepresentations=64300  nbEvaluationManagers=4077  nbSharedEvaluationManagers=0  maxDegree=21
62.33	     maxArity=2
62.33	       =>  wckTime=62.022  cpuTime=60.96  mem=102M435
62.56	   
62.56	   solver LocalSearchSolver being built... 
62.60	       =>  wckTime=62.292  cpuTime=61.01  mem=93M944
62.81	
62.81	s SATISFIABLE
62.81	o 3749
62.81	c 431
62.88	o 3754
62.88	c 426
63.26	o 3759
63.26	c 421
63.43	o 3763
63.43	c 417
63.89	o 3767
63.89	c 413
64.32	o 3771
64.32	c 409
64.76	o 3775
64.76	c 405
65.21	o 3779
65.21	c 401
65.59	o 3783
65.59	c 397
66.03	o 3787
66.03	c 393
66.43	o 3791
66.43	c 389
66.95	o 3794
66.95	c 386
67.44	o 3797
67.44	c 383
67.85	o 3800
67.85	c 380
68.12	o 3803
68.12	c 377
68.52	o 3806
68.52	c 374
69.09	o 3807
69.10	c 373
69.94	o 3811
69.94	c 369
70.84	o 3814
70.84	c 366
71.77	o 3817
71.77	c 363
72.66	o 3820
72.66	c 360
73.49	o 3823
73.49	c 357
74.32	o 3826
74.32	c 354
75.14	o 3829
75.14	c 351
75.92	o 3832
75.92	c 348
76.76	o 3835
76.76	c 345
77.54	o 3838
77.54	c 342
78.25	o 3841
78.25	c 339
78.97	o 3844
78.97	c 336
79.74	o 3847
79.74	c 333
80.49	o 3850
80.49	c 330
81.08	o 3853
81.08	c 327
81.68	o 3856
81.68	c 324
82.34	o 3859
82.34	c 321
82.95	o 3862
82.95	c 318
83.46	o 3865
83.46	c 315
84.06	o 3868
84.06	c 312
84.50	o 3871
84.50	c 309
85.00	o 3874
85.00	c 306
85.59	o 3877
85.59	c 303
86.11	o 3880
86.11	c 300
86.53	o 3883
86.53	c 297
87.19	o 3886
87.19	c 294
87.80	o 3888
87.80	c 292
88.39	o 3890
88.39	c 290
88.95	o 3892
88.95	c 288
89.62	o 3894
89.62	c 286
90.13	o 3896
90.13	c 284
91.03	o 3898
91.03	c 282
91.51	o 3900
91.51	c 280
92.28	o 3902
92.28	c 278
92.87	o 3904
92.87	c 276
93.45	o 3905
93.45	c 275
94.24	o 3906
94.24	c 274
95.14	o 3907
95.14	c 273
95.99	o 3908
95.99	c 272
97.08	o 3910
97.08	c 270
97.65	o 3913
97.65	c 267
98.99	o 3915
98.99	c 265
100.29	o 3917
100.29	c 263
101.57	o 3919
101.57	c 261
102.81	o 3921
102.81	c 259
104.01	o 3923
104.01	c 257
105.22	o 3925
105.22	c 255
106.40	o 3927
106.40	c 253
107.53	o 3929
107.53	c 251
108.69	o 3931
108.69	c 249
109.77	o 3933
109.77	c 247
110.92	o 3935
110.92	c 245
111.96	o 3937
111.96	c 243
112.99	o 3939
112.99	c 241
114.06	o 3941
114.06	c 239
115.04	o 3943
115.04	c 237
116.03	o 3945
116.03	c 235
116.99	o 3947
116.99	c 233
117.89	o 3949
117.89	c 231
118.86	o 3951
118.86	c 229
119.73	o 3953
119.73	c 227
120.68	o 3955
120.68	c 225
121.54	o 3957
121.54	c 223
122.34	o 3959
122.34	c 221
123.19	o 3961
123.19	c 219
123.99	o 3963
123.99	c 217
124.87	o 3965
124.87	c 215
125.59	o 3967
125.59	c 213
126.42	o 3969
126.42	c 211
127.21	o 3971
127.21	c 209
127.90	o 3973
127.90	c 207
128.67	o 3975
128.67	c 205
129.42	o 3977
129.42	c 203
130.18	o 3979
130.18	c 201
131.08	o 3981
131.08	c 199
131.68	o 3983
131.68	c 197
132.34	o 3985
132.34	c 195
133.10	o 3987
133.10	c 193
133.82	o 3989
133.82	c 191
134.67	o 3990
134.67	c 190
135.53	o 3991
135.53	c 189
136.02	o 3993
136.02	c 187
136.79	o 3994
136.79	c 186
137.55	o 3995
137.55	c 185
138.34	o 3996
138.34	c 184
139.01	o 3997
139.02	c 183
139.66	o 3998
139.66	c 182
140.29	o 3999
140.29	c 181
140.87	o 4000
140.87	c 180
141.42	o 4002
141.42	c 178
141.99	o 4003
141.99	c 177
142.57	o 4004
142.57	c 176
143.13	o 4005
143.13	c 175
143.59	o 4006
143.59	c 174
144.41	o 4007
144.41	c 173
144.96	o 4008
144.96	c 172
145.48	o 4009
145.48	c 171
146.08	o 4010
146.08	c 170
149.96	o 4011
149.96	c 169
150.63	o 4012
150.63	c 168
151.60	o 4013
151.61	c 167
152.63	o 4014
152.63	c 166
153.60	o 4015
153.60	c 165
154.03	o 4016
154.03	c 164
155.33	o 4017
155.33	c 163
157.88	o 4018
157.88	c 162
160.04	o 4019
160.04	c 161
161.08	o 4020
161.08	c 160
163.42	o 4022
163.42	c 158
166.87	o 4023
166.87	c 157
168.44	o 4024
168.44	c 156
170.03	o 4025
170.03	c 155
171.62	o 4026
171.62	c 154
173.16	o 4027
173.16	c 153
174.71	o 4028
174.71	c 152
177.59	o 4029
177.59	c 151
179.08	o 4030
179.08	c 150
180.58	o 4031
180.58	c 149
182.05	o 4032
182.05	c 148
183.50	o 4033
183.50	c 147
184.76	o 4034
184.76	c 146
186.16	o 4035
186.16	c 145
187.55	o 4036
187.55	c 144
188.92	o 4037
188.92	c 143
190.26	o 4038
190.26	c 142
191.61	o 4039
191.61	c 141
193.03	o 4040
193.03	c 140
194.35	o 4041
194.35	c 139
195.71	o 4042
195.71	c 138
197.11	o 4043
197.11	c 137
198.41	o 4044
198.41	c 136
199.33	o 4046
199.33	c 134
201.51	o 4047
201.51	c 133
203.25	o 4048
203.25	c 132
204.43	o 4049
204.43	c 131
205.54	o 4050
205.54	c 130
206.64	o 4051
206.64	c 129
207.76	o 4052
207.76	c 128
208.85	o 4053
208.85	c 127
209.92	o 4054
209.92	c 126
211.12	o 4055
211.12	c 125
212.12	o 4056
212.12	c 124
213.12	o 4057
213.12	c 123
214.11	o 4058
214.11	c 122
215.09	o 4059
215.09	c 121
216.24	o 4060
216.24	c 120
217.22	o 4061
217.22	c 119
218.33	o 4062
218.33	c 118
219.31	o 4063
219.31	c 117
220.41	o 4064
220.41	c 116
221.37	o 4065
221.37	c 115
222.68	o 4066
222.68	c 114
223.95	o 4067
223.95	c 113
224.84	o 4068
224.84	c 112
226.00	o 4069
226.00	c 111
226.87	o 4070
226.87	c 110
230.40	o 4071
230.40	c 109
244.84	o 4072
244.84	c 108
245.63	o 4073
245.63	c 107
276.19	   
276.19	   search
276.19	     run=0  nbConstraintChecks=444566688  nbAssignments=259
276.19	       =>  wckTime=213.592  cpuTime=209.8  mem=93M944
276.19	   
276.19	   global
276.19	     nbConstraintChecks=444566688  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
276.19	     solvingWckTime=213.563  solvingCpuTime=209.78  expiredTime=no  totalExploration=no  nbFoundSolutions=0
276.19	     globalCpuTime=270.85
276.19	       =>  wckTime=275.883  cpuTime=270.81  mem=93M944
276.19	   
276.19	   solver IterativeSystematicSolver being built... 
276.60	       =>  wckTime=276.293  cpuTime=271.04  mem=173M853
413.41	   
413.42	   preprocessing
413.42	     nbConstraintChecks=545034413  nbValidityChecks=748633  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
413.42	     nbRemovedValues=0  detectedInconsistency=no
413.42	       =>  wckTime=136.809  cpuTime=136.16  mem=173M853
1534.77	o 4074
1534.77	c 106
1596.81	   
1596.81	   search
1596.81	     run=0  nbConstraintChecks=4324680916  nbValidityChecks=2081945301  nbPropagations=0  nbRevisions=0
1596.81	     nbUselessRevisions=0  nbAssignments=407  nbFailedAssignments=7  nbBacktracks=291  nbVisitedNodes=637
1596.81	     nbRestartNogoods=0
1596.81	       =>  wckTime=1320.204  cpuTime=1313.61  mem=174M894
2414.82	v 528 671 728 0 888 1053 0 359 421 478 677 763 377 887 0 493 760 266 432 745 393 432 965 97 1031 163 456 539 351 682 770 99 542 575 600 226 464 993 365 1005 508 927 993 319 382 0 437 518 1099 1188 0 948 1014 311 425 451 1028 269 512 642 735 828 0 373 801 180 538 578 839 272 617 695 762 92 516 595 265 597 0 834 479 883 965 0 720 793 332 471 539 95 299 775 888 1005 169 916 298 1014 265 601 853 947 192 840 0 94 265 357 93 414 86 483 555 237 422 1024 0 321 635 872 321 414 456 532 574 670 699 91 471 541 558 666 97 986 295 1010 94 303 569 587 407 441 519 699 99 499 836 172 716 1159 379 618 684 183 363 429 930 989 364 699 660 0 413 475 777 839 92 172 221 404 93 998 1138 185 567 94 1104 186 452 530 670 755 822 98 433 461 466 525 896 258 728 190 593 164 1096 196 266 363 610 870 361 502 541 602 731 178 1049 278 506 270 920 0 714 916 96 622 669 788 863 871 0 181 459 493 1053 242 615 249 613 276 805 876 99 458 839 329 386 823 429 760 0 97 890 0 828 982 1010 322 583 504 521 610 669 725 788 806 823 853 869 876 530 606 749 359 521 604 1091 445 518 523 671 179 616 732 0 867 964 268 423 600 539 721 297 654 270 432 630 318 636 703 806 839 874 952 964 315 922 0 353 373 3 258 542 96 475 544 947 1041 1081 181 384 580 695 745 256 529 574 725 782 954 316 466 508 196 586 639 666 327 365 421 521 606 618 666 671 756 191 794 863 930 0 285 544 321 361 382 316 575 745 861 885 329 750 254 610 665 0 97 176 362 0 187 703 0 1053 1099 0 361 613 684 255 755 794 1060 0 388 437 512 782 874 381 452 595 669 855 869 98 557 664 696 885 892 0 451 1005 96 563 180 671 706 

Verifier Data (download as text)

106 unsatisfied constraints, 4074 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/node9/watcher-277242-1169261977 -o ROOT/results/node9/solver-277242-1169261977 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277242-1169261977/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.06 2.02 1.94 4/86 31550
/proc/meminfo: memFree=1272144/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=1784 CPUtime=0
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 274592885 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/31549/statm: 446 140 106 14 0 91 0

[startup+0.104999 s]
/proc/loadavg: 2.06 2.02 1.94 4/86 31550
/proc/meminfo: memFree=1272144/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=914988 CPUtime=0.08
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 2997 0 1 0 7 1 0 0 20 0 8 0 274592885 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228747 2743 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.513047 s]
/proc/loadavg: 2.06 2.02 1.94 4/86 31550
/proc/meminfo: memFree=1272144/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915332 CPUtime=0.5
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 8179 0 1 0 45 5 0 0 18 0 8 0 274592885 937299968 7918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610773 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228833 7918 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.33613 s]
/proc/loadavg: 2.06 2.01 1.94 3/93 31557
/proc/meminfo: memFree=1216664/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=1.32
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 16210 0 1 0 123 9 0 0 25 0 8 0 274592885 937611264 15949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228909 15949 2168 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274592889 937611264 15949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 274592889 937611264 15949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 274592889 937611264 15949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 15949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.16
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 400 0 0 0 16 0 0 0 15 0 8 0 274592893 937611264 15949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 15949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 15949 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915636

[startup+2.98932 s]
/proc/loadavg: 2.06 2.01 1.94 3/93 31557
/proc/meminfo: memFree=1196888/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=2.96
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 21162 0 1 0 286 10 0 0 25 0 8 0 274592885 937611264 20898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228909 20898 2179 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.05
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 4557 0 0 0 4 1 0 0 17 0 8 0 274592889 937611264 20898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 20898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 20898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 20898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.17
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 403 0 0 0 17 0 0 0 15 0 8 0 274592893 937611264 20898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 20898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 20898 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915636

[startup+6.2837 s]
/proc/loadavg: 2.05 2.01 1.94 3/93 31557
/proc/meminfo: memFree=1196824/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=6.24
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 21163 0 1 0 614 10 0 0 25 0 8 0 274592885 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228909 20899 2179 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.05
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 4557 0 0 0 4 1 0 0 16 0 8 0 274592889 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.17
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 403 0 0 0 17 0 0 0 15 0 8 0 274592893 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 20899 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915636

[startup+12.7704 s]
/proc/loadavg: 2.05 2.01 1.94 3/93 31557
/proc/meminfo: memFree=1196760/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=12.69
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 21166 0 1 0 1259 10 0 0 25 0 8 0 274592885 937611264 20902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228909 20902 2179 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.05
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 4557 0 0 0 4 1 0 0 16 0 8 0 274592889 937611264 20902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 20902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 20902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 20902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.17
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 403 0 0 0 17 0 0 0 15 0 8 0 274592893 937611264 20902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 20902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 20902 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915636

[startup+25.6119 s]
/proc/loadavg: 2.04 2.01 1.94 3/93 31557
/proc/meminfo: memFree=1196760/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=25.48
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 21168 0 1 0 2537 11 0 0 25 0 8 0 274592885 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787362 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228909 20904 2179 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.05
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 4557 0 0 0 4 1 0 0 16 0 8 0 274592889 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.17
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 403 0 0 0 17 0 0 0 15 0 8 0 274592893 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 20904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915636

[startup+51.2228 s]
/proc/loadavg: 2.02 2.01 1.94 3/93 31557
/proc/meminfo: memFree=1151320/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=50.97
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 32518 0 1 0 5080 17 0 0 25 0 8 0 274592885 937611264 32253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228909 32253 2179 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.32
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 15904 0 0 0 26 6 0 0 16 0 8 0 274592889 937611264 32253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 32253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 32253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 32253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.17
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 405 0 0 0 17 0 0 0 16 0 8 0 274592893 937611264 32253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 32253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 32253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915636

[startup+102.459 s]
/proc/loadavg: 2.01 2.00 1.94 3/99 31641
/proc/meminfo: memFree=1115272/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=101.86
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 41526 0 1 0 10164 22 0 0 25 0 8 0 274592885 937611264 41258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783952 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31549/statm: 228909 41258 2501 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.78
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 24520 0 0 0 69 9 0 0 16 0 8 0 274592889 937611264 41258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 41258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 41258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 41258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.23
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 445 0 0 0 23 0 0 0 15 0 8 0 274592893 937611264 41258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 41258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 41258 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 915636

[startup+162.473 s]
/proc/loadavg: 2.32 2.08 1.96 3/93 32230
/proc/meminfo: memFree=1116040/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=158.93
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 41527 0 1 0 15869 24 0 0 25 0 8 0 274592885 937611264 41259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.47 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 32365
/proc/meminfo: memFree=840160/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=2071.4
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 57459 0 1 0 207098 42 0 0 25 0 8 0 274592885 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929261 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31549/statm: 228909 57163 2551 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.92
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 40275 0 0 0 76 16 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.34
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 512 0 0 0 33 1 0 0 16 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) R 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2071.4
Current children cumulated vsize (KiB) 915636

[startup+2144.53 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 32365
/proc/meminfo: memFree=840224/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=2131.15
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 57459 0 1 0 213072 43 0 0 25 0 8 0 274592885 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074071802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31549/statm: 228909 57163 2551 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.92
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 40275 0 0 0 76 16 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.34
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 512 0 0 0 33 1 0 0 16 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2131.15
Current children cumulated vsize (KiB) 915636

[startup+2204.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 32365
/proc/meminfo: memFree=840160/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=2190.93
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 57459 0 1 0 219050 43 0 0 25 0 8 0 274592885 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31549/statm: 228909 57163 2551 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.92
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 40275 0 0 0 76 16 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.34
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 512 0 0 0 33 1 0 0 16 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2190.93
Current children cumulated vsize (KiB) 915636

[startup+2264.66 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 32365
/proc/meminfo: memFree=840224/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=2250.68
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 57459 0 1 0 225025 43 0 0 25 0 8 0 274592885 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073925451 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31549/statm: 228909 57163 2551 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.92
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 40275 0 0 0 76 16 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.34
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 512 0 0 0 33 1 0 0 16 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2250.68
Current children cumulated vsize (KiB) 915636

[startup+2324.72 s]
/proc/loadavg: 2.00 2.00 1.99 4/100 32365
/proc/meminfo: memFree=840160/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=2310.42
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 57459 0 1 0 230999 43 0 0 25 0 8 0 274592885 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785186 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31549/statm: 228909 57163 2551 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.92
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 40275 0 0 0 76 16 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.34
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 512 0 0 0 33 1 0 0 16 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2310.42
Current children cumulated vsize (KiB) 915636

[startup+2384.78 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 32365
/proc/meminfo: memFree=840160/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=2370.19
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 57459 0 1 0 236975 44 0 0 25 0 8 0 274592885 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31549/statm: 228909 57163 2551 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.92
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 40275 0 0 0 76 16 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.34
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 512 0 0 0 33 1 0 0 16 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2370.19
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2414.81 s]
/proc/loadavg: 2.00 2.00 1.99 3/100 32365
/proc/meminfo: memFree=840160/2055920 swapFree=4191880/4192956
[pid=31549] ppid=31547 vsize=915636 CPUtime=2400.06
/proc/31549/stat : 31549 (java) R 31547 31549 30959 0 -1 0 57459 0 1 0 239962 44 0 0 25 0 8 0 274592885 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074065690 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31549/statm: 228909 57163 2551 14 0 215379 0
[pid=31549/tid=31551] ppid=31547 vsize=915636 CPUtime=0.92
/proc/31549/task/31551/stat : 31551 (java) S 31547 31549 30959 0 -1 64 40275 0 0 0 76 16 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31552] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31552/stat : 31552 (java) S 31547 31549 30959 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31553] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31553/stat : 31553 (java) S 31547 31549 30959 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274592889 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31554] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31554/stat : 31554 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31555] ppid=31547 vsize=915636 CPUtime=0.34
/proc/31549/task/31555/stat : 31555 (java) S 31547 31549 30959 0 -1 64 512 0 0 0 33 1 0 0 16 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31549/tid=31556] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31556/stat : 31556 (java) S 31547 31549 30959 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31549/tid=31557] ppid=31547 vsize=915636 CPUtime=0
/proc/31549/task/31557/stat : 31557 (java) S 31547 31549 30959 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274592893 937611264 57163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2414.91
CPU time (s): 2400.15
CPU user time (s): 2399.68
CPU system time (s): 0.476927
CPU usage (%): 99.3891
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.476927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57482
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= 50343
involuntary context switches= 57528

runsolver used 3.20251 s user time and 7.51986 s system time

The end

Launcher Data (download as text)

Begin job on node9 on Sat Jan 20 02:59:37 UTC 2007


IDJOB= 277242
IDBENCH= 6512
IDSOLVER= 69
FILE ID= node9/277242-1169261977

PBS_JOBID= 3607273

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  d218a1129bf7e99e8b8586f845179931

RANDOM SEED= 612741703

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.231
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.231
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:       1272560 kB
Buffers:         59176 kB
Cached:         588460 kB
SwapCached:        268 kB
Active:         290264 kB
Inactive:       408768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1272560 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2432 kB
Writeback:           0 kB
Mapped:          64432 kB
Slab:            69204 kB
Committed_AS:  8148636 kB
PageTables:       2248 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= 66560 MiB



End job on node9 on Sat Jan 20 03:39:53 UTC 2007