Trace number 4408626

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.05 2400.11

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-40-3-5.xml
MD5SUMb9738aa7a21d23764c9c35483473acef
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 benchmark261.548
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":91}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":9},{"degree":1,"count":19},{"degree":2,"count":29},{"degree":3,"count":25},{"degree":4,"count":15},{"degree":6,"count":3}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":8},{"arity":5,"count":9},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":9}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 307         
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408626-1569797507.xml 
0.00/0.00	c ========================================[ Problem Statistics ]===========================================
0.00/0.00	c |                                                                                                       
0.00/0.00	c |  Parse time        :         0.01 s 
0.00/0.00	c |
0.00/0.00	c |               Variables: 100
0.00/0.00	c |            Domain Sizes: 28..28
0.00/0.00	c |
0.00/0.00	c |             Constraints: 40
0.00/0.00	c |                   Arity: 3..8  -- Ternary: 3
0.00/0.00	c | 
0.00/0.00	c |                   Types: 
0.00/0.00	c |                          Sum: 40
0.00/0.00	c |                          
0.00/0.00	c =========================================================================================================
0.00/0.00	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.00	c remove useless variable x[1]
0.00/0.00	c remove useless variable x[7]
0.00/0.00	c remove useless variable x[20]
0.00/0.00	c remove useless variable x[30]
0.00/0.00	c remove useless variable x[36]
0.00/0.00	c remove useless variable x[52]
0.00/0.00	c remove useless variable x[77]
0.00/0.00	c remove useless variable x[91]
0.00/0.00	c remove useless variable x[92]
0.00/0.01	c 101            217            3463           12279          30             0              2   61   36    
0.00/0.01	c 211            463            6614           21315          30             0              11   55   27   
0.00/0.02	c 332            720            11618          44700          30             0              22   47   36   
0.00/0.02	c 465            925            13799          56401          30             0              18   41   34   
0.00/0.02	c 611            1307           17399          80388          30             0              28   62   48   
0.00/0.03	c 771            1588           20389          102669         30             0              32   61   51   
0.00/0.03	c 947            1866           23921          126179         30             0              33   41   39   
0.00/0.04	c 1140           2201           27837          166764         30             0              24   43   28   
0.00/0.04	c 1352           2465           30518          184610         30             0              25   29   24   
0.00/0.04	c 1585           2866           34905          213521         30             0              14   65   52   
0.00/0.05	c 1841           3293           39102          245301         30             0              21   66   50   
0.00/0.06	c 2122           3804           44490          270591         30             0              19   59   49   
0.00/0.06	c 2431           4343           52064          306778         30             0              21   54   47   
0.00/0.07	c 2770           4984           60663          348201         30             0              24   46   39   
0.00/0.08	c 3142           5650           69187          389340         30             0              14   44   33   
0.00/0.09	c 3551           6349           79310          475344         30             0              30   62   48   
0.00/0.10	c 4000           7151           89132          517561         30             0              21   48   41   
0.10/0.11	c 4493           7943           100149         565154         30             0              22   52   36   
0.10/0.12	c 5035           8679           107313         611178         30             0              27   33   31   
0.10/0.13	c 5631           9649           118699         662520         30             0              27   53   43   
0.10/0.15	c 6286           10977          135184         769729         30             0              21   55   45   
0.10/0.17	c 7006           12228          146713         830618         30             0              32   59   44   
0.10/0.18	c 7798           13485          158529         934587         30             0              29   54   42   
0.10/0.20	c 8669           15050          174361         1009764        30             0              36   55   46   
0.21/0.22	c 9627           16543          195995         1143070        30             0              30   55   42   
0.21/0.24	c 10680          18649          215998         1259847        30             0              35   60   44   
0.21/0.27	c 11838          20723          237681         1392038        30             0              31   57   40   
0.21/0.29	c 13111          22947          263636         1527319        30             0              31   55   45   
0.31/0.33	c 14511          25018          301415         1715077        30             0              41   49   45   
0.31/0.37	c 16051          28090          333591         1868060        30             0              17   38   33   
0.31/0.40	c 17745          30627          368252         2069954        30             0              20   65   51   
0.41/0.44	c 19608          33443          405452         2246036        30             0              18   60   42   
0.41/0.50	c 21657          36486          458313         2523983        30             0              24   60   48   
0.51/0.53	c 23910          39527          489021         2665411        30             0              24   44   38   
0.51/0.57	c 26388          44399          533892         2922239        30             0              22   62   49   
0.60/0.63	c 29113          48737          586294         3229424        30             0              30   53   38   
0.60/0.69	c 32110          53376          652434         3486214        30             0              13   46   41   
0.69/0.76	c 35406          58374          713108         3873849        30             0              16   65   49   
0.79/0.84	c 39031          64441          796778         4339439        30             0              23   59   47   
0.89/0.93	c 43018          71493          883001         4753221        30             0              12   44   37   
0.89/1.00	c 47403          77725          958500         5084257        30             0              13   47   41   
1.00/1.08	c 52226          84115          1035683        5473945        30             0              14   46   42   
1.10/1.18	c 57531          90714          1125246        6058905        30             0              13   55   34   
1.29/1.34	c 63366          100161         1270407        6875882        30             0              22   60   42   
1.49/1.50	c 69784          112297         1433508        7760634        30             0              11   62   50   
1.59/1.62	c 76843          124296         1540739        8340146        30             0              26   62   42   
1.79/1.83	c 84607          137238         1746526        9367328        30             0              22   58   43   
1.89/1.97	c 93147          150584         1883098        10090728       30             0              25   60   42   
2.10/2.13	c 102541         164178         2044984        10873553       30             0              32   62   42   
2.29/2.38	c 112874         180647         2270174        12184209       30             0              24   62   43   
2.49/2.59	c 124240         201843         2487514        13253433       30             0              33   67   52   
2.79/2.84	c 136742         221633         2724080        14609679       30             0              25   61   46   
3.10/3.13	c 150494         248197         3006911        16239431       30             0              31   65   48   
3.39/3.43	c 165621         274902         3278852        17939492       30             0              16   60   45   
3.79/3.84	c 182260         303602         3670668        20008875       30             0              22   64   40   
4.10/4.15	c 200562         332634         4006455        21433868       30             0              29   60   43   
4.59/4.64	c 220694         366090         4429480        24124922       30             0              19   67   44   
5.00/5.05	c 242839         404037         4859181        25878855       30             0              22   54   41   
5.49/5.50	c 267198         442221         5292275        28260638       30             0              21   66   44   
5.89/5.98	c 293992         485260         5714243        31215455       30             0              26   63   41   
6.59/6.60	c 323465         531816         6348008        34071931       30             0              30   68   47   
7.19/7.28	c 355885         585249         6997507        37687475       30             0              26   66   47   
8.00/8.03	c 391547         637935         7789472        41045264       30             0              26   60   41   
8.79/8.84	c 430775         699727         8582652        45260172       30             0              25   54   38   
9.69/9.74	c 473925         760154         9496681        49583409       30             0              28   49   33   
10.69/10.72	c 521390         837884         10419839       54822299       30             0              29   57   40   
11.89/11.93	c 573601         927250         11490846       61394132       30             0              32   68   43   
13.19/13.28	c 631033         1020391        12750056       68700666       30             0              17   62   46   
14.19/14.28	c 694208         1118669        13774248       73897887       30             0              29   66   50   
15.59/15.60	c 763700         1227248        15090557       80754926       30             0              31   60   48   
17.10/17.19	c 840141         1339076        16680076       87849833       30             0              21   61   40   
19.69/19.76	c 924226         1458063        19132092       101760944      30             0              31   58   44   
21.59/21.61	c 1016719        1594184        20908556       111417184      30             0              21   64   38   
23.59/23.61	c 1118461        1783967        22901490       121263346      30             0              30   56   42   
25.79/25.84	c 1230377        1969743        25023101       132473738      30             0              30   58   40   
28.19/28.23	c 1353484        2149144        27402323       143676808      30             0              9   55   34    
30.69/30.74	c 1488901        2381909        29790764       157020298      30             0              19   60   34   
34.49/34.54	c 1637859        2578506        33116104       177363469      30             0              20   65   45   
37.79/37.82	c 1801712        2845510        36082741       194736652      30             0              21   65   45   
41.59/41.67	c 1981950        3133108        39225841       216832819      30             0              24   56   44   
46.19/46.22	c 2180211        3467828        43509516       239427569      30             0              16   55   35   
50.69/50.79	c 2398298        3835946        47409409       265156040      30             0              23   57   44   
55.89/55.93	c 2638193        4177029        52213900       289890215      30             0              16   66   37   
62.49/62.54	c 2902077        4595852        58641106       323851179      30             0              19   57   34   
71.10/71.15	c 3192349        4983417        65643729       369939697      30             0              15   66   47   
78.00/78.03	c 3511648        5493191        71590414       408266619      30             0              20   66   44   
85.69/85.77	c 3862876        6050072        78433602       449862018      30             0              18   66   44   
91.59/91.66	c 4249226        6615142        84333264       478824871      30             0              14   60   39   
102.00/102.08	c 4674211        7332958        94315815       534402438      30             0              20   60   35   
113.89/113.96	c 5141694        8089801        106231273      595478177      30             0              24   60   35   
126.59/126.65	c 5655925        8994346        118579312      657566421      30             0              22   60   37   
138.00/138.02	c 6221579        9840683        129405771      717151573      30             0              24   60   34   
149.49/149.51	c 6843798        10881123       140319863      775997111      30             0              20   66   44   
163.10/163.18	c 7528238        12044270       153978898      839672400      30             0              12   68   37   
179.00/179.07	c 8281122        13291616       167970222      928545390      30             0              23   67   40   
195.49/195.51	c 9109294        14569931       182704492      1019906739     30             0              26   66   38   
222.39/222.45	c 10020283       16090094       209325538      1144431340     30             0              23   57   33   
243.10/243.13	c 11022370       17521867       227924269      1250099685     30             0              17   66   44   
269.09/269.14	c 12124665       19520134       254007316      1376652358     30             0              26   66   37   
292.99/293.03	c 13337189       21741647       276581834      1497582693     30             0              27   66   40   
348.48/348.56	c 14670965       23885913       321232608      1799372771     30             0              21   68   46   
376.88/376.95	c 16138118       26429346       347473189      1957270719     30             0              17   59   43   
407.28/407.39	c 17751986       28891770       375462601      2123156463     30             0              19   67   43   
448.18/448.25	c 19527240       31944082       412474553      2336880928     30             0              17   60   43   
477.18/477.23	c 21480019       34626439       441070865      2483466326     30             0              17   65   32   
532.28/532.36	c 23628075       38280334       491939978      2781317695     30             0              13   69   40   
599.28/599.39	c 25990936       42371306       557523414      3085940944     30             0              26   61   41   
656.78/656.84	c 28590083       46508857       610570276      3373002101     30             0              31   65   44   
723.47/723.52	c 31449144       50773351       672995756      3723362120     30             0              20   67   37   
795.67/795.77	c 34594111       56308854       743096099      4071520138     30             0              29   62   41   
878.47/878.53	c 38053574       61816521       817677256      4504041923     30             0              20   68   42   
978.98/979.01	c 41858983       68846850       914392390      5034522123     30             0              19   68   37   
1092.36/1092.48	c 46044932       75920189       1025101529     5597987813     30             0              21   67   37   
1206.07/1206.15	c 50649475       84054786       1141402083     6151787166     30             0              20   65   35   
1346.16/1346.26	c 55714472       92017365       1263731369     6899447984     30             0              28   68   42   
1496.96/1497.03	c 61285968       100691560      1413752649     7614615000     30             0              22   65   37   
1608.06/1608.18	c 67414613       110864566      1521005416     8189994092     30             0              24   69   48   
1823.95/1824.07	c 74156122       121272719      1705222630     9351273603     30             0              33   66   46   
1973.84/1973.94	c 81571781       133108167      1843135809     10137921923    30             0              34   70   48   
2123.54/2123.64	c 89729005       147052761      1980846206     10907928070    30             0              16   69   40   
2296.63/2296.70	c 98701951       162013674      2135395533     11835232315    30             0              22   69   46   
2400.04/2400.10	
2400.04/2400.10	c *** INTERRUPTED ***
2400.04/2400.10	c restarts              : 121         
2400.04/2400.10	c conflicts             : 103556322    (43148 /sec)
2400.04/2400.10	c decisions             : 169261702    (70524 /sec)
2400.04/2400.10	c propagations          : 12356023494 (5148253 /sec)
2400.04/2400.10	c root propagations     : 307         
2400.04/2400.10	c filter calls          : 2235813744     (931573 /sec)
2400.04/2400.10	c useless filter calls  : 941816206      (42 %)
2400.04/2400.10	c Memory used           : 26.72 MB
2400.04/2400.10	c CPU time              : 2400.04 s
2400.04/2400.10	c real time             : 2400.11 s
2400.04/2400.10	
2400.04/2400.10	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 (15313 MiB free)
  memory of node 1: 16384 MiB (15600 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408626-1569797507/watcher-4408626-1569797507 -o /tmp/evaluation-result-4408626-1569797507/solver-4408626-1569797507 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17163 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408626-1569797507.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=19717, runsolver pid=19714
Current StackSize limit: 8192 KiB


[startup+0.100195 s]*
/proc/loadavg: 2.10 2.10 2.10 3/199 19718
/proc/meminfo: memFree=31656124/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3984 CPUtime=0.1 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1161 0 0 0 10 0 0 0 20 0 1 0 556003774 28012544 996 33554432000 4194304 6211132 140731189161504 140731189158040 5008852 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 996 876 493 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+0.209398 s]*
/proc/loadavg: 2.10 2.10 2.10 3/199 19718
/proc/meminfo: memFree=31656124/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3984 CPUtime=0.21 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1161 0 0 0 21 0 0 0 20 0 1 0 556003774 28012544 996 33554432000 4194304 6211132 140731189161504 140731189158040 5149721 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 996 876 493 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+0.309012 s]*
/proc/loadavg: 2.10 2.10 2.10 3/199 19718
/proc/meminfo: memFree=31656124/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3984 CPUtime=0.31 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1161 0 0 0 31 0 0 0 20 0 1 0 556003774 28012544 996 33554432000 4194304 6211132 140731189161504 140731189158040 5149240 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 996 876 493 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+0.700333 s]
/proc/loadavg: 2.10 2.10 2.10 3/199 19718
/proc/meminfo: memFree=31656124/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3984 CPUtime=0.69 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1161 0 0 0 69 0 0 0 20 0 1 0 556003774 28012544 996 33554432000 4194304 6211132 140731189161504 140731189158040 5149786 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 996 876 493 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+1.50033 s]
/proc/loadavg: 2.10 2.10 2.10 3/199 19718
/proc/meminfo: memFree=31656140/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3984 CPUtime=1.49 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1161 0 0 0 149 0 0 0 20 0 1 0 556003774 28012544 996 33554432000 4194304 6211132 140731189161504 140731189159464 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 996 876 493 0 144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+3.10899 s]
/proc/loadavg: 2.10 2.10 2.10 3/199 19718
/proc/meminfo: memFree=31655740/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3984 CPUtime=3.1 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1220 0 0 0 310 0 0 0 20 0 1 0 556003774 28012544 996 33554432000 4194304 6211132 140731189161504 140731189159464 5149019 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 996 876 493 0 144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3984 KiB

[startup+6.30033 s]
/proc/loadavg: 1.93 2.07 2.09 3/199 19718
/proc/meminfo: memFree=31655852/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=6.29 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1279 0 0 0 629 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149714 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 2.07 2.09 3/199 19718
/proc/meminfo: memFree=31655960/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=12.69 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1338 0 0 0 1269 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 2.06 2.09 3/199 19718
/proc/meminfo: memFree=31655496/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=25.49 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1456 0 0 0 2549 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+51.109 s]
/proc/loadavg: 1.97 2.06 2.08 3/199 19721
/proc/meminfo: memFree=31654364/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=51.1 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1515 0 0 0 5110 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5390019 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 2.05 2.08 3/199 19724
/proc/meminfo: memFree=31654648/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=102.29 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1574 0 0 0 10229 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149195 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.04 2.07 3/199 19728
/proc/meminfo: memFree=31654184/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=162.29 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1633 0 0 0 16229 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5397419 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/199 19734
/proc/meminfo: memFree=31653880/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=222.29 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1692 0 0 0 22229 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149669 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/199 19739
/proc/meminfo: memFree=31653676/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=282.29 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1751 0 0 0 28229 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149714 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/199 19743
/proc/meminfo: memFree=31653980/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=342.28 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1797 0 0 0 34228 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149924 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 19749
/proc/meminfo: memFree=31653256/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=402.28 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1869 0 0 0 40228 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5148730 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 19754
/proc/meminfo: memFree=31652352/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=462.28 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 1928 0 0 0 46228 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5148979 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB


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

/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 19893
/proc/meminfo: memFree=31651716/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=1722.25 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3050 0 0 0 172225 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5150080 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 19905
/proc/meminfo: memFree=31650572/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=1782.25 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3096 0 0 0 178225 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19911
/proc/meminfo: memFree=31651336/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=1842.24 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3155 0 0 0 184224 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5150633 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1842.24 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19915
/proc/meminfo: memFree=31651804/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=1902.24 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3205 0 0 0 190224 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149737 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1902.24 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 19919
/proc/meminfo: memFree=31651480/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=1962.24 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3251 0 0 0 196224 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 19925
/proc/meminfo: memFree=31651504/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2022.24 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3310 0 0 0 202224 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149680 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 19930
/proc/meminfo: memFree=31651300/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2082.24 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3356 0 0 0 208224 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5193760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19934
/proc/meminfo: memFree=31650872/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2142.23 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3415 0 0 0 214223 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5149266 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19940
/proc/meminfo: memFree=31651080/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2202.23 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3461 0 0 0 220223 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5150929 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19945
/proc/meminfo: memFree=31652120/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2262.23 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3507 0 0 0 226223 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5148711 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 19949
/proc/meminfo: memFree=31651708/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2322.23 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3566 0 0 0 232223 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5186260 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2322.23 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19963
/proc/meminfo: memFree=31650948/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2382.23 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3612 0 0 0 238223 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5389851 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2382.23 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.15 2.05 2.06 3/200 20025
/proc/meminfo: memFree=31650720/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2400.04 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3658 0 0 0 240004 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5148916 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

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

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

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

[startup+2400.11 s]
/proc/loadavg: 2.15 2.05 2.06 3/200 20025
/proc/meminfo: memFree=31650720/32770624 swapFree=66999256/67108860
[pid=19717] ppid=19714 vsize=27356 memory=3992 CPUtime=2400.04 cores=0,2,4,6
/proc/19717/stat : 19717 (cosoco) R 19714 19717 17132 0 -1 4202496 3658 0 0 0 240004 0 0 0 20 0 1 0 556003774 28012544 998 33554432000 4194304 6211132 140731189161504 140731189159464 5148916 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 32624640 140731189163019 140731189163121 140731189163121 140731189166030 0
/proc/19717/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.05
CPU user time (s): 2400.04
CPU system time (s): 0.004999
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 27356
Max. memory (cumulated for all children) (KiB): 3992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.004999
maximum resident set size= 4056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3707
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= 6
involuntary context switches= 603


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.99863 second user time and 16.1387 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-30 00:50:48
IDJOB=4408626
IDBENCH=133440
IDSOLVER=2875
FILE ID=node103/4408626-1569797507
RUNJOBID= node103-1569787336-17163
PBS_JOBID= 21705840
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-3-5.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408626-1569797507/watcher-4408626-1569797507 -o /tmp/evaluation-result-4408626-1569797507/solver-4408626-1569797507 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569787336-17163 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408626-1569797507.xml

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

MD5SUM BENCH= b9738aa7a21d23764c9c35483473acef
RANDOM SEED=1292163238

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.74
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:        31655868 kB
MemAvailable:   31872696 kB
Buffers:          164096 kB
Cached:           397728 kB
SwapCached:         7000 kB
Active:           332276 kB
Inactive:         244788 kB
Active(anon):      22704 kB
Inactive(anon):    74928 kB
Active(file):     309572 kB
Inactive(file):   169860 kB
Unevictable:      107020 kB
Mlocked:          107020 kB
SwapTotal:      67108860 kB
SwapFree:       66999256 kB
Dirty:              2952 kB
Writeback:             0 kB
AnonPages:        116732 kB
Mapped:            28184 kB
Shmem:             73656 kB
Slab:             135356 kB
SReclaimable:     106460 kB
SUnreclaim:        28896 kB
KernelStack:        3488 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     568772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62024 MiB
End job on node103 at 2019-09-30 01:30:48