Trace number 277461

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsconMax 109 PFCMSAT (TO) 2400.09 2407.19

General information on the benchmark

Nametaillard/
js-taillard-20-15/js-taillard-20-15-95-8.xml
MD5SUMbb065c72545231f8bd5588cd1b436175
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3053
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1309
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.29	   
0.29	Abscon 109 (November, 2006)
0.29	   
0.29	   configuration
0.29	     name=pfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/277461-1169268382/unknown.xml
0.36	   
0.36	   domains being loaded...
0.41	   
0.41	   variables being loaded...
0.49	     nbVariables=300  nbDomainTypes=300  minDomainSize=1211  maxDomainSize=1309
0.49	       =>  wckTime=0.198  cpuTime=0.13  mem=16M700
0.50	   
0.50	   predicates being loaded...
0.50	   
0.50	   constraints being loaded...
61.13	   
61.13	   INFO : Stopping converting binary constraints (cpu=60.06, mem = 89M489)
61.78	     nbConstraints=3130  nbConvertedConstraints=162  nbConvertConstraintsChecks=256652514  nbExtensionStructures=162
61.78	     nbSharedExtensionStructures=0  nbConflictsStructures=162  nbSharedConflictsStructures=0
61.78	     nbSharedBinaryRepresentations=101573  nbEvaluationManagers=2968  nbSharedEvaluationManagers=0  maxDegree=21
61.78	     maxArity=2
61.78	       =>  wckTime=61.485  cpuTime=60.36  mem=89M595
61.99	   
61.99	   solver LocalSearchSolver being built... 
62.02	       =>  wckTime=61.728  cpuTime=60.4  mem=88M852
62.21	
62.21	s SATISFIABLE
62.21	o 2755
62.21	c 375
62.27	o 2761
62.27	c 369
62.45	o 2767
62.45	c 363
62.55	o 2772
62.55	c 358
62.78	o 2777
62.78	c 353
63.19	o 2781
63.19	c 349
63.52	o 2785
63.52	c 345
63.84	o 2789
63.84	c 341
64.11	o 2793
64.11	c 337
64.45	o 2797
64.45	c 333
64.87	o 2801
64.87	c 329
65.11	o 2805
65.11	c 325
65.38	o 2809
65.38	c 321
65.60	o 2813
65.60	c 317
65.88	o 2816
65.88	c 314
66.23	o 2819
66.23	c 311
66.53	o 2822
66.53	c 308
66.75	o 2825
66.75	c 305
67.01	o 2828
67.01	c 302
67.23	o 2831
67.23	c 299
67.45	o 2834
67.45	c 296
67.60	o 2837
67.60	c 293
67.77	o 2839
67.77	c 291
68.27	o 2841
68.27	c 289
68.78	o 2842
68.78	c 288
69.27	o 2845
69.27	c 285
69.78	o 2848
69.78	c 282
70.29	o 2851
70.29	c 279
70.80	o 2854
70.80	c 276
71.22	o 2857
71.23	c 273
71.63	o 2860
71.63	c 270
71.99	o 2863
71.99	c 267
72.33	o 2866
72.33	c 264
72.69	o 2869
72.69	c 261
73.07	o 2872
73.07	c 258
73.41	o 2875
73.41	c 255
73.73	o 2878
73.73	c 252
74.12	o 2881
74.12	c 249
74.52	o 2884
74.52	c 246
74.91	o 2887
74.91	c 243
75.36	o 2890
75.36	c 240
75.79	o 2892
75.79	c 238
76.24	o 2894
76.24	c 236
76.63	o 2896
76.63	c 234
77.18	o 2898
77.18	c 232
77.59	o 2900
77.59	c 230
77.97	o 2902
77.97	c 228
78.33	o 2904
78.33	c 226
78.69	o 2906
78.69	c 224
79.08	o 2908
79.08	c 222
79.53	o 2910
79.53	c 220
79.90	o 2912
79.90	c 218
80.32	o 2914
80.32	c 216
80.71	o 2915
80.71	c 215
81.08	o 2916
81.08	c 214
81.90	o 2917
81.90	c 213
82.36	o 2919
82.36	c 211
83.03	o 2921
83.03	c 209
83.81	o 2923
83.81	c 207
84.60	o 2925
84.60	c 205
85.36	o 2927
85.36	c 203
86.03	o 2929
86.03	c 201
86.72	o 2931
86.73	c 199
87.39	o 2933
87.39	c 197
88.02	o 2935
88.02	c 195
88.70	o 2937
88.70	c 193
89.34	o 2939
89.34	c 191
89.89	o 2941
89.89	c 189
90.46	o 2943
90.47	c 187
91.03	o 2945
91.03	c 185
91.55	o 2947
91.55	c 183
92.11	o 2949
92.11	c 181
92.60	o 2951
92.60	c 179
93.14	o 2953
93.14	c 177
93.64	o 2955
93.64	c 175
94.12	o 2957
94.12	c 173
94.57	o 2959
94.57	c 171
95.03	o 2961
95.03	c 169
95.44	o 2963
95.44	c 167
95.90	o 2965
95.90	c 165
96.30	o 2967
96.30	c 163
96.68	o 2969
96.68	c 161
97.10	o 2971
97.10	c 159
97.41	o 2973
97.41	c 157
97.89	o 2975
97.89	c 155
98.40	o 2976
98.40	c 154
98.87	o 2977
98.87	c 153
99.04	o 2979
99.04	c 151
99.47	o 2980
99.47	c 150
99.91	o 2981
99.91	c 149
100.34	o 2982
100.34	c 148
100.83	o 2983
100.83	c 147
101.36	o 2984
101.36	c 146
101.76	o 2985
101.76	c 145
102.27	o 2986
102.27	c 144
102.73	o 2987
102.73	c 143
103.11	o 2988
103.11	c 142
103.54	o 2989
103.54	c 141
104.04	o 2990
104.04	c 140
104.33	o 2991
104.33	c 139
104.60	o 2992
104.60	c 138
104.85	o 2993
104.85	c 137
107.57	o 2994
107.57	c 136
107.99	o 2995
107.99	c 135
108.49	o 2997
108.49	c 133
108.71	o 2999
108.71	c 131
109.18	o 3001
109.18	c 129
109.35	o 3003
109.35	c 127
109.75	o 3005
109.75	c 125
109.99	o 3006
109.99	c 124
110.33	o 3007
110.33	c 123
110.76	o 3008
110.76	c 122
111.14	o 3010
111.14	c 120
111.67	o 3012
111.67	c 118
112.29	o 3013
112.29	c 117
112.98	o 3015
112.98	c 115
113.64	o 3016
113.64	c 114
114.27	o 3017
114.27	c 113
114.89	o 3018
114.89	c 112
115.53	o 3019
115.53	c 111
116.12	o 3020
116.12	c 110
116.70	o 3021
116.70	c 109
117.29	o 3022
117.29	c 108
118.42	o 3023
118.42	c 107
119.43	o 3024
119.43	c 106
119.98	o 3025
119.98	c 105
120.53	o 3026
120.53	c 104
121.06	o 3027
121.06	c 103
121.55	o 3028
121.55	c 102
122.03	o 3029
122.03	c 101
122.52	o 3030
122.52	c 100
122.97	o 3031
122.97	c 99
123.45	o 3032
123.45	c 98
123.92	o 3033
123.92	c 97
124.40	o 3034
124.40	c 96
124.93	o 3035
124.93	c 95
125.40	o 3036
125.40	c 94
125.93	o 3037
125.93	c 93
126.51	o 3038
126.51	c 92
132.24	o 3039
132.24	c 91
142.43	o 3040
142.43	c 90
150.56	o 3041
150.56	c 89
151.14	o 3042
151.14	c 88
151.67	o 3044
151.67	c 86
160.25	o 3045
160.25	c 85
160.88	o 3046
160.88	c 84
161.57	o 3047
161.57	c 83
191.14	o 3048
191.14	c 82
201.22	o 3049
201.22	c 81
202.12	o 3050
202.12	c 80
219.43	o 3051
219.43	c 79
224.73	o 3052
224.73	c 78
225.54	o 3053
225.54	c 77
255.84	   
255.84	   search
255.84	     run=0  nbConstraintChecks=428696242  nbAssignments=350
255.84	       =>  wckTime=193.818  cpuTime=192.93  mem=88M852
255.84	   
255.84	   global
255.84	     nbConstraintChecks=428696242  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
255.84	     solvingWckTime=193.801  solvingCpuTime=192.91  expiredTime=no  totalExploration=no  nbFoundSolutions=0
255.84	     globalCpuTime=253.38
255.84	       =>  wckTime=255.547  cpuTime=253.33  mem=88M852
255.84	   
255.84	   solver IterativeSystematicSolver being built... 
256.12	       =>  wckTime=255.824  cpuTime=253.51  mem=143M11
324.01	   
324.01	   preprocessing
324.01	     nbConstraintChecks=285006393  nbValidityChecks=468919  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
324.01	     nbRemovedValues=0  detectedInconsistency=no
324.01	       =>  wckTime=67.889  cpuTime=67.58  mem=143M11
2407.12	v 100 294 316 527 633 221 344 402 499 1061 84 564 739 806 1116 71 160 587 1308 273 437 452 649 1060 1133 1297 1003 198 405 679 391 479 659 777 1089 1175 8 389 530 1056 1223 1305 889 1066 1179 159 374 497 853 924 998 719 1040 1199 136 494 727 859 936 1280 36 244 675 756 134 177 372 461 560 714 815 1004 1103 1145 1256 26 545 1188 0 50 789 956 992 1031 1161 1212 1232 40 702 795 95 160 522 7 71 106 279 324 441 495 1028 1196 279 331 487 139 1118 1153 1293 641 851 1217 48 234 323 12 19 677 580 805 91 126 266 774 875 506 539 974 1145 1174 115 221 366 745 868 580 704 27 178 224 0 6 192 301 565 745 994 184 413 581 55 141 233 1157 0 22 119 252 309 391 444 703 916 1124 1272 565 790 1029 1084 1162 181 460 639 653 673 1002 1160 211 931 1181 8 126 202 347 401 524 1109 381 455 467 703 318 397 497 724 453 625 839 245 1149 1172 1294 566 1125 1147 1246 589 770 954 1035 1059 22 291 382 500 113 123 209 677 833 1174 660 751 868 1000 347 1 119 375 520 123 197 280 465 813 899 1184 22 324 430 1232 545 796 887 31 254 490 932 36 170 272 387 593 865 1000 166 580 687 769 927 1225 350 568 1194 1203 456 10 345 398 462 234 543 637 848 980 1202 2 292 495 626 829 997 1135 1168 1189 271 567 632 779 902 43 149 234 353 801 1008 1103 1171 1206 883

Verifier Data (download as text)

77 unsatisfied constraints, 3053 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/node66/watcher-277461-1169268382 -o ROOT/results/node66/solver-277461-1169268382 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277461-1169268382/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.95 2.01 1.95 5/81 3126
/proc/meminfo: memFree=1330128/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=18540 CPUtime=0
/proc/3125/stat : 3125 (runsolver) R 3123 3125 2859 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 74335577 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 227607637287 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/3125/statm: 4635 279 244 17 0 2626 0

[startup+0.107754 s]
/proc/loadavg: 1.95 2.01 1.95 5/81 3126
/proc/meminfo: memFree=1330128/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=914988 CPUtime=0.09
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 3028 0 1 0 7 2 0 0 24 0 8 0 74335577 936947712 2774 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10306524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228747 2774 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.516804 s]
/proc/loadavg: 1.95 2.01 1.95 5/81 3126
/proc/meminfo: memFree=1330128/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915332 CPUtime=0.48
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 8684 0 1 0 42 6 0 0 25 0 8 0 74335577 937299968 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228833 8423 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332

[startup+1.3379 s]
/proc/loadavg: 1.95 2.01 1.95 3/88 3133
/proc/meminfo: memFree=1286424/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=1.31
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 13420 0 1 0 121 10 0 0 25 0 8 0 74335577 937611264 13158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784436 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 13158 2168 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 74335581 937611264 13158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 74335581 937611264 13158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 74335581 937611264 13158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 13158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.14
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 406 0 0 0 14 0 0 0 16 0 8 0 74335584 937611264 13158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 13158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 13158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915636

[startup+2.9751 s]
/proc/loadavg: 1.95 2.01 1.95 3/88 3133
/proc/meminfo: memFree=1284504/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=2.94
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 14014 0 1 0 284 10 0 0 25 0 8 0 74335577 937611264 13751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 13751 2168 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 74335581 937611264 13751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 74335581 937611264 13751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 74335581 937611264 13751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 13751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.14
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 408 0 0 0 14 0 0 0 16 0 8 0 74335584 937611264 13751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 13751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 13751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636

[startup+6.26151 s]
/proc/loadavg: 1.96 2.01 1.95 3/88 3133
/proc/meminfo: memFree=1278936/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=6.21
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 15400 0 1 0 610 11 0 0 25 0 8 0 74335577 937611264 15136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800821 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 15136 2168 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 15136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 74335581 937611264 15136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 74335581 937611264 15136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 15136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.15
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 408 0 0 0 15 0 0 0 17 0 8 0 74335584 937611264 15136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 15136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 15136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915636

[startup+12.7403 s]
/proc/loadavg: 1.96 2.00 1.95 3/88 3133
/proc/meminfo: memFree=1251680/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=12.66
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 21946 0 1 0 1252 14 0 0 25 0 8 0 74335577 937611264 21681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 21681 2179 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.1
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 5458 0 0 0 8 2 0 0 16 0 8 0 74335581 937611264 21681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 21681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 21681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 21681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.15
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 408 0 0 0 15 0 0 0 17 0 8 0 74335584 937611264 21681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 21681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 21681 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915636

[startup+25.5999 s]
/proc/loadavg: 2.04 2.02 1.95 3/88 3133
/proc/meminfo: memFree=1251680/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=25.44
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 21949 0 1 0 2530 14 0 0 25 0 8 0 74335577 937611264 21684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 21684 2179 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.1
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 5458 0 0 0 8 2 0 0 16 0 8 0 74335581 937611264 21684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 21684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 21684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 21684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.15
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 409 0 0 0 15 0 0 0 16 0 8 0 74335584 937611264 21684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 21684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 21684 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915636

[startup+51.294 s]
/proc/loadavg: 2.03 2.02 1.95 3/88 3133
/proc/meminfo: memFree=1212128/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=51.03
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 31864 0 1 0 5086 17 0 0 25 0 8 0 74335577 937611264 31598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783206 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 31598 2179 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.39
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 15362 0 0 0 35 4 0 0 16 0 8 0 74335581 937611264 31598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 31598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 31598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 31598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.16
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 418 0 0 0 16 0 0 0 17 0 8 0 74335584 937611264 31598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 31598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 31598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 915636

[startup+102.577 s]
/proc/loadavg: 1.94 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1186328/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=102.12
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 40301 0 1 0 10188 24 0 0 25 0 8 0 74335577 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929540 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 40031 2501 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.87
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 23294 0 0 0 80 7 0 0 16 0 8 0 74335581 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.21
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 448 0 0 0 20 1 0 0 16 0 8 0 74335584 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 915636

[startup+162.625 s]
/proc/loadavg: 1.98 1.98 1.94 3/87 3331
/proc/meminfo: memFree=1186392/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=161.87
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 40301 0 1 0 16163 24 0 0 25 0 8 0 74335577 937611264 40031 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784404 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

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

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

[startup+2083.16 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 3806
/proc/meminfo: memFree=1158880/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=2077.53
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 46549 0 1 0 207709 44 0 0 25 0 8 0 74335577 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3125/statm: 228909 46257 2548 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.92
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 29380 0 0 0 83 9 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.3
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 509 0 0 0 29 1 0 0 16 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2077.53
Current children cumulated vsize (KiB) 915636

[startup+2143.17 s]
/proc/loadavg: 1.91 1.97 1.94 3/80 4175
/proc/meminfo: memFree=1182128/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=2137.27
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 46549 0 1 0 213678 49 0 0 25 0 8 0 74335577 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 46257 2548 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.92
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 29380 0 0 0 83 9 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.3
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 509 0 0 0 29 1 0 0 16 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2137.27
Current children cumulated vsize (KiB) 915636

[startup+2203.2 s]
/proc/loadavg: 2.01 1.99 1.95 3/80 4175
/proc/meminfo: memFree=1182192/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=2197.03
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 46549 0 1 0 219654 49 0 0 25 0 8 0 74335577 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 46257 2548 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.92
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 29380 0 0 0 83 9 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.3
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 509 0 0 0 29 1 0 0 16 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2197.03
Current children cumulated vsize (KiB) 915636

[startup+2263.22 s]
/proc/loadavg: 2.00 1.99 1.95 3/80 4175
/proc/meminfo: memFree=1182192/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=2256.77
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 46549 0 1 0 225628 49 0 0 25 0 8 0 74335577 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073929535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 46257 2548 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.92
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 29380 0 0 0 83 9 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.3
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 509 0 0 0 29 1 0 0 16 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2256.77
Current children cumulated vsize (KiB) 915636

[startup+2323.24 s]
/proc/loadavg: 2.00 1.99 1.95 3/80 4175
/proc/meminfo: memFree=1182256/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=2316.52
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 46550 0 1 0 231603 49 0 0 25 0 8 0 74335577 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 46257 2548 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.92
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 29380 0 0 0 83 9 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.3
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 509 0 0 0 29 1 0 0 16 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2316.52
Current children cumulated vsize (KiB) 915636

[startup+2383.27 s]
/proc/loadavg: 2.00 1.99 1.95 3/80 4175
/proc/meminfo: memFree=1182192/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=2376.29
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 46550 0 1 0 237579 50 0 0 25 0 8 0 74335577 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 46257 2548 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.92
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 29380 0 0 0 83 9 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.3
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 509 0 0 0 29 1 0 0 16 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2376.29
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2407.12 s]
/proc/loadavg: 2.00 1.99 1.95 3/80 4175
/proc/meminfo: memFree=1182192/2055920 swapFree=4192812/4192956
[pid=3125] ppid=3123 vsize=915636 CPUtime=2400.02
/proc/3125/stat : 3125 (java) R 3123 3125 2859 0 -1 0 46550 0 1 0 239952 50 0 0 25 0 8 0 74335577 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3125/statm: 228909 46257 2548 14 0 215379 0
[pid=3125/tid=3127] ppid=3123 vsize=915636 CPUtime=0.92
/proc/3125/task/3127/stat : 3127 (java) S 3123 3125 2859 0 -1 64 29380 0 0 0 83 9 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3128] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3128/stat : 3128 (java) S 3123 3125 2859 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3129] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3129/stat : 3129 (java) S 3123 3125 2859 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 74335581 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3130] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3130/stat : 3130 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3131] ppid=3123 vsize=915636 CPUtime=0.3
/proc/3125/task/3131/stat : 3131 (java) S 3123 3125 2859 0 -1 64 509 0 0 0 29 1 0 0 16 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3125/tid=3132] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3132/stat : 3132 (java) S 3123 3125 2859 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3125/tid=3133] ppid=3123 vsize=915636 CPUtime=0
/proc/3125/task/3133/stat : 3133 (java) S 3123 3125 2859 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 74335584 937611264 46257 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2407.19
CPU time (s): 2400.09
CPU user time (s): 2399.57
CPU system time (s): 0.527919
CPU usage (%): 99.7054
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.57
system time used= 0.527919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46574
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= 50094
involuntary context switches= 52349

runsolver used 2.19067 s user time and 6.43202 s system time

The end

Launcher Data (download as text)

Begin job on node66 on Sat Jan 20 04:46:24 UTC 2007


IDJOB= 277461
IDBENCH= 6732
IDSOLVER= 69
FILE ID= node66/277461-1169268382

PBS_JOBID= 3607346

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  bb065c72545231f8bd5588cd1b436175

RANDOM SEED= 767526107

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.230
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.230
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:       1330608 kB
Buffers:         46676 kB
Cached:         551912 kB
SwapCached:         16 kB
Active:         115360 kB
Inactive:       539080 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1330608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2196 kB
Writeback:           0 kB
Mapped:          73996 kB
Slab:            56032 kB
Committed_AS:   702284 kB
PageTables:       1864 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 node66 on Sat Jan 20 05:26:31 UTC 2007