Trace number 4397422

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 2.0? (TO) 2400.01 2399.8

General information on the benchmark

NameColouredQueens/ColouredQueens-m1-s1/
ColouredQueens-15.xml
MD5SUM531220ca8f264cab5c203edb1f2daff4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of constraints84
Number of domains1
Minimum domain size15
Maximum domain size15
Distribution of domain sizes[{"size":15,"count":225}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":221}]
Minimum constraint arity2
Maximum constraint arity15
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":4},{"arity":7,"count":4},{"arity":8,"count":4},{"arity":9,"count":4},{"arity":10,"count":4},{"arity":11,"count":4},{"arity":12,"count":4},{"arity":13,"count":4},{"arity":14,"count":4},{"arity":15,"count":32}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":84}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.09	c root propagations     : 0           
0.00/0.09	c restarts enabled, print stats at every restarts
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c
0.00/0.09	c This is cosoco 2.00 --  
0.00/0.09	c
0.00/0.09	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397422-1568572784.xml 
0.00/0.09	c ========================================[ Problem Statistics ]===========================================
0.00/0.09	c |                                                                                                       
0.00/0.09	c |  Parse time        :         0.00 s 
0.00/0.09	c |
0.00/0.09	c |               Variables: 225
0.00/0.09	c |            Domain Sizes: 15..15
0.00/0.09	c |
0.00/0.09	c |             Constraints: 84
0.00/0.09	c |                   Arity: 2..15  -- Binary: 4  -- Ternary: 4
0.00/0.09	c | 
0.00/0.09	c |                   Types: 
0.00/0.09	c |                          (X != Y): 4
0.00/0.09	c |                          All Different: 80
0.00/0.09	c |                          
0.00/0.09	c =========================================================================================================
0.00/0.09	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.01/0.14	c 101            475            26630          44233          0              0              101   121   109
0.12/0.22	c 211            1025           65345          103412         0              0              10   117   100 
0.12/0.26	c 332            1506           84658          130723         0              0              17   114   96  
0.22/0.34	c 465            2169           122339         183370         0              0              12   115   98  
0.22/0.40	c 611            2691           154762         229147         0              0              13   111   95  
0.32/0.46	c 771            3284           182398         267885         0              0              8   120   101  
0.42/0.58	c 947            4078           243820         357344         0              0              6   119   99   
0.51/0.67	c 1140           4660           287774         424816         0              0              9   119   108  
0.71/0.80	c 1352           5769           353994         519570         0              0              14   127   101 
0.81/0.92	c 1585           6859           414824         600983         0              0              24   123   107 
0.91/1.04	c 1841           7772           472952         683545         0              0              47   118   107 
1.01/1.17	c 2122           8636           537061         785986         0              0              22   119   106 
1.21/1.33	c 2431           9958           618672         902325         0              0              20   121   104 
1.31/1.47	c 2770           11075          688313         1017094        0              0              15   122   104 
1.51/1.69	c 3142           12632          795293         1174310        0              0              17   116   104 
1.81/1.94	c 3551           14463          919001         1350400        0              0              16   121   108 
2.11/2.28	c 4000           16299          1091810        1589048        0              0              9   117   99   
2.41/2.54	c 4493           18283          1220532        1781866        0              0              16   120   101 
2.61/2.79	c 5035           20294          1343686        1957624        0              0              21   125   107 
2.91/3.09	c 5631           22698          1490506        2177654        0              0              6   116   103  
3.11/3.28	c 6286           24426          1586478        2339933        0              0              12   122   108 
3.61/3.72	c 7006           26798          1799389        2692450        0              0              6   119   104  
3.91/4.03	c 7798           29255          1947609        2904507        0              0              8   115   102  
4.21/4.39	c 8669           31712          2128801        3191965        0              0              12   119   102 
4.71/4.87	c 9627           35919          2370754        3554244        0              0              13   124   106 
5.11/5.29	c 10680          39230          2582584        3871748        0              0              19   127   112 
5.71/5.82	c 11838          42735          2844572        4269164        0              0              8   120   104  
6.11/6.23	c 13111          46562          3048226        4570558        0              0              6   123   108  
6.71/6.83	c 14511          51729          3343937        5001879        0              0              5   121   103  
7.41/7.50	c 16051          56742          3666314        5557253        0              0              13   119   104 
8.02/8.11	c 17745          61704          3967613        6055027        0              0              10   125   115 
8.81/8.91	c 19608          67523          4364620        6772952        0              0              5   135   119  
9.61/9.79	c 21657          75000          4796216        7529899        0              0              7   135   118  
11.11/11.23	c 23910          84784          5493060        8641547        0              0              19   124   104 
11.92/12.08	c 26388          91473          5920625        9244991        0              0              19   120   106 
13.02/13.11	c 29113          99781          6420870        10197429       0              0              10   127   113 
14.41/14.53	c 32110          112275         7125323        11351991       0              0              18   127   109 
16.11/16.26	c 35406          125169         7964389        12735790       0              0              20   130   109 
18.02/18.14	c 39031          138747         8890687        14301588       0              0              6   131   109  
19.21/19.34	c 43018          149296         9479786        15332331       0              0              11   125   114 
21.21/21.32	c 47403          162765         10457944       16895910       0              0              12   125   105 
23.41/23.53	c 52226          180859         11568700       18445608       0              0              15   122   104 
25.21/25.36	c 57531          195107         12444923       19976776       0              0              9   122   104  
27.92/28.03	c 63366          212562         13756003       22194614       0              0              18   131   113 
31.61/31.79	c 69784          239264         15609975       24885734       0              0              29   126   106 
35.11/35.25	c 76843          264231         17334642       27622124       0              0              24   138   112 
39.31/39.41	c 84607          297430         19417586       30682010       0              0              26   129   109 
44.11/44.26	c 93147          336966         21799958       34173508       0              0              26   126   105 
48.71/48.81	c 102541         365754         24051732       37600335       0              0              24   131   110 
53.31/53.49	c 112874         400249         26319401       41549835       0              0              16   134   116 
57.02/57.17	c 124240         426780         28135715       44756269       0              0              8   125   112  
62.51/62.62	c 136742         463144         30793515       49106562       0              0              14   129   111 
71.02/71.18	c 150494         519610         34977443       55579787       0              0              32   124   104 
76.51/76.63	c 165621         554609         37592641       59956482       0              0              35   130   111 
84.52/84.62	c 182260         623072         41540027       65648112       0              0              27   124   102 
93.32/93.41	c 200562         680979         45847225       73435541       0              0              15   141   120 
102.72/102.86	c 220694         747301         50555282       80828949       0              0              16   125   110 
110.52/110.68	c 242839         810415         54268244       88142987       0              0              12   127   111 
123.72/123.81	c 267198         892554         60696548       98663850       0              0              10   137   113 
139.03/139.12	c 293992         998814         68269981       110562675      0              0              12   128   105 
153.93/154.06	c 323465         1103060        75585676       121807032      0              0              11   125   106 
168.43/168.54	c 355885         1214178        82692130       133408996      0              0              7   130   108  
184.33/184.49	c 391547         1326077        90545821       146137009      0              0              12   141   117 
205.94/206.05	c 430775         1448750        100884528      162273084      0              0              6   126   110  
232.63/232.76	c 473925         1594009        114079406      184176198      0              0              13   126   108 
262.44/262.51	c 521390         1818618        128794052      207105342      0              0              19   132   105 
292.74/292.88	c 573601         2028061        143741181      229457690      0              0              31   135   110 
314.24/314.30	c 631033         2195738        154325056      247809793      0              0              11   137   113 
339.96/340.02	c 694208         2373048        167039118      269808051      0              0              15   139   111 
379.45/379.56	c 763700         2620717        186457708      301740775      0              0              25   141   114 
408.26/408.34	c 840141         2851584        200568194      327440504      0              0              19   139   120 
435.97/436.03	c 924226         3050949        213819703      354409600      0              0              24   136   118 
479.26/479.33	c 1016719        3391510        235047970      389778595      0              0              13   134   113 
514.77/514.80	c 1118461        3715209        252662510      419939703      0              0              30   130   106 
557.77/557.84	c 1230377        4071926        274031577      455601731      0              0              40   135   109 
615.38/615.48	c 1353484        4530785        302736494      499765651      0              0              20   136   113 
664.49/664.58	c 1488901        4854906        326596221      546507393      0              0              14   135   117 
722.10/722.14	c 1637859        5265850        354983256      590167728      0              0              41   133   109 
797.60/797.69	c 1801712        5764842        392400163      649923731      0              0              6   129   106  
892.31/892.36	c 1981950        6393854        438200468      726474593      0              0              8   134   111  
954.62/954.64	c 2180211        6941104        468449855      785099211      0              0              18   134   115 
1040.63/1040.67	c 2398298        7603864        511143764      854549652      0              0              7   132   108  
1172.95/1172.96	c 2638193        8497344        576723119      954343357      0              0              18   136   108 
1286.86/1286.82	c 2902077        9294266        633369969      1045698365     0              0              24   138   109 
1423.88/1423.87	c 3192349        10149530       699666200      1157022019     0              0              15   135   110 
1611.90/1611.80	c 3511648        11600604       792280770      1303212224     0              0              10   141   112 
1765.82/1765.70	c 3862876        12685247       868134580      1438541736     0              0              22   137   112 
1937.74/1937.64	c 4249226        13794534       951551061      1574399748     0              0              14   132   108 
2131.46/2131.35	c 4674211        15254551       1046624354     1736212345     0              0              13   149   112 
2389.20/2389.09	c 5141694        16933416       1174728154     1941680914     0              0              19   140   112 
2400.00/2399.80	
2400.00/2399.80	c *** INTERRUPTED ***
2400.00/2399.80	c restarts              : 90          
2400.00/2399.80	c conflicts             : 5161981      (2151 /sec)
2400.00/2399.80	c decisions             : 16997373     (7082 /sec)
2400.00/2399.80	c propagations          : 1950192925  (812580 /sec)
2400.00/2399.80	c root propagations     : 0           
2400.00/2399.80	c filter calls          : 1179975354     (491656 /sec)
2400.00/2399.80	c useless filter calls  : 605589395      (51 %)
2400.00/2399.80	c Memory used           : 27.11 MB
2400.00/2399.80	c CPU time              : 2400 s
2400.00/2399.80	c real time             : 2399.71 s
2400.00/2399.80	
2400.00/2399.80	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 (14902 MiB free)
  memory of node 1: 16384 MiB (15311 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397422-1568572784/watcher-4397422-1568572784 -o /tmp/evaluation-result-4397422-1568572784/solver-4397422-1568572784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568572743-22679 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397422-1568572784.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22705, runsolver pid=22699
Current StackSize limit: 8192 KiB


[startup+0.100195 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 22708
/proc/meminfo: memFree=30938004/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27624 memory=4216 CPUtime=0.01 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1222 0 0 0 1 0 0 0 20 0 1 0 433192395 28286976 1054 33554432000 4194304 6211092 140720770422912 140720770419400 5082358 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6906 1054 861 493 0 211 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4216 KiB

[startup+0.209495 s]*
/proc/loadavg: 0.00 0.01 0.05 4/199 22708
/proc/meminfo: memFree=30936516/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4216 CPUtime=0.12 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1231 0 0 0 12 0 0 0 20 0 1 0 433192395 28422144 1054 33554432000 4194304 6211092 140720770422912 140720770420872 5079239 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1054 861 493 0 244 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+0.308967 s]*
/proc/loadavg: 0.00 0.01 0.05 3/199 22708
/proc/meminfo: memFree=30936204/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4216 CPUtime=0.22 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1232 0 0 0 22 0 0 0 20 0 1 0 433192395 28422144 1054 33554432000 4194304 6211092 140720770422912 140720770420872 5081322 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1054 861 493 0 244 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+0.700356 s]
/proc/loadavg: 0.00 0.01 0.05 4/199 22708
/proc/meminfo: memFree=30935892/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4216 CPUtime=0.61 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1233 0 0 0 61 0 0 0 20 0 1 0 433192395 28422144 1054 33554432000 4194304 6211092 140720770422912 140720770420872 5081681 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1054 861 493 0 244 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+1.50034 s]
/proc/loadavg: 0.00 0.01 0.05 4/199 22708
/proc/meminfo: memFree=30935860/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4216 CPUtime=1.41 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1234 0 0 0 141 0 0 0 20 0 1 0 433192395 28422144 1054 33554432000 4194304 6211092 140720770422912 140720770420872 5080685 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1054 861 493 0 244 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+3.10887 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 22708
/proc/meminfo: memFree=30936320/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4288 CPUtime=3.01 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1380 0 0 0 301 0 0 0 20 0 1 0 433192395 28422144 1072 33554432000 4194304 6211092 140720770422912 140720770420872 5082389 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1072 862 493 0 244 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4288 KiB

[startup+6.30034 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 22708
/proc/meminfo: memFree=30936284/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4288 CPUtime=6.21 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1526 0 0 0 621 0 0 0 20 0 1 0 433192395 28422144 1072 33554432000 4194304 6211092 140720770422912 140720770420872 5081762 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1072 862 493 0 244 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4288 KiB

[startup+12.7003 s]
/proc/loadavg: 0.31 0.08 0.07 4/199 22708
/proc/meminfo: memFree=30936820/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4288 CPUtime=12.61 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1674 0 0 0 1261 0 0 0 20 0 1 0 433192395 28422144 1072 33554432000 4194304 6211092 140720770422912 140720770420872 5186312 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1072 862 493 0 244 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4288 KiB

[startup+25.5004 s]
/proc/loadavg: 0.68 0.17 0.10 4/199 22708
/proc/meminfo: memFree=30937360/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4296 CPUtime=25.41 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 1970 0 0 0 2541 0 0 0 20 0 1 0 433192395 28422144 1074 33554432000 4194304 6211092 140720770422912 140720770420872 5078752 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1074 862 493 0 244 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4296 KiB

[startup+51.1088 s]
/proc/loadavg: 1.13 0.32 0.15 5/199 22711
/proc/meminfo: memFree=30936508/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4300 CPUtime=51.02 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 2120 0 0 0 5102 0 0 0 20 0 1 0 433192395 28422144 1075 33554432000 4194304 6211092 140720770422912 140720770420872 5080879 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1075 862 493 0 244 0
Current children cumulated CPU time: 51.02 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4300 KiB

[startup+102.3 s]
/proc/loadavg: 1.62 0.58 0.25 3/200 22846
/proc/meminfo: memFree=30921868/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4300 CPUtime=102.22 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 2270 0 0 0 10222 0 0 0 20 0 1 0 433192395 28422144 1075 33554432000 4194304 6211092 140720770422912 140720770420872 5079027 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1075 862 493 0 244 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4300 KiB

[startup+162.3 s]
/proc/loadavg: 1.86 0.84 0.35 3/200 22850
/proc/meminfo: memFree=30920444/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=162.23 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 2419 0 0 0 16223 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5193696 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+222.3 s]
/proc/loadavg: 1.95 1.05 0.46 3/201 22857
/proc/meminfo: memFree=30919152/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=222.23 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 2571 0 0 0 22223 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5397226 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.55 3/201 22861
/proc/meminfo: memFree=30919756/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=282.24 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 2571 0 0 0 28224 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5079374 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.64 3/201 22865
/proc/meminfo: memFree=30918912/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=342.25 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 2721 0 0 0 34225 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5081311 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.48 0.73 3/200 22871
/proc/meminfo: memFree=30918480/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=402.25 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 2721 0 0 0 40225 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5078765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.81 3/200 22875
/proc/meminfo: memFree=30918576/32770624 swapFree=67001140/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=462.26 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 2871 0 0 0 46226 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5082762 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB


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

/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 1602.4 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.69 3/199 23009
/proc/meminfo: memFree=30917664/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=1662.41 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4358 0 0 0 166241 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5082806 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 1662.41 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.71 3/199 23013
/proc/meminfo: memFree=30917664/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=1722.42 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4358 0 0 0 172242 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5079586 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 1722.42 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.72 3/199 23017
/proc/meminfo: memFree=30917780/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=1782.42 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4508 0 0 0 178242 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5079336 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/199 23023
/proc/meminfo: memFree=30916472/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=1842.43 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4508 0 0 0 184243 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5078752 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 1842.43 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/200 23035
/proc/meminfo: memFree=30916332/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=1902.44 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4645 0 0 0 190244 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5081337 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 1902.44 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/200 23039
/proc/meminfo: memFree=30917076/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=1962.44 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4658 0 0 0 196244 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5081690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 1962.44 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/200 23045
/proc/meminfo: memFree=30917020/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=2022.45 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4796 0 0 0 202245 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5078740 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 2022.45 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/200 23049
/proc/meminfo: memFree=30916688/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4304 CPUtime=2082.46 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4802 0 0 0 208246 0 0 0 20 0 1 0 433192395 28422144 1076 33554432000 4194304 6211092 140720770422912 140720770420872 5079957 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 2082.46 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/200 23053
/proc/meminfo: memFree=30916632/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4308 CPUtime=2142.47 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4953 0 0 0 214247 0 0 0 20 0 1 0 433192395 28422144 1077 33554432000 4194304 6211092 140720770422912 140720770420872 5082431 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 2142.47 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/199 23059
/proc/meminfo: memFree=30916780/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4308 CPUtime=2202.47 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 4953 0 0 0 220247 0 0 0 20 0 1 0 433192395 28422144 1077 33554432000 4194304 6211092 140720770422912 140720770420872 5081379 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 2202.47 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/199 23063
/proc/meminfo: memFree=30917204/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4308 CPUtime=2262.48 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 5090 0 0 0 226248 0 0 0 20 0 1 0 433192395 28422144 1077 33554432000 4194304 6211092 140720770422912 140720770420872 5079440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 2262.48 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 1.85 3/199 23067
/proc/meminfo: memFree=30917160/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4308 CPUtime=2322.49 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 5091 0 0 0 232249 0 0 0 20 0 1 0 433192395 28422144 1077 33554432000 4194304 6211092 140720770422912 140720770420872 5081129 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 2322.49 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/199 23073
/proc/meminfo: memFree=30916848/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4308 CPUtime=2382.49 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 5228 0 0 0 238249 0 0 0 20 0 1 0 433192395 28422144 1077 33554432000 4194304 6211092 140720770422912 140720770420872 5079258 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 2382.49 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.8 s]
/proc/loadavg: 2.00 1.99 1.86 3/199 23074
/proc/meminfo: memFree=30917004/32770624 swapFree=67001144/67108860
[pid=22705] ppid=22699 vsize=27756 memory=4308 CPUtime=2400 cores=1,3,5,7
/proc/22705/stat : 22705 (cosoco) R 22699 22705 22647 0 -1 4202496 5242 0 0 0 240000 0 0 0 20 0 1 0 433192395 28422144 1077 33554432000 4194304 6211092 140720770422912 140720770420872 5082393 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 35192832 140720770425867 140720770425969 140720770425969 140720770428878 0
/proc/22705/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

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

[startup+2399.8 s]
# the end of solver process 22705 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400 s, system=0.010001 s

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

Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.01
CPU user time (s): 2400
CPU system time (s): 0.010001
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 27756
Max. memory (cumulated for all children) (KiB): 4308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.010001
maximum resident set size= 4372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5280
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= 38
involuntary context switches= 606


# summary of solver processes directly reported to runsolver:
#   pid: 22705
#   total CPU time (s): 2400.01
#   total CPU user time (s): 2400
#   total CPU system time (s): 0.010001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.87993 second user time and 15.4628 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-15 20:39:03
IDJOB=4397422
IDBENCH=115867
IDSOLVER=2849
FILE ID=node146/4397422-1568572784
RUNJOBID= node146-1568572743-22679
PBS_JOBID= 21703311
Free space on /tmp= 59028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/ColouredQueens/ColouredQueens-m1-s1/ColouredQueens-15.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397422-1568572784/watcher-4397422-1568572784 -o /tmp/evaluation-result-4397422-1568572784/solver-4397422-1568572784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568572743-22679 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397422-1568572784.xml

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

MD5SUM BENCH= 531220ca8f264cab5c203edb1f2daff4
RANDOM SEED=1868918536

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30940240 kB
MemAvailable:   31873632 kB
Buffers:          206860 kB
Cached:           998380 kB
SwapCached:         4452 kB
Active:           574228 kB
Inactive:         635624 kB
Active(anon):      22084 kB
Inactive(anon):    30124 kB
Active(file):     552144 kB
Inactive(file):   605500 kB
Unevictable:      110956 kB
Mlocked:          110956 kB
SwapTotal:      67108860 kB
SwapFree:       67001140 kB
Dirty:              5052 kB
Writeback:             0 kB
AnonPages:        112972 kB
Mapped:            44484 kB
Shmem:             38664 kB
Slab:             212820 kB
SReclaimable:     183164 kB
SUnreclaim:        29656 kB
KernelStack:        3280 kB
PageTables:         6752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     512080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59024 MiB
End job on node146 at 2019-09-15 21:19:03