Trace number 4299135

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) 2520.07 2519.9

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v4-20_mini_c18.xml
MD5SUM43d4b24a9d4c7a91506dc3ee81b98d4e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.05992
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of constraints820
Number of domains2
Minimum domain size20
Maximum domain size400
Distribution of domain sizes[{"size":20,"count":400},{"size":400,"count":380}]
Minimum variable degree0
Maximum variable degree384
Distribution of variable degrees[{"degree":0,"count":20},{"degree":2,"count":380},{"degree":383,"count":20},{"degree":384,"count":380}]
Minimum constraint arity1
Maximum constraint arity401
Distribution of constraint arities[{"arity":1,"count":20},{"arity":3,"count":380},{"arity":20,"count":40},{"arity":401,"count":380}]
Number of extensional constraints380
Number of intensional constraints20
Distribution of constraint types[{"type":"extension","count":380},{"type":"intension","count":20},{"type":"allDifferent","count":40},{"type":"element","count":380}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.13	c root propagations     : 10460       
0.10/0.13	c restarts enabled, print stats at every restarts
0.10/0.13	c
0.10/0.13	c
0.10/0.13	c
0.10/0.13	c This is cosoco 1.12 --  
0.10/0.13	c
0.10/0.13	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299135-1532789279.xml 
0.10/0.13	c ========================================[ Problem Statistics ]===========================================
0.10/0.13	c |                                                                                                       
0.10/0.13	c |  Parse time        :         0.07 s 
0.10/0.13	c |
0.10/0.13	c |               Variables: 800
0.10/0.13	c |            Domain Sizes: 20..400
0.10/0.13	c |
0.10/0.13	c |             Constraints: 820
0.10/0.13	c |                   Arity: 1..401  -- Unary: 20  -- Ternary: 380
0.10/0.13	c | 
0.10/0.13	c |                   Types: 
0.10/0.13	c |                          All Different: 40
0.10/0.13	c |                          Element Constant: 380
0.10/0.13	c |                          Extension: 380  (nb tuples: 400..400) -- (shared: 379)
0.10/0.13	c |                          Unary: 20
0.10/0.13	c |                          
0.10/0.13	c =========================================================================================================
0.10/0.13	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.13	c remove useless variable y[0][0]
0.10/0.13	c remove useless variable y[1][1]
0.10/0.13	c remove useless variable y[2][2]
0.10/0.13	c remove useless variable y[3][3]
0.10/0.13	c remove useless variable y[4][4]
0.10/0.13	c remove useless variable y[5][5]
0.10/0.13	c remove useless variable y[6][6]
0.10/0.13	c remove useless variable y[7][7]
0.10/0.13	c remove useless variable y[8][8]
0.10/0.13	c remove useless variable y[9][9]
0.10/0.13	c remove useless variable y[10][10]
0.10/0.13	c remove useless variable y[11][11]
0.10/0.13	c remove useless variable y[12][12]
0.10/0.13	c remove useless variable y[13][13]
0.10/0.13	c remove useless variable y[14][14]
0.10/0.13	c remove useless variable y[15][15]
0.10/0.13	c remove useless variable y[16][16]
0.10/0.13	c remove useless variable y[17][17]
0.10/0.13	c remove useless variable y[18][18]
0.10/0.13	c remove useless variable y[19][19]
1.29/1.33	c 101            746            1434407        493380         474            0              283   459   434
2.49/2.53	c 211            1216           2041737        701706         474            0              209   231   223
3.89/3.96	c 332            1910           4159775        1175717        474            0              104   284   263
5.29/5.38	c 465            2745           6254939        1725964        474            0              140   288   267
8.00/8.03	c 611            3394           7182360        2115241        474            0              88   112   104 
9.59/9.67	c 771            4451           9000838        2631622        474            0              203   275   239
11.79/11.83	c 947            5070           9738931        2993047        474            0              93   110   100 
13.39/13.46	c 1140           6067           11796396       3544122        474            0              123   274   241
15.29/15.37	c 1352           7237           15656095       4378661        474            0              181   295   277
17.49/17.51	c 1585           8469           18306534       5143797        474            0              59   263   239 
19.39/19.43	c 1841           9703           21030615       5847306        474            0              142   265   239
21.59/21.65	c 2122           11427          26002804       6831147        474            0              260   293   276
24.09/24.16	c 2431           13120          30454709       7892241        474            0              132   277   256
26.69/26.70	c 2770           15069          34904824       8837896        474            0              134   276   246
29.59/29.68	c 3142           17277          41619874       10155061       474            0              205   299   273
32.90/32.97	c 3551           19476          48548121       11759726       474            0              230   289   265
36.29/36.39	c 4000           21811          56572728       13568496       474            0              126   294   273
40.39/40.45	c 4493           23897          62018085       15019827       474            0              120   256   222
50.29/50.37	c 5035           26668          66092873       17627447       474            0              68   117   109 
54.59/54.64	c 5631           29412          71650059       19140889       474            0              66   268   221 
60.29/60.37	c 6286           32458          77249396       20290228       474            0              83   216   179 
64.49/64.57	c 7006           35218          82418110       21648419       474            0              83   230   196 
69.29/69.32	c 7798           38538          89920446       23892948       474            0              154   270   232
74.39/74.44	c 8669           42319          96455798       25784022       474            0              72   249   211 
79.10/79.18	c 9627           47170          110049476      28642696       474            0              53   296   273 
93.89/93.94	c 10680          50504          116657127      30579475       474            0              67   128   109 
99.29/99.32	c 11838          55188          128387711      33020489       474            0              118   278   254
107.00/107.03	c 13111          61168          141853076      36664047       474            0              197   261   233
115.59/115.69	c 14511          64177          145298562      37804927       474            0              71   100   92  
129.30/129.38	c 16051          70057          154752060      40122255       474            0              61   173   163 
137.80/137.81	c 17745          79969          185884156      45597924       474            0              118   309   283
149.01/149.02	c 19608          89296          216097335      52617631       474            0              248   283   265
161.80/161.86	c 21657          92244          219879279      55860797       474            0              52   62   58   
175.11/175.11	c 23910          103888         259402628      64283868       474            0              77   289   269 
186.30/186.33	c 26388          115298         294731445      71053906       474            0              46   296   275 
201.50/201.54	c 29113          130001         342192072      80089314       474            0              84   294   268 
232.90/232.92	c 32110          137495         359292565      86217503       474            0              59   278   113 
247.70/247.72	c 35406          152161         390689334      94087997       474            0              101   283   256
267.60/267.69	c 39031          168055         427308463      103334817      474            0              104   263   230
287.31/287.32	c 43018          186169         467185503      111132284      474            0              89   265   233 
311.21/311.20	c 47403          206435         506392010      120682869      474            0              155   266   224
341.91/341.93	c 52226          229072         551206342      131374966      474            0              106   264   213
369.71/369.74	c 57531          254310         632896535      148827628      474            0              182   294   268
397.31/397.36	c 63366          282768         727620256      166133757      474            0              244   306   278
429.92/429.99	c 69784          312070         819421255      189470212      474            0              130   298   271
464.82/464.83	c 76843          346746         922540368      211956966      474            0              54   293   262 
505.92/505.98	c 84607          386803         1046415015     236147751      474            0              53   292   266 
548.42/548.49	c 93147          427380         1171151507     261389414      474            0              209   289   264
600.14/600.15	c 102541         476075         1336159006     294447486      474            0              247   309   276
725.33/725.30	c 112874         516258         1393814983     312035734      474            0              103   138   116
781.15/781.17	c 124240         561904         1547892407     347213875      474            0              243   293   267
842.34/842.34	c 136742         625780         1737363556     388840513      474            0              245   300   271
921.65/921.62	c 150494         701067         1979118672     441728850      474            0              48   298   266 
1008.45/1008.41	c 165621         784872         2228992868     498175311      474            0              114   296   266
1094.46/1094.41	c 182260         859348         2485496712     554471474      474            0              156   299   270
1197.77/1197.70	c 200562         931722         2718842496     616542096      474            0              46   269   244 
1305.57/1305.59	c 220694         1015203        2932263238     675717313      474            0              184   264   235
1407.28/1407.21	c 242839         1100534        3157868141     719949853      474            0              72   267   227 
1523.10/1523.05	c 267198         1212053        3496615342     788122729      474            0              75   295   260 
1662.60/1662.56	c 293992         1332048        3892465095     878534714      474            0              53   290   264 
1883.82/1883.79	c 323465         1494851        4266395112     971281559      474            0              95   265   214 
2066.53/2066.40	c 355885         1638146        4653144539     1053664526     474            0              100   269   228
2251.54/2251.41	c 391547         1795795        5078343577     1144572594     474            0              104   269   236
2479.56/2479.44	c 430775         1976469        5479074499     1230711679     474            0              96   273   228 
2520.06/2519.90	
2520.06/2519.90	c *** INTERRUPTED ***
2520.06/2519.90	c restarts              : 64          
2520.06/2519.90	c conflicts             : 438017       (174 /sec)
2520.06/2519.90	c decisions             : 2012772      (799 /sec)
2520.06/2519.90	c propagations          : 1255966388  (498390 /sec)
2520.06/2519.90	c root propagations     : 10460       
2520.06/2519.90	c filter calls          : 5583988486     (2215828 /sec)
2520.06/2519.90	c useless filter calls  : 5183322918     (92 %)
2520.06/2519.90	c Memory used           : 40.85 MB
2520.06/2519.90	c CPU time              : 2520.05 s
2520.06/2519.90	
2520.06/2519.90	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299135-1532789279/watcher-4299135-1532789279 -o /tmp/evaluation-result-4299135-1532789279/solver-4299135-1532789279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299135-1532789279.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=13005, runsolver pid=13002

[startup+0.100159 s]*
/proc/loadavg: 2.02 2.08 2.07 3/187 13006
/proc/meminfo: memFree=20460536/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=39040 memory=15552 CPUtime=0.1 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 4057 0 0 0 10 0 0 0 20 0 1 0 96491065 39976960 3888 33554432000 4194304 6142532 140732625224208 140732625220840 5175278 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 9760 3888 839 476 0 3082 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39040 KiB
Current children cumulated memory: 15552 KiB

[startup+0.20976 s]*
/proc/loadavg: 2.02 2.08 2.07 3/187 13006
/proc/meminfo: memFree=20460536/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=39188 memory=15552 CPUtime=0.21 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 4090 0 0 0 21 0 0 0 20 0 1 0 96491065 40128512 3888 33554432000 4194304 6142532 140732625224208 140732625220840 5079966 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 9797 3888 839 476 0 3119 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 15552 KiB

[startup+0.309604 s]*
/proc/loadavg: 2.02 2.08 2.07 3/187 13006
/proc/meminfo: memFree=20460536/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=39372 memory=15816 CPUtime=0.31 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 4133 0 0 0 31 0 0 0 20 0 1 0 96491065 40316928 3954 33554432000 4194304 6142532 140732625224208 140732625220840 140132512177128 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 9843 3954 854 476 0 3165 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39372 KiB
Current children cumulated memory: 15816 KiB

[startup+0.700345 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 13006
/proc/meminfo: memFree=20459792/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=40672 memory=17136 CPUtime=0.69 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 4458 0 0 0 69 0 0 0 20 0 1 0 96491065 41648128 4284 33554432000 4194304 6142532 140732625224208 140732625220840 5080063 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10168 4284 855 476 0 3490 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40672 KiB
Current children cumulated memory: 17136 KiB

[startup+1.50036 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 13006
/proc/meminfo: memFree=20458304/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41464 memory=17928 CPUtime=1.49 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 4679 0 0 0 149 0 0 0 20 0 1 0 96491065 42459136 4482 33554432000 4194304 6142532 140732625224208 140732625221608 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10366 4482 855 476 0 3688 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 41464 KiB
Current children cumulated memory: 17928 KiB

[startup+3.10945 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 13006
/proc/meminfo: memFree=20458304/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41464 memory=18092 CPUtime=3.1 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 8258 0 0 0 310 0 0 0 20 0 1 0 96491065 42459136 4523 33554432000 4194304 6142532 140732625224208 140732625221608 5079936 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10366 4523 855 476 0 3688 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 41464 KiB
Current children cumulated memory: 18092 KiB

[startup+6.30029 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 13006
/proc/meminfo: memFree=20457676/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41560 memory=18128 CPUtime=6.29 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 11874 0 0 0 629 0 0 0 20 0 1 0 96491065 42557440 4532 33554432000 4194304 6142532 140732625224208 140732625221608 5080045 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10390 4532 855 476 0 3712 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 18128 KiB

[startup+12.7003 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 13006
/proc/meminfo: memFree=20458272/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41560 memory=18148 CPUtime=12.69 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 15471 0 0 0 1269 0 0 0 20 0 1 0 96491065 42557440 4537 33554432000 4194304 6142532 140732625224208 140732625221608 5079989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10390 4537 855 476 0 3712 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 41560 KiB
Current children cumulated memory: 18148 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 13006
/proc/meminfo: memFree=20458896/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18192 CPUtime=25.49 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 22690 0 0 0 2548 1 0 0 20 0 1 0 96491065 42692608 4548 33554432000 4194304 6142532 140732625224208 140732625221608 5080045 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4548 855 476 0 3745 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18192 KiB

[startup+51.1094 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 13006
/proc/meminfo: memFree=20459096/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18224 CPUtime=51.1 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 26318 0 0 0 5109 1 0 0 20 0 1 0 96491065 42692608 4556 33554432000 4194304 6142532 140732625224208 140732625221608 5080063 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4556 855 476 0 3745 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18224 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 13007
/proc/meminfo: memFree=20459104/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18240 CPUtime=102.29 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 26882 0 0 0 10228 1 0 0 20 0 1 0 96491065 42692608 4560 33554432000 4194304 6142532 140732625224208 140732625221608 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4560 855 476 0 3745 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18240 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 13015
/proc/meminfo: memFree=20457076/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18240 CPUtime=162.3 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 27445 0 0 0 16229 1 0 0 20 0 1 0 96491065 42692608 4560 33554432000 4194304 6142532 140732625224208 140732625221608 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4560 855 476 0 3745 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18240 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 13016
/proc/meminfo: memFree=20457448/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18268 CPUtime=222.3 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 28011 0 0 0 22229 1 0 0 20 0 1 0 96491065 42692608 4567 33554432000 4194304 6142532 140732625224208 140732625221608 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4567 855 476 0 3745 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18268 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 13017
/proc/meminfo: memFree=20457572/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18268 CPUtime=282.31 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 28012 0 0 0 28230 1 0 0 20 0 1 0 96491065 42692608 4567 33554432000 4194304 6142532 140732625224208 140732625221608 5080045 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4567 855 476 0 3745 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18268 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 13018
/proc/meminfo: memFree=20457572/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18268 CPUtime=342.31 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 28576 0 0 0 34230 1 0 0 20 0 1 0 96491065 42692608 4567 33554432000 4194304 6142532 140732625224208 140732625221608 5080045 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4567 855 476 0 3745 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18268 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 13019
/proc/meminfo: memFree=20457680/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18268 CPUtime=402.31 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 28582 0 0 0 40230 1 0 0 20 0 1 0 96491065 42692608 4567 33554432000 4194304 6142532 140732625224208 140732625221608 5080108 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4567 855 476 0 3745 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18268 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 13021
/proc/meminfo: memFree=20458240/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41692 memory=18284 CPUtime=462.32 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 29152 0 0 0 46231 1 0 0 20 0 1 0 96491065 42692608 4571 33554432000 4194304 6142532 140732625224208 140732625221608 5017909 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10423 4571 855 476 0 3745 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 41692 KiB
Current children cumulated memory: 18284 KiB


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

/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13083
/proc/meminfo: memFree=20456972/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=1842.42 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 35391 0 0 0 184240 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079946 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13085
/proc/meminfo: memFree=20455964/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=1902.42 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 35966 0 0 0 190240 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13094
/proc/meminfo: memFree=20455600/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=1962.42 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 35966 0 0 0 196240 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 1962.42 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13095
/proc/meminfo: memFree=20455888/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2022.43 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 36445 0 0 0 202241 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079994 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13096
/proc/meminfo: memFree=20455764/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2082.43 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 36541 0 0 0 208241 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2082.43 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13097
/proc/meminfo: memFree=20455516/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2142.43 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 37005 0 0 0 214241 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2142.43 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 13158
/proc/meminfo: memFree=20271848/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2202.44 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 37008 0 0 0 220242 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2202.44 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13160
/proc/meminfo: memFree=20272248/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2262.44 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 37583 0 0 0 226242 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2262.44 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13161
/proc/meminfo: memFree=20273048/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2322.45 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 37583 0 0 0 232243 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2322.45 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13162
/proc/meminfo: memFree=20273040/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2382.45 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 38068 0 0 0 238243 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079966 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2382.45 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13164
/proc/meminfo: memFree=20272908/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2442.46 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 38071 0 0 0 244244 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079981 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2442.46 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13165
/proc/meminfo: memFree=20273776/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2502.46 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 38647 0 0 0 250244 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 4990720 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2502.46 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13166
/proc/meminfo: memFree=20273016/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2520.06 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 38647 0 0 0 252004 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

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

[startup+2519.9 s]
# the end of solver process 13005 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.05 s, system=0.022001 s

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

[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 13166
/proc/meminfo: memFree=20273016/32770624 swapFree=67108860/67108860
[pid=13005] ppid=13002 vsize=41824 memory=18312 CPUtime=2520.06 cores=1,3,5,7
/proc/13005/stat : 13005 (cosoco) R 13002 13005 11466 0 -1 4202496 38647 0 0 0 252004 2 0 0 20 0 1 0 96491065 42827776 4578 33554432000 4194304 6142532 140732625224208 140732625221608 5079989 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 23941120 140732625233030 140732625233160 140732625233160 140732625235918 0
/proc/13005/statm: 10456 4578 855 476 0 3778 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 41824 KiB
Current children cumulated memory: 18312 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.07
CPU user time (s): 2520.05
CPU system time (s): 0.022001
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 41824
Max. memory (cumulated for all children) (KiB): 18312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.022001
maximum resident set size= 18376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38685
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= 21
involuntary context switches= 683


# summary of solver processes directly reported to runsolver:
#   pid: 13005
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2520.05
#   total CPU system time (s): 0.022001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.96718 second user time and 16.6403 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 16:47:59
IDJOB=4299135
IDBENCH=141299
IDSOLVER=2761
FILE ID=node105/4299135-1532789279
RUNJOBID= node105-1532776049-11498
PBS_JOBID= 21022469
Free space on /tmp= 44620 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Quasigroups_mini/QuasiGroup-v4-20_mini_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299135-1532789279/watcher-4299135-1532789279 -o /tmp/evaluation-result-4299135-1532789279/solver-4299135-1532789279 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532776049-11498 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4299135-1532789279.xml

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

MD5SUM BENCH= 43d4b24a9d4c7a91506dc3ee81b98d4e
RANDOM SEED=1338968064

node105.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.32
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.32
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.32
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.32
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:        20472928 kB
MemAvailable:   31927024 kB
Buffers:          269524 kB
Cached:         11323236 kB
SwapCached:            0 kB
Active:          2394104 kB
Inactive:        9256836 kB
Active(anon):      12496 kB
Inactive(anon):    73344 kB
Active(file):    2381608 kB
Inactive(file):  9183492 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2732 kB
Writeback:             0 kB
AnonPages:         64972 kB
Mapped:            44804 kB
Shmem:             25228 kB
Slab:             345048 kB
SReclaimable:     317456 kB
SUnreclaim:        27592 kB
KernelStack:        3360 kB
PageTables:         4896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     358008 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:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44604 MiB
End job on node105 at 2018-07-28 17:29:59