Trace number 277452

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.11 2411.68

General information on the benchmark

Nametaillard/
js-taillard-20-15/js-taillard-20-15-95-0.xml
MD5SUMbe10a42a20dba25b38a1f76af4db41c0
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMSAT TO
Best Number of satisfied constraints3039
Best CPU time to get the best result obtained on this benchmark2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints3130
Maximum constraint arity2
Maximum domain size1306
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3130
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=pfc.xml
0.34	   
0.34	   instance
0.34	     name=/tmp/evaluation/277452-1169268191/unknown.xml
0.37	   
0.37	   domains being loaded...
0.42	   
0.42	   variables being loaded...
0.51	     nbVariables=300  nbDomainTypes=300  minDomainSize=1209  maxDomainSize=1306
0.51	       =>  wckTime=0.206  cpuTime=0.16  mem=16M725
0.51	   
0.51	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
61.12	   
61.12	   INFO : Stopping converting binary constraints (cpu=60.01, mem = 84M811)
61.50	     nbConstraints=3130  nbConvertedConstraints=150  nbConvertConstraintsChecks=237555915  nbExtensionStructures=150
61.50	     nbSharedExtensionStructures=0  nbConflictsStructures=150  nbSharedConflictsStructures=0
61.50	     nbSharedBinaryRepresentations=98608  nbEvaluationManagers=2980  nbSharedEvaluationManagers=0  maxDegree=21
61.50	     maxArity=2
61.50	       =>  wckTime=61.194  cpuTime=60.33  mem=105M815
61.74	   
61.74	   solver LocalSearchSolver being built... 
61.78	       =>  wckTime=61.471  cpuTime=60.38  mem=81M44
61.88	
61.88	s SATISFIABLE
61.88	o 2773
61.88	c 357
62.07	o 2778
62.07	c 352
62.26	o 2783
62.26	c 347
62.42	o 2788
62.42	c 342
62.61	o 2792
62.61	c 338
62.78	o 2796
62.78	c 334
63.09	o 2800
63.09	c 330
63.39	o 2804
63.39	c 326
63.63	o 2808
63.63	c 322
63.96	o 2812
63.96	c 318
64.22	o 2816
64.22	c 314
64.49	o 2820
64.49	c 310
64.77	o 2824
64.77	c 306
65.01	o 2827
65.01	c 303
65.26	o 2830
65.26	c 300
65.51	o 2833
65.51	c 297
65.78	o 2836
65.78	c 294
65.95	o 2839
65.95	c 291
66.14	o 2841
66.14	c 289
66.46	o 2842
66.46	c 288
66.97	o 2845
66.98	c 285
67.47	o 2848
67.47	c 282
67.93	o 2851
67.93	c 279
68.50	o 2854
68.50	c 276
69.04	o 2857
69.04	c 273
69.50	o 2860
69.50	c 270
69.97	o 2863
69.97	c 267
70.39	o 2866
70.39	c 264
70.77	o 2869
70.77	c 261
71.16	o 2872
71.16	c 258
71.56	o 2875
71.56	c 255
71.88	o 2878
71.88	c 252
72.27	o 2881
72.27	c 249
72.63	o 2884
72.63	c 246
72.96	o 2887
72.96	c 243
73.36	o 2889
73.36	c 241
73.75	o 2891
73.75	c 239
74.08	o 2894
74.08	c 236
74.48	o 2896
74.48	c 234
74.81	o 2898
74.81	c 232
75.18	o 2900
75.18	c 230
75.57	o 2902
75.57	c 228
75.92	o 2904
75.92	c 226
76.29	o 2906
76.29	c 224
76.59	o 2908
76.59	c 222
77.08	o 2911
77.08	c 219
77.33	o 2913
77.33	c 217
77.68	o 2914
77.68	c 216
77.96	o 2915
77.96	c 215
78.21	o 2916
78.21	c 214
78.50	o 2917
78.50	c 213
78.71	o 2919
78.71	c 211
79.39	o 2920
79.39	c 210
80.09	o 2922
80.09	c 208
80.76	o 2924
80.76	c 206
81.37	o 2926
81.37	c 204
81.98	o 2928
81.98	c 202
82.60	o 2930
82.60	c 200
83.27	o 2932
83.27	c 198
83.85	o 2934
83.85	c 196
84.43	o 2936
84.43	c 194
84.98	o 2938
84.98	c 192
85.54	o 2940
85.54	c 190
86.08	o 2942
86.08	c 188
86.61	o 2944
86.61	c 186
87.23	o 2946
87.23	c 184
87.89	o 2948
87.89	c 182
88.35	o 2950
88.35	c 180
88.83	o 2952
88.83	c 178
89.45	o 2954
89.45	c 176
89.92	o 2956
89.92	c 174
90.34	o 2958
90.34	c 172
90.78	o 2960
90.78	c 170
91.30	o 2962
91.30	c 168
91.83	o 2964
91.83	c 166
92.20	o 2966
92.20	c 164
92.61	o 2968
92.61	c 162
92.94	o 2970
92.94	c 160
93.48	o 2971
93.48	c 159
94.00	o 2972
94.00	c 158
94.54	o 2973
94.54	c 157
95.09	o 2974
95.09	c 156
95.54	o 2975
95.54	c 155
95.84	o 2976
95.84	c 154
96.26	o 2977
96.26	c 153
96.67	o 2978
96.67	c 152
97.09	o 2979
97.09	c 151
97.45	o 2980
97.45	c 150
97.77	o 2981
97.77	c 149
98.21	o 2982
98.21	c 148
98.52	o 2983
98.52	c 147
98.87	o 2984
98.87	c 146
99.12	o 2985
99.12	c 145
99.38	o 2986
99.38	c 144
99.64	o 2987
99.64	c 143
101.25	o 2988
101.25	c 142
102.92	o 2989
102.92	c 141
104.56	o 2990
104.56	c 140
104.95	o 2991
104.95	c 139
105.53	o 2992
105.53	c 138
106.81	o 2994
106.81	c 136
107.10	o 2995
107.10	c 135
107.86	o 2996
107.86	c 134
108.15	o 2997
108.15	c 133
109.10	o 2998
109.10	c 132
109.59	o 2999
109.59	c 131
109.97	o 3001
109.97	c 129
110.36	o 3002
110.36	c 128
110.95	o 3003
110.95	c 127
111.69	o 3004
111.69	c 126
112.42	o 3005
112.42	c 125
113.14	o 3006
113.14	c 124
113.85	o 3007
113.85	c 123
114.55	o 3008
114.55	c 122
115.23	o 3009
115.23	c 121
115.55	o 3010
115.55	c 120
115.82	o 3012
115.82	c 118
117.53	o 3013
117.53	c 117
118.18	o 3014
118.18	c 116
118.79	o 3015
118.79	c 115
119.88	o 3016
119.88	c 114
120.48	o 3017
120.48	c 113
121.09	o 3018
121.09	c 112
121.62	o 3019
121.62	c 111
122.65	o 3020
122.65	c 110
123.20	o 3021
123.20	c 109
123.73	o 3022
123.73	c 108
124.21	o 3023
124.21	c 107
124.69	o 3024
124.69	c 106
125.23	o 3025
125.24	c 105
125.71	o 3026
125.71	c 104
126.22	o 3027
126.22	c 103
126.68	o 3028
126.68	c 102
127.19	o 3029
127.19	c 101
127.61	o 3030
127.61	c 100
128.01	o 3031
128.01	c 99
128.41	o 3032
128.41	c 98
128.84	o 3033
128.84	c 97
129.34	o 3034
129.34	c 96
132.36	o 3035
132.36	c 95
136.57	o 3036
136.57	c 94
146.68	o 3037
146.68	c 93
147.11	o 3038
147.11	c 92
152.20	o 3039
152.20	c 91
182.75	   
182.75	   search
182.75	     run=0  nbConstraintChecks=284921005  nbAssignments=266
182.75	       =>  wckTime=120.971  cpuTime=120.36  mem=82M6
182.75	   
182.75	   global
182.75	     nbConstraintChecks=284921005  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
182.75	     solvingWckTime=120.952  solvingCpuTime=120.34  expiredTime=no  totalExploration=no  nbFoundSolutions=0
182.75	     globalCpuTime=180.78
182.75	       =>  wckTime=182.442  cpuTime=180.74  mem=82M6
182.75	   
182.75	   solver IterativeSystematicSolver being built... 
183.04	       =>  wckTime=182.736  cpuTime=180.94  mem=136M258
255.39	   
255.39	   preprocessing
255.39	     nbConstraintChecks=282794532  nbValidityChecks=462657  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
255.39	     nbRemovedValues=0  detectedInconsistency=no
255.39	       =>  wckTime=72.346  cpuTime=71.97  mem=136M258
1049.84	   
1049.84	   search
1049.84	     run=0  nbConstraintChecks=2767009433  nbValidityChecks=963921310  nbPropagations=0  nbRevisions=0
1049.84	     nbUselessRevisions=0  nbAssignments=136  nbFailedAssignments=23  nbBacktracks=10  nbVisitedNodes=170
1049.84	     nbRestartNogoods=0
1049.84	       =>  wckTime=866.792  cpuTime=862.6  mem=136M258
2051.73	   
2051.73	   search
2051.73	     run=1  nbConstraintChecks=6165098882  nbValidityChecks=2185709824  nbPropagations=0  nbRevisions=0
2051.73	     nbUselessRevisions=0  nbAssignments=308  nbFailedAssignments=64  nbBacktracks=25  nbVisitedNodes=398
2051.73	     nbRestartNogoods=18
2051.73	       =>  wckTime=1868.692  cpuTime=1859.51  mem=136M258
2411.64	v 1124 1166 452 527 818 204 721 60 327 344 358 409 609 924 1300 288 368 380 1106 1121 1194 1230 779 832 981 1284 272 1051 1120 1279 340 935 1289 4 205 301 815 853 994 31 80 1108 1190 1257 956 98 292 722 889 1269 4 97 311 740 833 1077 1125 683 793 907 402 720 982 119 230 443 939 1202 1253 1292 2 221 481 533 608 697 761 1041 1132 880 987 1125 1224 3 271 706 1183 1261 82 421 879 988 1132 635 33 80 183 273 629 652 1202 423 517 1147 1246 1073 1144 1039 1180 1232 3 75 614 10 97 457 821 920 1041 1141 14 205 679 859 926 708 763 35 106 266 405 594 209 531 689 306 644 746 886 1037 1063 1211 1282 109 163 558 775 1168 1188 652 361 1033 4 197 276 939 1137 158 212 422 534 24 427 608 791 603 841 22 391 621 981 11 233 734 797 31 513 137 465 991 41 365 604 674 0 80 794 210 516 613 788 935 1045 937 1271 413 802 834 1022 388 490 570 1131 1172 108 635 1152 1240 0 757 819 938 1062 260 324 616 663 374 852 1196 11 320 687 796 914 894 1054 1156 374 761 921 580 889 904 1049 1057 1133 134 252 600 544 1084 161 1090 1169 1218 250 392 662 1265 1284 276 314 16 449 393 882 1129 1216 536 762 310 1097 151 512 189 1055 582 714 1046 165 386 1243 64 144 217 736 958 1040 1122 505 1017 1234 351 747 91 187 636 670 1046 1252 474 766 947 647 911 1214 476 1265 1299

Verifier Data (download as text)

91 unsatisfied constraints, 3039 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/node2/watcher-277452-1169268191 -o ROOT/results/node2/solver-277452-1169268191 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277452-1169268191/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.96 1.98 1.90 4/93 19040
/proc/meminfo: memFree=1115424/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=18540 CPUtime=0
/proc/19039/stat : 19039 (runsolver) R 19037 19039 18727 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 275214742 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/19039/statm: 4635 279 244 17 0 2626 0

[startup+0.110009 s]
/proc/loadavg: 1.96 1.98 1.90 4/93 19040
/proc/meminfo: memFree=1115424/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=914988 CPUtime=0.09
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 3063 0 1 0 8 1 0 0 17 0 8 0 275214742 936947712 2809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155286379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228747 2809 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.519082 s]
/proc/loadavg: 1.96 1.98 1.90 4/93 19040
/proc/meminfo: memFree=1115424/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915332 CPUtime=0.5
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 8588 0 1 0 45 5 0 0 18 0 8 0 275214742 937299968 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11002833 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228833 8327 2141 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332

[startup+1.34723 s]
/proc/loadavg: 1.96 1.98 1.90 3/100 19047
/proc/meminfo: memFree=1071784/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=1.32
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 13427 0 1 0 125 7 0 0 22 0 8 0 275214742 937611264 13165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 13165 2168 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275214746 937611264 13165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275214746 937611264 13165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275214747 937611264 13165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 13165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.16
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 407 0 0 0 16 0 0 0 16 0 8 0 275214750 937611264 13165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 13165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 13165 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915636

[startup+2.98453 s]
/proc/loadavg: 1.96 1.98 1.90 3/100 19047
/proc/meminfo: memFree=1069800/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=2.96
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 14059 0 1 0 288 8 0 0 25 0 8 0 275214742 937611264 13796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470041 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 13796 2168 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275214746 937611264 13796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275214746 937611264 13796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275214747 937611264 13796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 13796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.16
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 408 0 0 0 16 0 0 0 16 0 8 0 275214750 937611264 13796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 13796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 13796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915636

[startup+6.28214 s]
/proc/loadavg: 1.96 1.98 1.90 3/100 19047
/proc/meminfo: memFree=1064360/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=6.24
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 15215 0 1 0 616 8 0 0 25 0 8 0 275214742 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 14952 2168 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 275214746 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 275214747 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.16
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 408 0 0 0 16 0 0 0 17 0 8 0 275214750 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 14952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915636

[startup+12.7583 s]
/proc/loadavg: 1.97 1.98 1.90 3/100 19047
/proc/meminfo: memFree=1037032/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=12.68
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 21928 0 1 0 1257 11 0 0 25 0 8 0 275214742 937611264 21664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786362 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 21664 2179 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.1
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 5424 0 0 0 8 2 0 0 16 0 8 0 275214746 937611264 21664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 21664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 21664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 21664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.16
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 408 0 0 0 16 0 0 0 17 0 8 0 275214750 937611264 21664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 21664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 21664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915636

[startup+25.6137 s]
/proc/loadavg: 1.97 1.98 1.90 3/100 19047
/proc/meminfo: memFree=1003752/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=25.47
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 21929 0 1 0 2536 11 0 0 25 0 8 0 275214742 937611264 21665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783202 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 21665 2179 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.1
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 5424 0 0 0 8 2 0 0 16 0 8 0 275214746 937611264 21665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 21665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 21665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 21665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.16
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 409 0 0 0 16 0 0 0 16 0 8 0 275214750 937611264 21665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 21665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 21665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915636

[startup+51.2294 s]
/proc/loadavg: 1.98 1.98 1.90 3/100 19047
/proc/meminfo: memFree=960168/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=50.97
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 32800 0 1 0 5081 16 0 0 25 0 8 0 275214742 937611264 32535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801588 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 32535 2179 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.39
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 16175 0 0 0 34 5 0 0 16 0 8 0 275214746 937611264 32535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 32535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 32535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 32535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.17
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 419 0 0 0 17 0 0 0 17 0 8 0 275214750 937611264 32535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 32535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 32535 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915636

[startup+102.47 s]
/proc/loadavg: 1.99 1.98 1.91 3/100 19047
/proc/meminfo: memFree=938088/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=101.95
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 38614 0 1 0 10175 20 0 0 25 0 8 0 275214742 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 38346 2501 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.61
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 21606 0 0 0 54 7 0 0 16 0 8 0 275214746 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.22
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 450 0 0 0 22 0 0 0 16 0 8 0 275214750 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 915636

[startup+162.544 s]
/proc/loadavg: 1.99 1.98 1.91 3/100 19047
/proc/meminfo: memFree=938024/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=161.74
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 38614 0 1 0 16152 22 0 0 25 0 8 0 275214742 937611264 38346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789066 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

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

[startup+2084.71 s]
/proc/loadavg: 2.01 2.01 1.95 3/100 19245
/proc/meminfo: memFree=888168/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=2074.53
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 44890 0 1 0 207413 40 0 0 25 0 8 0 275214742 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074001026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 44598 2551 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.67
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 27708 0 0 0 58 9 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.33
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.53
Current children cumulated vsize (KiB) 915636

[startup+2144.77 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 19245
/proc/meminfo: memFree=888104/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=2134.3
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 44890 0 1 0 213390 40 0 0 25 0 8 0 275214742 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 44598 2551 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.67
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 27708 0 0 0 58 9 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.33
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.3
Current children cumulated vsize (KiB) 915636

[startup+2204.82 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 19245
/proc/meminfo: memFree=888168/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=2194.07
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 44890 0 1 0 219366 41 0 0 25 0 8 0 275214742 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074163516 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 44598 2551 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.67
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 27708 0 0 0 58 9 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.33
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.07
Current children cumulated vsize (KiB) 915636

[startup+2264.87 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 19245
/proc/meminfo: memFree=888104/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=2253.83
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 44890 0 1 0 225342 41 0 0 25 0 8 0 275214742 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785560 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 44598 2551 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.67
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 27708 0 0 0 58 9 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.33
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.83
Current children cumulated vsize (KiB) 915636

[startup+2324.94 s]
/proc/loadavg: 2.00 2.00 1.95 4/100 19247
/proc/meminfo: memFree=887976/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=2313.61
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 44890 0 1 0 231320 41 0 0 25 0 8 0 275214742 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073931381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19039/statm: 228909 44598 2551 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.67
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 27708 0 0 0 58 9 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.33
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.61
Current children cumulated vsize (KiB) 915636

[startup+2385 s]
/proc/loadavg: 1.78 1.95 1.94 3/100 19427
/proc/meminfo: memFree=1054888/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=2373.45
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 44890 0 1 0 237301 44 0 0 25 0 8 0 275214742 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073926064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19039/statm: 228909 44598 2551 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.67
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 27708 0 0 0 58 9 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.33
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) R 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.45
Current children cumulated vsize (KiB) 915636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2411.64 s]
/proc/loadavg: 1.86 1.95 1.94 3/100 19427
/proc/meminfo: memFree=1054952/2055920 swapFree=4180552/4192956
[pid=19039] ppid=19037 vsize=915636 CPUtime=2400.06
/proc/19039/stat : 19039 (java) R 19037 19039 18727 0 -1 0 44890 0 1 0 239962 44 0 0 25 0 8 0 275214742 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787385 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19039/statm: 228909 44598 2551 14 0 215379 0
[pid=19039/tid=19041] ppid=19037 vsize=915636 CPUtime=0.67
/proc/19039/task/19041/stat : 19041 (java) S 19037 19039 18727 0 -1 64 27708 0 0 0 58 9 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19042] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19042/stat : 19042 (java) S 19037 19039 18727 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275214746 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19043] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19043/stat : 19043 (java) S 19037 19039 18727 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275214747 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19044] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19044/stat : 19044 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19045] ppid=19037 vsize=915636 CPUtime=0.33
/proc/19039/task/19045/stat : 19045 (java) S 19037 19039 18727 0 -1 64 517 0 0 0 32 1 0 0 16 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19039/tid=19046] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19046/stat : 19046 (java) S 19037 19039 18727 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19039/tid=19047] ppid=19037 vsize=915636 CPUtime=0
/proc/19039/task/19047/stat : 19047 (java) S 19037 19039 18727 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 275214750 937611264 44598 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915636

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

Child status: 143
Real time (s): 2411.68
CPU time (s): 2400.11
CPU user time (s): 2399.64
CPU system time (s): 0.470928
CPU usage (%): 99.52
Max. virtual memory (cumulated for all children) (KiB): 915636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.64
system time used= 0.470928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44912
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= 50053
involuntary context switches= 117512

runsolver used 3.20151 s user time and 7.48586 s system time

The end

Launcher Data (download as text)

Begin job on node2 on Sat Jan 20 04:43:11 UTC 2007


IDJOB= 277452
IDBENCH= 6726
IDSOLVER= 69
FILE ID= node2/277452-1169268191

PBS_JOBID= 3607305

Free space on /tmp= 66561 MiB

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

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  be10a42a20dba25b38a1f76af4db41c0

RANDOM SEED= 115580891

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.259
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	: 5931.00
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.259
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:       1115904 kB
Buffers:         46796 kB
Cached:         641948 kB
SwapCached:        572 kB
Active:         330064 kB
Inactive:       536332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1115904 kB
SwapTotal:     4192956 kB
SwapFree:      4180552 kB
Dirty:            2164 kB
Writeback:           0 kB
Mapped:         198492 kB
Slab:            58008 kB
Committed_AS:  8122608 kB
PageTables:       2684 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 node2 on Sat Jan 20 05:23:23 UTC 2007