Trace number 277464

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.18 2401.17

General information on the benchmark

Nametaillard/
js-taillard-20-15/js-taillard-20-15-95-7.xml
MD5SUM947d518cd9583057cef509a1af4401f2
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3047
Best CPU time to get the best result obtained on this benchmark2400.18
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1360
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.34	   
0.34	Abscon 109 (November, 2006)
0.34	   
0.34	   configuration
0.34	     name=pfc.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/277464-1169268388/unknown.xml
0.40	   
0.41	   domains being loaded...
0.46	   
0.46	   variables being loaded...
0.55	     nbVariables=300  nbDomainTypes=300  minDomainSize=1262  maxDomainSize=1360
0.55	       =>  wckTime=0.214  cpuTime=0.15  mem=17M689
0.55	   
0.55	   predicates being loaded...
0.56	   
0.56	   constraints being loaded...
61.15	   
61.15	   INFO : Stopping converting binary constraints (cpu=60.14, mem = 86M982)
61.54	     nbConstraints=3130  nbConvertedConstraints=141  nbConvertConstraintsChecks=240415603  nbExtensionStructures=141
61.54	     nbSharedExtensionStructures=0  nbConflictsStructures=141  nbSharedConflictsStructures=0
61.54	     nbSharedBinaryRepresentations=81044  nbEvaluationManagers=2989  nbSharedEvaluationManagers=0  maxDegree=21
61.54	     maxArity=2
61.54	       =>  wckTime=61.198  cpuTime=60.44  mem=108M941
61.78	   
61.78	   solver LocalSearchSolver being built... 
61.82	       =>  wckTime=61.478  cpuTime=60.49  mem=84M625
61.98	
61.98	s SATISFIABLE
61.98	o 2763
61.98	c 367
62.04	o 2769
62.04	c 361
62.11	o 2775
62.11	c 355
62.20	o 2781
62.20	c 349
62.26	o 2787
62.26	c 343
62.39	o 2792
62.39	c 338
62.54	o 2797
62.54	c 333
62.64	o 2802
62.64	c 328
62.79	o 2807
62.79	c 323
62.91	o 2812
62.91	c 318
63.15	o 2816
63.15	c 314
63.39	o 2820
63.39	c 310
63.71	o 2824
63.71	c 306
63.88	o 2828
63.88	c 302
64.10	o 2832
64.10	c 298
64.41	o 2835
64.41	c 295
64.64	o 2838
64.64	c 292
64.95	o 2841
64.95	c 289
65.16	o 2844
65.16	c 286
65.45	o 2847
65.45	c 283
65.61	o 2850
65.61	c 280
65.84	o 2852
65.84	c 278
66.15	o 2854
66.15	c 276
66.51	o 2855
66.51	c 275
66.86	o 2859
66.86	c 271
67.30	o 2862
67.30	c 268
67.69	o 2865
67.69	c 265
68.09	o 2868
68.09	c 262
68.50	o 2871
68.50	c 259
68.86	o 2874
68.86	c 256
69.24	o 2877
69.24	c 253
69.62	o 2880
69.62	c 250
69.93	o 2883
69.93	c 247
70.33	o 2886
70.33	c 244
70.72	o 2889
70.72	c 241
71.10	o 2892
71.10	c 238
71.44	o 2894
71.44	c 236
71.80	o 2896
71.80	c 234
72.16	o 2899
72.16	c 231
72.57	o 2901
72.57	c 229
72.87	o 2903
72.87	c 227
73.15	o 2905
73.15	c 225
73.46	o 2907
73.46	c 223
73.70	o 2909
73.70	c 221
73.96	o 2911
73.96	c 219
74.20	o 2913
74.20	c 217
74.46	o 2914
74.46	c 216
74.75	o 2915
74.75	c 215
75.30	o 2916
75.30	c 214
76.00	o 2917
76.00	c 213
76.73	o 2919
76.73	c 211
77.43	o 2921
77.43	c 209
78.12	o 2923
78.12	c 207
78.78	o 2925
78.78	c 205
79.43	o 2927
79.43	c 203
80.06	o 2929
80.06	c 201
80.68	o 2931
80.68	c 199
81.28	o 2933
81.28	c 197
81.87	o 2935
81.87	c 195
82.47	o 2937
82.47	c 193
83.02	o 2939
83.02	c 191
83.57	o 2941
83.57	c 189
84.10	o 2943
84.10	c 187
84.61	o 2945
84.61	c 185
85.12	o 2947
85.12	c 183
85.61	o 2949
85.61	c 181
86.11	o 2951
86.11	c 179
86.63	o 2953
86.63	c 177
87.18	o 2955
87.18	c 175
87.69	o 2957
87.69	c 173
88.21	o 2959
88.21	c 171
88.70	o 2961
88.70	c 169
89.12	o 2963
89.12	c 167
89.51	o 2965
89.51	c 165
90.11	o 2967
90.11	c 163
90.58	o 2969
90.58	c 161
91.14	o 2970
91.14	c 160
91.75	o 2971
91.75	c 159
92.29	o 2972
92.29	c 158
92.82	o 2973
92.82	c 157
93.34	o 2974
93.34	c 156
93.84	o 2975
93.84	c 155
94.32	o 2976
94.32	c 154
94.81	o 2977
94.81	c 153
95.28	o 2978
95.28	c 152
95.72	o 2979
95.72	c 151
96.19	o 2980
96.19	c 150
96.58	o 2981
96.58	c 149
96.98	o 2982
96.98	c 148
97.36	o 2983
97.36	c 147
97.72	o 2984
97.72	c 146
98.06	o 2985
98.06	c 145
98.43	o 2986
98.43	c 144
98.75	o 2987
98.75	c 143
99.10	o 2988
99.10	c 142
99.38	o 2989
99.38	c 141
99.66	o 2990
99.66	c 140
99.96	o 2991
99.96	c 139
101.93	o 2993
101.93	c 137
102.77	o 2994
102.77	c 136
102.93	o 2996
102.93	c 134
103.37	o 2998
103.37	c 132
104.32	o 3000
104.32	c 130
104.59	o 3001
104.59	c 129
104.88	o 3003
104.88	c 127
105.41	o 3005
105.41	c 125
106.40	o 3007
106.40	c 123
106.93	o 3008
106.93	c 122
107.48	o 3009
107.48	c 121
108.02	o 3011
108.02	c 119
108.50	o 3012
108.50	c 118
109.14	o 3013
109.14	c 117
109.78	o 3014
109.78	c 116
110.42	o 3015
110.42	c 115
111.05	o 3016
111.05	c 114
111.72	o 3017
111.72	c 113
112.34	o 3018
112.34	c 112
112.80	o 3019
112.80	c 111
114.01	o 3020
114.01	c 110
115.00	o 3021
115.00	c 109
115.58	o 3022
115.58	c 108
116.17	o 3023
116.17	c 107
116.71	o 3024
116.72	c 106
117.25	o 3025
117.25	c 105
117.77	o 3026
117.77	c 104
118.36	o 3027
118.36	c 103
118.85	o 3028
118.85	c 102
119.07	o 3029
119.07	c 101
119.56	o 3030
119.56	c 100
120.03	o 3031
120.03	c 99
120.58	o 3032
120.58	c 98
121.16	o 3033
121.16	c 97
123.80	o 3034
123.80	c 96
141.15	o 3035
141.15	c 95
141.60	o 3036
141.60	c 94
145.63	o 3037
145.63	c 93
146.55	o 3038
146.55	c 92
146.98	o 3039
146.98	c 91
147.41	o 3040
147.41	c 90
149.67	o 3041
149.67	c 89
150.11	o 3042
150.11	c 88
150.56	o 3043
150.56	c 87
151.55	o 3044
151.55	c 86
159.59	o 3045
159.59	c 85
164.51	o 3046
164.52	c 84
195.29	   
195.29	   search
195.29	     run=0  nbConstraintChecks=313783891  nbAssignments=286
195.29	       =>  wckTime=133.472  cpuTime=133.41  mem=85M587
195.29	   
195.29	   global
195.29	     nbConstraintChecks=313783891  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
195.29	     solvingWckTime=133.453  solvingCpuTime=133.39  expiredTime=no  totalExploration=no  nbFoundSolutions=0
195.29	     globalCpuTime=193.95
195.29	       =>  wckTime=194.951  cpuTime=193.9  mem=85M587
195.29	   
195.29	   solver IterativeSystematicSolver being built... 
195.59	       =>  wckTime=195.25  cpuTime=194.09  mem=141M459
273.00	   
273.00	   preprocessing
273.00	     nbConstraintChecks=305291435  nbValidityChecks=487625  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
273.00	     nbRemovedValues=0  detectedInconsistency=no
273.00	       =>  wckTime=77.411  cpuTime=77.37  mem=141M459
859.24	o 3047
859.24	c 83
892.83	   
892.83	   search
892.83	     run=0  nbConstraintChecks=2123318446  nbValidityChecks=982213170  nbPropagations=0  nbRevisions=0
892.83	     nbUselessRevisions=0  nbAssignments=310  nbFailedAssignments=10  nbBacktracks=213  nbVisitedNodes=479
892.83	     nbRestartNogoods=0
892.83	       =>  wckTime=697.238  cpuTime=696.9  mem=142M473
2232.62	   
2232.62	   search
2232.62	     run=1  nbConstraintChecks=6411180462  nbValidityChecks=2513160033  nbPropagations=0  nbRevisions=0
2232.62	     nbUselessRevisions=0  nbAssignments=481  nbFailedAssignments=74  nbBacktracks=228  nbVisitedNodes=729
2232.62	     nbRestartNogoods=1
2232.62	       =>  wckTime=2037.024  cpuTime=2036.25  mem=142M473
2401.08	v 84 337 426 455 510 524 557 623 637 644 701 756 774 208 822 0 296 466 514 0 386 844 158 220 346 692 769 1005 0 987 3 196 416 457 644 701 771 849 220 599 844 93 188 276 927 0 85 350 422 467 188 611 695 94 849 876 0 387 637 785 277 320 1069 343 403 771 226 692 704 378 435 256 384 439 472 273 851 237 301 887 188 356 574 208 556 694 304 386 312 976 232 764 98 413 453 472 847 0 88 257 582 593 653 766 834 321 808 255 439 470 503 546 0 515 625 708 0 556 593 669 315 496 0 362 753 378 457 497 517 567 659 0 331 392 466 829 926 154 494 669 692 90 591 914 0 558 632 834 93 422 381 847 180 926 1000 0 605 252 367 524 169 342 433 249 915 288 724 0 170 254 300 344 439 510 574 99 184 320 871 927 317 381 382 88 180 328 447 1025 0 455 549 611 653 713 769 0 363 704 95 402 708 783 808 1084 88 415 416 879 88 269 0 176 977 84 561 184 340 361 0 776 876 352 419 98 506 549 582 605 612 161 237 411 320 346 670 1114 169 252 455 497 354 516 702 0 401 474 261 901 976 264 505 235 971 164 910 668 764 770 822 844 170 370 184 391 489 221 516 1077 300 836 442 273 905 183 774 979 268 644 704 0 390 485 556 617 672 574 266 992 262 989 349 701 274 928 97 1030 1080 98 294 359

Verifier Data (download as text)

83 unsatisfied constraints, 3047 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/node56/watcher-277464-1169268388 -o ROOT/results/node56/solver-277464-1169268388 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277464-1169268388/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.92 2.02 1.98 5/81 14006
/proc/meminfo: memFree=1508728/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=18540 CPUtime=0
/proc/14005/stat : 14005 (runsolver) R 14003 14005 13712 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275237487 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/14005/statm: 4635 279 244 17 0 2626 0

[startup+0.107736 s]
/proc/loadavg: 1.92 2.02 1.98 5/81 14006
/proc/meminfo: memFree=1508728/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=914988 CPUtime=0.09
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 2995 0 1 0 7 2 0 0 25 0 8 0 275237487 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14005/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515782 s]
/proc/loadavg: 1.92 2.02 1.98 5/81 14006
/proc/meminfo: memFree=1508728/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915332 CPUtime=0.44
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 6932 0 1 0 40 4 0 0 22 0 8 0 275237487 937299968 6671 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228833 6671 2138 14 0 215303 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915332

[startup+1.33785 s]
/proc/loadavg: 1.92 2.02 1.98 3/88 14013
/proc/meminfo: memFree=1464832/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=1.26
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 13522 0 1 0 118 8 0 0 25 0 8 0 275237487 937611264 13260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 13260 2168 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275237491 937611264 13260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 275237492 937611264 13260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 275237492 937611264 13260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 13260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.16
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 406 0 0 0 16 0 0 0 16 0 8 0 275237495 937611264 13260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 13260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275237495 937611264 13260 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915636

[startup+2.99002 s]
/proc/loadavg: 1.93 2.02 1.98 3/88 14013
/proc/meminfo: memFree=1462848/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=2.9
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 14171 0 1 0 282 8 0 0 25 0 8 0 275237487 937611264 13908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 13908 2168 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275237491 937611264 13908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 275237492 937611264 13908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 275237492 937611264 13908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 13908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.16
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 275237495 937611264 13908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 13908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275237495 937611264 13908 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915636

[startup+6.27634 s]
/proc/loadavg: 1.93 2.02 1.98 3/88 14013
/proc/meminfo: memFree=1458176/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=6.18
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 15223 0 1 0 609 9 0 0 25 0 8 0 275237487 937611264 14960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 14960 2168 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275237491 937611264 14960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 275237492 937611264 14960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 275237492 937611264 14960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 14960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.16
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 407 0 0 0 16 0 0 0 17 0 8 0 275237495 937611264 14960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 14960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275237495 937611264 14960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915636

[startup+12.768 s]
/proc/loadavg: 1.94 2.02 1.98 3/88 14013
/proc/meminfo: memFree=1429696/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=12.63
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 22123 0 1 0 1252 11 0 0 25 0 8 0 275237487 937611264 21859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 21859 2179 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.1
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 5544 0 0 0 8 2 0 0 16 0 8 0 275237491 937611264 21859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 21859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 21859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 21859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.16
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 407 0 0 0 16 0 0 0 17 0 8 0 275237495 937611264 21859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 21859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275237495 937611264 21859 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915636

[startup+25.6082 s]
/proc/loadavg: 1.87 2.00 1.97 2/75 14028
/proc/meminfo: memFree=1461600/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=25.42
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 22125 0 1 0 2530 12 0 0 25 0 8 0 275237487 937611264 21861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 21861 2179 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.1
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 5544 0 0 0 8 2 0 0 16 0 8 0 275237491 937611264 21861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 21861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 21861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 21861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.16
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 408 0 0 0 16 0 0 0 17 0 8 0 275237495 937611264 21861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 21861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275237495 937611264 21861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915636

[startup+51.2087 s]
/proc/loadavg: 1.99 2.02 1.98 3/88 14087
/proc/meminfo: memFree=1309048/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=51
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 33327 0 1 0 5083 17 0 0 25 0 8 0 275237487 937611264 33062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 33062 2179 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.41
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 16705 0 0 0 35 6 0 0 16 0 8 0 275237491 937611264 33062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 33062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 33062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 33062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.17
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 415 0 0 0 17 0 0 0 17 0 8 0 275237495 937611264 33062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 33062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275237495 937611264 33062 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915636

[startup+102.432 s]
/proc/loadavg: 1.99 2.01 1.98 3/88 14087
/proc/meminfo: memFree=1250360/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=102.21
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 39489 0 1 0 10199 22 0 0 25 0 8 0 275237487 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785518 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 39221 2501 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.64
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 22482 0 0 0 56 8 0 0 16 0 8 0 275237491 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.24
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 448 0 0 0 23 1 0 0 16 0 8 0 275237495 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275237495 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 915636

[startup+162.436 s]
/proc/loadavg: 1.99 2.01 1.98 3/88 14087
/proc/meminfo: memFree=1249080/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=162.19
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 39489 0 1 0 16196 23 0 0 25 0 8 0 275237487 937611264 39221 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.12 s]
/proc/loadavg: 2.04 2.05 2.00 3/88 14287
/proc/meminfo: memFree=1223160/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=2083.21
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 45849 0 1 0 208290 31 0 0 25 0 8 0 275237487 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 45552 2551 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 28662 0 0 0 59 11 0 0 16 0 8 0 275237491 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.35
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 516 0 0 0 34 1 0 0 16 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0.01
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2083.21
Current children cumulated vsize (KiB) 915636

[startup+2144.21 s]
/proc/loadavg: 2.01 2.04 2.00 3/88 14287
/proc/meminfo: memFree=1223224/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=2143.29
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 45849 0 1 0 214298 31 0 0 25 0 8 0 275237487 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074056567 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 45552 2551 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 28662 0 0 0 59 11 0 0 16 0 8 0 275237491 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.35
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 516 0 0 0 34 1 0 0 16 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0.01
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2143.29
Current children cumulated vsize (KiB) 915636

[startup+2204.29 s]
/proc/loadavg: 2.04 2.04 2.00 3/88 14287
/proc/meminfo: memFree=1223224/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=2203.35
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 45849 0 1 0 220304 31 0 0 25 0 8 0 275237487 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074056336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 45552 2551 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 28662 0 0 0 59 11 0 0 16 0 8 0 275237491 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.35
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 516 0 0 0 34 1 0 0 16 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0.01
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2203.35
Current children cumulated vsize (KiB) 915636

[startup+2264.36 s]
/proc/loadavg: 2.04 2.05 2.00 3/88 14287
/proc/meminfo: memFree=1223288/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=2263.41
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 45849 0 1 0 226309 32 0 0 25 0 8 0 275237487 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 45552 2551 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 28662 0 0 0 59 11 0 0 16 0 8 0 275237491 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.35
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 516 0 0 0 34 1 0 0 16 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0.02
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 2 0 0 0 15 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2263.41
Current children cumulated vsize (KiB) 915636

[startup+2324.43 s]
/proc/loadavg: 2.01 2.04 2.00 3/88 14287
/proc/meminfo: memFree=1223288/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=2323.47
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 45849 0 1 0 232315 32 0 0 25 0 8 0 275237487 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073932543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 45552 2551 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 28662 0 0 0 59 11 0 0 16 0 8 0 275237491 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.35
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 516 0 0 0 34 1 0 0 16 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0.02
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 2 0 0 0 15 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2323.47
Current children cumulated vsize (KiB) 915636

[startup+2384.51 s]
/proc/loadavg: 2.00 2.03 2.00 3/88 14287
/proc/meminfo: memFree=1223288/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=2383.53
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 45849 0 1 0 238321 32 0 0 25 0 8 0 275237487 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073932543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 45552 2551 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 28662 0 0 0 59 11 0 0 16 0 8 0 275237491 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.35
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 516 0 0 0 34 1 0 0 16 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0.03
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2383.53
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.07 s]
/proc/loadavg: 2.00 2.02 2.00 3/88 14287
/proc/meminfo: memFree=1223224/2055920 swapFree=4184804/4192956
[pid=14005] ppid=14003 vsize=915636 CPUtime=2400.09
/proc/14005/stat : 14005 (java) R 14003 14005 13712 0 -1 0 45849 0 1 0 239977 32 0 0 25 0 8 0 275237487 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14005/statm: 228909 45552 2551 14 0 215379 0
[pid=14005/tid=14007] ppid=14003 vsize=915636 CPUtime=0.7
/proc/14005/task/14007/stat : 14007 (java) S 14003 14005 13712 0 -1 64 28662 0 0 0 59 11 0 0 16 0 8 0 275237491 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14008] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14008/stat : 14008 (java) S 14003 14005 13712 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14009] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14009/stat : 14009 (java) S 14003 14005 13712 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275237492 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14010] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14010/stat : 14010 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14011] ppid=14003 vsize=915636 CPUtime=0.35
/proc/14005/task/14011/stat : 14011 (java) S 14003 14005 13712 0 -1 64 516 0 0 0 34 1 0 0 16 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14005/tid=14012] ppid=14003 vsize=915636 CPUtime=0
/proc/14005/task/14012/stat : 14012 (java) S 14003 14005 13712 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14005/tid=14013] ppid=14003 vsize=915636 CPUtime=0.03
/proc/14005/task/14013/stat : 14013 (java) S 14003 14005 13712 0 -1 64 1 0 0 0 2 1 0 0 15 0 8 0 275237495 937611264 45552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2401.17
CPU time (s): 2400.18
CPU user time (s): 2399.83
CPU system time (s): 0.354946
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.83
system time used= 0.354946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45871
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= 50076
involuntary context switches= 39727

runsolver used 3.04054 s user time and 6.41802 s system time

The end

Launcher Data (download as text)

Begin job on node56 on Sat Jan 20 04:46:30 UTC 2007


IDJOB= 277464
IDBENCH= 6733
IDSOLVER= 69
FILE ID= node56/277464-1169268388

PBS_JOBID= 3607314

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  947d518cd9583057cef509a1af4401f2

RANDOM SEED= 258837585

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.232
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.232
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:       1509208 kB
Buffers:         36792 kB
Cached:         391232 kB
SwapCached:       2144 kB
Active:         117644 kB
Inactive:       357184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1509208 kB
SwapTotal:     4192956 kB
SwapFree:      4184804 kB
Dirty:            2208 kB
Writeback:           0 kB
Mapped:          61720 kB
Slab:            56928 kB
Committed_AS:  4958588 kB
PageTables:       2004 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= 66562 MiB



End job on node56 on Sat Jan 20 05:26:35 UTC 2007