Trace number 277472

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 EPFCMSAT (TO) 2400.1 2405.83

General information on the benchmark

Nametaillard/
js-taillard-20-15/js-taillard-20-15-95-4.xml
MD5SUMfb9544910b2223d3d9c1201e76d5cf11
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3050
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 size1306
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.32	   
0.32	Abscon 109 (November, 2006)
0.32	   
0.32	   configuration
0.32	     name=epfc.xml
0.35	   
0.35	   instance
0.35	     name=/tmp/evaluation/277472-1169268396/unknown.xml
0.39	   
0.39	   domains being loaded...
0.44	   
0.44	   variables being loaded...
0.54	     nbVariables=300  nbDomainTypes=300  minDomainSize=1208  maxDomainSize=1306
0.54	       =>  wckTime=0.214  cpuTime=0.16  mem=16M684
0.54	   
0.54	   predicates being loaded...
0.54	   
0.54	   constraints being loaded...
61.47	   
61.48	   INFO : Stopping converting binary constraints (cpu=60.06, mem = 88M863)
61.88	     nbConstraints=3130  nbConvertedConstraints=148  nbConvertConstraintsChecks=236662211  nbExtensionStructures=148
61.88	     nbSharedExtensionStructures=0  nbConflictsStructures=148  nbSharedConflictsStructures=0
61.88	     nbSharedBinaryRepresentations=66746  nbEvaluationManagers=2982  nbSharedEvaluationManagers=0  maxDegree=21
61.88	     maxArity=2
61.88	       =>  wckTime=61.551  cpuTime=60.37  mem=109M867
62.13	   
62.13	   solver LocalSearchSolver being built... 
62.17	       =>  wckTime=61.845  cpuTime=60.43  mem=87M91
62.28	
62.28	s SATISFIABLE
62.28	o 2788
62.28	c 342
62.47	o 2793
62.47	c 337
62.64	o 2798
62.64	c 332
62.83	o 2803
62.83	c 327
63.01	o 2808
63.01	c 322
63.33	o 2812
63.33	c 318
63.65	o 2816
63.65	c 314
63.93	o 2820
63.93	c 310
64.17	o 2824
64.17	c 306
64.43	o 2828
64.43	c 302
64.71	o 2832
64.71	c 298
64.94	o 2836
64.94	c 294
65.14	o 2840
65.14	c 290
65.40	o 2843
65.40	c 287
65.69	o 2846
65.69	c 284
65.98	o 2849
65.98	c 281
66.18	o 2852
66.18	c 278
66.37	o 2855
66.37	c 275
66.50	o 2858
66.50	c 272
66.68	o 2860
66.68	c 270
67.02	o 2861
67.02	c 269
67.39	o 2864
67.39	c 266
67.73	o 2867
67.73	c 263
68.10	o 2870
68.10	c 260
68.41	o 2873
68.41	c 257
68.71	o 2876
68.71	c 254
69.02	o 2879
69.02	c 251
69.35	o 2882
69.35	c 248
69.66	o 2885
69.66	c 245
69.96	o 2888
69.96	c 242
70.28	o 2891
70.28	c 239
70.54	o 2894
70.54	c 236
70.80	o 2897
70.80	c 233
71.05	o 2900
71.05	c 230
71.29	o 2903
71.29	c 227
71.59	o 2906
71.59	c 224
71.90	o 2908
71.90	c 222
72.18	o 2910
72.18	c 220
72.45	o 2912
72.45	c 218
72.67	o 2914
72.67	c 216
72.87	o 2916
72.87	c 214
73.09	o 2918
73.09	c 212
73.39	o 2920
73.39	c 210
73.57	o 2922
73.57	c 208
73.81	o 2924
73.81	c 206
74.26	o 2925
74.26	c 205
74.59	o 2926
74.59	c 204
74.80	o 2929
74.80	c 201
75.29	o 2930
75.29	c 200
75.95	o 2932
75.95	c 198
76.58	o 2934
76.58	c 196
77.25	o 2936
77.25	c 194
77.89	o 2938
77.89	c 192
78.51	o 2940
78.51	c 190
79.16	o 2942
79.16	c 188
79.79	o 2944
79.79	c 186
80.37	o 2946
80.37	c 184
80.96	o 2948
80.96	c 182
81.58	o 2950
81.58	c 180
82.10	o 2952
82.10	c 178
82.63	o 2954
82.63	c 176
83.20	o 2956
83.20	c 174
83.80	o 2958
83.80	c 172
84.28	o 2960
84.28	c 170
84.76	o 2962
84.76	c 168
85.26	o 2964
85.26	c 166
85.86	o 2966
85.86	c 164
86.30	o 2968
86.30	c 162
86.72	o 2970
86.72	c 160
87.11	o 2972
87.11	c 158
87.64	o 2974
87.64	c 156
88.21	o 2975
88.21	c 155
88.76	o 2976
88.76	c 154
89.30	o 2977
89.30	c 153
89.62	o 2979
89.62	c 151
90.15	o 2980
90.15	c 150
90.63	o 2981
90.63	c 149
91.12	o 2982
91.12	c 148
91.57	o 2983
91.57	c 147
92.01	o 2984
92.01	c 146
92.43	o 2985
92.44	c 145
92.85	o 2986
92.85	c 144
93.26	o 2987
93.26	c 143
93.63	o 2988
93.63	c 142
94.00	o 2989
94.00	c 141
94.32	o 2990
94.32	c 140
94.63	o 2991
94.63	c 139
94.94	o 2992
94.94	c 138
95.19	o 2994
95.19	c 136
95.44	o 2995
95.44	c 135
95.77	o 2996
95.77	c 134
96.05	o 2997
96.05	c 133
96.36	o 2998
96.36	c 132
100.11	o 3000
100.11	c 130
101.34	o 3001
101.34	c 129
101.65	o 3002
101.65	c 128
102.14	o 3004
102.14	c 126
102.49	o 3005
102.49	c 125
103.58	o 3006
103.58	c 124
104.17	o 3007
104.17	c 123
104.78	o 3008
104.78	c 122
105.36	o 3009
105.36	c 121
105.96	o 3010
105.96	c 120
106.52	o 3011
106.52	c 119
107.06	o 3012
107.06	c 118
107.64	o 3013
107.64	c 117
108.16	o 3014
108.16	c 116
108.69	o 3015
108.69	c 115
109.16	o 3016
109.16	c 114
109.61	o 3017
109.61	c 113
110.21	o 3018
110.21	c 112
110.74	o 3019
110.74	c 111
111.20	o 3020
111.20	c 110
111.70	o 3021
111.70	c 109
112.16	o 3022
112.16	c 108
114.98	o 3023
114.98	c 107
131.98	o 3024
131.98	c 106
132.42	o 3025
132.42	c 105
137.34	o 3026
137.34	c 104
137.70	o 3028
137.70	c 102
141.81	o 3030
141.81	c 100
142.31	o 3031
142.31	c 99
142.92	o 3032
142.92	c 98
144.56	o 3037
144.56	c 93
147.00	o 3038
147.00	c 92
147.64	o 3039
147.64	c 91
148.90	o 3040
148.90	c 90
149.52	o 3041
149.52	c 89
172.91	o 3044
172.91	c 86
173.64	o 3045
173.64	c 85
191.41	o 3046
191.41	c 84
192.93	o 3047
192.93	c 83
195.87	o 3049
195.87	c 81
196.67	o 3050
196.67	c 80
227.27	   
227.27	   search
227.27	     run=0  nbConstraintChecks=390129501  nbAssignments=321
227.27	       =>  wckTime=165.1  cpuTime=164.01  mem=88M53
227.27	   
227.27	   global
227.27	     nbConstraintChecks=390129501  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
227.27	     solvingWckTime=165.08  solvingCpuTime=164.01  expiredTime=no  totalExploration=no  nbFoundSolutions=0
227.27	     globalCpuTime=224.5
227.27	       =>  wckTime=226.945  cpuTime=224.45  mem=88M53
227.27	   
227.27	   solver IterativeSystematicSolver being built... 
227.55	       =>  wckTime=227.222  cpuTime=224.63  mem=142M278
2405.79	v 120 368 496 611 788 1085 1256 8 67 245 400 1116 1198 7 741 5 447 669 704 1063 1227 1291 500 737 1064 102 175 208 500 971 793 939 1143 1223 1279 36 122 278 837 981 1207 1251 605 778 929 291 465 1014 1230 80 4 97 352 396 558 133 444 10 140 207 371 486 693 342 1108 1225 1258 1277 498 6 32 238 449 478 1217 430 615 716 1088 1200 855 934 2 12 27 876 1045 1256 309 421 983 17 168 314 154 238 441 815 37 285 465 718 919 734 1165 32 287 983 1080 1 51 72 131 1 166 328 458 540 608 1119 426 531 1127 1282 20 204 704 746 829 959 695 950 1171 194 1096 236 325 1015 1259 21 129 234 321 601 929 1194 1292 875 976 1092 353 593 83 259 489 728 829 521 785 900 411 27 319 1169 1241 132 247 447 706 871 1267 1 578 648 691 767 840 1030 22 219 696 921 815 1280 1301 1221 39 204 628 1142 110 137 997 1087 1214 483 828 904 977 1140 1231 425 593 819 888 944 1008 1169 650 748 862 1277 687 928 1227 510 736 794 943 1208 1217 90 110 250 878 2 102 719 772 1139 1231 1276 141 284 375 425 1006 1056 307 824 215 290 379 473 586 740 931 983 1037 1255 1052 1146 1238 1249 1266 536 842 62 80 289 347 437 886 1136 1196 0 201 408 580 701 522 576 466 613 871 211 322 473 364 464 579 20 121 550 1146 1026 1226 100 471 569 645 569 862 936 1051 61 97 499 623 1049

Verifier Data (download as text)

80 unsatisfied constraints, 3050 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/node51/watcher-277472-1169268396 -o ROOT/results/node51/solver-277472-1169268396 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277472-1169268396/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.72 1.93 1.91 4/80 22516
/proc/meminfo: memFree=1216304/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=18540 CPUtime=0
/proc/22515/stat : 22515 (runsolver) R 22513 22515 22236 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275238621 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 235371293991 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22515/statm: 4635 279 244 17 0 2626 0

[startup+0.107045 s]
/proc/loadavg: 1.72 1.93 1.91 4/80 22516
/proc/meminfo: memFree=1216304/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=914988 CPUtime=0.07
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 2953 0 1 0 6 1 0 0 17 0 8 0 275238621 936947712 2699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228747 2699 1413 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988

[startup+0.515114 s]
/proc/loadavg: 1.72 1.93 1.91 4/80 22516
/proc/meminfo: memFree=1216304/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915332 CPUtime=0.48
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 7566 0 1 0 44 4 0 0 18 0 8 0 275238621 937299968 7305 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228833 7305 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.33625 s]
/proc/loadavg: 1.72 1.93 1.91 3/87 22523
/proc/meminfo: memFree=1172600/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=1.29
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 13413 0 1 0 122 7 0 0 25 0 8 0 275238621 937611264 13151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228909 13151 2171 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275238625 937611264 13151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275238626 937611264 13151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275238626 937611264 13151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 13151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.16
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 406 0 0 0 16 0 0 0 16 0 8 0 275238630 937611264 13151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 13151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 13151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915636

[startup+2.97752 s]
/proc/loadavg: 1.72 1.93 1.91 3/87 22523
/proc/meminfo: memFree=1170744/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=2.92
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 14036 0 1 0 285 7 0 0 25 0 8 0 275238621 937611264 13773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784418 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228909 13773 2171 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275238625 937611264 13773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275238626 937611264 13773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275238626 937611264 13773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 13773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.16
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 275238630 937611264 13773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 13773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 13773 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915636

[startup+6.27108 s]
/proc/loadavg: 1.74 1.94 1.91 3/87 22523
/proc/meminfo: memFree=1166264/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=6.18
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 15189 0 1 0 611 7 0 0 25 0 8 0 275238621 937611264 14926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785612 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228909 14926 2171 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275238625 937611264 14926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275238626 937611264 14926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275238626 937611264 14926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 14926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.16
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 275238630 937611264 14926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 14926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 14926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915636

[startup+12.7472 s]
/proc/loadavg: 1.76 1.94 1.91 4/87 22523
/proc/meminfo: memFree=1136568/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=12.6
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 22260 0 1 0 1250 10 0 0 25 0 8 0 275238621 937611264 21996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228909 21996 2182 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.11
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 5647 0 0 0 9 2 0 0 16 0 8 0 275238625 937611264 21996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 21996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 21996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 21996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.16
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 275238630 937611264 21996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 21996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 21996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915636

[startup+25.6054 s]
/proc/loadavg: 1.81 1.94 1.91 3/87 22523
/proc/meminfo: memFree=1136696/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=25.34
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 22266 0 1 0 2524 10 0 0 25 0 8 0 275238621 937611264 22002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228909 22002 2182 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.11
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 5647 0 0 0 9 2 0 0 16 0 8 0 275238625 937611264 22002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 22002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 22002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 22002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.16
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 408 0 0 0 16 0 0 0 16 0 8 0 275238630 937611264 22002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 22002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) R 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 22002 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915636

[startup+51.2127 s]
/proc/loadavg: 1.87 1.94 1.91 3/87 22523
/proc/meminfo: memFree=1090552/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=50.71
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 33795 0 1 0 5055 16 0 0 25 0 8 0 275238621 937611264 33530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228909 33530 2182 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.42
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 17165 0 0 0 35 7 0 0 16 0 8 0 275238625 937611264 33530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 33530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 33530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 33530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.17
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 418 0 0 0 17 0 0 0 17 0 8 0 275238630 937611264 33530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 33530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 33530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915636

[startup+102.422 s]
/proc/loadavg: 2.01 1.96 1.91 3/87 22523
/proc/meminfo: memFree=1066552/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=101.45
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 40098 0 1 0 10123 22 0 0 25 0 8 0 275238621 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22515/statm: 228909 39831 2504 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.66
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 23086 0 0 0 56 10 0 0 16 0 8 0 275238625 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.23
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 449 0 0 0 23 0 0 0 16 0 8 0 275238630 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915636

[startup+162.487 s]
/proc/loadavg: 2.00 1.97 1.91 3/87 22523
/proc/meminfo: memFree=1066552/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=160.95
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 40098 0 1 0 16073 22 0 0 25 0 8 0 275238621 937611264 39831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073928116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22771
/proc/meminfo: memFree=1178984/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=2079.84
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 46359 0 1 0 207950 34 0 0 25 0 8 0 275238621 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783015 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22515/statm: 228909 46072 2551 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.71
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 29192 0 0 0 60 11 0 0 16 0 8 0 275238625 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.32
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 505 0 0 0 31 1 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.84
Current children cumulated vsize (KiB) 915636

[startup+2144.14 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22771
/proc/meminfo: memFree=1178984/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=2139.59
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 46359 0 1 0 213925 34 0 0 25 0 8 0 275238621 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074056567 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22515/statm: 228909 46072 2551 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.71
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 29192 0 0 0 60 11 0 0 16 0 8 0 275238625 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.32
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 505 0 0 0 31 1 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.59
Current children cumulated vsize (KiB) 915636

[startup+2204.15 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22771
/proc/meminfo: memFree=1179048/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=2199.34
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 46359 0 1 0 219900 34 0 0 25 0 8 0 275238621 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073932100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22515/statm: 228909 46072 2551 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.71
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 29192 0 0 0 60 11 0 0 16 0 8 0 275238625 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.32
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 505 0 0 0 31 1 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.34
Current children cumulated vsize (KiB) 915636

[startup+2264.16 s]
/proc/loadavg: 2.03 2.01 1.95 3/80 22771
/proc/meminfo: memFree=1179048/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=2259.07
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 46359 0 1 0 225873 34 0 0 25 0 8 0 275238621 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073925616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22515/statm: 228909 46072 2551 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.71
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 29192 0 0 0 60 11 0 0 16 0 8 0 275238625 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.32
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 505 0 0 0 31 1 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.07
Current children cumulated vsize (KiB) 915636

[startup+2324.17 s]
/proc/loadavg: 2.01 2.01 1.95 3/80 22771
/proc/meminfo: memFree=1179112/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=2318.8
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 46359 0 1 0 231846 34 0 0 25 0 8 0 275238621 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073930997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22515/statm: 228909 46072 2551 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.71
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 29192 0 0 0 60 11 0 0 16 0 8 0 275238625 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.32
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 505 0 0 0 31 1 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.8
Current children cumulated vsize (KiB) 915636

[startup+2384.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22771
/proc/meminfo: memFree=1179112/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=2378.57
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 46359 0 1 0 237823 34 0 0 25 0 8 0 275238621 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073786382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22515/statm: 228909 46072 2551 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.71
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 29192 0 0 0 60 11 0 0 16 0 8 0 275238625 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.32
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 505 0 0 0 31 1 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.57
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2405.78 s]
/proc/loadavg: 2.00 2.00 1.95 3/80 22771
/proc/meminfo: memFree=1179112/2055920 swapFree=4191892/4192956
[pid=22515] ppid=22513 vsize=915636 CPUtime=2400.05
/proc/22515/stat : 22515 (java) R 22513 22515 22236 0 -1 0 46359 0 1 0 239971 34 0 0 25 0 8 0 275238621 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22515/statm: 228909 46072 2551 14 0 215379 0
[pid=22515/tid=22517] ppid=22513 vsize=915636 CPUtime=0.71
/proc/22515/task/22517/stat : 22517 (java) S 22513 22515 22236 0 -1 64 29192 0 0 0 60 11 0 0 16 0 8 0 275238625 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22518] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22518/stat : 22518 (java) S 22513 22515 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22519] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22519/stat : 22519 (java) S 22513 22515 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275238626 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22520] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22520/stat : 22520 (java) S 22513 22515 22236 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22521] ppid=22513 vsize=915636 CPUtime=0.32
/proc/22515/task/22521/stat : 22521 (java) S 22513 22515 22236 0 -1 64 505 0 0 0 31 1 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22515/tid=22522] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22522/stat : 22522 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22515/tid=22523] ppid=22513 vsize=915636 CPUtime=0
/proc/22515/task/22523/stat : 22523 (java) S 22513 22515 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275238630 937611264 46072 18446744073709551615 134512640 134570532 4294956464 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): 2405.83
CPU time (s): 2400.1
CPU user time (s): 2399.73
CPU system time (s): 0.375942
CPU usage (%): 99.7619
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.73
system time used= 0.375942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46383
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= 50042
involuntary context switches= 25509

runsolver used 2.83657 s user time and 6.89095 s system time

The end

Launcher Data (download as text)

Begin job on node51 on Sat Jan 20 04:46:36 UTC 2007


IDJOB= 277472
IDBENCH= 6746
IDSOLVER= 68
FILE ID= node51/277472-1169268396

PBS_JOBID= 3607333

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  fb9544910b2223d3d9c1201e76d5cf11

RANDOM SEED= 309914693

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.277
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.277
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:       1216784 kB
Buffers:         48072 kB
Cached:         552400 kB
SwapCached:        512 kB
Active:         250408 kB
Inactive:       512240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1216784 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            2196 kB
Writeback:           0 kB
Mapped:         180952 kB
Slab:            61524 kB
Committed_AS:  5950232 kB
PageTables:       2096 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 node51 on Sat Jan 20 05:26:47 UTC 2007