Trace number 4390123

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2? (TO) 2400.04 2400.2

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.18	c root propagations     : 0           
0.10/0.18	c restarts enabled, print stats at every restarts
0.10/0.18	c
0.10/0.18	c
0.10/0.18	c
0.10/0.18	c This is cosoco 2.00 --  
0.10/0.18	c
0.10/0.18	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390123-1568328913.xml 
0.10/0.18	c ========================================[ Problem Statistics ]===========================================
0.10/0.18	c |                                                                                                       
0.10/0.18	c |  Parse time        :         0.18 s 
0.10/0.18	c |
0.10/0.18	c |               Variables: 50
0.10/0.18	c |            Domain Sizes: 23..23
0.10/0.18	c |
0.10/0.18	c |             Constraints: 462
0.10/0.18	c |                   Arity: 2..2  -- Binary: 462
0.10/0.18	c | 
0.10/0.18	c |                   Types: 
0.10/0.18	c |                          Extension: 462  (nb tuples: 121..254) -- (shared: 0)
0.10/0.18	c |                          
0.10/0.18	c =========================================================================================================
0.10/0.18	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.10/0.19	c 101            215            71367          24088          0              0              8   16   11    
0.10/0.20	c 211            485            156232         52523          0              0              7   16   11    
0.10/0.21	c 332            853            260734         85751          0              0              8   17   11    
0.21/0.22	c 465            1250           371926         120942         0              0              7   15   12    
0.21/0.24	c 611            1660           495319         163880         0              0              8   16   12    
0.21/0.25	c 771            2053           617503         204941         0              0              8   15   11    
0.21/0.27	c 947            2529           756893         247933         0              0              8   17   12    
0.21/0.28	c 1140           2994           895377         288656         0              0              10   17   12   
0.21/0.31	c 1352           3623           1076726        353756         0              0              7   16   10    
0.31/0.33	c 1585           4348           1268964        411350         0              0              8   19   13    
0.31/0.35	c 1841           5043           1471299        481018         0              0              7   17   11    
0.31/0.38	c 2122           5825           1701897        564443         0              0              6   16   11    
0.31/0.41	c 2431           6725           1955192        638821         0              0              8   18   12    
0.41/0.44	c 2770           7654           2233658        734075         0              0              7   16   11    
0.41/0.49	c 3142           8826           2567317        845324         0              0              7   17   11    
0.51/0.53	c 3551           9938           2914586        968025         0              0              7   18   11    
0.51/0.57	c 4000           10978          3241440        1075387        0              0              9   16   12    
0.60/0.61	c 4493           12331          3617722        1190600        0              0              9   18   13    
0.60/0.66	c 5035           13980          4064983        1326280        0              0              7   18   12    
0.69/0.71	c 5631           15638          4524303        1467314        0              0              8   18   12    
0.69/0.77	c 6286           17459          5021427        1626218        0              0              8   18   12    
0.79/0.83	c 7006           19250          5563847        1814370        0              0              6   16   10    
0.89/0.90	c 7798           21372          6187324        2011574        0              0              9   18   13    
0.89/0.99	c 8669           23686          6879417        2232389        0              0              8   18   12    
1.00/1.07	c 9627           26296          7623630        2476186        0              0              8   19   12    
1.10/1.18	c 10680          29049          8472538        2771893        0              0              8   18   11    
1.19/1.29	c 11838          32032          9365022        3089722        0              0              7   18   11    
1.39/1.40	c 13111          35609          10363623       3397008        0              0              8   19   13    
1.49/1.53	c 14511          39499          11485844       3744320        0              0              8   19   12    
1.59/1.67	c 16051          43684          12703118       4139939        0              0              8   19   13    
1.79/1.82	c 17745          48319          14051306       4564090        0              0              8   19   12    
1.89/2.00	c 19608          53735          15578552       5058036        0              0              7   20   12    
2.19/2.21	c 21657          59559          17247130       5656021        0              0              6   18   12    
2.39/2.42	c 23910          66033          19091450       6246730        0              0              6   19   11    
2.59/2.67	c 26388          72768          21145219       6944828        0              0              7   18   11    
2.89/2.91	c 29113          79684          23171286       7600143        0              0              7   17   12    
3.19/3.20	c 32110          88195          25607868       8400793        0              0              6   18   11    
3.49/3.52	c 35406          97459          28350899       9297205        0              0              7   22   12    
3.79/3.86	c 39031          107762         31218011       10265175       0              0              6   20   12    
4.19/4.28	c 43018          119180         34561750       11461077       0              0              6   17   11    
4.69/4.73	c 47403          131938         38243212       12756429       0              0              6   19   11    
5.10/5.20	c 52226          145143         42156731       14038331       0              0              7   18   12    
5.59/5.67	c 57531          159406         46299851       15332945       0              0              6   18   12    
6.19/6.20	c 63366          175889         50985075       16814646       0              0              7   20   12    
6.69/6.74	c 69784          192844         55786350       18319345       0              0              8   20   13    
7.39/7.43	c 76843          214092         61666611       20269521       0              0              7   21   13    
8.10/8.14	c 84607          236884         68046058       22216426       0              0              7   19   13    
8.89/8.95	c 93147          260257         74825515       24450923       0              0              6   19   11    
9.79/9.84	c 102541         286025         82345208       26951397       0              0              6   21   12    
10.79/10.83	c 112874         315735         90881997       29676823       0              0              6   20   13    
11.79/11.85	c 124240         347257         99780037       32490527       0              0              5   19   12    
13.00/13.03	c 136742         382313         109821696      35823190       0              0              5   19   11    
14.29/14.35	c 150494         420123         120822781      39531437       0              0              5   21   11    
15.79/15.85	c 165621         463185         133321655      43743316       0              0              6   21   11    
17.39/17.42	c 182260         509419         146697205      48111441       0              0              6   19   12    
19.19/19.20	c 200562         560445         161565209      53115002       0              0              6   21   12    
21.00/21.08	c 220694         615741         177775266      58339911       0              0              6   19   11    
23.10/23.19	c 242839         677398         195405631      64303170       0              0              5   20   12    
25.49/25.50	c 267198         743912         215132957      70676389       0              0              6   20   12    
28.00/28.07	c 293992         820723         236937870      77863868       0              0              5   20   11    
30.79/30.80	c 323465         904410         260662462      85332060       0              0              5   20   12    
33.89/33.92	c 355885         992371         286868300      94040979       0              0              7   21   12    
37.29/37.38	c 391547         1097210        316924587      103544250      0              0              5   21   12    
41.10/41.12	c 430775         1210772        349392624      113861898      0              0              5   21   13    
45.19/45.23	c 473925         1328087        384053303      125380050      0              0              5   19   12    
49.79/49.81	c 521390         1452630        422294119      138054479      0              0              5   20   10    
54.79/54.81	c 573601         1601640        465484297      151819583      0              0              5   22   12    
59.89/59.99	c 631033         1762318        511382114      166115877      0              0              5   21   12    
65.79/65.80	c 694208         1939578        562071085      182088563      0              0              4   22   12    
72.39/72.45	c 763700         2142397        619003921      200499722      0              0              5   20   12    
79.89/79.98	c 840141         2354187        681004224      221943953      0              0              5   22   11    
87.89/87.93	c 924226         2596785        748982427      243885831      0              0              4   23   12    
97.09/97.13	c 1016719        2860206        824768837      269738463      0              0              4   21   12    
107.09/107.11	c 1118461        3145294        908410467      297625703      0              0              5   20   11    
117.58/117.66	c 1230377        3466538        1000240928     326243156      0              0              4   21   12    
128.68/128.76	c 1353484        3812317        1098299639     356704114      0              0              6   22   12    
140.99/141.05	c 1488901        4183454        1204406735     390997154      0              0              5   22   12    
154.78/154.83	c 1637859        4629462        1326079075     428665654      0              0              4   24   12    
170.68/170.72	c 1801712        5089417        1460192900     472320460      0              0              5   21   11    
188.68/188.77	c 1981950        5616067        1610725101     523098635      0              0              4   22   11    
207.28/207.33	c 2180211        6170323        1767859155     574734103      0              0              5   21   12    
228.68/228.73	c 2398298        6755113        1944697948     634423570      0              0              5   20   11    
251.77/251.80	c 2638193        7410559        2137768537     698527742      0              0              5   22   12    
278.17/278.26	c 2902077        8170937        2356208854     774133640      0              0              5   22   11    
304.98/305.10	c 3192349        8987360        2591403806     847402669      0              0              5   22   12    
333.98/334.03	c 3511648        9921307        2848623575     926873876      0              0              4   24   13    
365.77/365.89	c 3862876        10901076       3131009006     1013310921     0              0              6   22   13    
403.46/403.56	c 4249226        12019679       3448695235     1119929663     0              0              4   22   11    
442.66/442.79	c 4674211        13208783       3791805767     1227140350     0              0              5   24   12    
486.76/486.82	c 5141694        14544990       4170266256     1350572010     0              0              4   23   12    
535.86/535.97	c 5655925        15967457       4586361944     1486856798     0              0              4   22   12    
591.75/591.80	c 6221579        17604656       5055427094     1644417597     0              0              5   24   12    
648.15/648.26	c 6843798        19387452       5555106592     1798717092     0              0              4   24   12    
712.84/712.96	c 7528238        21362234       6108557411     1981352123     0              0              4   22   12    
787.74/787.85	c 8281122        23537505       6733130967     2187313858     0              0              4   23   12    
869.33/869.45	c 9109294        25812711       7414073101     2413300808     0              0              4   22   11    
957.94/958.09	c 10020283       28341842       8151134511     2663168256     0              0              3   22   11    
1055.32/1055.48	c 11022370       31110549       8971046281     2933068015     0              0              4   21   11    
1160.51/1160.63	c 12124665       34208245       9872122704     3224092281     0              0              4   24   12    
1278.30/1278.44	c 13337189       37759480       10871832306    3552207896     0              0              3   24   12    
1404.90/1405.03	c 14670965       41559666       11967183262    3897736150     0              0              4   22   12    
1550.68/1550.86	c 16138118       45506310       13156315265    4306613512     0              0              4   23   11    
1711.88/1712.03	c 17751986       50314069       14510748019    4755895519     0              0              3   23   12    
1888.46/1888.69	c 19527240       55413044       15987146873    5243853610     0              0              4   23   12    
2082.25/2082.47	c 21480019       61126670       17610712080    5788084349     0              0              3   24   12    
2292.64/2292.85	c 23628075       67339142       19371323612    6375302746     0              0              3   23   12    
2400.03/2400.20	
2400.03/2400.20	c *** INTERRUPTED ***
2400.03/2400.20	c restarts              : 106         
2400.03/2400.20	c conflicts             : 24750799     (10313 /sec)
2400.03/2400.20	c decisions             : 70573956     (29405 /sec)
2400.03/2400.20	c propagations          : 6670569579  (2779366 /sec)
2400.03/2400.20	c root propagations     : 0           
2400.03/2400.20	c filter calls          : 20297709578    (8457262 /sec)
2400.03/2400.20	c useless filter calls  : 16559666980    (81 %)
2400.03/2400.20	c Memory used           : 27.49 MB
2400.03/2400.20	c CPU time              : 2400.03 s
2400.03/2400.20	c real time             : 2400.2 s
2400.03/2400.20	
2400.03/2400.20	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 (9208 MiB free)
  memory of node 1: 16384 MiB (15332 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390123-1568328913/watcher-4390123-1568328913 -o /tmp/evaluation-result-4390123-1568328913/solver-4390123-1568328913 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25084 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390123-1568328913.xml 

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

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


[startup+0.100199 s]*
/proc/loadavg: 2.01 2.01 2.05 3/200 26250
/proc/meminfo: memFree=25128952/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=27756 memory=4044 CPUtime=0.1 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 1174 0 0 0 10 0 0 0 20 0 1 0 409148617 28422144 1011 33554432000 4194304 6210612 140736494840000 140736494836536 140115775485056 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 6939 1011 807 493 0 244 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27756 KiB
Current children cumulated memory: 4044 KiB

[startup+0.209585 s]*
/proc/loadavg: 2.01 2.01 2.05 3/200 26250
/proc/meminfo: memFree=25128688/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4432 CPUtime=0.21 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 1317 0 0 0 21 0 0 0 20 0 1 0 409148617 28823552 1108 33554432000 4194304 6210612 140736494840000 140736494836536 5016997 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1108 807 493 0 342 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4432 KiB

[startup+0.309411 s]*
/proc/loadavg: 2.01 2.01 2.05 3/200 26250
/proc/meminfo: memFree=25128688/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4432 CPUtime=0.31 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 1317 0 0 0 31 0 0 0 20 0 1 0 409148617 28823552 1108 33554432000 4194304 6210612 140736494840000 140736494836536 5017123 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1108 807 493 0 342 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4432 KiB

[startup+0.700331 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 26250
/proc/meminfo: memFree=25128688/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4432 CPUtime=0.69 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 1317 0 0 0 69 0 0 0 20 0 1 0 409148617 28823552 1108 33554432000 4194304 6210612 140736494840000 140736494837960 5185949 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1108 807 493 0 342 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4432 KiB

[startup+1.50035 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 26250
/proc/meminfo: memFree=25128100/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4432 CPUtime=1.49 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 1317 0 0 0 149 0 0 0 20 0 1 0 409148617 28823552 1108 33554432000 4194304 6210612 140736494840000 140736494837960 5017005 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1108 807 493 0 342 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4432 KiB

[startup+3.10913 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 26250
/proc/meminfo: memFree=25128352/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=3.1 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 1559 0 0 0 310 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017196 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+6.30034 s]
/proc/loadavg: 2.01 2.01 2.05 3/198 26250
/proc/meminfo: memFree=25128256/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=6.29 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 1801 0 0 0 629 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5397215 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26250
/proc/meminfo: memFree=25128380/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=12.69 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 2043 0 0 0 1269 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5389712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26251
/proc/meminfo: memFree=25128152/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=25.49 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 2527 0 0 0 2549 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017244 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26253
/proc/meminfo: memFree=25127684/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=51.1 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 2769 0 0 0 5110 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5016997 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26258
/proc/meminfo: memFree=25127620/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=102.29 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 3011 0 0 0 10229 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5397301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 26262
/proc/meminfo: memFree=25127308/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=162.28 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 3253 0 0 0 16228 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017184 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+222.3 s]
/proc/loadavg: 2.29 2.08 2.07 3/199 26266
/proc/meminfo: memFree=25127320/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=222.28 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 3495 0 0 0 22228 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5016924 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+282.3 s]
/proc/loadavg: 2.29 2.14 2.09 3/199 26272
/proc/meminfo: memFree=25126616/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=282.27 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 3737 0 0 0 28227 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5016906 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+342.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/199 26283
/proc/meminfo: memFree=25126956/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=342.27 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 3979 0 0 0 34227 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017072 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+402.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/198 26287
/proc/meminfo: memFree=25126660/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=402.26 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 4221 0 0 0 40226 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5008448 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/198 26293
/proc/meminfo: memFree=25127240/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=462.26 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 4463 0 0 0 46226 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017196 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB


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

/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 1602.18 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/198 26504
/proc/meminfo: memFree=25146532/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=1662.18 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 9199 0 0 0 166218 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017113 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 1662.18 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/198 26510
/proc/meminfo: memFree=25145372/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=1722.17 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 9441 0 0 0 172217 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017249 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 1722.17 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 26514
/proc/meminfo: memFree=25145464/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=1782.17 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 9670 0 0 0 178217 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5016959 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/198 26518
/proc/meminfo: memFree=25145932/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=1842.17 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 9899 0 0 0 184217 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5397280 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26524
/proc/meminfo: memFree=25146136/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=1902.16 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 10141 0 0 0 190216 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017094 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 1902.16 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26528
/proc/meminfo: memFree=25144616/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=1962.16 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 10370 0 0 0 196216 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017076 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26532
/proc/meminfo: memFree=25144596/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=2022.15 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 10599 0 0 0 202215 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5192912 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 2022.15 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26538
/proc/meminfo: memFree=25145424/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=2082.15 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 10828 0 0 0 208215 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017328 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26549
/proc/meminfo: memFree=25144544/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=2142.15 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 11070 0 0 0 214215 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5016884 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26553
/proc/meminfo: memFree=25145568/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=2202.14 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 11299 0 0 0 220214 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5389264 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 2202.14 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26559
/proc/meminfo: memFree=25144808/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=2262.14 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 11528 0 0 0 226214 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5016899 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26563
/proc/meminfo: memFree=25144936/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=2322.13 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 11770 0 0 0 232213 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5389284 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 2322.13 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26567
/proc/meminfo: memFree=25145108/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=2382.13 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 11998 0 0 0 238213 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017113 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 2382.13 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 26569
/proc/meminfo: memFree=25144680/32770624 swapFree=66977612/67108860
[pid=26249] ppid=26246 vsize=28148 memory=4620 CPUtime=2400.03 cores=0,2,4,6
/proc/26249/stat : 26249 (cosoco) R 26246 26249 25053 0 -1 4202496 12226 0 0 0 240003 0 0 0 20 0 1 0 409148617 28823552 1155 33554432000 4194304 6210612 140736494840000 140736494837960 5017201 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39370752 140736494846987 140736494847089 140736494847089 140736494849998 0
/proc/26249/statm: 7037 1155 849 493 0 342 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 28148 KiB
Current children cumulated memory: 4620 KiB

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

[startup+2400.2 s]
# the end of solver process 26249 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.03 s, system=0.004999 s

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

Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.004999
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 28148
Max. memory (cumulated for all children) (KiB): 4620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.004999
maximum resident set size= 4688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12276
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= 602


# summary of solver processes directly reported to runsolver:
#   pid: 26249
#   total CPU time (s): 2400.04
#   total CPU user time (s): 2400.03
#   total CPU system time (s): 0.004999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.97146 second user time and 16.5202 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-12 23:44:56
IDJOB=4390123
IDBENCH=122171
IDSOLVER=2830
FILE ID=node104/4390123-1568328913
RUNJOBID= node104-1568318532-25084
PBS_JOBID= 21701142
Free space on /tmp= 56572 MiB

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

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

MD5SUM BENCH= 6ed171dcccdb92ebb130c3872609e61b
RANDOM SEED=1372541582

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25129348 kB
MemAvailable:   31780564 kB
Buffers:          131004 kB
Cached:          6733580 kB
SwapCached:        31864 kB
Active:          1812172 kB
Inactive:        5138524 kB
Active(anon):      52640 kB
Inactive(anon):    74768 kB
Active(file):    1759532 kB
Inactive(file):  5063756 kB
Unevictable:      107804 kB
Mlocked:          107804 kB
SwapTotal:      67108860 kB
SwapFree:       66977612 kB
Dirty:              3084 kB
Writeback:             0 kB
AnonPages:        175756 kB
Mapped:            44616 kB
Shmem:             32780 kB
Slab:             286168 kB
SReclaimable:     256388 kB
SUnreclaim:        29780 kB
KernelStack:        3776 kB
PageTables:         5696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     568196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56568 MiB
End job on node104 at 2019-09-13 00:24:57