Trace number 277458

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.12 2414.81

General information on the benchmark

Nametaillard/
js-taillard-20-15/js-taillard-20-15-95-2.xml
MD5SUMe184d0111a102714e0d361c1b279750d
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3069
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1300
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
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.35	   
0.35	Abscon 109 (November, 2006)
0.35	   
0.35	   configuration
0.35	     name=pfc.xml
0.39	   
0.39	   instance
0.39	     name=/tmp/evaluation/277458-1169268381/unknown.xml
0.42	   
0.42	   domains being loaded...
0.47	   
0.47	   variables being loaded...
0.56	     nbVariables=300  nbDomainTypes=300  minDomainSize=1202  maxDomainSize=1300
0.56	       =>  wckTime=0.202  cpuTime=0.16  mem=16M704
0.56	   
0.56	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
61.71	   
61.71	   INFO : Stopping converting binary constraints (cpu=60.35, mem = 96M939)
62.36	     nbConstraints=3130  nbConvertedConstraints=162  nbConvertConstraintsChecks=254064524  nbExtensionStructures=162
62.36	     nbSharedExtensionStructures=0  nbConflictsStructures=162  nbSharedConflictsStructures=0
62.36	     nbSharedBinaryRepresentations=55497  nbEvaluationManagers=2968  nbSharedEvaluationManagers=0  maxDegree=21
62.36	     maxArity=2
62.36	       =>  wckTime=62.006  cpuTime=60.66  mem=98M207
62.58	   
62.58	   solver LocalSearchSolver being built... 
62.62	       =>  wckTime=62.262  cpuTime=60.7  mem=97M37
62.82	
62.82	s SATISFIABLE
62.82	o 2761
62.82	c 369
62.88	o 2766
62.88	c 364
63.03	o 2771
63.03	c 359
63.20	o 2776
63.20	c 354
63.42	o 2781
63.42	c 349
63.57	o 2786
63.57	c 344
63.78	o 2790
63.78	c 340
64.10	o 2793
64.10	c 337
64.43	o 2797
64.43	c 333
64.77	o 2801
64.77	c 329
65.10	o 2805
65.11	c 325
65.49	o 2809
65.49	c 321
65.84	o 2813
65.84	c 317
66.16	o 2817
66.16	c 313
66.39	o 2821
66.39	c 309
66.72	o 2825
66.72	c 305
67.05	o 2829
67.05	c 301
67.33	o 2833
67.33	c 297
67.52	o 2837
67.52	c 293
67.76	o 2841
67.76	c 289
68.08	o 2845
68.08	c 285
68.36	o 2849
68.36	c 281
68.60	o 2852
68.60	c 278
69.05	o 2855
69.05	c 275
69.47	o 2858
69.47	c 272
69.76	o 2862
69.76	c 268
70.29	o 2865
70.39	c 265
70.85	o 2868
70.85	c 262
71.36	o 2871
71.36	c 259
71.84	o 2874
71.84	c 256
72.33	o 2877
72.33	c 253
72.79	o 2880
72.79	c 250
73.24	o 2883
73.24	c 247
73.67	o 2886
73.67	c 244
74.06	o 2889
74.06	c 241
74.44	o 2892
74.44	c 238
74.87	o 2895
74.87	c 235
75.27	o 2898
75.27	c 232
75.61	o 2901
75.61	c 229
75.96	o 2904
75.96	c 226
76.26	o 2907
76.26	c 223
76.57	o 2910
76.57	c 220
76.89	o 2913
76.89	c 217
77.15	o 2916
77.15	c 214
77.45	o 2918
77.45	c 212
77.96	o 2920
77.96	c 210
78.28	o 2922
78.28	c 208
78.55	o 2924
78.55	c 206
78.91	o 2926
78.91	c 204
79.19	o 2928
79.19	c 202
79.54	o 2930
79.54	c 200
79.74	o 2932
79.74	c 198
80.34	o 2934
80.34	c 196
80.55	o 2935
80.55	c 195
80.90	o 2936
80.90	c 194
81.18	o 2937
81.18	c 193
81.75	o 2938
81.75	c 192
82.04	o 2941
82.04	c 189
82.67	o 2943
82.67	c 187
83.30	o 2945
83.30	c 185
83.91	o 2947
83.91	c 183
84.49	o 2949
84.49	c 181
85.07	o 2951
85.07	c 179
85.63	o 2953
85.63	c 177
86.23	o 2955
86.23	c 175
86.83	o 2957
86.83	c 173
87.37	o 2959
87.37	c 171
87.87	o 2961
87.87	c 169
88.39	o 2963
88.39	c 167
88.85	o 2965
88.85	c 165
89.31	o 2967
89.31	c 163
89.78	o 2969
89.78	c 161
90.25	o 2971
90.25	c 159
90.65	o 2973
90.65	c 157
91.12	o 2975
91.12	c 155
91.59	o 2977
91.59	c 153
92.10	o 2979
92.10	c 151
92.68	o 2980
92.68	c 150
93.20	o 2981
93.20	c 149
93.69	o 2982
93.69	c 148
94.21	o 2983
94.21	c 147
94.67	o 2984
94.67	c 146
95.13	o 2985
95.13	c 145
95.57	o 2986
95.57	c 144
96.01	o 2987
96.01	c 143
96.47	o 2988
96.47	c 142
96.88	o 2989
96.88	c 141
97.30	o 2990
97.30	c 140
97.77	o 2991
97.77	c 139
98.11	o 2992
98.11	c 138
98.48	o 2993
98.48	c 137
99.40	o 2994
99.40	c 136
100.68	o 2995
100.68	c 135
101.39	o 2996
101.39	c 134
101.65	o 2998
101.65	c 132
102.08	o 2999
102.08	c 131
102.47	o 3000
102.47	c 130
102.73	o 3001
102.73	c 129
103.52	o 3002
103.52	c 128
106.38	o 3003
106.38	c 127
107.18	o 3005
107.18	c 125
109.05	o 3006
109.05	c 124
109.90	o 3007
109.90	c 123
111.37	o 3008
111.37	c 122
112.26	o 3009
112.26	c 121
113.10	o 3010
113.10	c 120
113.91	o 3011
113.91	c 119
114.71	o 3012
114.71	c 118
115.48	o 3013
115.48	c 117
116.23	o 3014
116.23	c 116
116.98	o 3015
116.98	c 115
117.40	o 3017
117.40	c 113
118.12	o 3018
118.12	c 112
118.84	o 3019
118.84	c 111
119.52	o 3020
119.52	c 110
120.28	o 3021
120.28	c 109
120.96	o 3022
120.96	c 108
121.71	o 3023
121.71	c 107
122.35	o 3024
122.35	c 106
123.04	o 3025
123.04	c 105
123.65	o 3026
123.65	c 104
124.25	o 3027
124.25	c 103
124.94	o 3028
124.94	c 102
125.60	o 3029
125.60	c 101
126.23	o 3030
126.23	c 100
127.00	o 3031
127.00	c 99
127.92	o 3032
127.92	c 98
140.08	o 3033
140.08	c 97
156.00	o 3034
156.00	c 96
156.47	o 3035
156.47	c 95
158.21	o 3036
158.21	c 94
159.62	o 3037
159.62	c 93
160.66	o 3038
160.66	c 92
188.05	o 3039
188.05	c 91
193.90	o 3040
193.90	c 90
194.41	o 3041
194.41	c 89
195.20	o 3042
195.20	c 88
195.99	o 3043
195.99	c 87
197.12	o 3044
197.12	c 86
199.52	o 3045
199.52	c 85
200.91	o 3047
200.91	c 83
211.93	o 3048
211.93	c 82
224.88	o 3049
224.88	c 81
232.54	o 3050
232.54	c 80
237.37	o 3051
237.37	c 79
238.34	o 3052
238.35	c 78
240.31	o 3053
240.31	c 77
245.27	o 3054
245.27	c 76
261.23	o 3055
261.23	c 75
262.18	o 3056
262.19	c 74
263.13	o 3057
263.13	c 73
275.17	o 3058
275.17	c 72
282.21	o 3059
282.21	c 71
284.65	o 3060
284.65	c 70
297.47	o 3061
297.47	c 69
300.43	o 3062
300.44	c 68
305.18	o 3063
305.18	c 67
307.46	o 3064
307.46	c 66
311.18	o 3065
311.18	c 65
333.32	o 3066
333.32	c 64
334.25	o 3067
334.25	c 63
337.88	o 3068
337.88	c 62
338.82	o 3069
338.82	c 61
369.29	   
369.29	   search
369.29	     run=0  nbConstraintChecks=663775050  nbAssignments=460
369.29	       =>  wckTime=306.671  cpuTime=305.0  mem=98M12
369.29	   
369.29	   global
369.29	     nbConstraintChecks=663775050  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
369.29	     solvingWckTime=306.652  solvingCpuTime=304.98  expiredTime=no  totalExploration=no  nbFoundSolutions=0
369.29	     globalCpuTime=365.74
369.29	       =>  wckTime=368.932  cpuTime=365.7  mem=98M12
369.29	   
369.29	   solver IterativeSystematicSolver being built... 
369.56	       =>  wckTime=369.209  cpuTime=365.89  mem=151M8
437.25	   
437.25	   preprocessing
437.25	     nbConstraintChecks=280603127  nbValidityChecks=467753  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
437.25	     nbRemovedValues=0  detectedInconsistency=no
437.25	       =>  wckTime=67.681  cpuTime=67.33  mem=151M8
2414.75	v 140 243 357 1102 1173 1259 71 171 58 156 173 971 997 688 807 213 363 440 706 879 980 1135 1219 35 177 419 678 869 1211 1286 179 321 339 777 912 64 649 876 59 81 215 315 351 644 977 48 83 203 143 255 291 521 919 1105 11 67 157 949 1061 1069 599 1199 1263 23 96 338 397 502 608 187 292 448 528 926 1132 83 301 395 505 614 1003 1172 1292 251 443 78 284 627 923 1158 281 574 912 949 970 70 139 234 278 401 647 1139 1199 1231 1031 7 492 822 895 1039 1116 69 171 327 565 4 315 738 850 1001 0 151 279 356 431 633 97 186 229 333 1014 178 281 313 352 782 923 1002 1082 1209 187 966 1157 1209 1183 1231 2 186 501 594 352 754 905 1227 952 1031 1107 1227 1282 359 382 433 783 1006 1234 490 1161 1253 1262 825 954 450 578 671 1008 1166 1291 666 793 873 1058 1258 985 1014 1190 8 84 144 588 762 271 513 796 881 1069 146 215 449 586 1146 1216 287 420 540 604 672 769 808 1027 1174 53 201 272 328 1218 3 369 563 637 735 772 937 127 171 446 472 1023 1118 684 1083 67 472 569 899 163 363 833 704 1052 1157 252 398 545 619 736 820 1215 88 158 295 383 506 215 560 773 924 1013 1150 1157 1217 2 914 1215 1239 416 716 784 910 1002 1094 423 839 8 23 87 280 371 398 812 927 1021 1102 299 409 1172 18 390 688 926 1184 3 716 1070 1234 569 619 729 842 1095 1178

Verifier Data (download as text)

61 unsatisfied constraints, 3069 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/node20/watcher-277458-1169268381 -o ROOT/results/node20/solver-277458-1169268381 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277458-1169268381/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 1.93 2.00 1.97 3/94 25530
/proc/meminfo: memFree=1379360/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=18540 CPUtime=0
/proc/25529/stat : 25529 (runsolver) R 25527 25529 25236 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 275232893 18984960 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 273952599335 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/25529/statm: 4635 280 244 17 0 2626 0

[startup+0.107837 s]
/proc/loadavg: 1.93 2.00 1.97 3/94 25530
/proc/meminfo: memFree=1379360/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=907676 CPUtime=0.02
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 2293 0 1 0 2 0 0 0 20 0 4 0 275232893 929460224 2040 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153473540 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 226919 2040 1148 14 0 214502 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 907676

[startup+0.515885 s]
/proc/loadavg: 1.93 2.00 1.97 3/94 25530
/proc/meminfo: memFree=1379360/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915332 CPUtime=0.43
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 6640 0 1 0 38 5 0 0 23 0 8 0 275232893 937299968 6379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608422 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 228833 6379 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915332

[startup+1.33698 s]
/proc/loadavg: 1.93 2.00 1.97 3/101 25537
/proc/meminfo: memFree=1335784/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=1.24
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 13382 0 1 0 116 8 0 0 25 0 8 0 275232893 937611264 13120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 228909 13120 2168 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275232903 937611264 13120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 275232903 937611264 13120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 275232903 937611264 13120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 13120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.15
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 407 0 0 0 15 0 0 0 16 0 8 0 275232907 937611264 13120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 13120 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 13120 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.97918 s]
/proc/loadavg: 1.93 2.00 1.97 3/101 25537
/proc/meminfo: memFree=1334056/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=2.87
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 13952 0 1 0 279 8 0 0 25 0 8 0 275232893 937611264 13689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784450 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 228909 13689 2168 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275232903 937611264 13689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 275232903 937611264 13689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 275232903 937611264 13689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 13689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.15
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 408 0 0 0 15 0 0 0 16 0 8 0 275232907 937611264 13689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 13689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 13689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915636

[startup+6.18256 s]
/proc/loadavg: 1.93 2.00 1.97 3/101 25537
/proc/meminfo: memFree=1328360/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=6.05
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 15216 0 1 0 596 9 0 0 25 0 8 0 275232893 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800770 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 228909 14952 2168 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 9 0 0 0 0 0 0 0 20 0 8 0 275232903 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 275232903 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.15
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 408 0 0 0 15 0 0 0 17 0 8 0 275232907 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915636

[startup+12.6513 s]
/proc/loadavg: 1.94 2.00 1.97 3/101 25537
/proc/meminfo: memFree=1299880/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=12.46
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 22219 0 1 0 1233 13 0 0 25 0 8 0 275232893 937611264 21954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 228909 21954 2179 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.11
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 5608 0 0 0 8 3 0 0 16 0 8 0 275232903 937611264 21954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275232903 937611264 21954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 21954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 21954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.15
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 408 0 0 0 15 0 0 0 17 0 8 0 275232907 937611264 21954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 21954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 21954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915636

[startup+25.5039 s]
/proc/loadavg: 1.95 2.00 1.97 3/101 25537
/proc/meminfo: memFree=1299880/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=25.18
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 22222 0 1 0 2505 13 0 0 25 0 8 0 275232893 937611264 21957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 228909 21957 2179 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.11
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 5608 0 0 0 8 3 0 0 16 0 8 0 275232903 937611264 21957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275232903 937611264 21957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 21957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 21957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.15
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 275232907 937611264 21957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 21957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 21957 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915636

[startup+51.106 s]
/proc/loadavg: 1.97 2.00 1.97 2/88 25548
/proc/meminfo: memFree=1288464/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=50.57
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 34078 0 1 0 5038 19 0 0 25 0 8 0 275232893 937611264 33812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 228909 33812 2179 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.42
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 17451 0 0 0 35 7 0 0 16 0 8 0 275232903 937611264 33812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 17 0 8 0 275232903 937611264 33812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 33812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 33812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.16
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 421 0 0 0 16 0 0 0 17 0 8 0 275232907 937611264 33812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 33812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 33812 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 915636

[startup+102.31 s]
/proc/loadavg: 1.86 1.95 1.95 3/100 25597
/proc/meminfo: memFree=1227624/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=101.53
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 42531 0 1 0 10128 25 0 0 25 0 8 0 275232893 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928614 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25529/statm: 228909 42261 2501 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.9
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 25522 0 0 0 79 11 0 0 16 0 8 0 275232903 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.21
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 450 0 0 0 20 1 0 0 16 0 8 0 275232907 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915636

[startup+162.353 s]
/proc/loadavg: 1.95 1.96 1.95 3/100 25597
/proc/meminfo: memFree=1227688/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=161.22
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 42531 0 1 0 16096 26 0 0 25 0 8 0 275232893 937611264 42261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789066 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.48 s]
/proc/loadavg: 2.02 2.01 1.97 3/100 26351
/proc/meminfo: memFree=1202584/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=2070.34
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 48719 0 1 0 206982 52 0 0 25 0 8 0 275232893 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074065969 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 228909 48427 2548 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.96
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 31549 0 0 0 82 14 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.3
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 513 0 0 0 29 1 0 0 16 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.34
Current children cumulated vsize (KiB) 915636

[startup+2143.51 s]
/proc/loadavg: 2.01 2.00 1.97 3/100 26351
/proc/meminfo: memFree=1202584/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=2130.09
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 48720 0 1 0 212956 53 0 0 25 0 8 0 275232893 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074062882 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 228909 48427 2548 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.96
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 31549 0 0 0 82 14 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.3
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 513 0 0 0 29 1 0 0 16 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2130.09
Current children cumulated vsize (KiB) 915636

[startup+2203.53 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 26353
/proc/meminfo: memFree=1202392/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=2189.82
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 48720 0 1 0 218929 53 0 0 25 0 8 0 275232893 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 228909 48427 2548 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.96
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 31549 0 0 0 82 14 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.3
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 513 0 0 0 29 1 0 0 16 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.82
Current children cumulated vsize (KiB) 915636

[startup+2263.56 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 26353
/proc/meminfo: memFree=1202392/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=2249.58
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 48720 0 1 0 224904 54 0 0 25 0 8 0 275232893 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931462 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 228909 48427 2548 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.96
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 31549 0 0 0 82 14 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.3
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 513 0 0 0 29 1 0 0 16 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.58
Current children cumulated vsize (KiB) 915636

[startup+2323.59 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 26353
/proc/meminfo: memFree=1202456/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=2309.32
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 48720 0 1 0 230878 54 0 0 25 0 8 0 275232893 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 228909 48427 2548 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.96
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 31549 0 0 0 82 14 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.3
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 513 0 0 0 29 1 0 0 16 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.32
Current children cumulated vsize (KiB) 915636

[startup+2383.61 s]
/proc/loadavg: 2.03 2.01 1.97 3/100 26353
/proc/meminfo: memFree=1202456/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=2369.07
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 48720 0 1 0 236852 55 0 0 25 0 8 0 275232893 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073926080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 228909 48427 2548 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.96
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 31549 0 0 0 82 14 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.3
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 513 0 0 0 29 1 0 0 16 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.07
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2414.75 s]
/proc/loadavg: 2.02 2.01 1.97 3/100 26353
/proc/meminfo: memFree=1202520/2055920 swapFree=4170260/4192956
[pid=25529] ppid=25527 vsize=915636 CPUtime=2400.05
/proc/25529/stat : 25529 (java) R 25527 25529 25236 0 -1 0 48720 0 1 0 239950 55 0 0 25 0 8 0 275232893 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25529/statm: 228909 48427 2548 14 0 215379 0
[pid=25529/tid=25531] ppid=25527 vsize=915636 CPUtime=0.96
/proc/25529/task/25531/stat : 25531 (java) S 25527 25529 25236 0 -1 64 31549 0 0 0 82 14 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25532] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25532/stat : 25532 (java) S 25527 25529 25236 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25533] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25533/stat : 25533 (java) S 25527 25529 25236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275232903 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25534] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25534/stat : 25534 (java) S 25527 25529 25236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25535] ppid=25527 vsize=915636 CPUtime=0.3
/proc/25529/task/25535/stat : 25535 (java) S 25527 25529 25236 0 -1 64 513 0 0 0 29 1 0 0 16 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25536] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25536/stat : 25536 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25529/tid=25537] ppid=25527 vsize=915636 CPUtime=0
/proc/25529/task/25537/stat : 25537 (java) S 25527 25529 25236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275232907 937611264 48427 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2414.81
CPU time (s): 2400.12
CPU user time (s): 2399.53
CPU system time (s): 0.58591
CPU usage (%): 99.3918
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.53
system time used= 0.58591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48745
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= 50249
involuntary context switches= 70215

runsolver used 2.73458 s user time and 6.76297 s system time

The end

Launcher Data (download as text)

Begin job on node20 on Sat Jan 20 04:46:22 UTC 2007


IDJOB= 277458
IDBENCH= 6729
IDSOLVER= 69
FILE ID= node20/277458-1169268381

PBS_JOBID= 3607318

Free space on /tmp= 66562 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  e184d0111a102714e0d361c1b279750d

RANDOM SEED= 994328892

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.216
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.216
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:       1379776 kB
Buffers:         41040 kB
Cached:         497488 kB
SwapCached:       3160 kB
Active:         154068 kB
Inactive:       450584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1379776 kB
SwapTotal:     4192956 kB
SwapFree:      4170260 kB
Dirty:            2216 kB
Writeback:           0 kB
Mapped:          89228 kB
Slab:            55796 kB
Committed_AS:  5150196 kB
PageTables:       2532 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 node20 on Sat Jan 20 05:26:38 UTC 2007