Trace number 4396819

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) 2519.93 2520.01

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07h-6_X2.xml
MD5SUM43dd96c97b3ff33ff7a4c42b6a5606ab
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark169.632
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.02	c root propagations     : 280         
0.00/0.02	c restarts enabled, print stats at every restarts
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c
0.00/0.02	c This is cosoco 2.00 --  
0.00/0.02	c
0.00/0.02	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396819-1568587249.xml 
0.00/0.02	c ========================================[ Problem Statistics ]===========================================
0.00/0.02	c |                                                                                                       
0.00/0.02	c |  Parse time        :         0.02 s 
0.00/0.02	c |
0.00/0.02	c |               Variables: 112
0.00/0.02	c |            Domain Sizes: 1..28
0.00/0.02	c |
0.00/0.02	c |             Constraints: 1262
0.00/0.02	c |                   Arity: 2..2  -- Binary: 1262
0.00/0.02	c | 
0.00/0.02	c |                   Types: 
0.00/0.02	c |                          Extension: 1262  (nb tuples: 0..378) -- (shared: 1252)
0.00/0.02	c |                          
0.00/0.02	c =========================================================================================================
0.00/0.02	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c remove useless variable z[0]
0.00/0.03	c 101            305            106479         6782           66             0              21   63   43   
0.00/0.04	c 211            686            192328         11277          66             0              48   79   58   
0.00/0.05	c 332            1085           278161         14962          66             0              18   24   21   
0.00/0.06	c 465            1600           386244         20917          66             0              16   27   23   
0.00/0.07	c 611            1979           508040         28451          66             0              16   23   19   
0.00/0.09	c 771            2582           663084         40393          66             0              14   27   23   
0.00/0.10	c 947            3035           811495         49663          66             0              19   22   21   
0.10/0.12	c 1140           3543           972794         62035          66             0              15   22   19   
0.10/0.14	c 1352           4083           1168698        76910          66             0              16   19   18   
0.10/0.16	c 1585           4663           1373683        94478          66             0              15   21   18   
0.10/0.19	c 1841           5596           1626067        117517         66             0              22   31   27   
0.21/0.22	c 2122           6680           1982435        151869         66             0              14   25   18   
0.21/0.25	c 2431           7749           2280976        177003         66             0              22   31   27   
0.21/0.29	c 2770           9079           2649327        206457         66             0              16   26   21   
0.31/0.32	c 3142           10317          2965482        228340         66             0              19   29   27   
0.31/0.38	c 3551           11538          3620537        293673         66             0              13   22   18   
0.41/0.43	c 4000           13187          4097012        337322         66             0              22   32   28   
0.41/0.49	c 4493           14545          4721050        406641         66             0              15   23   18   
0.51/0.54	c 5035           15999          5182741        438039         66             0              24   30   27   
0.51/0.59	c 5631           18023          5772727        485967         66             0              12   26   20   
0.60/0.65	c 6286           19888          6316370        512810         66             0              21   25   24   
0.60/0.70	c 7006           22431          6843800        535714         66             0              14   30   24   
0.69/0.80	c 7798           24420          7768876        667533         66             0              11   19   13   
0.79/0.87	c 8669           26883          8524561        714166         66             0              19   23   22   
0.89/0.93	c 9627           30456          9197087        741602         66             0              14   31   24   
1.00/1.01	c 10680          34805          10020362       775204         66             0              22   30   29   
1.10/1.15	c 11838          38467          11372333       914626         66             0              13   25   18   
1.19/1.25	c 13111          42044          12462248       984258         66             0              19   28   23   
1.29/1.35	c 14511          45912          13481238       1035700        66             0              12   19   17   
1.49/1.51	c 16051          50614          15055076       1176634        66             0              20   30   25   
1.59/1.67	c 17745          57265          16704539       1310589        66             0              15   27   23   
1.79/1.80	c 19608          63580          18142406       1382712        66             0              17   28   26   
1.89/2.00	c 21657          70989          20180885       1545754        66             0              16   27   23   
2.19/2.23	c 23910          78933          22563859       1757205        66             0              15   26   21   
2.39/2.43	c 26388          86986          24651486       1857264        66             0              12   25   19   
2.59/2.64	c 29113          94945          26759455       1957849        66             0              12   25   17   
2.79/2.85	c 32110          105584         28997172       2081039        66             0              16   27   23   
3.10/3.12	c 35406          115092         31799979       2263342        66             0              13   24   17   
3.29/3.36	c 39031          127653         34441042       2365721        66             0              14   26   24   
3.69/3.70	c 43018          138807         37810565       2581768        66             0              11   20   15   
4.00/4.08	c 47403          151049         41744313       2884226        66             0              13   25   18   
4.29/4.39	c 52226          169415         45074085       2995996        66             0              13   25   24   
4.79/4.88	c 57531          184852         49958835       3383473        66             0              10   25   16   
5.39/5.47	c 63366          202483         55761780       3918504        66             0              11   25   17   
5.89/5.98	c 69784          227415         61161066       4222134        66             0              14   25   22   
6.59/6.66	c 76843          252364         68144879       4800145        66             0              13   25   20   
7.19/7.26	c 84607          276069         74507299       5135832        66             0              12   25   19   
8.00/8.06	c 93147          309181         82764981       5736115        66             0              12   25   21   
8.69/8.77	c 102541         342812         90333515       6166167        66             0              13   25   21   
9.69/9.79	c 112874         379462         101133600      6986997        66             0              13   25   21   
10.69/10.78	c 124240         415973         111323699      7624300        66             0              12   25   19   
12.00/12.10	c 136742         457119         124654487      8784725        66             0              12   25   18   
13.49/13.54	c 150494         510974         139303498      10039489       66             0              13   25   21   
14.89/15.00	c 165621         562174         154575765      11273938       66             0              12   25   20   
16.29/16.37	c 182260         616612         168828375      12111849       66             0              12   25   20   
18.29/18.34	c 200562         679719         188699771      13867370       66             0              12   25   19   
19.89/19.99	c 220694         739465         205538882      14896725       66             0              9   25   17    
22.19/22.28	c 242839         816002         229188564      16875675       66             0              11   25   19   
24.39/24.43	c 267198         908759         251138083      18543161       66             0              11   25   21   
27.10/27.11	c 293992         1003806        278371985      20766033       66             0              11   25   19   
30.59/30.60	c 323465         1099345        313713691      24111397       66             0              12   26   19   
33.79/33.83	c 355885         1223679        346874894      26786317       66             0              12   26   22   
37.39/37.40	c 391547         1358856        384211540      29623714       66             0              13   26   22   
40.79/40.84	c 430775         1474888        419658344      31912387       66             0              12   25   18   
45.10/45.14	c 473925         1625225        465010108      35411304       66             0              12   25   20   
49.89/49.95	c 521390         1799393        514483916      39430246       66             0              14   26   22   
55.19/55.24	c 573601         2002126        568850304      43530761       66             0              12   25   20   
61.39/61.47	c 631033         2201356        632153868      49240467       66             0              11   28   19   
67.39/67.43	c 694208         2426636        692752237      53975923       66             0              12   26   21   
75.49/75.56	c 763700         2687121        775793962      61405328       66             0              14   28   22   
82.69/82.77	c 840141         2978914        850836689      66591690       66             0              13   25   21   
91.00/91.08	c 924226         3271912        938028058      73369631       66             0              13   27   21   
99.89/99.99	c 1016719        3607776        1030227166     80350046       66             0              12   25   21   
110.49/110.51	c 1118461        4008176        1137674075     88927959       66             0              12   25   21   
122.00/122.02	c 1230377        4433906        1255078638     98466455       66             0              12   26   21   
136.39/136.42	c 1353484        4835112        1400095566     112089092      66             0              13   28   22   
149.79/149.87	c 1488901        5305950        1536063661     123618755      66             0              13   28   22   
164.19/164.27	c 1637859        5876683        1684266211     134446643      66             0              12   28   21   
183.29/183.34	c 1801712        6438815        1878608627     152155445      66             0              10   28   22   
196.69/196.76	c 1981950        7119531        2022298905     158968353      66             0              12   28   22   
213.28/213.36	c 2180211        7876784        2198980845     169411914      66             0              12   25   22   
231.58/231.65	c 2398298        8519609        2386338243     180081423      66             0              10   27   17   
254.48/254.55	c 2638193        9213628        2610319532     198779114      66             0              8   25   15    
274.68/274.73	c 2902077        10250782       2825309913     209957179      66             0              12   27   24   
307.99/308.09	c 3192349        11315896       3162361752     241347626      66             0              9   25   20    
339.99/340.05	c 3511648        12420467       3496867313     268405774      66             0              13   28   23   
370.58/370.60	c 3862876        13657973       3810706376     290722980      66             0              8   25   21    
405.09/405.17	c 4249226        14978077       4175582200     316765184      66             0              14   28   23   
449.18/449.29	c 4674211        16565622       4626137112     353371845      66             0              11   25   20   
501.98/502.10	c 5141694        18176655       5169623123     401633282      66             0              13   28   22   
558.87/558.94	c 5655925        20018332       5747637114     451886708      66             0              10   26   20   
609.98/610.03	c 6221579        22114613       6281408965     488053154      66             0              9   26   21    
670.67/670.75	c 6843798        24540907       6912840184     535668121      66             0              13   28   23   
722.17/722.21	c 7528238        26838756       7453453187     562402734      66             0              9   26   20    
805.17/805.21	c 8281122        29541652       8311248864     635503303      66             0              11   27   20   
883.36/883.48	c 9109294        32279587       9091328956     695729684      66             0              8   25   18    
973.36/973.45	c 10020283       35484678       10033349964    770197049      66             0              12   28   22   
1067.36/1067.41	c 11022370       39216285       11002885300    839954801      66             0              11   29   22   
1185.75/1185.85	c 12124665       43463672       12217381441    939623753      66             0              10   27   21   
1306.25/1306.34	c 13337189       48009473       13460580755    1031372908     66             0              11   25   21   
1431.45/1431.56	c 14670965       53176716       14774087840    1122751102     66             0              10   27   22   
1552.84/1552.91	c 16138118       58711563       16046837655    1198440495     66             0              10   26   23   
1720.54/1720.65	c 17751986       64466430       17796063666    1336995695     66             0              13   28   23   
1894.43/1894.53	c 19527240       71247258       19574562361    1471023370     66             0              9   25   21    
2084.63/2084.77	c 21480019       77863363       21483627697    1620948527     66             0              7   26   19    
2315.42/2315.53	c 23628075       84449421       23729400677    1844572972     66             0              10   29   21   
2519.51/2519.66	c 25990936       93450972       25875042430    1978825377     66             0              9   26   21    
2519.92/2520.00	
2519.92/2520.00	c *** INTERRUPTED ***
2519.92/2520.00	c restarts              : 107         
2519.92/2520.00	c conflicts             : 25994361     (10316 /sec)
2519.92/2520.00	c decisions             : 93464392     (37090 /sec)
2519.92/2520.00	c propagations          : 1979106220  (785382 /sec)
2519.92/2520.00	c root propagations     : 280         
2519.92/2520.00	c filter calls          : 25878512743    (10269546 /sec)
2519.92/2520.00	c useless filter calls  : 24667956903    (95 %)
2519.92/2520.00	c Memory used           : 28.14 MB
2519.92/2520.00	c CPU time              : 2519.93 s
2519.92/2520.00	c real time             : 2520 s
2519.92/2520.00	
2519.92/2520.00	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 (13262 MiB free)
  memory of node 1: 16384 MiB (15820 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396819-1568587249/watcher-4396819-1568587249 -o /tmp/evaluation-result-4396819-1568587249/solver-4396819-1568587249 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4239 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396819-1568587249.xml 

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

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

solver pid=7954, runsolver pid=7951

[startup+0.100195 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7955
/proc/meminfo: memFree=29780456/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5272 CPUtime=0.1 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 1494 0 0 0 10 0 0 0 20 0 1 0 434638729 29507584 1318 33554432000 4194304 6211092 140730587477776 140730587474312 5017277 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1318 844 493 0 509 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5272 KiB

[startup+0.209494 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7955
/proc/meminfo: memFree=29780456/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5272 CPUtime=0.21 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 1494 0 0 0 21 0 0 0 20 0 1 0 434638729 29507584 1318 33554432000 4194304 6211092 140730587477776 140730587474312 5017569 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1318 844 493 0 509 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5272 KiB

[startup+0.308974 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7955
/proc/meminfo: memFree=29780456/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5272 CPUtime=0.31 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 1494 0 0 0 31 0 0 0 20 0 1 0 434638729 29507584 1318 33554432000 4194304 6211092 140730587477776 140730587474312 5017440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1318 844 493 0 509 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5272 KiB

[startup+0.700345 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7955
/proc/meminfo: memFree=29780096/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5272 CPUtime=0.69 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 1494 0 0 0 69 0 0 0 20 0 1 0 434638729 29507584 1318 33554432000 4194304 6211092 140730587477776 140730587475736 140431755791456 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1318 844 493 0 509 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5272 KiB

[startup+1.50034 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7955
/proc/meminfo: memFree=29780452/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5272 CPUtime=1.49 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 1494 0 0 0 149 0 0 0 20 0 1 0 434638729 29507584 1318 33554432000 4194304 6211092 140730587477776 140730587475736 5017373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1318 844 493 0 509 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5272 KiB

[startup+3.10917 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7955
/proc/meminfo: memFree=29780576/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=3.1 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 1903 0 0 0 310 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7955
/proc/meminfo: memFree=29780380/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=6.29 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 2311 0 0 0 629 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7955
/proc/meminfo: memFree=29780380/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=12.69 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 2719 0 0 0 1269 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7958
/proc/meminfo: memFree=29779924/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=25.49 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 3535 0 0 0 2549 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017569 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7958
/proc/meminfo: memFree=29779868/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=51.1 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 3945 0 0 0 5110 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5008971 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7962
/proc/meminfo: memFree=29780292/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=102.29 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 4354 0 0 0 10229 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017444 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7968
/proc/meminfo: memFree=29779836/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=162.29 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 4763 0 0 0 16229 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5008827 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7972
/proc/meminfo: memFree=29779436/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=222.28 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 5171 0 0 0 22228 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017472 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7977
/proc/meminfo: memFree=29779204/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=282.28 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 5579 0 0 0 28228 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017472 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7983
/proc/meminfo: memFree=29779796/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=342.28 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 5987 0 0 0 34228 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5380256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7987
/proc/meminfo: memFree=29779028/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=402.28 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 6395 0 0 0 40228 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017476 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7991
/proc/meminfo: memFree=29779492/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=462.28 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 6805 0 0 0 46228 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5389428 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB


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

/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 1722.24 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/200 8320
/proc/meminfo: memFree=27734116/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=1782.24 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 15464 0 0 0 178224 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017217 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 1782.24 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.07 2.06 3/199 8331
/proc/meminfo: memFree=27733872/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=1842.23 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 15825 0 0 0 184223 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017569 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/199 8335
/proc/meminfo: memFree=27730672/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=1902.23 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 16233 0 0 0 190223 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5008827 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 8341
/proc/meminfo: memFree=27730620/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=1962.23 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 16609 0 0 0 196223 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017175 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 8345
/proc/meminfo: memFree=27730972/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2022.23 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 16992 0 0 0 202223 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017564 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 8349
/proc/meminfo: memFree=27729952/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2082.23 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 17378 0 0 0 208223 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017230 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8355
/proc/meminfo: memFree=27728240/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2142.22 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 17768 0 0 0 214222 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5396409 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 8359
/proc/meminfo: memFree=27726048/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2202.22 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 18144 0 0 0 220222 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5389444 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8363
/proc/meminfo: memFree=27706344/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2262.22 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 18520 0 0 0 226222 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017564 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2262.22 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8369
/proc/meminfo: memFree=27692744/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2322.22 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 18928 0 0 0 232222 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017373 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8373
/proc/meminfo: memFree=27693140/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2382.22 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 19305 0 0 0 238222 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5389976 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2382.22 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8384
/proc/meminfo: memFree=27693692/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2442.22 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 19682 0 0 0 244222 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2442.22 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8390
/proc/meminfo: memFree=27693652/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2502.21 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 20065 0 0 0 250221 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017559 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.08 2.03 2.05 3/199 8390
/proc/meminfo: memFree=27692832/32770624 swapFree=66957020/67108860
[pid=7954] ppid=7951 vsize=28816 memory=5328 CPUtime=2519.92 cores=0,2,4,6
/proc/7954/stat : 7954 (cosoco) R 7951 7954 4208 0 -1 4202496 20473 0 0 0 251992 0 0 0 20 0 1 0 434638729 29507584 1332 33554432000 4194304 6211092 140730587477776 140730587475736 5017462 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 12292096 140730587485195 140730587485297 140730587485297 140730587488206 0
/proc/7954/statm: 7204 1332 857 493 0 509 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 28816 KiB
Current children cumulated memory: 5328 KiB

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

[startup+2520.01 s]
# the end of solver process 7954 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.93 s, system=0.003999 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.93
CPU user time (s): 2519.93
CPU system time (s): 0.003999
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 28816
Max. memory (cumulated for all children) (KiB): 5328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.003999
maximum resident set size= 5392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20511
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= 3152


# summary of solver processes directly reported to runsolver:
#   pid: 7954
#   total CPU time (s): 2519.93
#   total CPU user time (s): 2519.93
#   total CPU system time (s): 0.003999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.71045 second user time and 16.7959 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-16 00:40:06
IDJOB=4396819
IDBENCH=134583
IDSOLVER=2848
FILE ID=node147/4396819-1568587249
RUNJOBID= node147-1568572740-4239
PBS_JOBID= 21703310
Free space on /tmp= 58876 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07h-6_X2.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396819-1568587249/watcher-4396819-1568587249 -o /tmp/evaluation-result-4396819-1568587249/solver-4396819-1568587249 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4239 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396819-1568587249.xml

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

MD5SUM BENCH= 43dd96c97b3ff33ff7a4c42b6a5606ab
RANDOM SEED=1979810051

node147.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.52
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.52
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.52
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.52
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:        29781924 kB
MemAvailable:   31828472 kB
Buffers:           98824 kB
Cached:          2225352 kB
SwapCached:        48484 kB
Active:          1310580 kB
Inactive:        1066168 kB
Active(anon):       4168 kB
Inactive(anon):    98104 kB
Active(file):    1306412 kB
Inactive(file):   968064 kB
Unevictable:      108996 kB
Mlocked:          108996 kB
SwapTotal:      67108860 kB
SwapFree:       66957020 kB
Dirty:              2560 kB
Writeback:             0 kB
AnonPages:        115260 kB
Mapped:            48932 kB
Shmem:             40984 kB
Slab:             204960 kB
SReclaimable:     175816 kB
SUnreclaim:        29144 kB
KernelStack:        3536 kB
PageTables:         5844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     537076 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:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58872 MiB
End job on node147 at 2019-09-16 01:22:06