Trace number 4408682

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.09 2400.3

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.47	c root propagations     : 0           
0.00/0.47	c restarts enabled, print stats at every restarts
0.00/0.47	c
0.00/0.47	c
0.00/0.47	c
0.00/0.47	c This is cosoco 2.00 --  
0.00/0.47	c
0.00/0.47	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408682-1569787393.xml 
0.00/0.47	c ========================================[ Problem Statistics ]===========================================
0.00/0.47	c |                                                                                                       
0.00/0.47	c |  Parse time        :         0.01 s 
0.00/0.47	c |
0.00/0.47	c |               Variables: 225
0.00/0.47	c |            Domain Sizes: 15..15
0.00/0.47	c |
0.00/0.47	c |             Constraints: 84
0.00/0.47	c |                   Arity: 2..15  -- Binary: 4  -- Ternary: 4
0.00/0.47	c | 
0.00/0.47	c |                   Types: 
0.00/0.47	c |                          (X != Y): 4
0.00/0.47	c |                          All Different: 80
0.00/0.47	c |                          
0.00/0.47	c =========================================================================================================
0.00/0.47	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.05/0.52	c 101            475            26630          44233          0              0              101   121   109
0.05/0.60	c 211            1025           65345          103412         0              0              10   117   100 
0.14/0.64	c 332            1506           84658          130723         0              0              17   114   96  
0.23/0.71	c 465            2169           122339         183370         0              0              12   115   98  
0.23/0.78	c 611            2691           154762         229147         0              0              13   111   95  
0.33/0.83	c 771            3284           182398         267885         0              0              8   120   101  
0.43/0.96	c 947            4078           243820         357344         0              0              6   119   99   
0.54/1.05	c 1140           4660           287774         424816         0              0              9   119   108  
0.64/1.18	c 1352           5769           353994         519570         0              0              14   127   101 
0.83/1.30	c 1585           6859           414824         600983         0              0              24   123   107 
0.93/1.42	c 1841           7772           472952         683545         0              0              47   118   107 
1.03/1.55	c 2122           8636           537061         785986         0              0              22   119   106 
1.23/1.71	c 2431           9958           618672         902325         0              0              20   121   104 
1.33/1.85	c 2770           11075          688313         1017094        0              0              15   122   104 
1.54/2.07	c 3142           12632          795293         1174310        0              0              17   116   104 
1.83/2.31	c 3551           14463          919001         1350400        0              0              16   121   108 
2.13/2.66	c 4000           16299          1091810        1589048        0              0              9   117   99   
2.43/2.92	c 4493           18283          1220532        1781866        0              0              16   120   101 
2.64/3.16	c 5035           20294          1343686        1957624        0              0              21   125   107 
2.93/3.46	c 5631           22698          1490506        2177654        0              0              6   116   103  
3.13/3.66	c 6286           24426          1586478        2339933        0              0              12   122   108 
3.54/4.10	c 7006           26798          1799389        2692450        0              0              6   119   104  
3.93/4.40	c 7798           29255          1947609        2904507        0              0              8   115   102  
4.23/4.76	c 8669           31712          2128801        3191965        0              0              12   119   102 
4.73/5.24	c 9627           35919          2370754        3554244        0              0              13   124   106 
5.13/5.66	c 10680          39230          2582584        3871748        0              0              19   127   112 
5.73/6.20	c 11838          42735          2844572        4269164        0              0              8   120   104  
6.13/6.60	c 13111          46562          3048226        4570558        0              0              6   123   108  
6.73/7.20	c 14511          51729          3343937        5001879        0              0              5   121   103  
7.33/7.88	c 16051          56742          3666314        5557253        0              0              13   119   104 
7.93/8.49	c 17745          61704          3967613        6055027        0              0              10   125   115 
8.73/9.29	c 19608          67523          4364620        6772952        0              0              5   135   119  
9.64/10.16	c 21657          75000          4796216        7529899        0              0              7   135   118  
11.13/11.60	c 23910          84784          5493060        8641547        0              0              19   124   104 
11.93/12.45	c 26388          91473          5920625        9244991        0              0              19   120   106 
12.93/13.48	c 29113          99781          6420870        10197429       0              0              10   127   113 
14.43/14.90	c 32110          112275         7125323        11351991       0              0              18   127   109 
16.13/16.64	c 35406          125169         7964389        12735790       0              0              20   130   109 
18.03/18.51	c 39031          138747         8890687        14301588       0              0              6   131   109  
19.23/19.71	c 43018          149296         9479786        15332331       0              0              11   125   114 
21.13/21.68	c 47403          162765         10457944       16895910       0              0              12   125   105 
23.33/23.89	c 52226          180859         11568700       18445608       0              0              15   122   104 
25.23/25.72	c 57531          195107         12444923       19976776       0              0              9   122   104  
27.83/28.38	c 63366          212562         13756003       22194614       0              0              18   131   113 
31.64/32.14	c 69784          239264         15609975       24885734       0              0              29   126   106 
35.13/35.61	c 76843          264231         17334642       27622124       0              0              24   138   112 
39.23/39.77	c 84607          297430         19417586       30682010       0              0              26   129   109 
44.13/44.62	c 93147          336966         21799958       34173508       0              0              26   126   105 
48.63/49.17	c 102541         365754         24051732       37600335       0              0              24   131   110 
53.32/53.84	c 112874         400249         26319401       41549835       0              0              16   134   116 
57.02/57.53	c 124240         426780         28135715       44756269       0              0              8   125   112  
62.42/62.97	c 136742         463144         30793515       49106562       0              0              14   129   111 
71.02/71.54	c 150494         519610         34977443       55579787       0              0              32   124   104 
76.42/76.99	c 165621         554609         37592641       59956482       0              0              35   130   111 
84.42/84.99	c 182260         623072         41540027       65648112       0              0              27   124   102 
93.22/93.77	c 200562         680979         45847225       73435541       0              0              15   141   120 
102.72/103.23	c 220694         747301         50555282       80828949       0              0              16   125   110 
110.53/111.05	c 242839         810415         54268244       88142987       0              0              12   127   111 
123.72/124.20	c 267198         892554         60696548       98663850       0              0              10   137   113 
139.02/139.53	c 293992         998814         68269981       110562675      0              0              12   128   105 
153.91/154.48	c 323465         1103060        75585676       121807032      0              0              11   125   106 
168.41/168.97	c 355885         1214178        82692130       133408996      0              0              7   130   108  
184.41/184.92	c 391547         1326077        90545821       146137009      0              0              12   141   117 
206.01/206.50	c 430775         1448750        100884528      162273084      0              0              6   126   110  
232.71/233.20	c 473925         1594009        114079406      184176198      0              0              13   126   108 
262.40/262.99	c 521390         1818618        128794052      207105342      0              0              19   132   105 
292.80/293.35	c 573601         2028061        143741181      229457690      0              0              31   135   110 
314.20/314.77	c 631033         2195738        154325056      247809793      0              0              11   137   113 
340.01/340.50	c 694208         2373048        167039118      269808051      0              0              15   139   111 
379.52/380.06	c 763700         2620717        186457708      301740775      0              0              25   141   114 
408.32/408.84	c 840141         2851584        200568194      327440504      0              0              19   139   120 
436.02/436.57	c 924226         3050949        213819703      354409600      0              0              24   136   118 
479.32/479.87	c 1016719        3391510        235047970      389778595      0              0              13   134   113 
514.83/515.33	c 1118461        3715209        252662510      419939703      0              0              30   130   106 
557.83/558.31	c 1230377        4071926        274031577      455601731      0              0              40   135   109 
615.44/615.91	c 1353484        4530785        302736494      499765651      0              0              20   136   113 
664.66/665.16	c 1488901        4854906        326596221      546507393      0              0              14   135   117 
722.26/722.71	c 1637859        5265850        354983256      590167728      0              0              41   133   109 
797.87/798.30	c 1801712        5764842        392400163      649923731      0              0              6   129   106  
892.48/892.92	c 1981950        6393854        438200468      726474593      0              0              8   134   111  
954.70/955.17	c 2180211        6941104        468449855      785099211      0              0              18   134   115 
1040.80/1041.22	c 2398298        7603864        511143764      854549652      0              0              7   132   108  
1172.92/1173.36	c 2638193        8497344        576723119      954343357      0              0              18   136   108 
1286.74/1287.12	c 2902077        9294266        633369969      1045698365     0              0              24   138   109 
1423.85/1424.29	c 3192349        10149530       699666200      1157022019     0              0              15   135   110 
1611.87/1612.22	c 3511648        11600604       792280770      1303212224     0              0              10   141   112 
1765.59/1765.97	c 3862876        12685247       868134580      1438541736     0              0              22   137   112 
1937.52/1937.82	c 4249226        13794534       951551061      1574399748     0              0              14   132   108 
2131.34/2131.60	c 4674211        15254551       1046624354     1736212345     0              0              13   149   112 
2389.38/2389.61	c 5141694        16933416       1174728154     1941680914     0              0              19   140   112 
2400.08/2400.30	
2400.08/2400.30	c *** INTERRUPTED ***
2400.08/2400.30	c restarts              : 90          
2400.08/2400.30	c conflicts             : 5161960      (2151 /sec)
2400.08/2400.30	c decisions             : 16997309     (7082 /sec)
2400.08/2400.30	c propagations          : 1950183296  (812549 /sec)
2400.08/2400.30	c root propagations     : 0           
2400.08/2400.30	c filter calls          : 1179968736     (491637 /sec)
2400.08/2400.30	c useless filter calls  : 605585677      (51 %)
2400.08/2400.30	c Memory used           : 27.11 MB
2400.08/2400.30	c CPU time              : 2400.08 s
2400.08/2400.30	c real time             : 2399.84 s
2400.08/2400.30	
2400.08/2400.30	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 (15288 MiB free)
  memory of node 1: 16384 MiB (15537 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408682-1569787393/watcher-4408682-1569787393 -o /tmp/evaluation-result-4408682-1569787393/solver-4408682-1569787393 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569787350-25285 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408682-1569787393.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=25311, runsolver pid=25306
Current StackSize limit: 8192 KiB


[startup+0.100214 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 25314
/proc/meminfo: memFree=31565360/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=2272 memory=4 CPUtime=0 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) D 25306 25311 25253 0 -1 1077936128 159 0 0 0 0 0 0 0 20 0 1 0 554677048 2326528 1 33554432000 4194304 6211132 140732966592368 140732966589592 140615084295879 0 0 4096 0 18446744072101584420 0 0 17 3 0 0 0 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 568 1 0 493 0 39 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 2272 KiB
Current children cumulated memory: 4 KiB

[startup+0.209584 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 25314
/proc/meminfo: memFree=31559652/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=8040 memory=204 CPUtime=0 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) D 25306 25311 25253 0 -1 4194304 176 0 0 0 0 0 0 0 20 0 1 0 554677048 8232960 51 33554432000 4194304 6211132 140732966592368 140732966589416 140615084300794 0 0 4096 0 18446744071580431491 0 0 17 3 0 0 1 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 2010 51 39 493 0 44 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 204 KiB

[startup+0.310395 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 25314
/proc/meminfo: memFree=31559868/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=8040 memory=208 CPUtime=0 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) D 25306 25311 25253 0 -1 4194304 181 0 1 0 0 0 0 0 20 0 1 0 554677048 8232960 52 33554432000 4194304 6211132 140732966592368 140732966589496 140615084295879 0 0 4096 0 18446744071580996127 0 0 17 3 0 0 6 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 2010 52 39 493 0 45 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 8040 KiB
Current children cumulated memory: 208 KiB

[startup+0.700374 s]
/proc/loadavg: 0.00 0.01 0.05 4/200 25314
/proc/meminfo: memFree=31553952/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4208 CPUtime=0.23 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 1232 0 1 0 23 0 0 0 20 0 1 0 554677048 28422144 1052 33554432000 4194304 6211132 140732966592368 140732966589656 5082397 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1052 861 493 0 244 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4208 KiB

[startup+1.50037 s]
/proc/loadavg: 0.00 0.01 0.05 4/200 25314
/proc/meminfo: memFree=31553992/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4208 CPUtime=1.03 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 1234 0 1 0 103 0 0 0 20 0 1 0 554677048 28422144 1052 33554432000 4194304 6211132 140732966592368 140732966590328 5082385 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1052 861 493 0 244 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4208 KiB

[startup+3.10924 s]
/proc/loadavg: 0.00 0.01 0.05 4/200 25314
/proc/meminfo: memFree=31553944/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4292 CPUtime=2.64 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 1380 0 1 0 264 0 0 0 20 0 1 0 554677048 28422144 1073 33554432000 4194304 6211132 140732966592368 140732966590328 5081412 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1073 862 493 0 244 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+6.30034 s]
/proc/loadavg: 0.16 0.05 0.06 4/200 25314
/proc/meminfo: memFree=31554336/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4292 CPUtime=5.83 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 1526 0 1 0 583 0 0 0 20 0 1 0 554677048 28422144 1073 33554432000 4194304 6211132 140732966592368 140732966590328 5080801 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1073 862 493 0 244 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+12.7003 s]
/proc/loadavg: 0.31 0.08 0.07 4/200 25314
/proc/meminfo: memFree=31554948/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4292 CPUtime=12.23 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 1674 0 1 0 1223 0 0 0 20 0 1 0 554677048 28422144 1073 33554432000 4194304 6211132 140732966592368 140732966590328 5082823 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1073 862 493 0 244 0
Current children cumulated CPU time: 12.23 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4292 KiB

[startup+25.5004 s]
/proc/loadavg: 0.68 0.17 0.10 4/201 25317
/proc/meminfo: memFree=31554896/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4300 CPUtime=25.03 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 1970 0 1 0 2503 0 0 0 20 0 1 0 554677048 28422144 1075 33554432000 4194304 6211132 140732966592368 140732966590328 5081439 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1075 862 493 0 244 0
Current children cumulated CPU time: 25.03 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4300 KiB

[startup+51.1093 s]
/proc/loadavg: 1.13 0.32 0.15 5/200 25317
/proc/meminfo: memFree=31554972/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4304 CPUtime=50.63 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 2120 0 1 0 5063 0 0 0 20 0 1 0 554677048 28422144 1076 33554432000 4194304 6211132 140732966592368 140732966590328 5078762 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 50.63 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+102.3 s]
/proc/loadavg: 1.54 0.55 0.23 4/200 25384
/proc/meminfo: memFree=31518236/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4304 CPUtime=101.82 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 2270 0 1 0 10182 0 0 0 20 0 1 0 554677048 28422144 1076 33554432000 4194304 6211132 140732966592368 140732966590328 5082401 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1076 862 493 0 244 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4304 KiB

[startup+162.3 s]
/proc/loadavg: 1.83 0.81 0.34 4/199 25390
/proc/meminfo: memFree=31517148/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=161.81 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 2419 0 1 0 16181 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5081771 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+222.3 s]
/proc/loadavg: 1.94 1.03 0.45 4/199 25394
/proc/meminfo: memFree=31516928/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=221.81 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 2571 0 1 0 22181 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5080321 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 221.81 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+282.3 s]
/proc/loadavg: 1.98 1.21 0.55 4/199 25398
/proc/meminfo: memFree=31518372/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=281.8 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 2720 0 1 0 28180 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5082499 0 0 4096 8405026 0 0 0 17 3 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 281.8 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+342.3 s]
/proc/loadavg: 1.91 1.32 0.63 3/199 25464
/proc/meminfo: memFree=31512068/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=341.81 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 2870 0 1 0 34181 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5392646 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 341.81 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+402.3 s]
/proc/loadavg: 1.96 1.44 0.71 3/199 25468
/proc/meminfo: memFree=31511604/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=401.81 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 2870 0 1 0 40181 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5392281 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 401.81 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+462.3 s]
/proc/loadavg: 1.99 1.55 0.79 3/200 25480
/proc/meminfo: memFree=31509492/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=461.82 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 3020 0 1 0 46182 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5081728 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 461.82 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB


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

/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 1661.98 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.71 3/199 25595
/proc/meminfo: memFree=31506004/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=1721.99 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 4506 0 1 0 172199 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5081767 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 1721.99 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+1782.3 s]
/proc/loadavg: 2.22 2.06 1.74 3/198 25601
/proc/meminfo: memFree=31507592/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=1782 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 4656 0 1 0 178200 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5079344 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 1782 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+1842.3 s]
/proc/loadavg: 2.32 2.14 1.79 3/199 25606
/proc/meminfo: memFree=31506264/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=1842 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 4656 0 1 0 184200 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5078762 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 1842 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+1902.3 s]
/proc/loadavg: 2.12 2.11 1.80 3/199 25610
/proc/meminfo: memFree=31506056/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=1902.01 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 4792 0 1 0 190201 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5079440 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 1902.01 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.09 1.81 3/199 25616
/proc/meminfo: memFree=31506160/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=1962.02 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 4806 0 1 0 196202 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5082367 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 1962.02 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.07 1.82 3/199 25620
/proc/meminfo: memFree=31506048/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=2022.03 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 4943 0 1 0 202203 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5079616 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 2022.03 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.06 1.84 3/199 25624
/proc/meminfo: memFree=31506700/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4308 CPUtime=2082.04 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 4949 0 1 0 208204 0 0 0 20 0 1 0 554677048 28422144 1077 33554432000 4194304 6211132 140732966592368 140732966590328 5081706 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1077 862 493 0 244 0
Current children cumulated CPU time: 2082.04 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4308 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 1.85 3/199 25630
/proc/meminfo: memFree=31506068/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4312 CPUtime=2142.04 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 5100 0 1 0 214204 0 0 0 20 0 1 0 554677048 28422144 1078 33554432000 4194304 6211132 140732966592368 140732966590328 5079502 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1078 862 493 0 244 0
Current children cumulated CPU time: 2142.04 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4312 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 1.86 4/199 25634
/proc/meminfo: memFree=31506696/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4312 CPUtime=2202.05 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 5100 0 1 0 220205 0 0 0 20 0 1 0 554677048 28422144 1078 33554432000 4194304 6211132 140732966592368 140732966590328 5078951 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1078 862 493 0 244 0
Current children cumulated CPU time: 2202.05 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4312 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 1.87 3/200 25646
/proc/meminfo: memFree=31505072/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4312 CPUtime=2262.06 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 5236 0 1 0 226206 0 0 0 20 0 1 0 554677048 28422144 1078 33554432000 4194304 6211132 140732966592368 140732966590328 5079295 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1078 862 493 0 244 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4312 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 1.87 3/200 25652
/proc/meminfo: memFree=31505232/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4312 CPUtime=2322.07 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 5237 0 1 0 232207 0 0 0 20 0 1 0 554677048 28422144 1078 33554432000 4194304 6211132 140732966592368 140732966590328 5080233 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1078 862 493 0 244 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4312 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/200 25656
/proc/meminfo: memFree=31505640/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4312 CPUtime=2382.07 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 5373 0 1 0 238207 0 0 0 20 0 1 0 554677048 28422144 1078 33554432000 4194304 6211132 140732966592368 140732966590328 5079753 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1078 862 493 0 244 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4312 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/200 25657
/proc/meminfo: memFree=31505816/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4312 CPUtime=2400.08 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 5388 0 1 0 240008 0 0 0 20 0 1 0 554677048 28422144 1078 33554432000 4194304 6211132 140732966592368 140732966590328 5081194 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1078 862 493 0 244 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4312 KiB

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

[startup+2400.3 s]
# the end of solver process 25311 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.08 s, system=0.006 s

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

[startup+2400.3 s]
/proc/loadavg: 2.00 2.02 1.88 3/200 25657
/proc/meminfo: memFree=31505816/32770624 swapFree=66937824/67108860
[pid=25311] ppid=25306 vsize=27756 memory=4312 CPUtime=2400.08 cores=1,3,5,7
/proc/25311/stat : 25311 (cosoco) R 25306 25311 25253 0 -1 4202496 5388 0 1 0 240008 0 0 0 20 0 1 0 554677048 28422144 1078 33554432000 4194304 6211132 140732966592368 140732966590328 5081194 0 0 4096 8405026 0 0 0 17 1 0 0 7 0 0 8312316 8317760 28266496 140732966597643 140732966597745 140732966597745 140732966600654 0
/proc/25311/statm: 6939 1078 862 493 0 244 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4312 KiB

Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.09
CPU user time (s): 2400.08
CPU system time (s): 0.006
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 27756
Max. memory (cumulated for all children) (KiB): 4312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.006
maximum resident set size= 4376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5426
page faults= 1
swaps= 0
block input operations= 10784
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49
involuntary context switches= 2075


# summary of solver processes directly reported to runsolver:
#   pid: 25311
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2400.08
#   total CPU system time (s): 0.006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.91078 second user time and 14.9702 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-29 22:02:30
IDJOB=4408682
IDBENCH=115867
IDSOLVER=2875
FILE ID=node141/4408682-1569787393
RUNJOBID= node141-1569787350-25285
PBS_JOBID= 21705821
Free space on /tmp= 62028 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-4408682-1569787393/watcher-4408682-1569787393 -o /tmp/evaluation-result-4408682-1569787393/solver-4408682-1569787393 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569787350-25285 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408682-1569787393.xml

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

MD5SUM BENCH= 531220ca8f264cab5c203edb1f2daff4
RANDOM SEED=1274834143

node141.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.93
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.93
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.93
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.93
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:        31565600 kB
MemAvailable:   31824660 kB
Buffers:          187984 kB
Cached:           415144 kB
SwapCached:        62076 kB
Active:           336984 kB
Inactive:         333516 kB
Active(anon):      18936 kB
Inactive(anon):   126928 kB
Active(file):     318048 kB
Inactive(file):   206588 kB
Unevictable:      107936 kB
Mlocked:          107936 kB
SwapTotal:      67108860 kB
SwapFree:       66937824 kB
Dirty:              5432 kB
Writeback:             0 kB
AnonPages:        112208 kB
Mapped:            25560 kB
Shmem:             69528 kB
Slab:             129208 kB
SReclaimable:     100516 kB
SUnreclaim:        28692 kB
KernelStack:        3296 kB
PageTables:         5404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     544336 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:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 62024 MiB
End job on node141 at 2019-09-29 22:42:30