Trace number 4268210

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
cosoco 1.12? (TO) 2519.8201 2520

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.31/0.44	c root propagations     : 5525        
0.31/0.44	c restarts enabled, print stats at every restarts
0.31/0.44	c
0.31/0.44	c
0.31/0.44	c
0.31/0.44	c This is cosoco 1.12 --  
0.31/0.44	c
0.31/0.44	c command line: cosoco -lc -model -restarts HOME/instance-4268210-1502543409.xml 
0.31/0.44	c ========================================[ Problem Statistics ]===========================================
0.31/0.44	c |                                                                                                       
0.31/0.44	c |  Parse time        :         0.33 s 
0.31/0.44	c |
0.31/0.44	c |               Variables: 578
0.31/0.44	c |            Domain Sizes: 17..289
0.31/0.44	c |
0.31/0.44	c |             Constraints: 595
0.31/0.44	c |                   Arity: 1..290  -- Unary: 17  -- Ternary: 272
0.31/0.44	c | 
0.31/0.44	c |                   Types: 
0.31/0.44	c |                          All Different: 34
0.31/0.44	c |                          Element Constant: 272
0.31/0.44	c |                          Intension: 272
0.31/0.44	c |                          Unary: 17
0.31/0.44	c |                          
0.31/0.44	c =========================================================================================================
0.31/0.44	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.31/0.44	c remove useless variable y[0][0]
0.31/0.44	c remove useless variable y[1][1]
0.31/0.44	c remove useless variable y[2][2]
0.31/0.44	c remove useless variable y[3][3]
0.31/0.44	c remove useless variable y[4][4]
0.31/0.44	c remove useless variable y[5][5]
0.31/0.44	c remove useless variable y[6][6]
0.31/0.44	c remove useless variable y[7][7]
0.31/0.44	c remove useless variable y[8][8]
0.31/0.44	c remove useless variable y[9][9]
0.31/0.44	c remove useless variable y[10][10]
0.31/0.44	c remove useless variable y[11][11]
0.31/0.44	c remove useless variable y[12][12]
0.31/0.44	c remove useless variable y[13][13]
0.31/0.44	c remove useless variable y[14][14]
0.31/0.44	c remove useless variable y[15][15]
0.31/0.44	c remove useless variable y[16][16]
0.90/1.00	c 101            576            523635         277452         351            0              247   312   281
1.60/1.77	c 211            1183           1236189        595088         351            0              65   159   138 
2.80/2.96	c 332            1797           2394780        994938         351            0              131   167   155
3.60/3.75	c 465            2343           2867013        1241707        351            0              69   90   83   
4.20/4.32	c 611            2864           3350882        1509338        351            0              115   162   143
5.41/5.54	c 771            3782           4986578        2082099        351            0              171   199   185
7.10/7.24	c 947            4777           7191789        2915860        351            0              177   209   184
8.40/8.54	c 1140           5614           8970739        3599353        351            0              121   193   178
9.91/10.08	c 1352           6590           10870064       4262291        351            0              100   181   166
11.20/11.34	c 1585           7497           11678439       4814266        351            0              90   100   93  
12.70/12.81	c 1841           8813           13006316       5417857        351            0              106   180   136
14.70/14.89	c 2122           10064          15725463       6317049        351            0              46   191   176 
16.80/16.98	c 2431           11649          19041066       7244986        351            0              66   193   176 
19.40/19.57	c 2770           13525          22268224       8340262        351            0              126   189   166
20.91/21.05	c 3142           14864          23597427       8952467        351            0              39   133   123 
24.91/25.01	c 3551           16831          28833789       10982934       351            0              131   196   171
28.71/28.85	c 4000           18947          33992254       12935727       351            0              41   199   182 
33.11/33.27	c 4493           21871          40157160       15144834       351            0              148   203   182
37.21/37.39	c 5035           24637          45930822       17152302       351            0              57   196   172 
40.61/40.78	c 5631           27427          50341442       18282738       351            0              39   188   165 
46.01/46.11	c 6286           30717          58055909       20868013       351            0              57   202   182 
47.91/48.09	c 7006           32631          59716957       21840866       351            0              65   135   116 
51.90/52.01	c 7798           36145          64872015       23565373       351            0              39   184   161 
55.10/55.23	c 8669           39087          68126451       25691081       351            0              58   153   134 
62.50/62.60	c 9627           42949          79208269       29842394       351            0              149   196   180
70.00/70.14	c 10680          48028          90744815       33799236       351            0              91   201   184 
77.10/77.27	c 11838          53324          103866583      37755006       351            0              126   211   192
87.10/87.27	c 13111          59137          117037165      43171226       351            0              157   191   172
97.20/97.38	c 14511          65731          132636285      48693930       351            0              167   203   181
104.60/104.79	c 16051          71955          140238379      52082013       351            0              95   165   136 
115.00/115.19	c 17745          79296          154322951      57905835       351            0              153   190   170
129.20/129.32	c 19608          86492          173159203      66077345       351            0              148   193   173
142.70/142.83	c 21657          96091          195144010      73522873       351            0              65   198   178 
156.21/156.31	c 23910          106304         218514218      81055348       351            0              151   204   183
173.20/173.31	c 26388          118764         246987825      89772857       351            0              67   203   181 
191.50/191.61	c 29113          132197         278247828      98910620       351            0              126   208   190
213.50/213.64	c 32110          150272         314778553      110397953      351            0              157   206   180
239.20/239.36	c 35406          164862         350925745      123492591      351            0              163   203   179
267.50/267.62	c 39031          182707         394397260      137263740      351            0              162   202   178
290.30/290.45	c 43018          200081         431527040      149206501      351            0              58   203   178 
324.50/324.60	c 47403          224223         488126719      166231642      351            0              120   212   187
364.69/364.87	c 52226          249110         547577528      187420790      351            0              160   207   179
410.99/411.10	c 57531          279292         617019548      212947931      351            0              159   203   177
453.69/453.85	c 63366          309872         685699312      236263863      351            0              71   205   183 
497.49/497.61	c 69784          339451         761939024      258852828      351            0              164   212   191
553.29/553.43	c 76843          369635         838437448      291320074      351            0              154   187   169
630.78/630.97	c 84607          415691         947365635      329423150      351            0              154   200   176
693.48/693.61	c 93147          453347         1044323969     363308038      351            0              65   203   180 
767.38/767.52	c 102541         500144         1155272234     402503332      351            0              158   206   178
839.48/839.66	c 112874         545708         1257176776     442578465      351            0              156   194   174
928.57/928.78	c 124240         615816         1404207805     490210990      351            0              158   208   179
1019.47/1019.61	c 136742         678019         1555743426     539837795      351            0              43   206   179 
1112.56/1112.76	c 150494         749376         1714842176     588102175      351            0              118   211   187
1245.36/1245.52	c 165621         819979         1901840628     660922458      351            0              41   206   179 
1385.15/1385.36	c 182260         927760         2109094016     733153575      351            0              136   204   174
1518.75/1518.92	c 200562         1020504        2318100869     807195092      351            0              160   206   178
1664.44/1664.63	c 220694         1121015        2561852549     888937811      351            0              161   209   180
1840.34/1840.57	c 242839         1234204        2829220024     983033022      351            0              160   206   178
2048.73/2048.92	c 267198         1363447        3135337819     1094179963     351            0              130   207   180
2254.32/2254.56	c 293992         1494350        3453781277     1204525291     351            0              109   213   179
2519.41/2519.66	c 323465         1684019        3866851261     1341843894     351            0              156   210   181
2519.81/2520.00	
2519.81/2520.00	c *** INTERRUPTED ***
2519.81/2520.00	c restarts              : 61          
2519.81/2520.00	c conflicts             : 323484       (128 /sec)
2519.81/2520.00	c decisions             : 1684267      (668 /sec)
2519.81/2520.00	c propagations          : 1341970001  (532569 /sec)
2519.81/2520.00	c root propagations     : 5525        
2519.81/2520.00	c filter calls          : 3867134115     (1534696 /sec)
2519.81/2520.00	c useless filter calls  : 3485193536     (90 %)
2519.81/2520.00	c Memory used           : 36.65 MB
2519.81/2520.00	c CPU time              : 2519.8 s
2519.81/2520.00	
2519.81/2520.00	s UNKNOWN

Verifier Data


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-4268210-1502543409/watcher-4268210-1502543409 -o /tmp/evaluation-result-4268210-1502543409/solver-4268210-1502543409 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268210-1502543409.xml 

pid=9242
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.00 2.01 2.05 4/180 9245
/proc/meminfo: memFree=31503316/32770624 swapFree=0/469856
[pid=9245] ppid=9242 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9245/stat : 9245 (runsolver) D 9242 9245 31775 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 42681580 24240128 107 18446744073709551615 4194304 4338465 140737117154544 140737117152184 140102161384151 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 8527872 140737117155521 140737117155913 140737117155913 140737117159370 0
/proc/9245/statm: 5918 107 54 36 0 2156 0

[startup+0.100197 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 9245
/proc/meminfo: memFree=31503316/32770624 swapFree=0/469856
[pid=9245] ppid=9242 vsize=29236 CPUtime=0.01 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 1545 0 0 0 1 0 0 0 20 0 1 0 42681580 29937664 1374 18446744073709551615 4194304 5972588 140721882952752 140721882949400 140225457286117 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 7309 1374 737 435 0 672 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29236

[startup+0.200357 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 9245
/proc/meminfo: memFree=31503316/32770624 swapFree=0/469856
[pid=9245] ppid=9242 vsize=31440 CPUtime=0.11 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 2146 0 0 0 11 0 0 0 20 0 1 0 42681580 32194560 1987 18446744073709551615 4194304 5972588 140721882952752 140721882949400 140225457286117 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 7860 1987 801 435 0 1223 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 31440

[startup+0.300318 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 9245
/proc/meminfo: memFree=31503316/32770624 swapFree=0/469856
[pid=9245] ppid=9242 vsize=32444 CPUtime=0.21 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 2404 0 0 0 21 0 0 0 20 0 1 0 42681580 33222656 2238 18446744073709551615 4194304 5972588 140721882952752 140721882949400 140225457286117 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 8111 2238 801 435 0 1474 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 32444

[startup+0.700291 s]
/proc/loadavg: 2.00 2.01 2.05 4/180 9245
/proc/meminfo: memFree=31503316/32770624 swapFree=0/469856
[pid=9245] ppid=9242 vsize=35284 CPUtime=0.6 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 3138 0 0 0 60 0 0 0 20 0 1 0 42681580 36130816 2920 18446744073709551615 4194304 5972588 140721882952752 140721882946552 4995525 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 8821 2920 841 435 0 2184 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 35284

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9246
/proc/meminfo: memFree=31494804/32770624 swapFree=0/470124
[pid=9245] ppid=9242 vsize=35416 CPUtime=1.4 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 3198 0 0 0 140 0 0 0 20 0 1 0 42681580 36265984 2986 18446744073709551615 4194304 5972588 140721882952752 140721882949416 140225457286117 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 8854 2986 841 435 0 2217 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 35416

[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9246
/proc/meminfo: memFree=31494060/32770624 swapFree=0/470124
[pid=9245] ppid=9242 vsize=35680 CPUtime=3 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 5307 0 0 0 300 0 0 0 20 0 1 0 42681580 36536320 3100 18446744073709551615 4194304 5972588 140721882952752 140721882949784 5099616 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 8920 3100 841 435 0 2283 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 35680

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9246
/proc/meminfo: memFree=31493476/32770624 swapFree=0/470132
[pid=9245] ppid=9242 vsize=36208 CPUtime=6.2 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 7675 0 0 0 620 0 0 0 20 0 1 0 42681580 37076992 3173 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5099648 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9052 3173 841 435 0 2415 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 36208

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9246
/proc/meminfo: memFree=31492608/32770624 swapFree=0/470132
[pid=9245] ppid=9242 vsize=36472 CPUtime=12.6 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 10057 0 0 0 1260 0 0 0 20 0 1 0 42681580 37347328 3261 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4995525 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9118 3261 841 435 0 2481 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 36472

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9246
/proc/meminfo: memFree=31492488/32770624 swapFree=0/470124
[pid=9245] ppid=9242 vsize=36868 CPUtime=25.41 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 14968 0 0 0 2540 1 0 0 20 0 1 0 42681580 37752832 3382 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5070704 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9217 3382 841 435 0 2580 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 36868

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9247
/proc/meminfo: memFree=31490628/32770624 swapFree=0/470116
[pid=9245] ppid=9242 vsize=37000 CPUtime=51 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 17518 0 0 0 5099 1 0 0 20 0 1 0 42681580 37888000 3426 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4909679 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9250 3426 841 435 0 2613 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 37000

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9248
/proc/meminfo: memFree=31492152/32770624 swapFree=0/470120
[pid=9245] ppid=9242 vsize=37264 CPUtime=102.21 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 18080 0 0 0 10220 1 0 0 20 0 1 0 42681580 38158336 3470 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4995525 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9316 3470 841 435 0 2679 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 37264

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9251
/proc/meminfo: memFree=31491760/32770624 swapFree=0/470120
[pid=9245] ppid=9242 vsize=37264 CPUtime=162.2 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 18652 0 0 0 16219 1 0 0 20 0 1 0 42681580 38158336 3499 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5321384 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9316 3499 841 435 0 2679 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 37264

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9253
/proc/meminfo: memFree=31490888/32770624 swapFree=0/470116
[pid=9245] ppid=9242 vsize=37396 CPUtime=222.2 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 19227 0 0 0 22219 1 0 0 20 0 1 0 42681580 38293504 3515 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5071496 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9349 3515 841 435 0 2712 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 37396

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/184 9269
/proc/meminfo: memFree=31487632/32770624 swapFree=0/470140
[pid=9245] ppid=9242 vsize=37396 CPUtime=282.2 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 19291 0 0 0 28219 1 0 0 20 0 1 0 42681580 38293504 3520 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5070704 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9349 3520 841 435 0 2712 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 37396

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/184 9295
/proc/meminfo: memFree=31485864/32770624 swapFree=0/470168
[pid=9245] ppid=9242 vsize=37396 CPUtime=342.19 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 19364 0 0 0 34218 1 0 0 20 0 1 0 42681580 38293504 3527 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4909643 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9349 3527 841 435 0 2712 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 37396

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 9297
/proc/meminfo: memFree=31486360/32770624 swapFree=0/470196
[pid=9245] ppid=9242 vsize=37396 CPUtime=402.19 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 19437 0 0 0 40218 1 0 0 20 0 1 0 42681580 38293504 3532 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5053069 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9349 3532 841 435 0 2712 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 37396

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 2/180 9313
/proc/meminfo: memFree=31492760/32770624 swapFree=0/470196
[pid=9245] ppid=9242 vsize=37396 CPUtime=462.19 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 19517 0 0 0 46218 1 0 0 20 0 1 0 42681580 38293504 3536 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4962396 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9349 3536 841 435 0 2712 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 37396

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 9361
/proc/meminfo: memFree=31475600/32770624 swapFree=0/470200
[pid=9245] ppid=9242 vsize=37396 CPUtime=522.19 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 19596 0 0 0 52218 1 0 0 20 0 1 0 42681580 38293504 3539 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5070704 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9349 3539 841 435 0 2712 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 37396

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9363
/proc/meminfo: memFree=31475400/32770624 swapFree=0/470184
[pid=9245] ppid=9242 vsize=37396 CPUtime=582.18 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 19677 0 0 0 58217 1 0 0 20 0 1 0 42681580 38293504 3540 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5094119 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9349 3540 841 435 0 2712 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 37396


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9427
/proc/meminfo: memFree=31473616/32770624 swapFree=0/470340
[pid=9245] ppid=9242 vsize=37528 CPUtime=1602.15 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21111 0 0 0 160214 1 0 0 20 0 1 0 42681580 38428672 3552 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5099616 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3552 841 435 0 2745 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 37528

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9429
/proc/meminfo: memFree=31474088/32770624 swapFree=0/470360
[pid=9245] ppid=9242 vsize=37528 CPUtime=1662.14 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21189 0 0 0 166213 1 0 0 20 0 1 0 42681580 38428672 3552 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5071463 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3552 841 435 0 2745 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 37528

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9431
/proc/meminfo: memFree=31473740/32770624 swapFree=0/470380
[pid=9245] ppid=9242 vsize=37528 CPUtime=1722.14 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21287 0 0 0 172213 1 0 0 20 0 1 0 42681580 38428672 3553 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4909180 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3553 841 435 0 2745 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 37528

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 9434
/proc/meminfo: memFree=31472896/32770624 swapFree=0/470372
[pid=9245] ppid=9242 vsize=37528 CPUtime=1782.14 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21371 0 0 0 178213 1 0 0 20 0 1 0 42681580 38428672 3553 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5070704 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3553 841 435 0 2745 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 37528

[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 9436
/proc/meminfo: memFree=31473892/32770624 swapFree=0/470384
[pid=9245] ppid=9242 vsize=37528 CPUtime=1842.14 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21463 0 0 0 184213 1 0 0 20 0 1 0 42681580 38428672 3553 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5099616 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3553 841 435 0 2745 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 37528

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9438
/proc/meminfo: memFree=31474368/32770624 swapFree=0/470396
[pid=9245] ppid=9242 vsize=37528 CPUtime=1902.13 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21549 0 0 0 190212 1 0 0 20 0 1 0 42681580 38428672 3554 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4965552 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3554 841 435 0 2745 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 37528

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9441
/proc/meminfo: memFree=31474128/32770624 swapFree=0/470416
[pid=9245] ppid=9242 vsize=37528 CPUtime=1962.13 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21629 0 0 0 196212 1 0 0 20 0 1 0 42681580 38428672 3554 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4965472 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3554 841 435 0 2745 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 37528

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9443
/proc/meminfo: memFree=31474028/32770624 swapFree=0/470440
[pid=9245] ppid=9242 vsize=37528 CPUtime=2022.13 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21709 0 0 0 202212 1 0 0 20 0 1 0 42681580 38428672 3554 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5071395 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3554 841 435 0 2745 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 37528

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 9460
/proc/meminfo: memFree=31469940/32770624 swapFree=0/470472
[pid=9245] ppid=9242 vsize=37528 CPUtime=2082.13 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21802 0 0 0 208212 1 0 0 20 0 1 0 42681580 38428672 3554 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4968859 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3554 841 435 0 2745 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 37528

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 9462
/proc/meminfo: memFree=31469460/32770624 swapFree=0/470484
[pid=9245] ppid=9242 vsize=37528 CPUtime=2142.13 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21887 0 0 0 214212 1 0 0 20 0 1 0 42681580 38428672 3554 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4995625 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3554 841 435 0 2745 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 37528

[startup+2202.31 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 9464
/proc/meminfo: memFree=31472864/32770624 swapFree=0/470508
[pid=9245] ppid=9242 vsize=37528 CPUtime=2202.13 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 21967 0 0 0 220212 1 0 0 20 0 1 0 42681580 38428672 3554 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4995482 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3554 841 435 0 2745 0
Current children cumulated CPU time (s) 2202.13
Current children cumulated vsize (KiB) 37528

[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 9466
/proc/meminfo: memFree=31472748/32770624 swapFree=0/470508
[pid=9245] ppid=9242 vsize=37528 CPUtime=2262.12 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 22061 0 0 0 226211 1 0 0 20 0 1 0 42681580 38428672 3554 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5099648 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3554 841 435 0 2745 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 37528

[startup+2322.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 9468
/proc/meminfo: memFree=31472912/32770624 swapFree=0/470504
[pid=9245] ppid=9242 vsize=37528 CPUtime=2322.12 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 22142 0 0 0 232211 1 0 0 20 0 1 0 42681580 38428672 3555 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4965552 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3555 841 435 0 2745 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 37528

[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 9470
/proc/meminfo: memFree=31473052/32770624 swapFree=0/470504
[pid=9245] ppid=9242 vsize=37528 CPUtime=2382.12 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 22223 0 0 0 238211 1 0 0 20 0 1 0 42681580 38428672 3555 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5099616 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3555 841 435 0 2745 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 37528

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9472
/proc/meminfo: memFree=31472432/32770624 swapFree=0/470512
[pid=9245] ppid=9242 vsize=37528 CPUtime=2442.11 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 22304 0 0 0 244210 1 0 0 20 0 1 0 42681580 38428672 3555 18446744073709551615 4194304 5972588 140721882952752 140721882950056 4995572 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3555 841 435 0 2745 0
Current children cumulated CPU time (s) 2442.11
Current children cumulated vsize (KiB) 37528

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 9474
/proc/meminfo: memFree=31473428/32770624 swapFree=0/470512
[pid=9245] ppid=9242 vsize=37528 CPUtime=2502.11 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 22390 0 0 0 250210 1 0 0 20 0 1 0 42681580 38428672 3555 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5071376 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3555 841 435 0 2745 0
Current children cumulated CPU time (s) 2502.11
Current children cumulated vsize (KiB) 37528



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 9476
/proc/meminfo: memFree=31473696/32770624 swapFree=0/470528
[pid=9245] ppid=9242 vsize=37528 CPUtime=2519.81 cores=0,2,4,6
/proc/9245/stat : 9245 (cosoco) R 9242 9245 31775 0 -1 4202496 22484 0 0 0 251980 1 0 0 20 0 1 0 42681580 38428672 3555 18446744073709551615 4194304 5972588 140721882952752 140721882950056 5071499 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 8070896 8075904 22835200 140721882956270 140721882956365 140721882956365 140721882959822 0
/proc/9245/statm: 9382 3555 841 435 0 2745 0
Current children cumulated CPU time (s) 2519.81
Current children cumulated vsize (KiB) 37528

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 9245 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.82
CPU user time (s): 2519.8
CPU system time (s): 0.019999
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 37528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.8
system time used= 0.019999
maximum resident set size= 14288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22522
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= 15
involuntary context switches= 3126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99316 second user time and 8.80929 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-12 14:55:53
IDJOB=4268210
IDBENCH=133764
IDSOLVER=2658
FILE ID=node124/4268210-1502543409
RUNJOBID= node124-1502500286-31838
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/QuasiGroups/QuasiGroups-elt-qg4/QuasiGroup-4-17.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268210-1502543409/watcher-4268210-1502543409 -o /tmp/evaluation-result-4268210-1502543409/solver-4268210-1502543409 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502500286-31838 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268210-1502543409.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1749ee71f79cc6e37ea59febff668c91
RANDOM SEED=118201914

node124.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.51
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.51
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.51
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.51
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:        31503124 kB
MemAvailable:   32003688 kB
Buffers:          239208 kB
Cached:           554712 kB
SwapCached:            0 kB
Active:           354192 kB
Inactive:         494816 kB
Active(anon):      55760 kB
Inactive(anon):    24960 kB
Active(file):     298432 kB
Inactive(file):   469856 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2352 kB
Writeback:             0 kB
AnonPages:         55068 kB
Mapped:            41980 kB
Shmem:             25320 kB
Slab:             122048 kB
SReclaimable:      96220 kB
SUnreclaim:        25828 kB
KernelStack:        3216 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     319636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62028 MiB
End job on node124 at 2017-08-12 15:37:53