Trace number 4299039

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.08 2519.9

General information on the benchmark

NameQuasigroups_mini/
QuasiGroup-v4-14_mini_c18.xml
MD5SUM51a31a49f0c90aa9d82cc667d8941561
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 benchmark1.25793
Satisfiable
(Un)Satisfiability was proved
Number of variables392
Number of constraints406
Number of domains2
Minimum domain size14
Maximum domain size196
Distribution of domain sizes[{"size":14,"count":196},{"size":196,"count":182}]
Minimum variable degree0
Maximum variable degree186
Distribution of variable degrees[{"degree":0,"count":14},{"degree":2,"count":182},{"degree":185,"count":14},{"degree":186,"count":182}]
Minimum constraint arity1
Maximum constraint arity197
Distribution of constraint arities[{"arity":1,"count":14},{"arity":3,"count":182},{"arity":14,"count":28},{"arity":197,"count":182}]
Number of extensional constraints182
Number of intensional constraints14
Distribution of constraint types[{"type":"extension","count":182},{"type":"intension","count":14},{"type":"allDifferent","count":28},{"type":"element","count":182}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.03	c root propagations     : 3956        
0.00/0.03	c restarts enabled, print stats at every restarts
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c
0.00/0.03	c This is cosoco 1.12 --  
0.00/0.03	c
0.00/0.03	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299039-1532783868.xml 
0.00/0.03	c ========================================[ Problem Statistics ]===========================================
0.00/0.03	c |                                                                                                       
0.00/0.03	c |  Parse time        :         0.02 s 
0.00/0.03	c |
0.00/0.03	c |               Variables: 392
0.00/0.03	c |            Domain Sizes: 14..196
0.00/0.03	c |
0.00/0.03	c |             Constraints: 406
0.00/0.03	c |                   Arity: 1..197  -- Unary: 14  -- Ternary: 182
0.00/0.03	c | 
0.00/0.03	c |                   Types: 
0.00/0.03	c |                          All Different: 28
0.00/0.03	c |                          Element Constant: 182
0.00/0.03	c |                          Extension: 182  (nb tuples: 196..196) -- (shared: 181)
0.00/0.03	c |                          Unary: 14
0.00/0.03	c |                          
0.00/0.03	c =========================================================================================================
0.00/0.03	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.03	c remove useless variable y[0][0]
0.00/0.03	c remove useless variable y[1][1]
0.00/0.03	c remove useless variable y[2][2]
0.00/0.03	c remove useless variable y[3][3]
0.00/0.03	c remove useless variable y[4][4]
0.00/0.03	c remove useless variable y[5][5]
0.00/0.03	c remove useless variable y[6][6]
0.00/0.03	c remove useless variable y[7][7]
0.00/0.03	c remove useless variable y[8][8]
0.00/0.03	c remove useless variable y[9][9]
0.00/0.03	c remove useless variable y[10][10]
0.00/0.03	c remove useless variable y[11][11]
0.00/0.03	c remove useless variable y[12][12]
0.00/0.03	c remove useless variable y[13][13]
0.20/0.25	c 101            520            490208         215447         246            0              171   203   176
0.50/0.51	c 211            1104           942636         422842         246            0              36   122   100 
0.68/0.79	c 332            1579           1432642        578219         246            0              31   98   86   
1.09/1.13	c 465            2269           2181173        855795         246            0              87   116   103 
1.38/1.47	c 611            2871           2607783        1022967        246            0              61   78   70   
1.78/1.84	c 771            3808           3764008        1384694        246            0              100   129   111
2.18/2.27	c 947            4720           4751086        1801780        246            0              93   123   104 
2.58/2.69	c 1140           5830           5961718        2219813        246            0              92   127   110 
3.09/3.11	c 1352           6722           7158940        2679548        246            0              98   123   112 
3.58/3.66	c 1585           8043           8695763        3252330        246            0              92   124   107 
4.09/4.16	c 1841           9300           10275409       3741849        246            0              93   128   111 
4.78/4.85	c 2122           10623          12192017       4511680        246            0              98   122   109 
5.48/5.58	c 2431           12173          14401417       5221024        246            0              97   132   110 
6.09/6.14	c 2770           13603          15609631       5623104        246            0              42   112   98  
6.88/6.94	c 3142           15221          17951102       6448325        246            0              50   121   107 
7.68/7.75	c 3551           17296          20577920       7250145        246            0              35   122   108 
8.58/8.62	c 4000           19382          22842375       7960737        246            0              60   119   97  
9.78/9.82	c 4493           21704          25494260       8899189        246            0              30   119   90  
10.68/10.78	c 5035           24446          28145235       9670539        246            0              51   120   102 
11.88/11.97	c 5631           27184          31211956       10727009       246            0              44   121   102 
12.88/12.95	c 6286           29474          33274602       11364158       246            0              30   113   93  
14.38/14.46	c 7006           33652          38001293       12932222       246            0              94   131   115 
15.88/15.95	c 7798           36495          42144307       14553463       246            0              30   119   106 
17.58/17.61	c 8669           40455          47464533       16323541       246            0              58   122   108 
19.48/19.50	c 9627           44789          53109516       18475739       246            0              99   135   111 
21.58/21.60	c 10680          49894          59821291       20826063       246            0              97   123   109 
23.18/23.27	c 11838          54242          63659822       22003840       246            0              66   114   94  
26.09/26.15	c 13111          60369          72249709       25204965       246            0              94   133   110 
29.09/29.17	c 14511          66238          79500191       28283351       246            0              30   116   96  
31.88/31.91	c 16051          72736          89169887       31650099       246            0              108   133   119
35.28/35.30	c 17745          80943          100004779      35457967       246            0              36   130   111 
38.58/38.65	c 19608          90125          111592123      39477688       246            0              95   135   120 
41.88/41.94	c 21657          98772          123687113      43285470       246            0              96   131   118 
46.38/46.48	c 23910          110348         138541184      48230430       246            0              95   130   110 
51.58/51.65	c 26388          123066         154838356      53758690       246            0              49   126   109 
56.68/56.74	c 29113          135725         173163499      59903061       246            0              32   140   119 
62.68/62.76	c 32110          149423         191548979      66891287       246            0              94   128   108 
69.99/70.01	c 35406          165910         212902210      75129573       246            0              35   138   112 
77.48/77.52	c 39031          185990         237014338      83514819       246            0              59   133   112 
84.28/84.39	c 43018          203797         261739692      91574256       246            0              107   133   117
93.09/93.16	c 47403          224866         282061403      99877199       246            0              51   121   93  
101.28/101.31	c 52226          243495         299291784      105492232      246            0              45   116   88  
112.09/112.13	c 57531          268276         331939251      116477112      246            0              51   127   105 
123.99/124.09	c 63366          298861         364835174      128086403      246            0              70   129   102 
135.69/135.75	c 69784          322284         391635112      137269869      246            0              34   115   93  
150.89/150.99	c 76843          354273         424166756      151568921      246            0              37   127   93  
164.49/164.52	c 84607          388836         459468773      164686645      246            0              38   125   103 
178.10/178.15	c 93147          424244         492328414      175208168      246            0              48   120   98  
195.39/195.42	c 102541         463436         544331612      195253620      246            0              88   125   105 
213.89/213.98	c 112874         508392         601078969      216760855      246            0              94   129   107 
237.00/237.01	c 124240         557243         661616014      242060504      246            0              80   122   98  
262.11/262.11	c 136742         616470         740945250      269606900      246            0              60   129   105 
284.50/284.51	c 150494         669141         791926273      287965639      246            0              48   123   95  
313.70/313.76	c 165621         752164         888245247      322100092      246            0              92   134   113 
346.50/346.55	c 182260         826719         986070069      359559701      246            0              87   131   106 
382.02/382.04	c 200562         908684         1096289309     397498534      246            0              29   127   106 
420.12/420.18	c 220694         1008675        1215253695     439822281      246            0              30   135   109 
463.21/463.28	c 242839         1113812        1342221647     482486210      246            0              83   135   105 
505.13/505.14	c 267198         1222012        1467730173     521536864      246            0              82   129   104 
557.22/557.25	c 293992         1329828        1586597889     564542591      246            0              60   116   90  
625.23/625.23	c 323465         1462176        1770931922     637652628      246            0              30   122   100 
688.53/688.56	c 355885         1629501        1969104174     705097326      246            0              86   136   107 
766.94/766.98	c 391547         1789099        2193357691     790379185      246            0              90   131   106 
845.34/845.32	c 430775         2000655        2453948687     879960941      246            0              35   139   113 
932.25/932.22	c 473925         2213821        2723171424     979028111      246            0              88   133   111 
1034.46/1034.49	c 521390         2446680        3024250296     1082129585     246            0              58   135   106 
1120.36/1120.32	c 573601         2698840        3302922371     1174600437     246            0              84   132   108 
1223.67/1223.65	c 631033         2984612        3630428160     1297458231     246            0              87   134   109 
1346.88/1346.85	c 694208         3275788        4009654266     1443282350     246            0              85   127   105 
1483.29/1483.22	c 763700         3632211        4449845281     1604118698     246            0              89   134   109 
1622.30/1622.25	c 840141         3985719        4948860611     1769822942     246            0              34   140   118 
1783.62/1783.59	c 924226         4415566        5477535849     1970340715     246            0              34   135   109 
1963.73/1963.61	c 1016719        4866427        6072112763     2176202301     246            0              91   134   108 
2145.74/2145.68	c 1118461        5359045        6698931142     2387523733     246            0              54   139   110 
2359.17/2359.10	c 1230377        5876269        7363316898     2621779895     246            0              58   135   108 
2520.07/2519.90	
2520.07/2519.90	c *** INTERRUPTED ***
2520.07/2519.90	c restarts              : 75          
2520.07/2519.90	c conflicts             : 1315691      (522 /sec)
2520.07/2519.90	c decisions             : 6349534      (2520 /sec)
2520.07/2519.90	c propagations          : 2809944519  (1115028 /sec)
2520.07/2519.90	c root propagations     : 3956        
2520.07/2519.90	c filter calls          : 7893580249     (3132290 /sec)
2520.07/2519.90	c useless filter calls  : 6988299089     (88 %)
2520.07/2519.90	c Memory used           : 30.14 MB
2520.07/2519.90	c CPU time              : 2520.07 s
2520.07/2519.90	
2520.07/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 (8462 MiB free)
  memory of node 1: 16384 MiB (9367 MiB free)
  node distances:
     10  21
     21  10

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

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

solver pid=12321, runsolver pid=12318

[startup+0.100421 s]*
/proc/loadavg: 2.02 2.06 2.07 3/187 12322
/proc/meminfo: memFree=18253820/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7368 CPUtime=0.09 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 2018 0 0 0 9 0 0 0 20 0 1 0 95949982 31596544 1842 33554432000 4194304 6142532 140729907435568 140729907432552 5328288 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1842 854 476 0 1036 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7368 KiB

[startup+0.209434 s]*
/proc/loadavg: 2.02 2.06 2.07 3/187 12322
/proc/meminfo: memFree=18253820/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7368 CPUtime=0.2 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 2023 0 0 0 20 0 0 0 20 0 1 0 95949982 31596544 1842 33554432000 4194304 6142532 140729907435568 140729907432552 5080045 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1842 854 476 0 1036 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7368 KiB

[startup+0.308756 s]*
/proc/loadavg: 2.02 2.06 2.07 3/187 12322
/proc/meminfo: memFree=18253820/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7368 CPUtime=0.3 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 2023 0 0 0 30 0 0 0 20 0 1 0 95949982 31596544 1842 33554432000 4194304 6142532 140729907435568 140729907432968 5080063 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1842 854 476 0 1036 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7368 KiB

[startup+0.700227 s]
/proc/loadavg: 2.02 2.06 2.07 3/187 12322
/proc/meminfo: memFree=18253820/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7368 CPUtime=0.68 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 2024 0 0 0 68 0 0 0 20 0 1 0 95949982 31596544 1842 33554432000 4194304 6142532 140729907435568 140729907432968 5080072 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1842 854 476 0 1036 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7368 KiB

[startup+1.50022 s]
/proc/loadavg: 2.02 2.06 2.07 3/187 12322
/proc/meminfo: memFree=18249932/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7368 CPUtime=1.48 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 2025 0 0 0 148 0 0 0 20 0 1 0 95949982 31596544 1842 33554432000 4194304 6142532 140729907435568 140729907432968 5079985 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1842 854 476 0 1036 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7368 KiB

[startup+3.10893 s]
/proc/loadavg: 2.02 2.06 2.07 3/187 12322
/proc/meminfo: memFree=18249436/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7484 CPUtime=3.09 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 2977 0 0 0 309 0 0 0 20 0 1 0 95949982 31596544 1871 33554432000 4194304 6142532 140729907435568 140729907432968 5079936 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1871 854 476 0 1036 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7484 KiB

[startup+6.30023 s]
/proc/loadavg: 2.02 2.06 2.07 3/187 12322
/proc/meminfo: memFree=18249092/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7488 CPUtime=6.28 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 3930 0 0 0 628 0 0 0 20 0 1 0 95949982 31596544 1872 33554432000 4194304 6142532 140729907435568 140729907432968 5079981 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1872 854 476 0 1036 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7488 KiB

[startup+12.7002 s]
/proc/loadavg: 2.02 2.06 2.07 3/187 12322
/proc/meminfo: memFree=18246240/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7492 CPUtime=12.68 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 4882 0 0 0 1268 0 0 0 20 0 1 0 95949982 31596544 1873 33554432000 4194304 6142532 140729907435568 140729907432968 5079989 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1873 854 476 0 1036 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7492 KiB

[startup+25.5002 s]
/proc/loadavg: 2.01 2.05 2.07 3/187 12322
/proc/meminfo: memFree=18236660/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7492 CPUtime=25.48 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 6786 0 0 0 2548 0 0 0 20 0 1 0 95949982 31596544 1873 33554432000 4194304 6142532 140729907435568 140729907432968 5079989 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1873 854 476 0 1036 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7492 KiB

[startup+51.1089 s]
/proc/loadavg: 2.01 2.05 2.07 3/187 12322
/proc/meminfo: memFree=18222892/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7492 CPUtime=51.09 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 7738 0 0 0 5108 1 0 0 20 0 1 0 95949982 31596544 1873 33554432000 4194304 6142532 140729907435568 140729907432968 5061400 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1873 854 476 0 1036 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7492 KiB

[startup+102.3 s]
/proc/loadavg: 1.95 2.02 2.06 3/187 12323
/proc/meminfo: memFree=18198788/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=102.28 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 8692 0 0 0 10227 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079894 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+162.3 s]
/proc/loadavg: 1.98 2.02 2.05 3/188 12332
/proc/meminfo: memFree=18187812/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=162.29 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 9645 0 0 0 16228 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5061885 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.05 3/188 12333
/proc/meminfo: memFree=18183120/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=222.29 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 10598 0 0 0 22228 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079994 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12334
/proc/meminfo: memFree=18177728/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=282.3 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 10598 0 0 0 28229 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5058268 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12335
/proc/meminfo: memFree=18172780/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=342.3 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 11551 0 0 0 34229 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5017716 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 12336
/proc/meminfo: memFree=18167336/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=402.31 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 11551 0 0 0 40230 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079894 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12338
/proc/meminfo: memFree=18161760/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=462.31 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 12504 0 0 0 46230 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB


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

/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 12378
/proc/meminfo: memFree=18119448/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=1842.42 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 19880 0 0 0 184241 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079894 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 12379
/proc/meminfo: memFree=18119816/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=1902.42 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 20281 0 0 0 190241 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5017763 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 1902.42 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 12389
/proc/meminfo: memFree=18118980/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=1962.43 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 20281 0 0 0 196242 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5080045 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 12390
/proc/meminfo: memFree=18119104/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2022.43 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 20722 0 0 0 202242 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 12391
/proc/meminfo: memFree=18119480/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2082.44 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 20725 0 0 0 208243 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5328299 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 12392
/proc/meminfo: memFree=18119480/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2142.44 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 21128 0 0 0 214243 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5080127 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2142.44 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 12393
/proc/meminfo: memFree=18119084/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2202.45 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 21167 0 0 0 220244 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 4990607 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12395
/proc/meminfo: memFree=18119208/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2262.45 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 21557 0 0 0 226244 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079872 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2262.45 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 12396
/proc/meminfo: memFree=18118352/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2322.46 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 21557 0 0 0 232245 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2322.46 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2382.3 s]
/proc/loadavg: 1.69 1.93 2.02 3/200 12426
/proc/meminfo: memFree=14621008/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2382.46 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 21999 0 0 0 238245 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5058051 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2442.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/187 12529
/proc/meminfo: memFree=20475940/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2442.47 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 21999 0 0 0 244246 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079981 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2442.47 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

[startup+2502.3 s]
/proc/loadavg: 2.10 2.03 2.05 3/187 12530
/proc/meminfo: memFree=20475692/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2502.47 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 22389 0 0 0 250246 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2502.47 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 12530
/proc/meminfo: memFree=20475764/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2520.07 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 22389 0 0 0 252006 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

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

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

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

[startup+2519.9 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 12530
/proc/meminfo: memFree=20475764/32770624 swapFree=67108860/67108860
[pid=12321] ppid=12318 vsize=30856 memory=7496 CPUtime=2520.07 cores=0,2,4,6
/proc/12321/stat : 12321 (cosoco) R 12318 12321 11466 0 -1 4202496 22389 0 0 0 252006 1 0 0 20 0 1 0 95949982 31596544 1874 33554432000 4194304 6142532 140729907435568 140729907432968 5079985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 17686528 140729907442822 140729907442952 140729907442952 140729907445710 0
/proc/12321/statm: 7714 1874 854 476 0 1036 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 30856 KiB
Current children cumulated memory: 7496 KiB

Child status: 1
Real time (s): 2519.9
CPU time (s): 2520.08
CPU user time (s): 2520.07
CPU system time (s): 0.016001
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 30856
Max. memory (cumulated for all children) (KiB): 7496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.016001
maximum resident set size= 7560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22438
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= 16
involuntary context switches= 739


# summary of solver processes directly reported to runsolver:
#   pid: 12321
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2520.07
#   total CPU system time (s): 0.016001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.29455 second user time and 17.3039 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-28 15:17:48
IDJOB=4299039
IDBENCH=141287
IDSOLVER=2761
FILE ID=node105/4299039-1532783868
RUNJOBID= node105-1532776049-11497
PBS_JOBID= 21022469
Free space on /tmp= 44196 MiB

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

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

MD5SUM BENCH= 51a31a49f0c90aa9d82cc667d8941561
RANDOM SEED=150915000

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:        18258856 kB
MemAvailable:   30155716 kB
Buffers:          269076 kB
Cached:         11755600 kB
SwapCached:            0 kB
Active:          4596132 kB
Inactive:        9255604 kB
Active(anon):    1781252 kB
Inactive(anon):    73344 kB
Active(file):    2814880 kB
Inactive(file):  9182260 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2740 kB
Writeback:             4 kB
AnonPages:       1833872 kB
Mapped:            45112 kB
Shmem:             25228 kB
Slab:             355936 kB
SReclaimable:     328180 kB
SUnreclaim:        27756 kB
KernelStack:        3360 kB
PageTables:         9188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2203524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 44620 MiB
End job on node105 at 2018-07-28 15:59:48