Trace number 4397386

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

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-05-0033.xml
MD5SUMd12e11df164b59f4f24fb6a77d637105
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 variables81
Number of constraints34
Number of domains1
Minimum domain size61
Maximum domain size61
Distribution of domain sizes[{"size":61,"count":61}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":20},{"degree":4,"count":55},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity61
Distribution of constraint arities[{"arity":2,"count":6},{"arity":5,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":3},{"arity":61,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":27}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 561         
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-4397386-1568581438.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: 81
0.00/0.00	c |            Domain Sizes: 61..61
0.00/0.00	c |
0.00/0.00	c |             Constraints: 34
0.00/0.00	c |                   Arity: 2..61  -- Binary: 6
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          (X - Y < k): 6
0.00/0.00	c |                          All Different: 1
0.00/0.00	c |                          Sum: 27
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.01	c remove useless variable x[0][5]
0.00/0.01	c remove useless variable x[0][6]
0.00/0.01	c remove useless variable x[0][7]
0.00/0.01	c remove useless variable x[0][8]
0.00/0.01	c remove useless variable x[1][6]
0.00/0.01	c remove useless variable x[1][7]
0.00/0.01	c remove useless variable x[1][8]
0.00/0.01	c remove useless variable x[2][7]
0.00/0.01	c remove useless variable x[2][8]
0.00/0.01	c remove useless variable x[3][8]
0.00/0.01	c remove useless variable x[5][8]
0.00/0.01	c remove useless variable x[6][7]
0.00/0.01	c remove useless variable x[6][8]
0.00/0.01	c remove useless variable x[7][6]
0.00/0.01	c remove useless variable x[7][7]
0.00/0.01	c remove useless variable x[7][8]
0.00/0.01	c remove useless variable x[8][5]
0.00/0.01	c remove useless variable x[8][6]
0.00/0.01	c remove useless variable x[8][7]
0.00/0.01	c remove useless variable x[8][8]
0.00/0.01	c 101            128            3345           21520          24             0              1   5   3      
0.00/0.03	c 211            288            9644           61430          24             0              4   12   8     
0.00/0.06	c 332            521            19571          110081         24             0              7   9   8      
0.00/0.07	c 465            705            22737          127722         31             0              1   8   5      
0.00/0.08	c 611            902            26692          152529         31             0              3   7   6      
0.00/0.09	c 771            1167           31236          194673         31             0              4   8   6      
0.10/0.11	c 947            1417           36473          234569         31             0              3   7   6      
0.10/0.13	c 1140           1731           42469          282694         31             0              4   11   7     
0.10/0.14	c 1352           2027           47223          321862         31             0              1   8   7      
0.10/0.16	c 1585           2345           52949          360704         31             0              4   8   7      
0.10/0.18	c 1841           2691           58488          413083         31             0              5   9   7      
0.10/0.20	c 2122           3088           66059          460093         31             0              4   9   7      
0.21/0.23	c 2431           3526           74759          509463         31             0              4   8   6      
0.21/0.25	c 2770           4009           82579          586036         31             0              4   9   6      
0.21/0.29	c 3142           4549           91992          660305         31             0              4   9   7      
0.30/0.32	c 3551           5149           104151         740622         31             0              4   9   7      
0.30/0.35	c 4000           5758           113080         804811         31             0              4   9   7      
0.30/0.39	c 4493           6442           126186         882322         31             0              4   9   7      
0.40/0.44	c 5035           7296           141250         1010759        31             0              3   11   7     
0.40/0.50	c 5631           8101           164276         1127734        31             0              1   8   6      
0.50/0.55	c 6286           9061           182194         1259793        31             0              4   11   8     
0.60/0.61	c 7006           10083          200635         1351400        31             0              3   8   6      
0.60/0.67	c 7798           11165          221255         1482001        31             0              4   9   7      
0.69/0.74	c 8669           12368          244516         1643265        31             0              3   9   6      
0.79/0.82	c 9627           13735          268207         1823436        31             0              4   9   7      
0.89/0.90	c 10680          15202          295625         2000161        31             0              4   9   7      
0.89/1.00	c 11838          16936          328025         2243985        31             0              3   9   7      
1.00/1.10	c 13111          18798          359770         2436399        31             0              2   9   7      
1.19/1.22	c 14511          20783          400258         2707639        31             0              3   11   7     
1.29/1.34	c 16051          22971          437931         2922437        31             0              3   8   6      
1.39/1.48	c 17745          25348          486104         3220200        31             0              4   12   7     
1.59/1.62	c 19608          27908          531540         3505154        37             0              3   8   6      
1.79/1.80	c 21657          30952          594416         3936945        37             0              3   12   7     
1.89/1.98	c 23910          34424          652128         4321024        37             0              2   8   6      
2.19/2.21	c 26388          37951          738403         4850102        37             0              3   12   8     
2.39/2.46	c 29113          42217          821351         5388973        37             0              2   11   6     
2.69/2.76	c 32110          46990          917519         6140083        37             0              3   9   6      
2.89/2.97	c 35406          51077          1002080        6661345        37             0              3   12   10    
3.19/3.24	c 39031          56100          1086683        7273961        37             0              2   14   8     
3.59/3.67	c 43018          62828          1225680        8296413        37             0              3   9   7      
4.10/4.19	c 47403          68822          1399945        9723401        37             0              3   16   11    
5.00/5.04	c 52226          75620          1700473        11679851       37             0              3   13   10    
5.59/5.67	c 57531          82619          1915855        12941821       37             0              3   13   10    
6.00/6.08	c 63366          90052          2055654        13902939       37             0              1   12   9     
6.79/6.88	c 69784          99595          2298514        15917596       37             0              2   14   11    
8.19/8.26	c 76843          110504         2772572        18674168       37             0              3   13   9     
9.59/9.60	c 84607          122494         3196243        21779664       37             0              5   13   12    
11.59/11.63	c 93147          135368         3917087        26432704       37             0              3   11   8     
12.29/12.38	c 102541         147973         4172694        28319061       37             0              8   13   11    
13.69/13.71	c 112874         163667         4594031        31475207       37             0              6   15   12    
15.79/15.87	c 124240         179623         5314304        36107628       37             0              5   15   10    
17.39/17.46	c 136742         197712         5830747        40281413       37             0              5   17   12    
19.59/19.64	c 150494         216942         6527825        45978822       37             0              6   17   14    
22.79/22.84	c 165621         237914         7589403        53891179       37             0              5   13   11    
24.39/24.44	c 182260         259677         8132788        58143175       37             0              5   17   12    
27.39/27.47	c 200562         285985         9088655        66092874       37             0              6   17   13    
31.19/31.23	c 220694         315984         10257587       75005348       37             0              5   14   11    
35.19/35.28	c 242839         348029         11631794       84200662       37             0              5   16   12    
38.99/39.08	c 267198         385963         12799840       93299962       37             0              6   17   12    
44.39/44.45	c 293992         425005         14593005       104735884      37             0              5   15   11    
50.09/50.16	c 323465         468703         16435341       117996126      37             0              4   14   10    
57.49/57.60	c 355885         518326         18976374       134383069      37             0              4   13   10    
64.28/64.35	c 391547         567985         21162536       152792360      37             0              5   18   14    
71.68/71.72	c 430775         625930         23466391       171852252      37             0              6   18   15    
81.48/81.54	c 473925         691747         26761077       192921743      37             0              4   13   10    
90.18/90.26	c 521390         767495         29325670       215084862      37             0              5   15   13    
100.78/100.84	c 573601         844675         32819873       238520983      37             0              4   14   11    
112.58/112.68	c 631033         929596         36749771       265327199      37             0              5   14   11    
124.99/125.07	c 694208         1028738        40752351       292644377      37             0              5   14   10    
140.48/140.56	c 763700         1137135        46016311       324226333      37             0              5   13   10    
154.48/154.51	c 840141         1251480        50277985       360499202      37             0              5   18   15    
169.77/169.86	c 924226         1383982        55116309       393864430      37             0              4   15   11    
185.37/185.47	c 1016719        1533921        60277756       426351224      37             0              4   15   10    
204.77/204.81	c 1118461        1676249        66579625       469857853      37             0              6   14   11    
226.87/226.90	c 1230377        1858919        73188666       521760430      37             0              6   17   12    
252.27/252.38	c 1353484        2045909        81086706       577679452      37             0              6   16   12    
277.27/277.39	c 1488901        2245494        88671489       644066125      37             0              6   18   14    
304.56/304.67	c 1637859        2456503        97352748       700710194      37             0              6   15   12    
339.16/339.21	c 1801712        2682774        108784481      780522445      37             0              5   14   11    
370.16/370.29	c 1981950        2941952        118226341      862082891      37             0              6   18   14    
404.06/404.15	c 2180211        3234775        128812057      934523692      37             0              5   16   12    
441.15/441.26	c 2398298        3575181        140007808      1024561245     37             0              6   18   13    
482.45/482.57	c 2638193        3935137        153290874      1112212863     37             0              4   17   12    
529.85/529.92	c 2902077        4332483        167756720      1220709890     37             0              6   18   14    
580.84/580.93	c 3192349        4744517        184011591      1331792071     37             0              5   17   13    
645.14/645.26	c 3511648        5205390        204725350      1473389523     37             0              5   15   11    
699.13/699.20	c 3862876        5711064        221218022      1598878105     37             0              6   19   14    
753.53/753.61	c 4249226        6261806        237921021      1727202306     37             0              5   18   14    
820.62/820.77	c 4674211        6887965        259426192      1865095805     37             0              4   17   12    
900.31/900.46	c 5141694        7533433        284932533      2040689418     37             0              4   17   12    
977.11/977.20	c 5655925        8237693        308586027      2219666991     37             0              6   18   13    
1064.30/1064.43	c 6221579        9036354        334819636      2438050753     37             0              6   18   13    
1165.90/1166.01	c 6843798        9934207        367252148      2665835660     37             0              4   17   12    
1282.28/1282.49	c 7528238        10893467       405287317      2937370582     37             0              4   17   12    
1376.17/1376.31	c 8281122        11979352       433820133      3134516419     37             0              5   17   13    
1497.76/1498.00	c 9109294        13118440       471785247      3432598443     37             0              6   18   14    
1608.45/1608.64	c 10020283       14440703       505664484      3698440614     37             0              5   18   13    
1748.85/1749.05	c 11022370       15823290       548700192      4054660880     37             0              6   18   14    
1889.43/1889.68	c 12124665       17391584       591245649      4375574156     37             0              6   17   13    
2063.92/2064.15	c 13337189       19084198       644983516      4765904391     37             0              6   18   13    
2265.00/2265.21	c 14670965       20947572       705162667      5277180867     37             0              4   20   13    
2400.09/2400.30	
2400.09/2400.30	c *** INTERRUPTED ***
2400.09/2400.30	c restarts              : 101         
2400.09/2400.30	c conflicts             : 15649959     (6521 /sec)
2400.09/2400.30	c decisions             : 22288782     (9287 /sec)
2400.09/2400.30	c propagations          : 5602586191  (2334321 /sec)
2400.09/2400.30	c root propagations     : 561         
2400.09/2400.30	c filter calls          : 747372790      (311393 /sec)
2400.09/2400.30	c useless filter calls  : 442173156      (59 %)
2400.09/2400.30	c Memory used           : 26.72 MB
2400.09/2400.30	c CPU time              : 2400.09 s
2400.09/2400.30	c real time             : 2400.3 s
2400.09/2400.30	
2400.09/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 (15063 MiB free)
  memory of node 1: 16384 MiB (15412 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397386-1568581438/watcher-4397386-1568581438 -o /tmp/evaluation-result-4397386-1568581438/solver-4397386-1568581438 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32492 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397386-1568581438.xml 

running on 4 cores: 0,2,4,6

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=1797, runsolver pid=1794
Current StackSize limit: 8192 KiB


[startup+0.100197 s]*
/proc/loadavg: 2.00 2.07 2.10 3/200 1798
/proc/meminfo: memFree=31207044/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=3952 CPUtime=0.1 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1173 0 0 0 10 0 0 0 20 0 1 0 434406487 28016640 988 33554432000 4194304 6211092 140720560991136 140720560987672 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 988 870 493 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.209467 s]*
/proc/loadavg: 2.00 2.07 2.10 3/200 1798
/proc/meminfo: memFree=31207044/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=3952 CPUtime=0.21 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1173 0 0 0 21 0 0 0 20 0 1 0 434406487 28016640 988 33554432000 4194304 6211092 140720560991136 140720560987672 5149089 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 988 870 493 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.308949 s]*
/proc/loadavg: 2.00 2.07 2.10 3/200 1798
/proc/meminfo: memFree=31207044/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=3952 CPUtime=0.3 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1173 0 0 0 30 0 0 0 20 0 1 0 434406487 28016640 988 33554432000 4194304 6211092 140720560991136 140720560987672 5193710 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 988 870 493 0 145 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+0.700334 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1798
/proc/meminfo: memFree=31207044/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=3952 CPUtime=0.69 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1173 0 0 0 69 0 0 0 20 0 1 0 434406487 28016640 988 33554432000 4194304 6211092 140720560991136 140720560987672 5078875 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 988 870 493 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.07 2.10 3/200 1798
/proc/meminfo: memFree=31206500/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=3952 CPUtime=1.49 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1173 0 0 0 149 0 0 0 20 0 1 0 434406487 28016640 988 33554432000 4194304 6211092 140720560991136 140720560989096 5075705 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 988 870 493 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3952 KiB

[startup+3.10916 s]
/proc/loadavg: 2.00 2.07 2.10 3/201 1800
/proc/meminfo: memFree=31205740/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=3.1 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1229 0 0 0 310 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5081728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+6.30034 s]
/proc/loadavg: 1.84 2.04 2.09 3/200 1800
/proc/meminfo: memFree=31205940/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=6.29 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1285 0 0 0 629 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 2.04 2.09 3/200 1800
/proc/meminfo: memFree=31206188/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=12.69 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1341 0 0 0 1269 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5074400 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+25.5004 s]
/proc/loadavg: 1.89 2.03 2.09 3/200 1800
/proc/meminfo: memFree=31206636/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=25.49 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1453 0 0 0 2549 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5149648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+51.1091 s]
/proc/loadavg: 1.99 2.05 2.09 3/201 1802
/proc/meminfo: memFree=31206480/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=51.09 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1509 0 0 0 5109 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5078762 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.04 2.08 3/200 1806
/proc/meminfo: memFree=31206204/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=102.28 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1565 0 0 0 10228 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/199 1810
/proc/meminfo: memFree=31206612/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=162.28 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1621 0 0 0 16228 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5078752 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.08 3/199 1814
/proc/meminfo: memFree=31207132/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=222.27 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1677 0 0 0 22227 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5082376 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.07 3/199 1820
/proc/meminfo: memFree=31206476/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=282.27 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1733 0 0 0 28227 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5075563 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.07 3/199 1824
/proc/meminfo: memFree=31206304/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=342.26 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1789 0 0 0 34226 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5193696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/199 1828
/proc/meminfo: memFree=31205900/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=402.26 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1845 0 0 0 40226 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5150092 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/199 1841
/proc/meminfo: memFree=31205816/32770624 swapFree=66984628/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=462.25 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 1901 0 0 0 46225 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5075092 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB


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

/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 1662.15 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 2021
/proc/meminfo: memFree=29572192/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=1722.14 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 2986 0 0 0 172214 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5075263 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 1722.14 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 2025
/proc/meminfo: memFree=29571696/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=1782.14 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3042 0 0 0 178214 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5075560 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 1782.14 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 2029
/proc/meminfo: memFree=29572132/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=1842.13 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3085 0 0 0 184213 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5082397 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2035
/proc/meminfo: memFree=29571876/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=1902.13 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3141 0 0 0 190213 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5149010 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2039
/proc/meminfo: memFree=29571636/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=1962.12 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3184 0 0 0 196212 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5079440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 1962.12 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2043
/proc/meminfo: memFree=29572100/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2022.12 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3227 0 0 0 202212 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5150111 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2022.12 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2049
/proc/meminfo: memFree=29572620/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2082.11 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3283 0 0 0 208211 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5078890 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2053
/proc/meminfo: memFree=29571836/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2142.11 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3326 0 0 0 214211 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5151112 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2057
/proc/meminfo: memFree=29572268/32770624 swapFree=66984644/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2202.1 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3369 0 0 0 220210 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5149888 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2202.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2071
/proc/meminfo: memFree=29571584/32770624 swapFree=66984652/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2262.1 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3412 0 0 0 226210 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5082321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2262.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+2322.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 2075
/proc/meminfo: memFree=29571760/32770624 swapFree=66984652/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2322.09 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3467 0 0 0 232209 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5149674 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2322.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 2079
/proc/meminfo: memFree=29571816/32770624 swapFree=66984652/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2382.09 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3509 0 0 0 238209 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5082393 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2382.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 2081
/proc/meminfo: memFree=29572000/32770624 swapFree=66984652/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2400.09 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3551 0 0 0 240009 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5081205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

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

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

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

[startup+2400.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 2081
/proc/meminfo: memFree=29572000/32770624 swapFree=66984652/67108860
[pid=1797] ppid=1794 vsize=27360 memory=4044 CPUtime=2400.09 cores=0,2,4,6
/proc/1797/stat : 1797 (cosoco) R 1794 1797 32461 0 -1 4202496 3551 0 0 0 240009 0 0 0 20 0 1 0 434406487 28016640 1011 33554432000 4194304 6211092 140720560991136 140720560989096 5081205 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 20537344 140720560993291 140720560993393 140720560993393 140720560996302 0
/proc/1797/statm: 6840 1011 892 493 0 145 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 4044 KiB

Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.1
CPU user time (s): 2400.09
CPU system time (s): 0.009999
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 4044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.09
system time used= 0.009999
maximum resident set size= 4108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3600
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= 14
involuntary context switches= 3008


# summary of solver processes directly reported to runsolver:
#   pid: 1797
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2400.09
#   total CPU system time (s): 0.009999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.47509 second user time and 18.8064 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-15 23:03:16
IDJOB=4397386
IDBENCH=133682
IDSOLVER=2849
FILE ID=node121/4397386-1568581438
RUNJOBID= node121-1568572742-32492
PBS_JOBID= 21703328
Free space on /tmp= 61404 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-05-0033.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397386-1568581438/watcher-4397386-1568581438 -o /tmp/evaluation-result-4397386-1568581438/solver-4397386-1568581438 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32492 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397386-1568581438.xml

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

MD5SUM BENCH= d12e11df164b59f4f24fb6a77d637105
RANDOM SEED=420041215

node121.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
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:        31206508 kB
MemAvailable:   31821228 kB
Buffers:          193444 kB
Cached:           726404 kB
SwapCached:        16456 kB
Active:           546584 kB
Inactive:         476888 kB
Active(anon):      90992 kB
Inactive(anon):    54700 kB
Active(file):     455592 kB
Inactive(file):   422188 kB
Unevictable:      108516 kB
Mlocked:          108516 kB
SwapTotal:      67108860 kB
SwapFree:       66984628 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:        195800 kB
Mapped:            42584 kB
Shmem:             33188 kB
Slab:             134536 kB
SReclaimable:     105552 kB
SUnreclaim:        28984 kB
KernelStack:        3584 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     618388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61260 MiB
End job on node121 at 2019-09-15 23:43:17