Trace number 4308941

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2018-08-14SAT (TO)11359 20052.7 2520.31

General information on the benchmark

NameSumColoring/
SumColoring-dsjc-125-9_c18.xml
MD5SUMfde90c264558af66570e1c8b29991738
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2709
Best CPU time to get the best result obtained on this benchmark19333
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of constraints6961
Number of domains1
Minimum domain size125
Maximum domain size125
Distribution of domain sizes[{"size":125,"count":125}]
Minimum variable degree104
Maximum variable degree121
Distribution of variable degrees[{"degree":104,"count":2},{"degree":105,"count":1},{"degree":106,"count":1},{"degree":107,"count":3},{"degree":108,"count":8},{"degree":109,"count":10},{"degree":110,"count":9},{"degree":111,"count":16},{"degree":112,"count":13},{"degree":113,"count":18},{"degree":114,"count":11},{"degree":115,"count":8},{"degree":116,"count":12},{"degree":117,"count":7},{"degree":118,"count":4},{"degree":119,"count":1},{"degree":121,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":6961}]
Number of extensional constraints0
Number of intensional constraints6961
Distribution of constraint types[{"type":"intension","count":6961}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.66/0.55	c version: 2018-08-14
0.66/0.55	c seed: 949837922
0.66/0.56	c timeout: 20160
0.66/0.56	c memlimit: 22000
0.66/0.56	c nbcore: 8
0.66/0.59	c Parsing instance...
3.65/1.49	c Parsing done, starting search...
14.49/5.02	o 12461
14.49/5.02	o 12342
14.49/5.02	o 12303
14.49/5.02	o 12291
14.49/5.02	o 12290
14.49/5.04	o 12289
14.49/5.04	o 12288
14.49/5.04	o 12287
14.49/5.04	o 12286
14.49/5.04	o 12285
14.49/5.04	o 12284
14.49/5.04	o 12283
14.49/5.05	o 12282
14.49/5.05	o 12281
14.49/5.05	o 12280
14.49/5.05	o 12279
14.49/5.05	o 12278
14.49/5.05	o 12277
14.49/5.05	o 12276
14.49/5.05	o 12275
14.49/5.06	o 12274
14.49/5.06	o 12273
14.49/5.06	o 12272
14.49/5.06	o 12271
14.49/5.06	o 12270
14.49/5.06	o 12269
14.49/5.06	o 12268
14.49/5.06	o 12267
14.49/5.06	o 12266
14.49/5.06	o 12265
14.49/5.06	o 12264
14.49/5.07	o 12263
14.49/5.07	o 12262
14.49/5.07	o 12261
14.49/5.07	o 12260
14.49/5.07	o 12259
14.49/5.07	o 12258
14.49/5.07	o 12257
14.49/5.08	o 12256
14.49/5.08	o 12255
14.49/5.08	o 12254
14.49/5.08	o 12253
14.49/5.08	o 12252
14.49/5.08	o 12251
14.49/5.08	o 12250
14.49/5.08	o 12249
14.49/5.08	o 12248
14.49/5.08	o 12247
14.49/5.08	o 12246
14.49/5.08	o 12245
14.49/5.08	o 12244
14.49/5.08	o 12243
14.49/5.08	o 12242
14.49/5.08	o 12241
14.49/5.09	o 12240
14.49/5.09	o 12239
14.49/5.09	o 12238
14.49/5.09	o 12237
14.49/5.09	o 12236
14.49/5.09	o 12235
14.49/5.09	o 12234
14.49/5.09	o 12233
14.49/5.09	o 12232
14.49/5.09	o 12231
14.49/5.09	o 12230
14.49/5.09	o 12229
14.49/5.09	o 12228
14.49/5.09	o 12227
14.49/5.09	o 12226
14.49/5.09	o 12225
14.49/5.09	o 12224
14.49/5.09	o 12223
14.49/5.09	o 12222
14.49/5.09	o 12221
14.49/5.09	o 12220
14.49/5.10	o 12219
14.49/5.10	o 12218
14.49/5.10	o 12217
14.49/5.10	o 12216
14.49/5.10	o 12215
14.49/5.10	o 12214
14.49/5.10	o 12213
14.49/5.10	o 12212
14.49/5.10	o 12211
14.49/5.10	o 12210
14.49/5.10	o 12209
14.49/5.10	o 12208
14.49/5.11	o 12207
14.49/5.11	o 12206
15.20/5.11	o 12205
15.20/5.11	o 12204
15.20/5.11	o 12203
15.20/5.11	o 12202
15.20/5.11	o 12201
15.20/5.11	o 12200
15.20/5.11	o 12199
15.20/5.11	o 12198
15.20/5.11	o 12197
15.20/5.11	o 12196
15.20/5.11	o 12195
15.20/5.11	o 12194
15.20/5.11	o 12193
15.20/5.11	o 12192
15.20/5.11	o 12191
15.20/5.11	o 12190
15.20/5.11	o 12189
15.20/5.11	o 12188
15.20/5.11	o 12187
15.20/5.12	o 12186
15.20/5.12	o 12185
15.20/5.12	o 12184
15.20/5.12	o 12183
15.20/5.12	o 12182
15.20/5.12	o 12181
15.20/5.12	o 12180
15.20/5.12	o 12179
15.20/5.12	o 12178
15.20/5.12	o 12177
15.20/5.12	o 12176
15.20/5.12	o 12175
15.20/5.12	o 12174
15.20/5.12	o 12173
15.20/5.12	o 12172
15.20/5.12	o 12171
15.20/5.12	o 12170
15.20/5.12	o 12169
15.20/5.12	o 12168
15.20/5.12	o 12167
15.20/5.12	o 12166
15.20/5.12	o 12165
15.20/5.12	o 12164
15.20/5.12	o 12163
15.20/5.12	o 12162
15.20/5.12	o 12161
15.20/5.12	o 12160
15.20/5.12	o 12159
15.20/5.12	o 12158
15.20/5.12	o 12157
15.20/5.13	o 12156
15.20/5.13	o 12155
15.20/5.13	o 12154
15.20/5.13	o 12153
15.20/5.13	o 12152
15.20/5.13	o 12151
15.20/5.13	o 12150
15.20/5.13	o 12149
15.20/5.13	o 12148
15.20/5.13	o 12147
15.20/5.13	o 12146
15.20/5.13	o 12145
15.20/5.13	o 12144
15.20/5.14	o 12143
15.20/5.14	o 12142
15.20/5.14	o 12141
15.20/5.14	o 12140
15.20/5.14	o 12139
15.20/5.14	o 12138
15.20/5.14	o 12137
15.20/5.14	o 12136
15.20/5.14	o 12135
15.20/5.14	o 12134
15.20/5.14	o 12133
15.20/5.14	o 12132
15.20/5.14	o 12131
15.20/5.14	o 12130
15.20/5.14	o 12129
15.20/5.14	o 12128
15.20/5.14	o 12127
15.20/5.15	o 12126
15.20/5.15	o 12125
15.20/5.15	o 12124
15.20/5.15	o 12123
15.20/5.15	o 12122
15.20/5.15	o 12121
15.20/5.15	o 12120
15.20/5.15	o 12119
15.20/5.15	o 12118
15.20/5.15	o 12117
15.20/5.15	o 12116
15.20/5.15	o 12115
15.20/5.15	o 12114
15.20/5.15	o 12113
15.20/5.15	o 12112
15.20/5.15	o 12111
15.20/5.15	o 12110
15.20/5.15	o 12109
15.20/5.15	o 12108
15.20/5.15	o 12107
15.20/5.15	o 12106
15.20/5.15	o 12105
15.20/5.15	o 12104
15.20/5.15	o 12103
15.20/5.15	o 12102
15.20/5.15	o 12101
15.20/5.15	o 12100
15.20/5.15	o 12099
15.20/5.15	o 12098
15.20/5.15	o 12097
15.20/5.15	o 12096
15.20/5.15	o 12095
15.20/5.15	o 12094
15.20/5.16	o 12093
15.20/5.16	o 12092
15.20/5.16	o 12091
15.20/5.16	o 12090
15.20/5.16	o 12089
15.20/5.16	o 12088
15.20/5.16	o 12087
15.20/5.16	o 12086
15.20/5.16	o 12085
15.20/5.16	o 12084
15.20/5.16	o 12083
15.20/5.16	o 12082
15.20/5.16	o 12081
15.20/5.16	o 12080
15.20/5.17	o 12079
15.20/5.17	o 12078
15.20/5.17	o 12077
15.20/5.17	o 12076
15.20/5.17	o 12075
15.20/5.17	o 12074
15.20/5.17	o 12073
15.20/5.17	o 12072
15.20/5.17	o 12071
15.20/5.17	o 12070
15.20/5.17	o 12069
15.20/5.17	o 12068
15.20/5.17	o 12067
15.20/5.17	o 12066
15.20/5.17	o 12065
15.20/5.17	o 12064
15.20/5.17	o 12063
15.20/5.17	o 12062
15.20/5.17	o 12061
15.20/5.17	o 12060
15.20/5.17	o 12059
15.20/5.17	o 12058
15.20/5.17	o 12057
15.20/5.18	o 12056
15.20/5.18	o 12055
15.20/5.18	o 12054
15.20/5.18	o 12053
15.20/5.18	o 12052
15.20/5.18	o 12051
15.20/5.18	o 12050
15.20/5.18	o 12049
15.20/5.19	o 12048
15.20/5.19	o 12047
15.20/5.19	o 12046
15.20/5.20	o 12045
15.20/5.20	o 12044
15.90/5.20	o 12043
15.90/5.20	o 12042
15.90/5.20	o 12041
15.90/5.20	o 12040
15.90/5.21	o 12039
15.90/5.22	o 12038
15.90/5.22	o 12037
15.90/5.22	o 12036
15.90/5.22	o 12035
15.90/5.22	o 12034
15.90/5.22	o 12033
15.90/5.23	o 12032
15.90/5.23	o 12031
15.90/5.23	o 12030
15.90/5.23	o 12029
15.90/5.23	o 12028
15.90/5.23	o 12027
15.90/5.23	o 12026
15.90/5.23	o 12025
15.90/5.23	o 12024
15.90/5.23	o 12023
15.90/5.23	o 12022
15.90/5.23	o 12021
15.90/5.23	o 12020
15.90/5.23	o 12019
15.90/5.23	o 12018
15.90/5.23	o 12017
15.90/5.23	o 12016
15.90/5.23	o 12015
15.90/5.24	o 12014
15.90/5.24	o 12013
15.90/5.24	o 12012
15.90/5.24	o 12011
15.90/5.24	o 12010
15.90/5.24	o 12009
15.90/5.24	o 12008
15.90/5.24	o 12007
15.90/5.24	o 12006
15.90/5.24	o 12005
15.90/5.24	o 12004
15.90/5.24	o 12003
15.90/5.24	o 12002
15.90/5.24	o 12001
15.90/5.25	o 12000
15.90/5.25	o 11999
15.90/5.25	o 11998
15.90/5.25	o 11997
15.90/5.25	o 11996
15.90/5.25	o 11995
15.90/5.25	o 11994
15.90/5.25	o 11993
15.90/5.25	o 11992
15.90/5.25	o 11991
15.90/5.25	o 11990
15.90/5.25	o 11989
15.90/5.26	o 11988
15.90/5.26	o 11987
15.90/5.26	o 11986
15.90/5.26	o 11985
15.90/5.26	o 11984
15.90/5.26	o 11983
15.90/5.26	o 11982
15.90/5.26	o 11981
15.90/5.26	o 11980
15.90/5.26	o 11979
15.90/5.26	o 11978
15.90/5.26	o 11977
15.90/5.26	o 11976
15.90/5.26	o 11975
15.90/5.26	o 11974
15.90/5.26	o 11973
15.90/5.26	o 11972
15.90/5.27	o 11971
15.90/5.27	o 11970
15.90/5.27	o 11969
15.90/5.27	o 11968
15.90/5.27	o 11967
15.90/5.27	o 11966
15.90/5.27	o 11965
15.90/5.27	o 11964
15.90/5.27	o 11963
15.90/5.27	o 11962
15.90/5.27	o 11961
15.90/5.27	o 11960
15.90/5.27	o 11959
15.90/5.27	o 11958
15.90/5.27	o 11957
15.90/5.27	o 11956
15.90/5.27	o 11955
15.90/5.27	o 11954
15.90/5.27	o 11953
15.90/5.27	o 11952
15.90/5.27	o 11951
15.90/5.27	o 11950
15.90/5.28	o 11949
15.90/5.28	o 11948
15.90/5.28	o 11947
15.90/5.28	o 11946
15.90/5.28	o 11945
15.90/5.28	o 11944
15.90/5.28	o 11943
15.90/5.28	o 11942
15.90/5.28	o 11941
15.90/5.28	o 11940
15.90/5.28	o 11939
15.90/5.28	o 11938
15.90/5.28	o 11937
15.90/5.28	o 11936
15.90/5.28	o 11935
15.90/5.28	o 11934
15.90/5.28	o 11933
15.90/5.29	o 11932
15.90/5.29	o 11931
15.90/5.29	o 11930
15.90/5.29	o 11929
16.70/5.30	o 11928
16.70/5.31	o 11927
16.70/5.31	o 11926
16.70/5.31	o 11925
16.70/5.31	o 11924
16.70/5.32	o 11923
16.70/5.32	o 11922
16.70/5.32	o 11921
16.70/5.33	o 11920
16.70/5.33	o 11919
16.70/5.33	o 11918
16.70/5.33	o 11917
16.70/5.33	o 11916
16.70/5.33	o 11915
16.70/5.33	o 11914
16.70/5.33	o 11913
16.70/5.33	o 11912
16.70/5.33	o 11911
16.70/5.33	o 11910
16.70/5.33	o 11909
16.70/5.33	o 11908
16.70/5.33	o 11907
16.70/5.33	o 11906
16.70/5.33	o 11905
16.70/5.33	o 11904
16.70/5.34	o 11903
16.70/5.34	o 11902
16.70/5.34	o 11901
16.70/5.34	o 11900
16.70/5.34	o 11899
16.70/5.34	o 11898
16.70/5.34	o 11897
16.70/5.34	o 11896
16.70/5.34	o 11895
16.70/5.34	o 11894
16.70/5.34	o 11893
16.70/5.34	o 11892
16.70/5.34	o 11891
16.70/5.36	o 11890
16.70/5.36	o 11889
16.70/5.36	o 11888
16.70/5.36	o 11887
16.70/5.36	o 11886
16.70/5.36	o 11885
16.70/5.36	o 11884
16.70/5.36	o 11883
16.70/5.36	o 11882
16.70/5.36	o 11881
16.70/5.36	o 11880
16.70/5.36	o 11879
16.70/5.36	o 11878
16.70/5.36	o 11877
16.70/5.36	o 11876
16.70/5.36	o 11875
16.70/5.36	o 11874
16.70/5.36	o 11873
16.70/5.36	o 11872
16.70/5.36	o 11871
16.70/5.36	o 11870
16.70/5.37	o 11869
16.70/5.38	o 11868
16.70/5.38	o 11867
16.70/5.38	o 11866
16.70/5.38	o 11865
16.70/5.38	o 11864
16.70/5.38	o 11863
16.70/5.38	o 11862
16.70/5.39	o 11861
16.70/5.39	o 11860
16.70/5.39	o 11859
16.70/5.39	o 11858
16.70/5.40	o 11857
16.70/5.40	o 11856
16.70/5.40	o 11855
17.47/5.40	o 11854
17.47/5.40	o 11853
17.47/5.40	o 11852
17.47/5.40	o 11851
17.47/5.41	o 11850
17.47/5.41	o 11849
17.47/5.41	o 11848
17.47/5.41	o 11847
17.47/5.41	o 11846
17.47/5.41	o 11845
17.47/5.41	o 11844
17.47/5.41	o 11843
17.47/5.41	o 11842
17.47/5.42	o 11841
17.47/5.42	o 11840
17.47/5.42	o 11839
17.47/5.42	o 11838
17.47/5.43	o 11837
17.47/5.44	o 11836
17.47/5.44	o 11835
17.47/5.45	o 11834
17.47/5.45	o 11833
17.47/5.45	o 11832
17.47/5.45	o 11831
17.47/5.45	o 11830
17.47/5.47	o 11829
17.47/5.47	o 11828
17.47/5.47	o 11827
17.47/5.47	o 11826
17.47/5.47	o 11825
17.47/5.47	o 11824
17.47/5.47	o 11823
17.47/5.47	o 11822
17.47/5.47	o 11821
17.47/5.47	o 11820
17.47/5.47	o 11819
17.47/5.48	o 11818
17.47/5.48	o 11817
17.47/5.48	o 11816
17.47/5.50	o 11815
17.47/5.50	o 11814
17.47/5.50	o 11813
17.47/5.50	o 11812
17.47/5.50	o 11811
17.47/5.50	o 11810
17.47/5.50	o 11809
18.25/5.51	o 11808
18.25/5.51	o 11807
18.25/5.51	o 11806
18.25/5.51	o 11805
18.25/5.51	o 11804
18.25/5.51	o 11803
18.25/5.51	o 11802
18.25/5.51	o 11801
18.25/5.51	o 11800
18.25/5.51	o 11799
18.25/5.51	o 11798
18.25/5.51	o 11797
18.25/5.51	o 11796
18.25/5.52	o 11795
18.25/5.53	o 11794
18.25/5.53	o 11793
18.25/5.53	o 11792
18.25/5.53	o 11791
18.25/5.54	o 11790
18.25/5.54	o 11789
18.25/5.55	o 11788
18.25/5.55	o 11787
18.25/5.55	o 11786
18.25/5.55	o 11785
18.25/5.56	o 11784
18.25/5.58	o 11783
18.25/5.59	o 11782
18.25/5.59	o 11781
19.04/5.60	o 11780
19.04/5.61	o 11779
19.04/5.62	o 11778
19.04/5.62	o 11777
19.04/5.63	o 11776
19.04/5.63	o 11775
19.04/5.64	o 11774
19.84/5.72	o 11773
19.84/5.74	o 11772
19.84/5.74	o 11771
19.84/5.75	o 11770
19.84/5.75	o 11769
19.84/5.76	o 11768
19.84/5.76	o 11767
19.84/5.76	o 11766
19.84/5.77	o 11765
19.84/5.77	o 11764
19.84/5.78	o 11763
19.84/5.78	o 11762
19.84/5.80	o 11761
19.84/5.80	o 11760
20.67/5.80	o 11759
20.67/5.81	o 11758
20.67/5.81	o 11757
20.67/5.82	o 11756
20.67/5.84	o 11755
20.67/5.84	o 11754
20.67/5.86	o 11753
20.67/5.86	o 11752
20.67/5.86	o 11751
20.67/5.87	o 11750
20.67/5.87	o 11749
20.67/5.88	o 11748
20.67/5.88	o 11747
20.67/5.89	o 11746
20.67/5.89	o 11745
20.67/5.90	o 11744
20.67/5.90	o 11743
21.47/5.91	o 11742
21.47/5.91	o 11741
21.47/5.92	o 11740
21.47/5.92	o 11739
21.47/5.93	o 11738
21.47/5.93	o 11737
21.47/5.94	o 11736
21.47/5.94	o 11735
21.47/5.94	o 11734
21.47/5.95	o 11733
21.47/5.95	o 11732
21.47/5.96	o 11731
21.47/5.96	o 11730
21.47/5.97	o 11729
21.47/5.97	o 11728
21.47/5.98	o 11727
21.47/5.98	o 11726
21.47/5.99	o 11725
21.47/6.00	o 11724
21.47/6.00	o 11723
21.47/6.01	o 11722
21.47/6.01	o 11721
22.33/6.02	o 11720
22.33/6.03	o 11719
22.33/6.04	o 11718
22.33/6.04	o 11717
22.33/6.05	o 11716
22.33/6.05	o 11715
22.33/6.05	o 11714
22.33/6.06	o 11713
22.33/6.06	o 11712
22.33/6.07	o 11711
22.33/6.07	o 11710
22.33/6.08	o 11709
22.33/6.10	o 11708
22.33/6.10	o 11707
23.08/6.11	o 11706
23.08/6.12	o 11705
23.73/6.21	o 11704
23.73/6.22	o 11703
23.73/6.24	o 11702
23.73/6.25	o 11701
23.73/6.26	o 11700
23.73/6.27	o 11699
23.73/6.29	o 11698
24.55/6.31	o 11697
24.55/6.32	o 11696
24.55/6.33	o 11695
24.55/6.35	o 11694
24.55/6.35	o 11693
24.55/6.37	o 11692
24.55/6.38	o 11691
24.55/6.39	o 11690
25.35/6.41	o 11689
25.35/6.42	o 11688
25.35/6.43	o 11687
25.35/6.45	o 11686
25.35/6.46	o 11685
25.35/6.47	o 11684
25.35/6.49	o 11683
25.35/6.50	o 11682
26.13/6.51	o 11681
26.13/6.52	o 11680
26.13/6.54	o 11679
26.13/6.55	o 11678
26.13/6.57	o 11677
26.13/6.58	o 11676
26.13/6.59	o 11675
26.13/6.60	o 11674
26.93/6.61	o 11673
26.93/6.63	o 11672
26.93/6.64	o 11671
26.93/6.65	o 11670
26.93/6.66	o 11669
26.93/6.68	o 11668
26.93/6.69	o 11667
27.72/6.70	o 11666
27.72/6.72	o 11665
27.72/6.73	o 11664
27.72/6.74	o 11663
27.72/6.76	o 11662
27.72/6.77	o 11661
27.72/6.78	o 11660
27.72/6.80	o 11659
28.49/6.81	o 11658
28.49/6.83	o 11657
28.49/6.84	o 11656
28.49/6.85	o 11655
28.49/6.87	o 11654
28.49/6.89	o 11653
29.29/6.90	o 11652
29.29/6.91	o 11651
29.29/6.93	o 11650
29.29/6.94	o 11649
29.29/6.95	o 11648
31.71/7.38	o 11647
31.71/7.39	o 11646
31.71/7.40	o 11645
32.04/7.44	o 11644
32.04/7.46	o 11643
32.04/7.47	o 11642
32.04/7.48	o 11641
32.04/7.50	o 11640
32.84/7.50	o 11639
32.84/7.51	o 11638
32.84/7.53	o 11637
32.84/7.54	o 11636
32.84/7.55	o 11635
32.84/7.55	o 11634
32.84/7.57	o 11633
33.63/7.62	o 11632
33.63/7.68	o 11631
34.43/7.72	o 11630
34.43/7.75	o 11629
34.43/7.79	o 11628
35.23/7.83	o 11627
35.23/7.86	o 11626
35.23/7.90	o 11625
36.02/7.93	o 11624
37.69/8.13	o 11623
37.69/8.17	o 11622
38.41/8.21	o 11621
38.41/8.23	o 11620
38.41/8.26	o 11619
38.41/8.29	o 11618
39.96/8.44	o 11617
40.75/8.51	o 11616
40.75/8.58	o 11615
41.55/8.64	o 11614
42.36/8.71	o 11613
42.36/8.77	o 11612
43.17/8.84	o 11611
43.95/8.91	o 11610
44.81/9.03	o 11609
44.81/9.09	o 11608
45.60/9.16	o 11607
46.32/9.23	o 11606
46.32/9.29	o 11605
47.12/9.36	o 11604
47.92/9.42	o 11603
47.92/9.49	o 11602
48.77/9.55	o 11601
49.51/9.62	o 11600
49.51/9.68	o 11599
50.32/9.74	o 11598
51.11/9.81	o 11597
51.11/9.87	o 11596
51.91/9.96	o 11595
52.76/10.03	o 11594
52.76/10.10	o 11593
53.56/10.16	o 11592
54.28/10.23	o 11591
54.28/10.29	o 11590
55.11/10.36	o 11589
55.87/10.42	o 11588
55.87/10.49	o 11587
56.67/10.55	o 11586
57.47/10.62	o 11585
57.47/10.68	o 11584
58.26/10.75	o 11583
59.06/10.81	o 11582
59.06/10.88	o 11581
59.87/10.95	o 11580
60.73/11.02	o 11579
60.73/11.09	o 11578
61.54/11.15	o 11577
62.21/11.25	o 11576
63.02/11.32	o 11575
63.02/11.38	o 11574
63.84/11.44	o 11573
63.84/11.49	o 11572
64.62/11.55	o 11571
64.62/11.58	o 11570
65.43/11.61	o 11569
66.21/11.78	o 11568
67.00/11.84	o 11567
67.00/11.88	o 11566
67.81/11.92	o 11565
67.81/11.94	o 11564
67.81/11.97	o 11563
67.81/11.99	o 11562
70.19/12.23	o 11561
74.17/12.71	o 11560
79.74/13.47	o 11559
82.93/13.80	o 11558
87.68/14.46	o 11557
90.87/14.83	o 11556
92.53/15.04	o 11555
93.34/15.16	o 11554
98.06/15.73	o 11553
101.28/16.16	o 11552
107.59/16.95	o 11551
109.26/17.14	o 11550
113.22/17.62	o 11549
115.56/17.94	o 11548
117.94/18.24	o 11547
120.33/18.54	o 11546
122.73/18.83	o 11545
125.19/19.13	o 11544
127.50/19.43	o 11543
129.92/19.75	o 11542
132.33/20.06	o 11541
134.66/20.37	o 11540
137.05/20.67	o 11539
139.45/20.97	o 11538
141.83/21.27	o 11537
144.23/21.57	o 11536
146.62/21.88	o 11535
149.79/22.22	o 11534
152.18/22.52	o 11533
154.58/22.82	o 11532
157.04/23.12	o 11531
159.36/23.43	o 11530
161.75/23.72	o 11529
164.21/24.02	o 11528
166.51/24.35	o 11527
168.91/24.66	o 11526
171.31/24.96	o 11525
173.75/25.27	o 11524
176.10/25.58	o 11523
178.48/25.87	o 11522
180.95/26.17	o 11521
183.26/26.48	o 11520
186.43/26.82	o 11519
188.89/27.13	o 11518
191.21/27.43	o 11517
193.61/27.73	o 11516
196.06/28.04	o 11515
198.38/28.33	o 11514
200.77/28.63	o 11513
203.16/28.93	o 11512
205.51/29.26	o 11511
207.91/29.56	o 11510
210.30/29.86	o 11509
212.76/30.16	o 11508
215.08/30.45	o 11507
217.48/30.73	o 11506
219.93/31.01	o 11505
223.06/31.45	o 11504
226.25/31.87	o 11503
227.90/32.08	o 11502
230.22/32.38	o 11501
231.81/32.56	o 11500
233.41/32.72	o 11499
250.15/34.89	o 11498
253.31/35.22	o 11497
254.13/35.36	o 11496
255.72/35.58	o 11495
258.10/35.85	o 11494
266.07/36.85	o 11493
280.40/38.60	o 11492
293.17/40.20	o 11491
310.68/42.45	o 11490
345.74/46.81	o 11489
365.67/49.32	o 11488
372.17/50.17	o 11487
428.55/57.21	o 11486
446.09/59.49	o 11485
463.61/61.70	o 11484
480.38/63.74	o 11483
494.67/65.54	o 11482
527.35/69.65	o 11481
545.66/71.91	o 11480
591.07/77.68	o 11479
603.83/79.24	o 11478
616.58/80.85	o 11477
629.34/82.41	o 11476
641.27/84.00	o 11475
654.03/85.57	o 11474
666.85/87.12	o 11473
679.54/88.71	o 11472
691.49/90.27	o 11471
704.26/91.82	o 11470
717.00/93.40	o 11469
728.97/94.96	o 11468
741.72/96.51	o 11467
753.72/98.10	o 11466
766.42/99.64	o 11465
779.14/101.23	o 11464
791.10/102.78	o 11463
803.86/104.34	o 11462
816.58/105.97	o 11461
829.29/107.52	o 11460
841.38/109.06	o 11459
854.00/110.64	o 11458
866.03/112.18	o 11457
878.72/113.73	o 11456
891.47/115.31	o 11455
903.42/116.86	o 11454
916.19/118.41	o 11453
928.14/120.00	o 11452
940.89/121.55	o 11451
952.92/123.09	o 11450
965.59/124.67	o 11449
978.35/126.22	o 11448
990.30/127.77	o 11447
1003.06/129.37	o 11446
1015.79/130.91	o 11445
1027.75/132.45	o 11444
1039.76/133.99	o 11443
1052.46/135.55	o 11442
1066.00/137.29	o 11441
1079.56/138.90	o 11440
1091.50/140.42	o 11439
1103.48/142.00	o 11438
1116.21/143.56	o 11437
1128.21/145.04	o 11436
1140.10/146.52	o 11435
1152.93/148.18	o 11434
1163.21/149.41	o 11433
1175.17/150.94	o 11432
1184.06/152.11	o 11431
1317.85/168.88	o 11430
1330.59/170.49	o 11429
1409.51/180.36	o 11428
1502.85/192.04	o 11427
1673.36/213.48	o 11426
1885.46/240.07	o 11425
2040.85/259.57	o 11424
2200.28/279.57	o 11423
2449.00/310.77	o 11422
2563.04/325.09	o 11421
2762.26/350.09	o 11420
3103.28/392.85	o 11419
3294.42/416.81	o 11418
3490.44/441.40	o 11417
3735.16/472.17	o 11416
3919.94/495.39	o 11415
4137.24/522.66	o 11414
4344.89/548.74	o 11413
4509.80/569.48	o 11412
4646.85/586.62	o 11411
4743.16/598.71	o 11410
4873.91/615.19	o 11409
5070.51/639.82	o 11408
5172.38/652.68	o 11407
5285.41/666.81	o 11406
5426.19/684.55	o 11405
5554.34/700.63	o 11404
5694.36/718.22	o 11403
5814.63/733.34	o 11402
5937.24/748.70	o 11401
6096.53/768.73	o 11400
6685.57/842.76	o 11399
6974.39/879.10	o 11398
7232.87/911.59	o 11397
7407.96/933.58	o 11396
7612.59/959.24	o 11395
7853.44/989.69	o 11394
8227.11/1036.51	o 11393
8524.38/1073.89	o 11392
8734.08/1100.18	o 11391
8992.11/1132.58	o 11390
9157.07/1153.29	o 11389
9392.17/1182.78	o 11388
9552.36/1202.81	o 11387
9693.45/1220.53	o 11386
9839.30/1238.81	o 11385
10022.58/1261.88	o 11384
10212.35/1285.66	o 11383
10404.34/1309.80	o 11382
10582.89/1332.17	o 11381
10773.39/1356.01	o 11380
10919.98/1374.41	o 11379
11078.59/1394.39	o 11378
11227.75/1413.03	o 11377
11381.47/1432.40	o 11376
11552.85/1453.84	o 11375
11723.39/1475.21	o 11374
11840.49/1489.96	o 11373
12011.03/1511.33	o 11372
12206.32/1535.85	o 11371
12451.83/1566.70	o 11370
12578.55/1582.53	o 11369
12726.09/1601.07	o 11368
12961.80/1630.68	o 11367
13974.05/1757.65	o 11366
15633.48/1965.85	o 11365
15723.64/1977.15	o 11364
15795.35/1986.15	o 11363
17591.78/2211.59	o 11362
18371.39/2309.34	o 11361
19126.08/2404.08	o 11360
19424.95/2441.52	o 11359
20050.73/2520.10	s SATISFIABLE
20050.73/2520.11	v <instantiation>
20050.73/2520.11	v 	<list>
20050.73/2520.11	v 		c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124]
20050.73/2520.11	v 	</list>
20050.73/2520.11	v 	<values>
20050.73/2520.11	v 		123 2 122 121 117 81 115 123 114 3 113 118 4 112 121 111 6 116 114 1 96 93 73 115 99 110 80 110 83 112 99 109 90 97 98 78 108 118 103 2 93 114 86 116 0 100 105 102 100 96 85 120 69 90 5 95 82 74 82 83 81 106 75 98 111 104 87 70 84 79 103 88 94 92 104 7 88 84 106 113 97 109 76 86 72 0 113 105 76 85 117 103 102 93 101 101 107 89 123 89 92 87 91 94 3 71 105 91 107 108 112 110 122 77 119 80 121 116 1 119 120 124 122 124 118 
20050.73/2520.11	v 	</values>
20050.73/2520.11	v </instantiation>

Verifier Data 

OK	11359

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12392 MiB free)
  memory of node 1: 16384 MiB (10963 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308941-1534367929/watcher-4308941-1534367929 -o /tmp/evaluation-result-4308941-1534367929/solver-4308941-1534367929 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534362885-28904 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 949837922 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308941-1534367929.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=29258, runsolver pid=29255


[startup+0.100648 s]*
/proc/loadavg: 8.55 8.65 8.73 2/198 29278
/proc/meminfo: memFree=23901604/32770624 swapFree=67105356/67108860
[pid=29258] ppid=29255 vsize=26103420 memory=30440 CPUtime=0.11 cores=0-7
/proc/29258/stat : 29258 (java) S 29255 29258 28877 0 -1 1077944320 7041 0 0 0 10 1 0 0 20 0 20 0 254356117 26729902080 7610 33554432000 4194304 4196468 140733419891376 140733419873920 139667178065655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
/proc/29258/statm: 6525855 7610 3137 1 0 6487932 0
[pid=29258/tid=29260] ppid=29255 vsize=26103420 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29258/task/29260/stat : 29260 (java) R 29255 29258 28877 0 -1 4202560 5133 0 0 0 8 1 0 0 20 0 20 0 254356117 26729902080 7610 33554432000 4194304 4196468 140733419891376 139667182268784 139667158341415 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29261] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29261/stat : 29261 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 7610 33554432000 4194304 4196468 140733419891376 139667130686352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29262] ppid=29255 vsize=26103420 memory=140205873976960 CPUtime=0 cores=0-7
/proc/29258/task/29262/stat : 29262 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 7610 33554432000 4194304 4196468 140733419891376 139667129633552 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29263] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29263/stat : 29263 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 7610 33554432000 4194304 4196468 140733419891376 139667128581264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29264] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29264/stat : 29264 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 7610 33554432000 4194304 4196468 140733419891376 139667127528464 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29265] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29265/stat : 29265 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 7610 33554432000 4194304 4196468 140733419891376 139667126475152 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29266] ppid=29255 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29258/task/29266/stat : 29266 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 7676 33554432000 4194304 4196468 140733419891376 139667125422352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29267] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29267/stat : 29267 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 7676 33554432000 4194304 4196468 140733419891376 139667124370064 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29268] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29268/stat : 29268 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 7676 33554432000 4194304 4196468 140733419891376 139667123317264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29269] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29269/stat : 29269 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 7676 33554432000 4194304 4196468 140733419891376 139665921096304 139667178076802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29270] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29270/stat : 29270 (java) S 29255 29258 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 7676 33554432000 4194304 4196468 140733419891376 139665920042272 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29271] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29271/stat : 29271 (java) S 29255 29258 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 7676 33554432000 4194304 4196468 140733419891376 139665918989936 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29272] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29272/stat : 29272 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 7676 33554432000 4194304 4196468 140733419891376 139665917938256 139667178084251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29273] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29273/stat : 29273 (java) S 29255 29258 28877 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 7676 33554432000 4194304 4196468 140733419891376 139665916885104 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29274] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29274/stat : 29274 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 7676 33554432000 4194304 4196468 140733419891376 139665915832304 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29275] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29275/stat : 29275 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 7676 33554432000 4194304 4196468 140733419891376 139665914780016 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29276] ppid=29255 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/29258/task/29276/stat : 29276 (java) S 29255 29258 28877 0 -1 1077944384 254 0 0 0 1 0 0 0 20 0 20 0 254356123 26729902080 7676 33554432000 4194304 4196468 140733419891376 139665913727216 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29277] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29277/stat : 29277 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 7742 33554432000 4194304 4196468 140733419891376 139665912675168 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29278] ppid=29255 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29258/task/29278/stat : 29278 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 7742 33554432000 4194304 4196468 140733419891376 139665911622448 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30440 KiB

[startup+0.210111 s]*
/proc/loadavg: 8.55 8.65 8.73 3/198 29278
/proc/meminfo: memFree=23888800/32770624 swapFree=67105356/67108860
[pid=29258] ppid=29255 vsize=26103420 memory=43256 CPUtime=0.29 cores=0-7
/proc/29258/stat : 29258 (java) S 29255 29258 28877 0 -1 1077944320 10410 0 0 0 27 2 0 0 20 0 20 0 254356117 26729902080 10814 33554432000 4194304 4196468 140733419891376 140733419873920 139667178065655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
/proc/29258/statm: 6525855 10814 3353 1 0 6487932 0
[pid=29258/tid=29260] ppid=29255 vsize=26103420 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/29258/task/29260/stat : 29260 (java) R 29255 29258 28877 0 -1 4202560 8158 0 0 0 18 1 0 0 20 0 20 0 254356117 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667182286288 139667178077590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29261] ppid=29255 vsize=26103420 memory=9264 CPUtime=0 cores=0-7
/proc/29258/task/29261/stat : 29261 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667130686352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29262] ppid=29255 vsize=26103420 memory=3546217175118534304 CPUtime=0 cores=0-7
/proc/29258/task/29262/stat : 29262 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667129633552 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29263] ppid=29255 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29258/task/29263/stat : 29263 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667128581264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29264] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29264/stat : 29264 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667127528464 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29265] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29265/stat : 29265 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667126475152 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29266] ppid=29255 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29258/task/29266/stat : 29266 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667125422352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29267] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29267/stat : 29267 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667124370064 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29268] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29268/stat : 29268 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 10814 33554432000 4194304 4196468 140733419891376 139667123317264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29269] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29269/stat : 29269 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665921096304 139667178076802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29270] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29270/stat : 29270 (java) S 29255 29258 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665920042272 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29271] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29271/stat : 29271 (java) S 29255 29258 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665918989936 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29272] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29272/stat : 29272 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665917938256 139667178084251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29273] ppid=29255 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/29258/task/29273/stat : 29273 (java) S 29255 29258 28877 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 20 0 254356123 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665916885104 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29274] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29274/stat : 29274 (java) S 29255 29258 28877 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665915832304 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29275] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29275/stat : 29275 (java) S 29255 29258 28877 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665914780016 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29276] ppid=29255 vsize=26103420 memory=0 CPUtime=0.06 cores=0-7
/proc/29258/task/29276/stat : 29276 (java) R 29255 29258 28877 0 -1 4202560 334 0 0 0 6 0 0 0 20 0 20 0 254356123 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665913727344 139667157023532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29277] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29277/stat : 29277 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665912675168 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29278] ppid=29255 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29258/task/29278/stat : 29278 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 10814 33554432000 4194304 4196468 140733419891376 139665911622448 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43256 KiB

[startup+0.310328 s]*
/proc/loadavg: 8.55 8.65 8.73 2/198 29278
/proc/meminfo: memFree=23885016/32770624 swapFree=67105356/67108860
[pid=29258] ppid=29255 vsize=26103420 memory=46756 CPUtime=0.42 cores=0-7
/proc/29258/stat : 29258 (java) S 29255 29258 28877 0 -1 1077944320 10865 0 0 0 40 2 0 0 20 0 20 0 254356117 26729902080 11689 33554432000 4194304 4196468 140733419891376 140733419873920 139667178065655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
/proc/29258/statm: 6525855 11689 3378 1 0 6487932 0
[pid=29258/tid=29260] ppid=29255 vsize=26103420 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/29258/task/29260/stat : 29260 (java) R 29255 29258 28877 0 -1 4202560 8507 0 0 0 28 2 0 0 20 0 20 0 254356117 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667182227392 139667159629136 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29261] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29261/stat : 29261 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667130686352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29262] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29262/stat : 29262 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667129633552 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29263] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29263/stat : 29263 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667128581264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29264] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29264/stat : 29264 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667127528464 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29265] ppid=29255 vsize=26103420 memory=2244 CPUtime=0 cores=0-7
/proc/29258/task/29265/stat : 29265 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667126475152 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29266] ppid=29255 vsize=26103420 memory=140205717812143 CPUtime=0 cores=0-7
/proc/29258/task/29266/stat : 29266 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667125422352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29267] ppid=29255 vsize=26103420 memory=140205717814448 CPUtime=0 cores=0-7
/proc/29258/task/29267/stat : 29267 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667124370064 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29268] ppid=29255 vsize=26103420 memory=140205717816752 CPUtime=0 cores=0-7
/proc/29258/task/29268/stat : 29268 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356118 26729902080 11689 33554432000 4194304 4196468 140733419891376 139667123317264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29269] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29269/stat : 29269 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665921096304 139667178076802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29270] ppid=29255 vsize=26103420 memory=280411435640464 CPUtime=0 cores=0-7
/proc/29258/task/29270/stat : 29270 (java) S 29255 29258 28877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665920042272 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29271] ppid=29255 vsize=26103420 memory=280411435647376 CPUtime=0 cores=0-7
/proc/29258/task/29271/stat : 29271 (java) S 29255 29258 28877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254356120 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665918989936 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29272] ppid=29255 vsize=26103420 memory=280411435588656 CPUtime=0 cores=0-7
/proc/29258/task/29272/stat : 29272 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665917938256 139667178084251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29273] ppid=29255 vsize=26103420 memory=280411435661200 CPUtime=0.01 cores=0-7
/proc/29258/task/29273/stat : 29273 (java) S 29255 29258 28877 0 -1 1077944384 483 0 0 0 1 0 0 0 20 0 20 0 254356123 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665916885104 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29274] ppid=29255 vsize=26103420 memory=280411435668112 CPUtime=0.01 cores=0-7
/proc/29258/task/29274/stat : 29274 (java) S 29255 29258 28877 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 254356123 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665915832304 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29275] ppid=29255 vsize=26103420 memory=280411435665808 CPUtime=0.01 cores=0-7
/proc/29258/task/29275/stat : 29275 (java) S 29255 29258 28877 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 254356123 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665914780016 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29276] ppid=29255 vsize=26103420 memory=280411435682416 CPUtime=0.07 cores=0-7
/proc/29258/task/29276/stat : 29276 (java) S 29255 29258 28877 0 -1 1077944384 350 0 0 0 7 0 0 0 20 0 20 0 254356123 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665913727216 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29277] ppid=29255 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29277/stat : 29277 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665912675168 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29278] ppid=29255 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/29258/task/29278/stat : 29278 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356123 26729902080 11689 33554432000 4194304 4196468 140733419891376 139665911622448 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 46756 KiB

[startup+0.700906 s]
/proc/loadavg: 8.55 8.65 8.73 2/198 29278
/proc/meminfo: memFree=23860584/32770624 swapFree=67105356/67108860
[pid=29258] ppid=29255 vsize=26105488 memory=85488 CPUtime=0.98 cores=0-7
/proc/29258/stat : 29258 (java) S 29255 29258 28877 0 -1 1077944320 17791 0 0 0 93 5 0 0 20 0 20 0 254356117 26732019712 21372 33554432000 4194304 4196468 140733419891376 140733419873920 139667178065655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
/proc/29258/statm: 6526372 21372 3498 1 0 6488444 0
[pid=29258/tid=29260] ppid=29255 vsize=26105488 memory=0 CPUtime=0.67 cores=0-7
/proc/29258/task/29260/stat : 29260 (java) R 29255 29258 28877 0 -1 4202560 14987 0 0 0 64 3 0 0 20 0 20 0 254356117 26732019712 21372 33554432000 4194304 4196468 140733419891376 139667182291152 139667178087581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29261] ppid=29255 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29261/stat : 29261 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26732019712 21372 33554432000 4194304 4196468 140733419891376 139667130686352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29262] ppid=29255 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29262/stat : 29262 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26732019712 21372 33554432000 4194304 4196468 140733419891376 139667129633552 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29263] ppid=29255 vsize=26105488 memory=0 CPUtime=0 cores=0-7
/proc/29258/task/29263/stat : 29263 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254356118 26732019712 21408 33554432000 4194304 4196468 140733419891376 139667128581264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29264] ppid=29255 vsize=26105488 memory=4632 CPUtime=0 cores=0-7
/proc/29258/task/29264/stat : 29264 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26732019712 21408 33554432000 4194304 4196468 140733419891376 139667127528464 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29265] ppid=29255 vsize=26105488 memory=3644 CPUtime=0 cores=0-7
/proc/29258/task/29265/stat : 29265 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26732019712 21408 33554432000 4194304 4196468 140733419891376 139667126475152 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29266] ppid=29255 vsize=26105488 memory=1268 CPUtime=0 cores=0-7
/proc/29258/task/29266/stat : 29266 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356118 26732019712 21408 33554432000 4194304 4196468 140733419891376 139667125422352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29267] ppid=29255 vsize=26105488 memory=1124 CPUtime=0 cores=0-7
/proc/29258/task/29267/stat : 29267 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356118 26732019712 21408 33554432000 4194304 4196468 140733419891376 139667124370064 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29268] ppid=29255 vsize=26105488 memory=14884 CPUtime=0 cores=0-7
/proc/29258/task/29268/stat : 29268 (java) S 29255 29258 28877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254356118 26732019712 21408 33554432000 4194304 4196468 140733419891376 139667123317264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29269] ppid=29255 vsize=26105488 memory=3316 CPUtime=0 cores=0-7
/proc/29258/task/29269/stat : 29269 (java) S 29255 29258 28877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254356120 26732019712 21408 33554432000 4194304 4196468 140733419891376 139665921096304 139667178076802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0

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

[pid=29258/tid=29286] ppid=29255 vsize=27850524 memory=2 CPUtime=2489.67 cores=0-7
/proc/29258/task/29286/stat : 29286 (java) R 29255 29258 28877 0 -1 4202560 177793 0 0 0 248779 188 0 0 20 0 46 0 254356563 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665818486880 139666789796150 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29287] ppid=29255 vsize=27850524 memory=3 CPUtime=2491.09 cores=0-7
/proc/29258/task/29287/stat : 29287 (java) R 29255 29258 28877 0 -1 4202560 126047 0 0 0 248951 158 0 0 20 0 46 0 254356563 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665817433912 139666787830251 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29288] ppid=29255 vsize=27850524 memory=3 CPUtime=2491.59 cores=0-7
/proc/29258/task/29288/stat : 29288 (java) R 29255 29258 28877 0 -1 4202560 118845 0 0 0 248955 204 0 0 20 0 46 0 254356563 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665816381624 139666791641697 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29289] ppid=29255 vsize=27850524 memory=3 CPUtime=2496.21 cores=0-7
/proc/29258/task/29289/stat : 29289 (java) R 29255 29258 28877 0 -1 4202560 122932 0 0 0 249429 192 0 0 20 0 46 0 254356563 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665815327800 139666786501719 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29290] ppid=29255 vsize=27850524 memory=4 CPUtime=0.04 cores=0-7
/proc/29258/task/29290/stat : 29290 (java) S 29255 29258 28877 0 -1 1077944384 1260 0 0 0 4 0 0 0 20 0 46 0 254356563 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665814283152 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29291] ppid=29255 vsize=27850524 memory=3 CPUtime=2488.88 cores=0-7
/proc/29258/task/29291/stat : 29291 (java) R 29255 29258 28877 0 -1 4202560 158206 0 0 0 248701 187 0 0 20 0 46 0 254356563 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665813224512 139666790736506 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29292] ppid=29255 vsize=27850524 memory=2 CPUtime=0.04 cores=0-7
/proc/29258/task/29292/stat : 29292 (java) S 29255 29258 28877 0 -1 1077944384 39 0 0 0 4 0 0 0 20 0 46 0 254356593 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665812178064 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29293] ppid=29255 vsize=27850524 memory=4 CPUtime=0.04 cores=0-7
/proc/29258/task/29293/stat : 29293 (java) S 29255 29258 28877 0 -1 1077944384 1018 0 0 0 4 0 0 0 20 0 46 0 254356593 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665811125776 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29294] ppid=29255 vsize=27850524 memory=2216 CPUtime=0.04 cores=0-7
/proc/29258/task/29294/stat : 29294 (java) S 29255 29258 28877 0 -1 1077944384 1043 0 0 0 4 0 0 0 20 0 46 0 254356593 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665810072976 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29295] ppid=29255 vsize=27850524 memory=928 CPUtime=0.05 cores=0-7
/proc/29258/task/29295/stat : 29295 (java) S 29255 29258 28877 0 -1 1077944384 855 0 0 0 5 0 0 0 20 0 46 0 254356593 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665809020688 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29296] ppid=29255 vsize=27850524 memory=1564 CPUtime=0.04 cores=0-7
/proc/29258/task/29296/stat : 29296 (java) S 29255 29258 28877 0 -1 1077944384 36 0 0 0 4 0 0 0 20 0 46 0 254356620 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665805833872 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29297] ppid=29255 vsize=27850524 memory=2192 CPUtime=0.02 cores=0-7
/proc/29258/task/29297/stat : 29297 (java) S 29255 29258 28877 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 46 0 254356621 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665804780560 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29298] ppid=29255 vsize=27850524 memory=3984 CPUtime=0.03 cores=0-7
/proc/29258/task/29298/stat : 29298 (java) S 29255 29258 28877 0 -1 1077944384 1009 0 0 0 3 0 0 0 20 0 46 0 254356621 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665803727760 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29299] ppid=29255 vsize=27850524 memory=1928 CPUtime=0.03 cores=0-7
/proc/29258/task/29299/stat : 29299 (java) S 29255 29258 28877 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 46 0 254356621 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665802675472 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29300] ppid=29255 vsize=27850524 memory=7888 CPUtime=0.03 cores=0-7
/proc/29258/task/29300/stat : 29300 (java) S 29255 29258 28877 0 -1 1077944384 761 0 0 0 3 0 0 0 20 0 46 0 254356622 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665801622672 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29301] ppid=29255 vsize=27850524 memory=804 CPUtime=0.04 cores=0-7
/proc/29258/task/29301/stat : 29301 (java) S 29255 29258 28877 0 -1 1077944384 789 0 0 0 4 0 0 0 20 0 46 0 254356622 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665800570384 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29302] ppid=29255 vsize=27850524 memory=1796 CPUtime=0.03 cores=0-7
/proc/29258/task/29302/stat : 29302 (java) S 29255 29258 28877 0 -1 1077944384 25 0 0 0 3 0 0 0 20 0 46 0 254356622 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665799517584 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29303] ppid=29255 vsize=27850524 memory=912 CPUtime=0.02 cores=0-7
/proc/29258/task/29303/stat : 29303 (java) S 29255 29258 28877 0 -1 1077944384 26 0 0 0 2 0 0 0 20 0 46 0 254356623 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665798465296 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29304] ppid=29255 vsize=27850524 memory=4452 CPUtime=0.04 cores=0-7
/proc/29258/task/29304/stat : 29304 (java) S 29255 29258 28877 0 -1 1077944384 530 0 0 0 4 0 0 0 20 0 46 0 254356624 28518936576 2044468 33554432000 4194304 4196468 140733419891376 139665797412496 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
Current children cumulated CPU time: 20050.7 s
Current children cumulated vsize: 27850524 KiB
Current children cumulated memory: 8177872 KiB

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

[startup+2520.31 s]
# the end of solver process 29258 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20032.9 s, system=19.7736 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.21 s]
/proc/loadavg: 9.03 8.86 8.78 10/225 29364
/proc/meminfo: memFree=15736616/32770624 swapFree=67105356/67108860
[pid=29258] ppid=29255 vsize=27984680 memory=8179204 CPUtime=20052.2 cores=0-7
/proc/29258/stat : 29258 (java) S 29255 29258 28877 0 -1 1077944320 1795884 0 0 0 2003251 1972 0 0 20 0 48 0 254356117 28656312320 2044801 33554432000 4194304 4196468 140733419891376 140733419873920 139667178065655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
/proc/29258/statm: 6996170 2044801 3624 1 0 6957721 0
[pid=29258/tid=29260] ppid=29255 vsize=27984680 memory=8177872 CPUtime=4.3 cores=0-7
/proc/29258/task/29260/stat : 29260 (java) S 29255 29258 28877 0 -1 1077944384 21673 0 0 0 420 10 0 0 20 0 48 0 254356117 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667182303120 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29261] ppid=29255 vsize=27984680 memory=4872558044660077418 CPUtime=11.52 cores=0-7
/proc/29258/task/29261/stat : 29261 (java) S 29255 29258 28877 0 -1 1077944384 77329 0 0 0 1098 54 0 0 20 0 48 0 254356118 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667130686352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29262] ppid=29255 vsize=27984680 memory=7451302793077352533 CPUtime=11.5 cores=0-7
/proc/29258/task/29262/stat : 29262 (java) S 29255 29258 28877 0 -1 1077944384 71422 0 0 0 1098 52 0 0 20 0 48 0 254356118 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667129633552 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29263] ppid=29255 vsize=27984680 memory=7451302793077352533 CPUtime=11.48 cores=0-7
/proc/29258/task/29263/stat : 29263 (java) S 29255 29258 28877 0 -1 1077944384 65820 0 0 0 1099 49 0 0 20 0 48 0 254356118 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667128581264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29264] ppid=29255 vsize=27984680 memory=7596262406083340373 CPUtime=11.43 cores=0-7
/proc/29258/task/29264/stat : 29264 (java) S 29255 29258 28877 0 -1 1077944384 69677 0 0 0 1089 54 0 0 20 0 48 0 254356118 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667127528464 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29265] ppid=29255 vsize=27984680 memory=7596262406083340373 CPUtime=11.5 cores=0-7
/proc/29258/task/29265/stat : 29265 (java) S 29255 29258 28877 0 -1 1077944384 69713 0 0 0 1100 50 0 0 20 0 48 0 254356118 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667126475152 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29266] ppid=29255 vsize=27984680 memory=7596262406083340373 CPUtime=11.49 cores=0-7
/proc/29258/task/29266/stat : 29266 (java) S 29255 29258 28877 0 -1 1077944384 67504 0 0 0 1095 54 0 0 20 0 48 0 254356118 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667125422352 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29267] ppid=29255 vsize=27984680 memory=7451302793077352533 CPUtime=11.55 cores=0-7
/proc/29258/task/29267/stat : 29267 (java) S 29255 29258 28877 0 -1 1077944384 74559 0 0 0 1101 54 0 0 20 0 48 0 254356118 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667124370064 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29268] ppid=29255 vsize=27984680 memory=7451302793077352533 CPUtime=11.47 cores=0-7
/proc/29258/task/29268/stat : 29268 (java) S 29255 29258 28877 0 -1 1077944384 69651 0 0 0 1092 55 0 0 20 0 48 0 254356118 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139667123317264 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29269] ppid=29255 vsize=27984680 memory=1028 CPUtime=1.27 cores=0-7
/proc/29258/task/29269/stat : 29269 (java) S 29255 29258 28877 0 -1 1077944384 61564 0 0 0 111 16 0 0 20 0 48 0 254356120 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665921096304 139667178076802 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29270] ppid=29255 vsize=27984680 memory=7596262406083340373 CPUtime=0 cores=0-7
/proc/29258/task/29270/stat : 29270 (java) S 29255 29258 28877 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 48 0 254356120 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665920042336 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29271] ppid=29255 vsize=27984680 memory=7228392122155952213 CPUtime=0 cores=0-7
/proc/29258/task/29271/stat : 29271 (java) S 29255 29258 28877 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 48 0 254356120 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665918989952 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29272] ppid=29255 vsize=27984680 memory=7228392122155952213 CPUtime=0 cores=0-7
/proc/29258/task/29272/stat : 29272 (java) S 29255 29258 28877 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 48 0 254356123 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665917938256 139667178084251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29273] ppid=29255 vsize=27984680 memory=7228392122155952213 CPUtime=2.45 cores=0-7
/proc/29258/task/29273/stat : 29273 (java) S 29255 29258 28877 0 -1 1077944384 8879 0 0 0 244 1 0 0 20 0 48 0 254356123 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665916885104 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29274] ppid=29255 vsize=27984680 memory=303430223234596890 CPUtime=2.33 cores=0-7
/proc/29258/task/29274/stat : 29274 (java) S 29255 29258 28877 0 -1 1077944384 11613 0 0 0 230 3 0 0 20 0 48 0 254356123 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665915832304 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29275] ppid=29255 vsize=27984680 memory=288230596050944315 CPUtime=2.4 cores=0-7
/proc/29258/task/29275/stat : 29275 (java) S 29255 29258 28877 0 -1 1077944384 6664 0 0 0 238 2 0 0 20 0 48 0 254356123 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665914773040 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29276] ppid=29255 vsize=27984680 memory=15536314971856400 CPUtime=1.25 cores=0-7
/proc/29258/task/29276/stat : 29276 (java) R 29255 29258 28877 0 -1 1077944384 12990 0 0 0 122 3 0 0 20 0 48 0 254356123 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665913727216 139667178076802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29277] ppid=29255 vsize=27984680 memory=1752 CPUtime=0 cores=0-7
/proc/29258/task/29277/stat : 29277 (java) S 29255 29258 28877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 254356123 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665912675168 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29278] ppid=29255 vsize=27984680 memory=856 CPUtime=1.03 cores=0-7
/proc/29258/task/29278/stat : 29278 (java) S 29255 29258 28877 0 -1 1077944384 3695 0 0 0 34 69 0 0 20 0 48 0 254356123 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665911622448 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29279] ppid=29255 vsize=27984680 memory=12468 CPUtime=0.03 cores=0-7
/proc/29258/task/29279/stat : 29279 (java) S 29255 29258 28877 0 -1 1077944384 3551 0 0 0 3 0 0 0 20 0 48 0 254356515 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665900279120 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29280] ppid=29255 vsize=27984680 memory=752 CPUtime=5.04 cores=0-7
/proc/29258/task/29280/stat : 29280 (java) S 29255 29258 28877 0 -1 1077944384 8959 0 0 0 240 264 0 0 20 0 48 0 254356532 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665897129392 139667178076802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29281] ppid=29255 vsize=27984680 memory=1612 CPUtime=2497.54 cores=0-7
/proc/29258/task/29281/stat : 29281 (java) R 29255 29258 28877 0 -1 4202560 136657 0 0 0 249561 193 0 0 20 0 48 0 254356555 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665896068472 139666789794924 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29282] ppid=29255 vsize=27984680 memory=1812 CPUtime=2490.22 cores=0-7
/proc/29258/task/29282/stat : 29282 (java) R 29255 29258 28877 0 -1 1077944384 119471 0 0 0 248840 182 0 0 20 0 48 0 254356556 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665824795808 139667178075861 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29283] ppid=29255 vsize=27984680 memory=1064 CPUtime=2492.96 cores=0-7
/proc/29258/task/29283/stat : 29283 (java) R 29255 29258 28877 0 -1 4202560 115311 0 0 0 249098 198 0 0 20 0 48 0 254356556 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665823743288 139666787033096 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29284] ppid=29255 vsize=27984680 memory=6404 CPUtime=0.13 cores=0-7
/proc/29258/task/29284/stat : 29284 (java) S 29255 29258 28877 0 -1 1077944384 1488 0 0 0 13 0 0 0 20 0 48 0 254356563 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665820595328 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29285] ppid=29255 vsize=27984680 memory=8177872 CPUtime=0.13 cores=0-7
/proc/29258/task/29285/stat : 29285 (java) S 29255 29258 28877 0 -1 1077944384 1266 0 0 0 13 0 0 0 20 0 48 0 254356563 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665819547152 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29286] ppid=29255 vsize=27984680 memory=1176 CPUtime=2489.84 cores=0-7
/proc/29258/task/29286/stat : 29286 (java) R 29255 29258 28877 0 -1 4202560 177793 0 0 0 248796 188 0 0 20 0 48 0 254356563 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665818486064 139666789795392 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29287] ppid=29255 vsize=27984680 memory=492 CPUtime=2491.26 cores=0-7
/proc/29258/task/29287/stat : 29287 (java) R 29255 29258 28877 0 -1 4202560 126048 0 0 0 248968 158 0 0 20 0 48 0 254356563 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665817434016 139666789334106 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29288] ppid=29255 vsize=27984680 memory=288230574492221466 CPUtime=2491.76 cores=0-7
/proc/29258/task/29288/stat : 29288 (java) R 29255 29258 28877 0 -1 4202560 118845 0 0 0 248972 204 0 0 20 0 48 0 254356563 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665816383024 139666786501719 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29289] ppid=29255 vsize=27984680 memory=288230596050944315 CPUtime=2496.38 cores=0-7
/proc/29258/task/29289/stat : 29289 (java) R 29255 29258 28877 0 -1 4202560 122932 0 0 0 249446 192 0 0 20 0 48 0 254356563 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665815329712 139666792410065 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29290] ppid=29255 vsize=27984680 memory=15536314971856400 CPUtime=0.05 cores=0-7
/proc/29258/task/29290/stat : 29290 (java) S 29255 29258 28877 0 -1 1077944384 1309 0 0 0 5 0 0 0 20 0 48 0 254356563 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665814283152 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29291] ppid=29255 vsize=27984680 memory=38632 CPUtime=2489.06 cores=0-7
/proc/29258/task/29291/stat : 29291 (java) R 29255 29258 28877 0 -1 4202560 158206 0 0 0 248719 187 0 0 20 0 48 0 254356563 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665813222704 139666789795308 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29292] ppid=29255 vsize=27984680 memory=6791534058613427641 CPUtime=0.04 cores=0-7
/proc/29258/task/29292/stat : 29292 (java) S 29255 29258 28877 0 -1 1077944384 39 0 0 0 4 0 0 0 20 0 48 0 254356593 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665812178064 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29293] ppid=29255 vsize=27984680 memory=492 CPUtime=0.04 cores=0-7
/proc/29258/task/29293/stat : 29293 (java) S 29255 29258 28877 0 -1 1077944384 1139 0 0 0 4 0 0 0 20 0 48 0 254356593 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665811125776 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29294] ppid=29255 vsize=27984680 memory=1616 CPUtime=0.04 cores=0-7
/proc/29258/task/29294/stat : 29294 (java) R 29255 29258 28877 0 -1 1077944384 1100 0 0 0 4 0 0 0 20 0 48 0 254356593 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665810072976 139667178075861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29295] ppid=29255 vsize=27984680 memory=804 CPUtime=0.06 cores=0-7
/proc/29258/task/29295/stat : 29295 (java) S 29255 29258 28877 0 -1 1077944384 1286 0 0 0 6 0 0 0 20 0 48 0 254356593 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665809020688 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29296] ppid=29255 vsize=27984680 memory=1796 CPUtime=0.04 cores=0-7
/proc/29258/task/29296/stat : 29296 (java) S 29255 29258 28877 0 -1 1077944384 36 0 0 0 4 0 0 0 20 0 48 0 254356620 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665805833872 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29297] ppid=29255 vsize=27984680 memory=912 CPUtime=0.02 cores=0-7
/proc/29258/task/29297/stat : 29297 (java) S 29255 29258 28877 0 -1 1077944384 55 0 0 0 2 0 0 0 20 0 48 0 254356621 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665804780560 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29298] ppid=29255 vsize=27984680 memory=4452 CPUtime=0.03 cores=0-7
/proc/29258/task/29298/stat : 29298 (java) S 29255 29258 28877 0 -1 1077944384 1041 0 0 0 3 0 0 0 20 0 48 0 254356621 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665803727760 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29299] ppid=29255 vsize=27984680 memory=1404 CPUtime=0.03 cores=0-7
/proc/29258/task/29299/stat : 29299 (java) S 29255 29258 28877 0 -1 1077944384 101 0 0 0 3 0 0 0 20 0 48 0 254356621 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665802675472 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29300] ppid=29255 vsize=27984680 memory=4644 CPUtime=0.04 cores=0-7
/proc/29258/task/29300/stat : 29300 (java) S 29255 29258 28877 0 -1 1077944384 929 0 0 0 4 0 0 0 20 0 48 0 254356622 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665801622672 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29301] ppid=29255 vsize=27984680 memory=8177872 CPUtime=0.05 cores=0-7
/proc/29258/task/29301/stat : 29301 (java) S 29255 29258 28877 0 -1 1077944384 1242 0 0 0 5 0 0 0 20 0 48 0 254356622 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665800570384 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29302] ppid=29255 vsize=27984680 memory=1796 CPUtime=0.03 cores=0-7
/proc/29258/task/29302/stat : 29302 (java) S 29255 29258 28877 0 -1 1077944384 25 0 0 0 3 0 0 0 20 0 48 0 254356622 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665799517584 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29303] ppid=29255 vsize=27984680 memory=912 CPUtime=0.02 cores=0-7
/proc/29258/task/29303/stat : 29303 (java) S 29255 29258 28877 0 -1 1077944384 26 0 0 0 2 0 0 0 20 0 48 0 254356623 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665798465296 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
[pid=29258/tid=29304] ppid=29255 vsize=27984680 memory=4452 CPUtime=0.04 cores=0-7
/proc/29258/task/29304/stat : 29304 (java) S 29255 29258 28877 0 -1 1077944384 641 0 0 0 4 0 0 0 20 0 48 0 254356624 28656312320 2044801 33554432000 4194304 4196468 140733419891376 139665797412496 139667178075861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140733419893838 140733419894021 140733419894021 140733419896783 0
Current children cumulated CPU time: 20052.2 s
Current children cumulated vsize: 27984680 KiB
Current children cumulated memory: 8179204 KiB

[startup+2520.3 s]*
/proc/loadavg: 9.03 8.86 8.78 2/179 29367
/proc/meminfo: memFree=23914572/32770624 swapFree=67105356/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2520.31
CPU time (s): 20052.7
CPU user time (s): 20032.9
CPU system time (s): 19.7736
CPU usage (%): 795.643
Max. virtual memory (cumulated for all children) (KiB): 27984680
Max. memory (cumulated for all children) (KiB): 8179204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20032.9
system time used= 19.7736
maximum resident set size= 8180408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1797228
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 344654
involuntary context switches= 423312


# summary of solver processes directly reported to runsolver:
#   pid: 29258
#   total CPU time (s): 20052.7
#   total CPU user time (s): 20032.9
#   total CPU system time (s): 19.7736

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1135 second user time and 40.8512 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-15 23:18:49
IDJOB=4308941
IDBENCH=141224
IDSOLVER=2793
FILE ID=node149/4308941-1534367929
RUNJOBID= node149-1534362885-28904
PBS_JOBID= 21038274
Free space on /tmp= 44896 MiB

SOLVER NAME= OscaR - Parallel with EPS 2018-08-14
BENCH NAME= XCSP18/SumColoring/SumColoring-dsjc-125-9_c18.xml
COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4308941-1534367929/watcher-4308941-1534367929 -o /tmp/evaluation-result-4308941-1534367929/solver-4308941-1534367929 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1534362885-28904 --watchdog 2580  java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 949837922 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4308941-1534367929.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= fde90c264558af66570e1c8b29991738
RANDOM SEED=949837922

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23917140 kB
MemAvailable:   31891916 kB
Buffers:          179348 kB
Cached:          8007540 kB
SwapCached:         1704 kB
Active:          3706436 kB
Inactive:        4534128 kB
Active(anon):       4152 kB
Inactive(anon):   109892 kB
Active(file):    3702284 kB
Inactive(file):  4424236 kB
Unevictable:        7596 kB
Mlocked:            7596 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             35792 kB
Writeback:             0 kB
AnonPages:         58980 kB
Mapped:            55632 kB
Shmem:             57760 kB
Slab:             304496 kB
SReclaimable:     276716 kB
SUnreclaim:        27780 kB
KernelStack:        3264 kB
PageTables:         5200 kB
NFS_Unstable:         36 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     357724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 44860 MiB
End job on node149 at 2018-08-16 00:00:50