Trace number 4390142

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? (TO) 2400.07 2400.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.00	c root propagations     : 0           
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390142-1568322749.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.00 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 225
0.00/0.00	c |            Domain Sizes: 15..15
0.00/0.00	c |
0.00/0.00	c |             Constraints: 84
0.00/0.00	c |                   Arity: 2..15  -- Binary: 4  -- Ternary: 4
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          (X != Y): 4
0.00/0.00	c |                          All Different: 80
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.06	c 101            475            26630          44233          0              0              101   121   109
0.10/0.14	c 211            1025           65345          103412         0              0              10   117   100 
0.10/0.17	c 332            1506           84658          130723         0              0              17   114   96  
0.21/0.25	c 465            2169           122339         183370         0              0              12   115   98  
0.31/0.31	c 611            2691           154762         229147         0              0              13   111   95  
0.31/0.37	c 771            3284           182398         267885         0              0              8   120   101  
0.41/0.49	c 947            4078           243820         357344         0              0              6   119   99   
0.51/0.58	c 1140           4660           287774         424816         0              0              9   119   108  
0.69/0.71	c 1352           5769           353994         519570         0              0              14   127   101 
0.79/0.84	c 1585           6859           414824         600983         0              0              24   123   107 
0.89/0.95	c 1841           7772           472952         683545         0              0              47   118   107 
1.00/1.08	c 2122           8636           537061         785986         0              0              22   119   106 
1.19/1.24	c 2431           9958           618672         902325         0              0              20   121   104 
1.29/1.38	c 2770           11075          688313         1017094        0              0              15   122   104 
1.59/1.60	c 3142           12632          795293         1174310        0              0              17   116   104 
1.79/1.85	c 3551           14463          919001         1350400        0              0              16   121   108 
2.10/2.19	c 4000           16299          1091810        1589048        0              0              9   117   99   
2.39/2.45	c 4493           18283          1220532        1781866        0              0              16   120   101 
2.69/2.70	c 5035           20294          1343686        1957624        0              0              21   125   107 
2.89/3.00	c 5631           22698          1490506        2177654        0              0              6   116   103  
3.10/3.19	c 6286           24426          1586478        2339933        0              0              12   122   108 
3.59/3.63	c 7006           26798          1799389        2692450        0              0              6   119   104  
3.89/3.93	c 7798           29255          1947609        2904507        0              0              8   115   102  
4.19/4.30	c 8669           31712          2128801        3191965        0              0              12   119   102 
4.69/4.78	c 9627           35919          2370754        3554244        0              0              13   124   106 
5.10/5.20	c 10680          39230          2582584        3871748        0              0              19   127   112 
5.69/5.73	c 11838          42735          2844572        4269164        0              0              8   120   104  
6.10/6.13	c 13111          46562          3048226        4570558        0              0              6   123   108  
6.69/6.73	c 14511          51729          3343937        5001879        0              0              5   121   103  
7.39/7.40	c 16051          56742          3666314        5557253        0              0              13   119   104 
8.00/8.01	c 17745          61704          3967613        6055027        0              0              10   125   115 
8.79/8.81	c 19608          67523          4364620        6772952        0              0              5   135   119  
9.59/9.69	c 21657          75000          4796216        7529899        0              0              7   135   118  
11.10/11.12	c 23910          84784          5493060        8641547        0              0              19   124   104 
11.89/11.97	c 26388          91473          5920625        9244991        0              0              19   120   106 
13.00/13.01	c 29113          99781          6420870        10197429       0              0              10   127   113 
14.39/14.42	c 32110          112275         7125323        11351991       0              0              18   127   109 
16.10/16.16	c 35406          125169         7964389        12735790       0              0              20   130   109 
18.00/18.03	c 39031          138747         8890687        14301588       0              0              6   131   109  
19.19/19.23	c 43018          149296         9479786        15332331       0              0              11   125   114 
21.19/21.20	c 47403          162765         10457944       16895910       0              0              12   125   105 
23.39/23.40	c 52226          180859         11568700       18445608       0              0              15   122   104 
25.19/25.23	c 57531          195107         12444923       19976776       0              0              9   122   104  
27.79/27.89	c 63366          212562         13756003       22194614       0              0              18   131   113 
31.58/31.65	c 69784          239264         15609975       24885734       0              0              29   126   106 
35.09/35.13	c 76843          264231         17334642       27622124       0              0              24   138   112 
39.18/39.28	c 84607          297430         19417586       30682010       0              0              26   129   109 
44.09/44.12	c 93147          336966         21799958       34173508       0              0              26   126   105 
48.58/48.68	c 102541         365754         24051732       37600335       0              0              24   131   110 
53.28/53.34	c 112874         400249         26319401       41549835       0              0              16   134   116 
56.99/57.01	c 124240         426780         28135715       44756269       0              0              8   125   112  
62.38/62.44	c 136742         463144         30793515       49106562       0              0              14   129   111 
70.87/70.99	c 150494         519610         34977443       55579787       0              0              32   124   104 
76.37/76.43	c 165621         554609         37592641       59956482       0              0              35   130   111 
84.37/84.42	c 182260         623072         41540027       65648112       0              0              27   124   102 
93.07/93.19	c 200562         680979         45847225       73435541       0              0              15   141   120 
102.56/102.63	c 220694         747301         50555282       80828949       0              0              16   125   110 
110.36/110.43	c 242839         810415         54268244       88142987       0              0              12   127   111 
123.46/123.58	c 267198         892554         60696548       98663850       0              0              10   137   113 
138.75/138.89	c 293992         998814         68269981       110562675      0              0              12   128   105 
153.75/153.82	c 323465         1103060        75585676       121807032      0              0              11   125   106 
168.24/168.30	c 355885         1214178        82692130       133408996      0              0              7   130   108  
184.14/184.23	c 391547         1326077        90545821       146137009      0              0              12   141   117 
205.63/205.75	c 430775         1448750        100884528      162273084      0              0              6   126   110  
232.32/232.42	c 473925         1594009        114079406      184176198      0              0              13   126   108 
262.02/262.17	c 521390         1818618        128794052      207105342      0              0              19   132   105 
292.31/292.47	c 573601         2028061        143741181      229457690      0              0              31   135   110 
313.70/313.88	c 631033         2195738        154325056      247809793      0              0              11   137   113 
339.49/339.60	c 694208         2373048        167039118      269808051      0              0              15   139   111 
378.99/379.12	c 763700         2620717        186457708      301740775      0              0              25   141   114 
407.67/407.88	c 840141         2851584        200568194      327440504      0              0              19   139   120 
435.46/435.60	c 924226         3050949        213819703      354409600      0              0              24   136   118 
478.65/478.82	c 1016719        3391510        235047970      389778595      0              0              13   134   113 
514.04/514.26	c 1118461        3715209        252662510      419939703      0              0              30   130   106 
556.93/557.19	c 1230377        4071926        274031577      455601731      0              0              40   135   109 
614.51/614.71	c 1353484        4530785        302736494      499765651      0              0              20   136   113 
663.90/664.12	c 1488901        4854906        326596221      546507393      0              0              14   135   117 
721.38/721.61	c 1637859        5265850        354983256      590167728      0              0              41   133   109 
796.76/797.02	c 1801712        5764842        392400163      649923731      0              0              6   129   106  
891.42/891.71	c 1981950        6393854        438200468      726474593      0              0              8   134   111  
953.61/953.91	c 2180211        6941104        468449855      785099211      0              0              18   134   115 
1039.69/1040.08	c 2398298        7603864        511143764      854549652      0              0              7   132   108  
1171.54/1171.92	c 2638193        8497344        576723119      954343357      0              0              18   136   108 
1285.10/1285.59	c 2902077        9294266        633369969      1045698365     0              0              24   138   109 
1422.16/1422.62	c 3192349        10149530       699666200      1157022019     0              0              15   135   110 
1609.80/1610.35	c 3511648        11600604       792280770      1303212224     0              0              10   141   112 
1763.66/1764.21	c 3862876        12685247       868134580      1438541736     0              0              22   137   112 
1934.91/1935.59	c 4249226        13794534       951551061      1574399748     0              0              14   132   108 
2128.55/2129.21	c 4674211        15254551       1046624354     1736212345     0              0              13   149   112 
2386.47/2387.29	c 5141694        16933416       1174728154     1941680914     0              0              19   140   112 
2400.06/2400.80	
2400.06/2400.80	c *** INTERRUPTED ***
2400.06/2400.80	c restarts              : 90          
2400.06/2400.80	c conflicts             : 5167656      (2153 /sec)
2400.06/2400.80	c decisions             : 17014394     (7089 /sec)
2400.06/2400.80	c propagations          : 1952511902  (813524 /sec)
2400.06/2400.80	c root propagations     : 0           
2400.06/2400.80	c filter calls          : 1181342494     (492212 /sec)
2400.06/2400.80	c useless filter calls  : 606296407      (51 %)
2400.06/2400.80	c Memory used           : 27.11 MB
2400.06/2400.80	c CPU time              : 2400.07 s
2400.06/2400.80	c real time             : 2400.8 s
2400.06/2400.80	
2400.06/2400.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 (9210 MiB free)
  memory of node 1: 16384 MiB (15380 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390142-1568322749/watcher-4390142-1568322749 -o /tmp/evaluation-result-4390142-1568322749/solver-4390142-1568322749 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25085 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390142-1568322749.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
Current StackSize limit: 8192 KiB

solver pid=25113, runsolver pid=25110

[startup+0.100167 s]*
/proc/loadavg: 3.61 4.93 6.72 5/198 25114
/proc/meminfo: memFree=25179048/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4216 CPUtime=0.1 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1228 0 0 0 10 0 0 0 20 0 1 0 408532215 28422144 1054 33554432000 4194304 6210612 140729593279104 140729593276392 5078423 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1054 856 493 0 244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+0.209316 s]*
/proc/loadavg: 3.61 4.93 6.72 4/198 25114
/proc/meminfo: memFree=25179048/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4216 CPUtime=0.21 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1229 0 0 0 21 0 0 0 20 0 1 0 408532215 28422144 1054 33554432000 4194304 6210612 140729593279104 140729593276392 5081376 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1054 856 493 0 244 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+0.309094 s]*
/proc/loadavg: 3.61 4.93 6.72 4/198 25114
/proc/meminfo: memFree=25179048/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4216 CPUtime=0.31 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1229 0 0 0 31 0 0 0 20 0 1 0 408532215 28422144 1054 33554432000 4194304 6210612 140729593279104 140729593277064 5080954 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1054 856 493 0 244 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+0.700274 s]
/proc/loadavg: 3.61 4.93 6.72 4/198 25114
/proc/meminfo: memFree=25178676/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4216 CPUtime=0.69 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1231 0 0 0 69 0 0 0 20 0 1 0 408532215 28422144 1054 33554432000 4194304 6210612 140729593279104 140729593277064 5079010 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1054 856 493 0 244 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+1.50026 s]
/proc/loadavg: 3.61 4.93 6.72 4/198 25114
/proc/meminfo: memFree=25179032/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4216 CPUtime=1.49 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1231 0 0 0 149 0 0 0 20 0 1 0 408532215 28422144 1054 33554432000 4194304 6210612 140729593279104 140729593277064 5080992 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1054 856 493 0 244 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4216 KiB

[startup+3.10897 s]
/proc/loadavg: 3.61 4.93 6.72 4/198 25114
/proc/meminfo: memFree=25179032/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4276 CPUtime=3.1 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1376 0 0 0 310 0 0 0 20 0 1 0 408532215 28422144 1069 33554432000 4194304 6210612 140729593279104 140729593277064 5082327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1069 858 493 0 244 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4276 KiB

[startup+6.30024 s]
/proc/loadavg: 3.40 4.87 6.69 4/198 25114
/proc/meminfo: memFree=25179288/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4276 CPUtime=6.29 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1521 0 0 0 629 0 0 0 20 0 1 0 408532215 28422144 1069 33554432000 4194304 6210612 140729593279104 140729593277064 5079128 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1069 858 493 0 244 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4276 KiB

[startup+12.7003 s]
/proc/loadavg: 3.29 4.82 6.67 4/198 25114
/proc/meminfo: memFree=25179536/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4276 CPUtime=12.69 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1668 0 0 0 1269 0 0 0 20 0 1 0 408532215 28422144 1069 33554432000 4194304 6210612 140729593279104 140729593277064 5078801 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1069 858 493 0 244 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4276 KiB

[startup+25.5003 s]
/proc/loadavg: 3.01 4.68 6.59 4/198 25114
/proc/meminfo: memFree=25180432/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4284 CPUtime=25.49 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 1962 0 0 0 2549 0 0 0 20 0 1 0 408532215 28422144 1071 33554432000 4194304 6210612 140729593279104 140729593277064 5082025 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1071 858 493 0 244 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4284 KiB

[startup+51.109 s]
/proc/loadavg: 2.66 4.47 6.47 4/198 25116
/proc/meminfo: memFree=25180040/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4288 CPUtime=51.09 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 2111 0 0 0 5109 0 0 0 20 0 1 0 408532215 28422144 1072 33554432000 4194304 6210612 140729593279104 140729593277064 5079862 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1072 858 493 0 244 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4288 KiB

[startup+102.3 s]
/proc/loadavg: 2.29 4.09 6.23 3/198 25183
/proc/meminfo: memFree=25181124/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4288 CPUtime=102.26 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 2260 0 0 0 10226 0 0 0 20 0 1 0 408532215 28422144 1072 33554432000 4194304 6210612 140729593279104 140729593277064 5078399 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1072 858 493 0 244 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4288 KiB

[startup+162.3 s]
/proc/loadavg: 2.11 3.71 5.97 3/198 25187
/proc/meminfo: memFree=25181384/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=162.25 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 2408 0 0 0 16225 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5078394 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 3.40 5.72 3/198 25191
/proc/meminfo: memFree=25181680/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=222.23 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 2559 0 0 0 22223 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5082936 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 3.14 5.49 3/198 25197
/proc/meminfo: memFree=25181168/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=282.21 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 2707 0 0 0 28221 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5080142 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 282.21 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.95 5.28 3/198 25201
/proc/meminfo: memFree=25181416/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=342.19 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 2856 0 0 0 34219 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5080981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 342.19 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.78 5.07 3/198 25205
/proc/meminfo: memFree=25181396/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=402.17 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 3005 0 0 0 40217 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5080933 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+462.3 s]
/proc/loadavg: 2.05 2.65 4.88 3/198 25211
/proc/meminfo: memFree=25181312/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=462.15 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 3154 0 0 0 46215 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5080167 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 462.15 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB


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

/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 1601.81 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.08 2.86 3/198 25321
/proc/meminfo: memFree=25180440/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=1661.79 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 6045 0 0 0 166179 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5082419 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 1661.79 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.07 2.81 3/199 25335
/proc/meminfo: memFree=25179852/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=1721.77 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 6181 0 0 0 172177 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5079250 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 1721.77 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.76 3/199 25339
/proc/meminfo: memFree=25179648/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=1781.75 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 6330 0 0 0 178175 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5078924 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 1781.75 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+1842.3 s]
/proc/loadavg: 2.04 2.06 2.71 3/199 25343
/proc/meminfo: memFree=25179772/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=1841.73 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 6466 0 0 0 184173 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5082063 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 1841.73 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.05 2.67 3/199 25349
/proc/meminfo: memFree=25179300/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=1901.72 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 6602 0 0 0 190172 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5397056 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 1901.72 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+1962.3 s]
/proc/loadavg: 2.05 2.06 2.63 3/199 25353
/proc/meminfo: memFree=25179408/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=1961.7 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 6751 0 0 0 196170 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5078724 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 1961.7 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.04 2.59 3/198 25357
/proc/meminfo: memFree=25179544/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=2021.68 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 6888 0 0 0 202168 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5082029 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 2021.68 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.56 3/198 25363
/proc/meminfo: memFree=25179596/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4292 CPUtime=2081.66 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 7031 0 0 0 208166 0 0 0 20 0 1 0 408532215 28422144 1073 33554432000 4194304 6210612 140729593279104 140729593277064 5078893 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1073 858 493 0 244 0
Current children cumulated CPU time: 2081.66 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.52 3/198 25367
/proc/meminfo: memFree=25179132/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4296 CPUtime=2141.64 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 7181 0 0 0 214164 0 0 0 20 0 1 0 408532215 28422144 1074 33554432000 4194304 6210612 140729593279104 140729593277064 5079175 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1074 858 493 0 244 0
Current children cumulated CPU time: 2141.64 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4296 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.03 2.49 3/198 25371
/proc/meminfo: memFree=25179404/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4296 CPUtime=2201.62 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 7318 0 0 0 220162 0 0 0 20 0 1 0 408532215 28422144 1074 33554432000 4194304 6210612 140729593279104 140729593277064 5392504 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1074 858 493 0 244 0
Current children cumulated CPU time: 2201.62 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4296 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.46 3/198 25377
/proc/meminfo: memFree=25179296/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4296 CPUtime=2261.6 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 7454 0 0 0 226160 0 0 0 20 0 1 0 408532215 28422144 1074 33554432000 4194304 6210612 140729593279104 140729593277064 5079380 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1074 858 493 0 244 0
Current children cumulated CPU time: 2261.6 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4296 KiB

[startup+2322.3 s]
/proc/loadavg: 2.06 2.03 2.43 3/198 25388
/proc/meminfo: memFree=25179448/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4296 CPUtime=2321.59 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 7591 0 0 0 232159 0 0 0 20 0 1 0 408532215 28422144 1074 33554432000 4194304 6210612 140729593279104 140729593277064 5082037 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1074 858 493 0 244 0
Current children cumulated CPU time: 2321.59 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4296 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.03 2.41 3/198 25392
/proc/meminfo: memFree=25179648/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4296 CPUtime=2381.57 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 7726 0 0 0 238157 0 0 0 20 0 1 0 408532215 28422144 1074 33554432000 4194304 6210612 140729593279104 140729593277064 5082087 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1074 858 493 0 244 0
Current children cumulated CPU time: 2381.57 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4296 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.8 s]
/proc/loadavg: 2.02 2.02 2.40 3/198 25396
/proc/meminfo: memFree=25179976/32770624 swapFree=66977612/67108860
[pid=25113] ppid=25110 vsize=27756 memory=4296 CPUtime=2400.06 cores=1,3,5,7
/proc/25113/stat : 25113 (cosoco) R 25110 25113 25053 0 -1 4202496 7879 0 0 0 240006 0 0 0 20 0 1 0 408532215 28422144 1074 33554432000 4194304 6210612 140729593279104 140729593277064 5397269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 27144192 140729593287691 140729593287793 140729593287793 140729593290702 0
/proc/25113/statm: 6939 1074 858 493 0 244 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4296 KiB

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

[startup+2400.8 s]
# the end of solver process 25113 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.07 s, system=0.005998 s

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

Child status: 1
Real time (s): 2400.8
CPU time (s): 2400.07
CPU user time (s): 2400.07
CPU system time (s): 0.005998
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 27756
Max. memory (cumulated for all children) (KiB): 4296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.005998
maximum resident set size= 4364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7930
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= 6
involuntary context switches= 12627


# summary of solver processes directly reported to runsolver:
#   pid: 25113
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2400.07
#   total CPU system time (s): 0.005998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0575 second user time and 13.0505 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-12 22:02:12
IDJOB=4390142
IDBENCH=115867
IDSOLVER=2830
FILE ID=node104/4390142-1568322749
RUNJOBID= node104-1568318532-25085
PBS_JOBID= 21701142
Free space on /tmp= 56572 MiB

SOLVER NAME= cosoco 2
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-4390142-1568322749/watcher-4390142-1568322749 -o /tmp/evaluation-result-4390142-1568322749/solver-4390142-1568322749 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25085 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390142-1568322749.xml

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

MD5SUM BENCH= 531220ca8f264cab5c203edb1f2daff4
RANDOM SEED=869199643

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        25181196 kB
MemAvailable:   31826556 kB
Buffers:          128160 kB
Cached:          6730652 kB
SwapCached:        31864 kB
Active:          1761780 kB
Inactive:        5134984 kB
Active(anon):       4264 kB
Inactive(anon):    75028 kB
Active(file):    1757516 kB
Inactive(file):  5059956 kB
Unevictable:      108068 kB
Mlocked:          108068 kB
SwapTotal:      67108860 kB
SwapFree:       66977612 kB
Dirty:              5492 kB
Writeback:             0 kB
AnonPages:        115380 kB
Mapped:            42364 kB
Shmem:             32780 kB
Slab:             286812 kB
SReclaimable:     256348 kB
SUnreclaim:        30464 kB
KernelStack:        3264 kB
PageTables:         5896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     495072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56568 MiB
End job on node104 at 2019-09-12 22:42:13