Trace number 4397403

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2400.01 2399.8

General information on the benchmark

NameRandom/Random-RB-2-50-23/
rand-2-50-23-587-230-39.xml
MD5SUM6ed171dcccdb92ebb130c3872609e61b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2044.77
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints462
Number of domains1
Minimum domain size23
Maximum domain size23
Distribution of domain sizes[{"size":23,"count":50}]
Minimum variable degree11
Maximum variable degree27
Distribution of variable degrees[{"degree":11,"count":2},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":5},{"degree":17,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":9},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":462}]
Number of extensional constraints462
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":462}]
Optimization problemNO
Type of objective

Solver Data 

0.10/0.20	c root propagations     : 0           
0.10/0.20	c restarts enabled, print stats at every restarts
0.10/0.20	c
0.10/0.20	c
0.10/0.20	c
0.10/0.20	c This is cosoco 2.00 --  
0.10/0.20	c
0.10/0.20	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397403-1568573665.xml 
0.10/0.20	c ========================================[ Problem Statistics ]===========================================
0.10/0.20	c |                                                                                                       
0.10/0.20	c |  Parse time        :         0.20 s 
0.10/0.20	c |
0.10/0.20	c |               Variables: 50
0.10/0.20	c |            Domain Sizes: 23..23
0.10/0.20	c |
0.10/0.20	c |             Constraints: 462
0.10/0.20	c |                   Arity: 2..2  -- Binary: 462
0.10/0.20	c | 
0.10/0.20	c |                   Types: 
0.10/0.20	c |                          Extension: 462  (nb tuples: 121..254) -- (shared: 0)
0.10/0.20	c |                          
0.10/0.20	c =========================================================================================================
0.10/0.20	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.21	c 101            215            71367          24088          0              0              8   16   11    
0.21/0.22	c 211            485            156232         52523          0              0              7   16   11    
0.21/0.24	c 332            853            260734         85751          0              0              8   17   11    
0.21/0.25	c 465            1250           371926         120942         0              0              7   15   12    
0.21/0.27	c 611            1660           495319         163880         0              0              8   16   12    
0.21/0.29	c 771            2053           617503         204941         0              0              8   15   11    
0.21/0.31	c 947            2529           756893         247933         0              0              8   17   12    
0.31/0.32	c 1140           2994           895377         288656         0              0              10   17   12   
0.31/0.35	c 1352           3623           1076726        353756         0              0              7   16   10    
0.31/0.37	c 1585           4348           1268964        411350         0              0              8   19   13    
0.31/0.40	c 1841           5043           1471299        481018         0              0              7   17   11    
0.41/0.43	c 2122           5825           1701897        564443         0              0              6   16   11    
0.41/0.47	c 2431           6725           1955192        638821         0              0              8   18   12    
0.41/0.51	c 2770           7654           2233658        734075         0              0              7   16   11    
0.51/0.55	c 3142           8826           2567317        845324         0              0              7   17   11    
0.51/0.60	c 3551           9938           2914586        968025         0              0              7   18   11    
0.60/0.64	c 4000           10978          3241440        1075387        0              0              9   16   12    
0.60/0.69	c 4493           12331          3617722        1190600        0              0              9   18   13    
0.69/0.75	c 5035           13980          4064983        1326280        0              0              7   18   12    
0.79/0.81	c 5631           15638          4524303        1467314        0              0              8   18   12    
0.79/0.87	c 6286           17459          5021427        1626218        0              0              8   18   12    
0.89/0.94	c 7006           19250          5563847        1814370        0              0              6   16   10    
1.00/1.03	c 7798           21372          6187324        2011574        0              0              9   18   13    
1.10/1.12	c 8669           23686          6879417        2232389        0              0              8   18   12    
1.19/1.22	c 9627           26296          7623630        2476186        0              0              8   19   12    
1.29/1.33	c 10680          29049          8472538        2771893        0              0              8   18   11    
1.39/1.46	c 11838          32032          9365022        3089722        0              0              7   18   11    
1.49/1.58	c 13111          35609          10363623       3397008        0              0              8   19   13    
1.69/1.73	c 14511          39499          11485844       3744320        0              0              8   19   12    
1.79/1.89	c 16051          43684          12703118       4139939        0              0              8   19   13    
2.00/2.07	c 17745          48319          14051306       4564090        0              0              8   19   12    
2.19/2.27	c 19608          53735          15578552       5058036        0              0              7   20   12    
2.49/2.50	c 21657          59559          17247130       5656021        0              0              6   18   12    
2.69/2.74	c 23910          66033          19091450       6246730        0              0              6   19   11    
3.00/3.03	c 26388          72768          21145219       6944828        0              0              7   18   11    
3.19/3.29	c 29113          79684          23171286       7600143        0              0              7   17   12    
3.59/3.62	c 32110          88195          25607868       8400793        0              0              6   18   11    
3.89/3.99	c 35406          97459          28350899       9297205        0              0              7   22   12    
4.29/4.37	c 39031          107762         31218011       10265175       0              0              6   20   12    
4.79/4.85	c 43018          119180         34561750       11461077       0              0              6   17   11    
5.29/5.36	c 47403          131938         38243212       12756429       0              0              6   19   11    
5.79/5.89	c 52226          145143         42156731       14038331       0              0              7   18   12    
6.39/6.42	c 57531          159406         46299851       15332945       0              0              6   18   12    
7.00/7.03	c 63366          175889         50985075       16814646       0              0              7   20   12    
7.59/7.64	c 69784          192844         55786350       18319345       0              0              8   20   13    
8.39/8.42	c 76843          214092         61666611       20269521       0              0              7   21   13    
9.19/9.23	c 84607          236884         68046058       22216426       0              0              7   19   13    
10.10/10.14	c 93147          260257         74825515       24450923       0              0              6   19   11    
11.10/11.15	c 102541         286025         82345208       26951397       0              0              6   21   12    
12.19/12.28	c 112874         315735         90881997       29676823       0              0              6   20   13    
13.39/13.43	c 124240         347257         99780037       32490527       0              0              5   19   12    
14.69/14.77	c 136742         382313         109821696      35823190       0              0              5   19   11    
16.19/16.26	c 150494         420123         120822781      39531437       0              0              5   21   11    
17.89/17.97	c 165621         463185         133321655      43743316       0              0              6   21   11    
19.69/19.74	c 182260         509419         146697205      48111441       0              0              6   19   12    
21.69/21.76	c 200562         560445         161565209      53115002       0              0              6   21   12    
23.79/23.89	c 220694         615741         177775266      58339911       0              0              6   19   11    
26.19/26.28	c 242839         677398         195405631      64303170       0              0              5   20   12    
28.89/28.90	c 267198         743912         215132957      70676389       0              0              6   20   12    
31.79/31.81	c 293992         820723         236937870      77863868       0              0              5   20   11    
34.89/34.92	c 323465         904410         260662462      85332060       0              0              5   20   12    
38.39/38.45	c 355885         992371         286868300      94040979       0              0              7   21   12    
42.29/42.36	c 391547         1097210        316924587      103544250      0              0              5   21   12    
46.59/46.60	c 430775         1210772        349392624      113861898      0              0              5   21   13    
51.20/51.25	c 473925         1328087        384053303      125380050      0              0              5   19   12    
56.40/56.43	c 521390         1452630        422294119      138054479      0              0              5   20   10    
62.01/62.09	c 573601         1601640        465484297      151819583      0              0              5   22   12    
67.90/67.95	c 631033         1762318        511382114      166115877      0              0              5   21   12    
74.50/74.54	c 694208         1939578        562071085      182088563      0              0              4   22   12    
82.01/82.09	c 763700         2142397        619003921      200499722      0              0              5   20   12    
90.50/90.59	c 840141         2354187        681004224      221943953      0              0              5   22   11    
99.60/99.60	c 924226         2596785        748982427      243885831      0              0              4   23   12    
110.01/110.02	c 1016719        2860206        824768837      269738463      0              0              4   21   12    
121.30/121.35	c 1118461        3145294        908410467      297625703      0              0              5   20   11    
133.30/133.30	c 1230377        3466538        1000240928     326243156      0              0              4   21   12    
145.80/145.88	c 1353484        3812317        1098299639     356704114      0              0              6   22   12    
159.70/159.78	c 1488901        4183454        1204406735     390997154      0              0              5   22   12    
175.41/175.40	c 1637859        4629462        1326079075     428665654      0              0              4   24   12    
193.31/193.39	c 1801712        5089417        1460192900     472320460      0              0              5   21   11    
213.81/213.86	c 1981950        5616067        1610725101     523098635      0              0              4   22   11    
234.81/234.88	c 2180211        6170323        1767859155     574734103      0              0              5   21   12    
259.02/259.08	c 2398298        6755113        1944697948     634423570      0              0              5   20   11    
285.13/285.18	c 2638193        7410559        2137768537     698527742      0              0              5   22   12    
315.13/315.18	c 2902077        8170937        2356208854     774133640      0              0              5   22   11    
345.62/345.60	c 3192349        8987360        2591403806     847402669      0              0              5   22   12    
378.42/378.41	c 3511648        9921307        2848623575     926873876      0              0              4   24   13    
414.43/414.48	c 3862876        10901076       3131009006     1013310921     0              0              6   22   13    
457.14/457.16	c 4249226        12019679       3448695235     1119929663     0              0              4   22   11    
501.63/501.61	c 4674211        13208783       3791805767     1227140350     0              0              5   24   12    
551.44/551.47	c 5141694        14544990       4170266256     1350572010     0              0              4   23   12    
607.05/607.10	c 5655925        15967457       4586361944     1486856798     0              0              4   22   12    
670.35/670.37	c 6221579        17604656       5055427094     1644417597     0              0              5   24   12    
734.36/734.31	c 6843798        19387452       5555106592     1798717092     0              0              4   24   12    
807.56/807.57	c 7528238        21362234       6108557411     1981352123     0              0              4   22   12    
892.37/892.34	c 8281122        23537505       6733130967     2187313858     0              0              4   23   12    
984.68/984.67	c 9109294        25812711       7414073101     2413300808     0              0              4   22   11    
1085.10/1085.04	c 10020283       28341842       8151134511     2663168256     0              0              3   22   11    
1195.30/1195.22	c 11022370       31110549       8971046281     2933068015     0              0              4   21   11    
1314.31/1314.22	c 12124665       34208245       9872122704     3224092281     0              0              4   24   12    
1447.72/1447.67	c 13337189       37759480       10871832306    3552207896     0              0              3   24   12    
1591.03/1590.94	c 14670965       41559666       11967183262    3897736150     0              0              4   22   12    
1755.95/1755.82	c 16138118       45506310       13156315265    4306613512     0              0              4   23   11    
1938.56/1938.46	c 17751986       50314069       14510748019    4755895519     0              0              3   23   12    
2138.58/2138.43	c 19527240       55413044       15987146873    5243853610     0              0              4   23   12    
2358.21/2358.02	c 21480019       61126670       17610712080    5788084349     0              0              3   24   12    
2400.00/2399.80	
2400.00/2399.80	c *** INTERRUPTED ***
2400.00/2399.80	c restarts              : 105         
2400.00/2399.80	c conflicts             : 21849090     (9104 /sec)
2400.00/2399.80	c decisions             : 62188382     (25912 /sec)
2400.00/2399.80	c propagations          : 5891683306  (2454860 /sec)
2400.00/2399.80	c root propagations     : 0           
2400.00/2399.80	c filter calls          : 17914838530    (7464490 /sec)
2400.00/2399.80	c useless filter calls  : 14614458576    (81 %)
2400.00/2399.80	c Memory used           : 27.49 MB
2400.00/2399.80	c CPU time              : 2400.01 s
2400.00/2399.80	c real time             : 2399.8 s
2400.00/2399.80	
2400.00/2399.80	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (14493 MiB free)
  memory of node 1: 16384 MiB (15487 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397403-1568573665/watcher-4397403-1568573665 -o /tmp/evaluation-result-4397403-1568573665/solver-4397403-1568573665 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397403-1568573665.xml 

running on 4 cores: 0-3

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


[startup+0.100155 s]*
/proc/loadavg: 2.01 1.91 1.26 3/199 17363
/proc/meminfo: memFree=30700344/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=27624 memory=3796 CPUtime=0.1 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1163 0 0 0 10 0 0 0 20 0 1 0 433308215 28286976 949 33554432000 4194304 6211092 140728373326528 140728373323064 140022662583424 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 6906 949 810 493 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3796 KiB

[startup+0.210687 s]*
/proc/loadavg: 2.01 1.91 1.26 3/199 17363
/proc/meminfo: memFree=30699848/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4444 CPUtime=0.21 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1322 0 0 0 21 0 0 0 20 0 1 0 433308215 28823552 1111 33554432000 4194304 6211092 140728373326528 140728373323064 5008827 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1111 810 493 0 342 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4444 KiB

[startup+0.310191 s]*
/proc/loadavg: 2.01 1.91 1.26 3/199 17363
/proc/meminfo: memFree=30699848/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4444 CPUtime=0.31 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1322 0 0 0 31 0 0 0 20 0 1 0 433308215 28823552 1111 33554432000 4194304 6211092 140728373326528 140728373323064 5017472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1111 810 493 0 342 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4444 KiB

[startup+0.700285 s]
/proc/loadavg: 2.01 1.91 1.26 3/199 17363
/proc/meminfo: memFree=30699848/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4444 CPUtime=0.69 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1322 0 0 0 69 0 0 0 20 0 1 0 433308215 28823552 1111 33554432000 4194304 6211092 140728373326528 140728373324488 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1111 810 493 0 342 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4444 KiB

[startup+1.50029 s]
/proc/loadavg: 2.01 1.91 1.26 3/199 17363
/proc/meminfo: memFree=30699672/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4444 CPUtime=1.49 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1322 0 0 0 149 0 0 0 20 0 1 0 433308215 28823552 1111 33554432000 4194304 6211092 140728373326528 140728373324488 5017476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1111 810 493 0 342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4444 KiB

[startup+3.11023 s]
/proc/loadavg: 2.01 1.91 1.26 3/199 17363
/proc/meminfo: memFree=30699672/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=3.1 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1563 0 0 0 310 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+6.30028 s]
/proc/loadavg: 1.85 1.88 1.25 3/199 17363
/proc/meminfo: memFree=30699816/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=6.29 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1804 0 0 0 629 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 1.88 1.26 3/199 17363
/proc/meminfo: memFree=30699600/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=12.69 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 2045 0 0 0 1269 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017564 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.89 1.27 3/199 17363
/proc/meminfo: memFree=30699816/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=25.49 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 2515 0 0 0 2549 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+51.1103 s]
/proc/loadavg: 1.93 1.90 1.29 3/199 17366
/proc/meminfo: memFree=30699568/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=51.11 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 2768 0 0 0 5111 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.91 1.33 3/199 17371
/proc/meminfo: memFree=30699396/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=102.3 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3009 0 0 0 10230 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017499 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.93 1.37 3/199 17375
/proc/meminfo: memFree=30699096/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=162.31 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3250 0 0 0 16231 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397387 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.94 1.41 3/199 17381
/proc/meminfo: memFree=30699180/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=222.31 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3491 0 0 0 22231 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017566 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.95 1.44 3/199 17386
/proc/meminfo: memFree=30698792/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=282.32 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3491 0 0 0 28232 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.96 1.48 3/199 17390
/proc/meminfo: memFree=30698000/32770688 swapFree=66961172/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=342.32 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3732 0 0 0 34232 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5207518 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+402.3 s]
/proc/loadavg: 2.05 1.98 1.52 3/199 17403
/proc/meminfo: memFree=30697760/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=402.33 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3732 0 0 0 40233 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+462.3 s]
/proc/loadavg: 2.02 1.99 1.54 3/201 17431
/proc/meminfo: memFree=30696764/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=462.33 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3973 0 0 0 46233 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB


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

/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1602.43 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 1.89 3/201 17602
/proc/meminfo: memFree=30775276/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1662.44 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6371 0 0 0 166244 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1662.44 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 1.90 3/201 17669
/proc/meminfo: memFree=30575980/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1722.44 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6371 0 0 0 172244 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397387 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/202 17674
/proc/meminfo: memFree=30566920/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1782.45 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6612 0 0 0 178245 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1842.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/202 17680
/proc/meminfo: memFree=30563892/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1842.45 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6612 0 0 0 184245 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017569 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/200 17685
/proc/meminfo: memFree=30564024/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1902.46 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6841 0 0 0 190246 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017466 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/200 17689
/proc/meminfo: memFree=30564224/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1962.46 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6853 0 0 0 196246 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017221 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/200 17695
/proc/meminfo: memFree=30563660/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2022.47 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7082 0 0 0 202247 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/199 17700
/proc/meminfo: memFree=30563476/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2082.48 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7082 0 0 0 208248 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017564 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2082.48 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/199 17704
/proc/meminfo: memFree=30564312/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2142.48 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7323 0 0 0 214248 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017252 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 17718
/proc/meminfo: memFree=30563616/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2202.49 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7323 0 0 0 220249 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017466 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 17722
/proc/meminfo: memFree=30563816/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2262.49 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7552 0 0 0 226249 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 17726
/proc/meminfo: memFree=30563796/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2322.5 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7552 0 0 0 232250 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017540 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2322.5 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 17732
/proc/meminfo: memFree=30563248/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2382.5 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7793 0 0 0 238250 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017309 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 1.95 3/200 17732
/proc/meminfo: memFree=30563436/32770688 swapFree=66961176/67108860
[pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2400 cores=0-3
/proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7793 0 0 0 240000 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017386 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0
/proc/17362/statm: 7037 1160 853 493 0 342 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4640 KiB

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

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

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

Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.01
CPU user time (s): 2400.01
CPU system time (s): 0.006
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 28148
Max. memory (cumulated for all children) (KiB): 4640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.006
maximum resident set size= 4704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7831
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= 603


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.2666 second user time and 16.7208 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-15 20:53:44
IDJOB=4397403
IDBENCH=122171
IDSOLVER=2849
FILE ID=node116/4397403-1568573665
RUNJOBID= node116-1568572744-16757
PBS_JOBID= 21703332
Free space on /tmp= 61228 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Random/Random-RB-2-50-23/rand-2-50-23-587-230-39.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397403-1568573665/watcher-4397403-1568573665 -o /tmp/evaluation-result-4397403-1568573665/solver-4397403-1568573665 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397403-1568573665.xml

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

MD5SUM BENCH= 6ed171dcccdb92ebb130c3872609e61b
RANDOM SEED=2049076970

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        30700840 kB
MemAvailable:   31770808 kB
Buffers:          105632 kB
Cached:          1259076 kB
SwapCached:        46624 kB
Active:          1006048 kB
Inactive:         487688 kB
Active(anon):      83288 kB
Inactive(anon):    94984 kB
Active(file):     922760 kB
Inactive(file):   392704 kB
Unevictable:      110604 kB
Mlocked:          110604 kB
SwapTotal:      67108860 kB
SwapFree:       66961172 kB
Dirty:              3180 kB
Writeback:             0 kB
AnonPages:        196176 kB
Mapped:            47612 kB
Shmem:             40256 kB
Slab:             169512 kB
SReclaimable:     140680 kB
SUnreclaim:        28832 kB
KernelStack:        3632 kB
PageTables:         5712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     614320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 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:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61192 MiB
End job on node116 at 2019-09-15 21:33:44