Trace number 4242257

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 NameAnswerCPU timeWall clock time
R1: cosoco 1.1? (TO) 2400.06 2400.5

General information on the benchmark

NameQuasiGroups/QuasiGroups-elt-qg4/
QuasiGroup-4-17.xml
MD5SUM1749ee71f79cc6e37ea59febff668c91
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark100.011
Satisfiable
(Un)Satisfiability was proved
Number of variables578
Number of constraints546
Number of domains2
Minimum domain size17
Maximum domain size289
Distribution of domain sizes[{"size":17,"count":289},{"size":289,"count":272}]
Minimum variable degree0
Maximum variable degree275
Distribution of variable degrees[{"degree":0,"count":17},{"degree":2,"count":272},{"degree":274,"count":17},{"degree":275,"count":272}]
Minimum constraint arity3
Maximum constraint arity290
Distribution of constraint arities[{"arity":3,"count":272},{"arity":17,"count":1},{"arity":289,"count":1},{"arity":290,"count":272}]
Number of extensional constraints0
Number of intensional constraints272
Distribution of constraint types[{"type":"intension","count":272},{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":272}]
Optimization problemNO
Type of objective

Solver Data 

0.39/0.40	c root propagations     : 5525        
0.39/0.40	c restarts enabled, print stats at every restarts
0.39/0.40	c
0.39/0.40	c
0.39/0.40	c
0.39/0.40	c This is cosoco 1.0 --  
0.39/0.40	c
0.39/0.40	c ========================================[ Problem Statistics ]===========================================
0.39/0.40	c |                                                                                                       
0.39/0.40	c |  Parse time        :         0.38 s 
0.39/0.40	c |
0.39/0.40	c |               Variables: 578
0.39/0.40	c |            Domain Sizes: 17..289
0.39/0.40	c |
0.39/0.40	c |             Constraints: 595
0.39/0.40	c |                   Arity: 1..290  -- Unary: 17  -- Ternary: 272
0.39/0.40	c | 
0.39/0.40	c |                   Types: 
0.39/0.40	c |                          All Different: 34
0.39/0.40	c |                          Element Constant: 272
0.39/0.40	c |                          Intension: 272
0.39/0.40	c |                          Unary: 17
0.39/0.40	c |                          
0.39/0.40	c =========================================================================================================
0.39/0.40	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.39/0.40	c remove useless variable y[0][0]
0.39/0.40	c remove useless variable y[1][1]
0.39/0.40	c remove useless variable y[2][2]
0.39/0.40	c remove useless variable y[3][3]
0.39/0.40	c remove useless variable y[4][4]
0.39/0.40	c remove useless variable y[5][5]
0.39/0.40	c remove useless variable y[6][6]
0.39/0.40	c remove useless variable y[7][7]
0.39/0.40	c remove useless variable y[8][8]
0.39/0.40	c remove useless variable y[9][9]
0.39/0.40	c remove useless variable y[10][10]
0.39/0.40	c remove useless variable y[11][11]
0.39/0.40	c remove useless variable y[12][12]
0.39/0.40	c remove useless variable y[13][13]
0.39/0.40	c remove useless variable y[14][14]
0.39/0.40	c remove useless variable y[15][15]
0.39/0.40	c remove useless variable y[16][16]
0.89/0.96	c 101            576            523635         277452         351            0              247   312   281
1.69/1.72	c 211            1183           1236189        595088         351            0              65   159   138 
2.89/2.91	c 332            1797           2394780        994938         351            0              131   167   155
3.59/3.69	c 465            2343           2867013        1241707        351            0              69   90   83   
4.19/4.26	c 611            2864           3350882        1509338        351            0              115   162   143
5.39/5.46	c 771            3782           4986578        2082099        351            0              171   199   185
7.09/7.15	c 947            4777           7191789        2915860        351            0              177   209   184
8.39/8.44	c 1140           5614           8970739        3599353        351            0              121   193   178
9.89/9.96	c 1352           6590           10870064       4262291        351            0              100   181   166
11.19/11.21	c 1585           7497           11678439       4814266        351            0              90   100   93  
12.59/12.68	c 1841           8813           13006316       5417857        351            0              106   180   136
14.68/14.74	c 2122           10064          15725463       6317049        351            0              46   191   176 
16.78/16.81	c 2431           11649          19041066       7244986        351            0              66   193   176 
19.28/19.38	c 2770           13525          22268224       8340262        351            0              126   189   166
20.78/20.84	c 3142           14864          23597427       8952467        351            0              39   133   123 
24.68/24.76	c 3551           16831          28833789       10982934       351            0              131   196   171
28.48/28.57	c 4000           18947          33992254       12935727       351            0              41   199   182 
32.88/32.94	c 4493           21871          40157160       15144834       351            0              148   203   182
36.98/37.03	c 5035           24637          45930822       17152302       351            0              57   196   172 
40.28/40.39	c 5631           27427          50341442       18282738       351            0              39   188   165 
45.47/45.50	c 6286           30717          58055909       20868013       351            0              57   202   182 
47.28/47.37	c 7006           32631          59716957       21840866       351            0              65   135   116 
51.17/51.25	c 7798           36145          64872015       23565373       351            0              39   184   161 
54.37/54.46	c 8669           39087          68126451       25691081       351            0              58   153   134 
61.77/61.81	c 9627           42949          79208269       29842394       351            0              149   196   180
69.28/69.33	c 10680          48028          90744815       33799236       351            0              91   201   184 
76.37/76.44	c 11838          53324          103866583      37755006       351            0              126   211   192
86.37/86.41	c 13111          59137          117037165      43171226       351            0              157   191   172
96.36/96.47	c 14511          65731          132636285      48693930       351            0              167   203   181
103.76/103.87	c 16051          71955          140238379      52082013       351            0              95   165   136 
114.16/114.22	c 17745          79296          154322951      57905835       351            0              153   190   170
128.26/128.31	c 19608          86492          173159203      66077345       351            0              148   193   173
141.66/141.78	c 21657          96091          195144010      73522873       351            0              65   198   178 
155.16/155.22	c 23910          106304         218514218      81055348       351            0              151   204   183
172.05/172.16	c 26388          118764         246987825      89772857       351            0              67   203   181 
190.25/190.39	c 29113          132197         278247828      98910620       351            0              126   208   190
212.25/212.35	c 32110          150272         314778553      110397953      351            0              157   206   180
237.84/237.99	c 35406          164862         350925745      123492591      351            0              163   203   179
266.03/266.17	c 39031          182707         394397260      137263740      351            0              162   202   178
288.83/288.96	c 43018          200081         431527040      149206501      351            0              58   203   178 
322.82/322.98	c 47403          224223         488126719      166231642      351            0              120   212   187
362.92/363.07	c 52226          249110         547577528      187420790      351            0              160   207   179
409.01/409.19	c 57531          279292         617019548      212947931      351            0              159   203   177
451.70/451.81	c 63366          309872         685699312      236263863      351            0              71   205   183 
495.19/495.37	c 69784          339451         761939024      258852828      351            0              164   212   191
550.88/551.06	c 76843          369635         838437448      291320074      351            0              154   187   169
628.07/628.29	c 84607          415691         947365635      329423150      351            0              154   200   176
690.55/690.72	c 93147          453347         1044323969     363308038      351            0              65   203   180 
764.24/764.46	c 102541         500144         1155272234     402503332      351            0              158   206   178
836.23/836.42	c 112874         545708         1257176776     442578465      351            0              156   194   174
925.11/925.32	c 124240         615816         1404207805     490210990      351            0              158   208   179
1015.59/1015.84	c 136742         678019         1555743426     539837795      351            0              43   206   179 
1108.48/1108.74	c 150494         749376         1714842176     588102175      351            0              118   211   187
1240.75/1241.09	c 165621         819979         1901840628     660922458      351            0              41   206   179 
1380.34/1380.64	c 182260         927760         2109094016     733153575      351            0              136   204   174
1513.50/1513.80	c 200562         1020504        2318100869     807195092      351            0              160   206   178
1658.38/1658.76	c 220694         1121015        2561852549     888937811      351            0              161   209   180
1833.65/1834.08	c 242839         1234204        2829220024     983033022      351            0              160   206   178
2041.31/2041.71	c 267198         1363447        3135337819     1094179963     351            0              130   207   180
2246.27/2246.77	c 293992         1494350        3453781277     1204525291     351            0              109   213   179

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242257-1500660184/watcher-4242257-1500660184 -o /tmp/evaluation-result-4242257-1500660184/solver-4242257-1500660184 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500648172-9857 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242257-1500660184.xml 

pid=11207
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11210
/proc/meminfo: memFree=32009008/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=28440 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 1339 0 0 0 0 0 0 0 20 0 1 0 1283486 29122560 1169 33554432000 4194304 5970956 140734489825504 140734489822152 140394335755237 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 7110 1169 729 434 0 474 0

[startup+0.100122 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11210
/proc/meminfo: memFree=32009008/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=30944 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 2039 0 0 0 9 0 0 0 20 0 1 0 1283486 31686656 1828 33554432000 4194304 5970956 140734489825504 140734489819336 140394335755237 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 7736 1828 799 434 0 1100 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30944

[startup+0.200254 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11210
/proc/meminfo: memFree=32009008/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=31832 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 2252 0 0 0 19 0 0 0 20 0 1 0 1283486 32595968 2050 33554432000 4194304 5970956 140734489825504 140734489819336 5188384 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 7958 2050 799 434 0 1322 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31832

[startup+0.300201 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11210
/proc/meminfo: memFree=32009008/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=32848 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 2506 0 0 0 29 0 0 0 20 0 1 0 1283486 33636352 2337 33554432000 4194304 5970956 140734489825504 140734489819096 140394335755237 0 0 4096 0 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 8212 2337 799 434 0 1576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32848

[startup+0.700176 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11210
/proc/meminfo: memFree=32009008/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=35276 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 3140 0 0 0 69 0 0 0 20 0 1 0 1283486 36122624 2920 33554432000 4194304 5970956 140734489825504 140734489822440 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 8819 2920 839 434 0 2183 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 35276

[startup+1.50021 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11211
/proc/meminfo: memFree=31999964/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=35408 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 3197 0 0 0 149 0 0 0 20 0 1 0 1283486 36257792 2986 33554432000 4194304 5970956 140734489825504 140734489822568 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 8852 2986 839 434 0 2216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35408

[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11211
/proc/meminfo: memFree=31999608/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=35672 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 5306 0 0 0 309 0 0 0 20 0 1 0 1283486 36528128 3100 33554432000 4194304 5970956 140734489825504 140734489822840 5098896 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 8918 3100 840 434 0 2282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35672

[startup+6.30021 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11211
/proc/meminfo: memFree=31998136/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=36200 CPUtime=6.29 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 7657 0 0 0 629 0 0 0 20 0 1 0 1283486 37068800 3189 33554432000 4194304 5970956 140734489825504 140734489822568 4994692 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9050 3189 840 434 0 2414 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36200

[startup+12.7002 s]
/proc/loadavg: 2.09 2.04 2.05 3/244 11211
/proc/meminfo: memFree=31996320/32770624 swapFree=5932/190224
[pid=11210] ppid=11207 vsize=36464 CPUtime=12.69 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 10037 0 0 0 1269 0 0 0 20 0 1 0 1283486 37339136 3268 33554432000 4194304 5970956 140734489825504 140734489822840 4994545 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9116 3268 840 434 0 2480 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36464

[startup+25.5003 s]
/proc/loadavg: 2.07 2.03 2.05 3/244 11211
/proc/meminfo: memFree=31995148/32770624 swapFree=5932/190232
[pid=11210] ppid=11207 vsize=36860 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 14935 0 0 0 2548 0 0 0 20 0 1 0 1283486 37744640 3376 33554432000 4194304 5970956 140734489825504 140734489822568 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9215 3376 840 434 0 2579 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36860

[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11211
/proc/meminfo: memFree=31993380/32770624 swapFree=5932/190232
[pid=11210] ppid=11207 vsize=36992 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 17478 0 0 0 5107 0 0 0 20 0 1 0 1283486 37879808 3432 33554432000 4194304 5970956 140734489825504 140734489822840 4961264 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9248 3432 840 434 0 2612 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 36992

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/244 11212
/proc/meminfo: memFree=31993036/32770624 swapFree=5932/190340
[pid=11210] ppid=11207 vsize=37256 CPUtime=102.27 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 18039 0 0 0 10227 0 0 0 20 0 1 0 1283486 38150144 3463 33554432000 4194304 5970956 140734489825504 140734489822840 4994549 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9314 3463 840 434 0 2678 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37256

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11213
/proc/meminfo: memFree=31993036/32770624 swapFree=5932/190340
[pid=11210] ppid=11207 vsize=37256 CPUtime=162.25 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 18609 0 0 0 16225 0 0 0 20 0 1 0 1283486 38150144 3498 33554432000 4194304 5970956 140734489825504 140734489822840 4994458 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9314 3498 840 434 0 2678 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37256

[startup+222.308 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 11214
/proc/meminfo: memFree=31992932/32770624 swapFree=5932/190340
[pid=11210] ppid=11207 vsize=37388 CPUtime=222.25 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 19182 0 0 0 22225 0 0 0 20 0 1 0 1283486 38285312 3513 33554432000 4194304 5970956 140734489825504 140734489822840 4994526 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9347 3513 840 434 0 2711 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37388

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11215
/proc/meminfo: memFree=31992588/32770624 swapFree=5932/190340
[pid=11210] ppid=11207 vsize=37388 CPUtime=282.23 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 19754 0 0 0 28223 0 0 0 20 0 1 0 1283486 38285312 3527 33554432000 4194304 5970956 140734489825504 140734489822840 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9347 3527 840 434 0 2711 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 37388

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 11216
/proc/meminfo: memFree=31992540/32770624 swapFree=5932/190340
[pid=11210] ppid=11207 vsize=37388 CPUtime=342.22 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 19824 0 0 0 34222 0 0 0 20 0 1 0 1283486 38285312 3529 33554432000 4194304 5970956 140734489825504 140734489822840 5070791 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9347 3529 840 434 0 2711 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 37388

[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11217
/proc/meminfo: memFree=31992188/32770624 swapFree=5932/190616
[pid=11210] ppid=11207 vsize=37388 CPUtime=402.21 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 19897 0 0 0 40221 0 0 0 20 0 1 0 1283486 38285312 3530 33554432000 4194304 5970956 140734489825504 140734489822840 5098928 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9347 3530 840 434 0 2711 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 37388

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11225
/proc/meminfo: memFree=31991244/32770624 swapFree=5932/190616
[pid=11210] ppid=11207 vsize=37388 CPUtime=462.2 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 19976 0 0 0 46220 0 0 0 20 0 1 0 1283486 38285312 3537 33554432000 4194304 5970956 140734489825504 140734489822840 5320135 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9347 3537 840 434 0 2711 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 37388

[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11226
/proc/meminfo: memFree=31991196/32770624 swapFree=5932/190616
[pid=11210] ppid=11207 vsize=37388 CPUtime=522.18 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 20055 0 0 0 52218 0 0 0 20 0 1 0 1283486 38285312 3538 33554432000 4194304 5970956 140734489825504 140734489822840 5320728 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9347 3538 840 434 0 2711 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 37388

[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11227
/proc/meminfo: memFree=31991796/32770624 swapFree=5932/190616
[pid=11210] ppid=11207 vsize=37388 CPUtime=582.17 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 20135 0 0 0 58217 0 0 0 20 0 1 0 1283486 38285312 3539 33554432000 4194304 5970956 140734489825504 140734489822840 4908922 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9347 3539 840 434 0 2711 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 37388


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


[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11253
/proc/meminfo: memFree=31986820/32770624 swapFree=5932/191228
[pid=11210] ppid=11207 vsize=37520 CPUtime=1542.01 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 21466 0 0 0 154201 0 0 0 20 0 1 0 1283486 38420480 3550 33554432000 4194304 5970956 140734489825504 140734489822840 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3550 840 434 0 2744 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 37520

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11254
/proc/meminfo: memFree=31989336/32770624 swapFree=5932/191436
[pid=11210] ppid=11207 vsize=37520 CPUtime=1601.99 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 21547 0 0 0 160199 0 0 0 20 0 1 0 1283486 38420480 3550 33554432000 4194304 5970956 140734489825504 140734489822840 4994541 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3550 840 434 0 2744 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 37520

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11262
/proc/meminfo: memFree=31986976/32770624 swapFree=5932/191436
[pid=11210] ppid=11207 vsize=37520 CPUtime=1661.98 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 21638 0 0 0 166198 0 0 0 20 0 1 0 1283486 38420480 3550 33554432000 4194304 5970956 140734489825504 140734489822840 5098908 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3550 840 434 0 2744 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 37520

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11263
/proc/meminfo: memFree=31987576/32770624 swapFree=5932/191436
[pid=11210] ppid=11207 vsize=37520 CPUtime=1721.97 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 21720 0 0 0 172197 0 0 0 20 0 1 0 1283486 38420480 3551 33554432000 4194304 5970956 140734489825504 140734489822840 5069712 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3551 840 434 0 2744 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 37520

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11264
/proc/meminfo: memFree=31988316/32770624 swapFree=5932/191436
[pid=11210] ppid=11207 vsize=37520 CPUtime=1781.95 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 21802 0 0 0 178195 0 0 0 20 0 1 0 1283486 38420480 3551 33554432000 4194304 5970956 140734489825504 140734489822840 4908985 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3551 840 434 0 2744 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 37520

[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11265
/proc/meminfo: memFree=31988160/32770624 swapFree=5932/191436
[pid=11210] ppid=11207 vsize=37520 CPUtime=1841.94 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 21894 0 0 0 184194 0 0 0 20 0 1 0 1283486 38420480 3551 33554432000 4194304 5970956 140734489825504 140734489822840 4964477 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3551 840 434 0 2744 0
Current children cumulated CPU time (s) 1841.94
Current children cumulated vsize (KiB) 37520

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11266
/proc/meminfo: memFree=31986876/32770624 swapFree=5932/191620
[pid=11210] ppid=11207 vsize=37520 CPUtime=1901.93 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 21977 0 0 0 190193 0 0 0 20 0 1 0 1283486 38420480 3552 33554432000 4194304 5970956 140734489825504 140734489822840 4994596 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3552 840 434 0 2744 0
Current children cumulated CPU time (s) 1901.93
Current children cumulated vsize (KiB) 37520

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11267
/proc/meminfo: memFree=31987600/32770624 swapFree=5932/191620
[pid=11210] ppid=11207 vsize=37520 CPUtime=1961.92 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22055 0 0 0 196192 0 0 0 20 0 1 0 1283486 38420480 3552 33554432000 4194304 5970956 140734489825504 140734489822840 4908539 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3552 840 434 0 2744 0
Current children cumulated CPU time (s) 1961.92
Current children cumulated vsize (KiB) 37520

[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 11268
/proc/meminfo: memFree=31986964/32770624 swapFree=5932/191620
[pid=11210] ppid=11207 vsize=37520 CPUtime=2021.91 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22133 0 0 0 202191 0 0 0 20 0 1 0 1283486 38420480 3552 33554432000 4194304 5970956 140734489825504 140734489822840 4961376 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3552 840 434 0 2744 0
Current children cumulated CPU time (s) 2021.91
Current children cumulated vsize (KiB) 37520

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11269
/proc/meminfo: memFree=31986828/32770624 swapFree=5932/191620
[pid=11210] ppid=11207 vsize=37520 CPUtime=2081.91 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22225 0 0 0 208191 0 0 0 20 0 1 0 1283486 38420480 3552 33554432000 4194304 5970956 140734489825504 140734489822840 4967744 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3552 840 434 0 2744 0
Current children cumulated CPU time (s) 2081.91
Current children cumulated vsize (KiB) 37520

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11270
/proc/meminfo: memFree=31986820/32770624 swapFree=5932/191620
[pid=11210] ppid=11207 vsize=37520 CPUtime=2141.89 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22308 0 0 0 214189 0 0 0 20 0 1 0 1283486 38420480 3552 33554432000 4194304 5970956 140734489825504 140734489822840 5052080 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3552 840 434 0 2744 0
Current children cumulated CPU time (s) 2141.89
Current children cumulated vsize (KiB) 37520

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11271
/proc/meminfo: memFree=31988316/32770624 swapFree=5932/191804
[pid=11210] ppid=11207 vsize=37520 CPUtime=2201.89 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22386 0 0 0 220189 0 0 0 20 0 1 0 1283486 38420480 3552 33554432000 4194304 5970956 140734489825504 140734489822840 5320272 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3552 840 434 0 2744 0
Current children cumulated CPU time (s) 2201.89
Current children cumulated vsize (KiB) 37520

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11279
/proc/meminfo: memFree=31986972/32770624 swapFree=5932/191828
[pid=11210] ppid=11207 vsize=37520 CPUtime=2261.87 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22479 0 0 0 226187 0 0 0 20 0 1 0 1283486 38420480 3552 33554432000 4194304 5970956 140734489825504 140734489822840 4964406 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3552 840 434 0 2744 0
Current children cumulated CPU time (s) 2261.87
Current children cumulated vsize (KiB) 37520

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11280
/proc/meminfo: memFree=31987612/32770624 swapFree=5932/191828
[pid=11210] ppid=11207 vsize=37520 CPUtime=2321.86 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22558 0 0 0 232186 0 0 0 20 0 1 0 1283486 38420480 3553 33554432000 4194304 5970956 140734489825504 140734489822840 5320704 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3553 840 434 0 2744 0
Current children cumulated CPU time (s) 2321.86
Current children cumulated vsize (KiB) 37520

[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11281
/proc/meminfo: memFree=31986636/32770624 swapFree=5932/191828
[pid=11210] ppid=11207 vsize=37520 CPUtime=2381.84 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22637 0 0 0 238184 0 0 0 20 0 1 0 1283486 38420480 3553 33554432000 4194304 5970956 140734489825504 140734489822840 5098899 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3553 840 434 0 2744 0
Current children cumulated CPU time (s) 2381.84
Current children cumulated vsize (KiB) 37520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11347
/proc/meminfo: memFree=31998588/32770624 swapFree=5932/191936
[pid=11210] ppid=11207 vsize=37520 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22716 0 0 0 240004 0 0 0 20 0 1 0 1283486 38420480 3553 33554432000 4194304 5970956 140734489825504 140734489822840 4967839 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3553 840 434 0 2744 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 37520

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11210 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.5 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11347
/proc/meminfo: memFree=31998588/32770624 swapFree=5932/191936
[pid=11210] ppid=11207 vsize=37520 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/11210/stat : 11210 (cosoco) R 11207 11210 9824 0 -1 4202496 22716 0 0 0 240004 0 0 0 20 0 1 0 1283486 38420480 3553 33554432000 4194304 5970956 140734489825504 140734489822840 4967839 0 0 4096 8405026 0 0 0 17 12 0 0 0 0 0 8070896 8075904 31154176 140734489830593 140734489830723 140734489830723 140734489833422 0
/proc/11210/statm: 9380 3553 840 434 0 2744 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 37520

Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.06
CPU user time (s): 2400.05
CPU system time (s): 0.009998
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 37520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.009998
maximum resident set size= 14256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 121848

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55683 second user time and 10.928 second system time

The end

Launcher Data 

Begin job on node150 at 2017-07-21 20:03:04
IDJOB=4242257
IDBENCH=133764
IDSOLVER=2620
FILE ID=node150/4242257-1500660184
RUNJOBID= node150-1500648172-9857
PBS_JOBID= 20623271
Free space on /tmp= 62024 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-17.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242257-1500660184/watcher-4242257-1500660184 -o /tmp/evaluation-result-4242257-1500660184/solver-4242257-1500660184 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500648172-9857 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242257-1500660184.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 1749ee71f79cc6e37ea59febff668c91
RANDOM SEED=1447555516

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.10
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.10
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.10
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.10
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        32010080 kB
MemAvailable:   31999752 kB
Buffers:           33068 kB
Cached:           266112 kB
SwapCached:            0 kB
Active:           186856 kB
Inactive:         198932 kB
Active(anon):      88636 kB
Inactive(anon):     8708 kB
Active(file):      98220 kB
Inactive(file):   190224 kB
Unevictable:        5932 kB
Mlocked:            5932 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2484 kB
Writeback:             0 kB
AnonPages:         89848 kB
Mapped:            31256 kB
Shmem:              8848 kB
Slab:              66660 kB
SReclaimable:      34124 kB
SUnreclaim:        32536 kB
KernelStack:        4288 kB
PageTables:         4860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     355180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62020 MiB
End job on node150 at 2017-07-21 20:43:05