Trace number 4408121

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

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 benchmark33.4427
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-4408121-1569800916.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.16	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.36	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.52	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.61	c 76843          124296         1540739        8340146        30             0              26   62   42   
1.79/1.82	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.58	c 124240         201843         2487514        13253433       30             0              33   67   52   
2.79/2.83	c 136742         221633         2724080        14609679       30             0              25   61   46   
3.10/3.12	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.83	c 182260         303602         3670668        20008875       30             0              22   64   40   
4.10/4.14	c 200562         332634         4006455        21433868       30             0              29   60   43   
4.59/4.63	c 220694         366090         4429480        24124922       30             0              19   67   44   
5.00/5.04	c 242839         404037         4859181        25878855       30             0              22   54   41   
5.39/5.49	c 267198         442221         5292275        28260638       30             0              21   66   44   
5.89/5.96	c 293992         485260         5714243        31215455       30             0              26   63   41   
6.49/6.59	c 323465         531816         6348008        34071931       30             0              30   68   47   
7.19/7.26	c 355885         585249         6997507        37687475       30             0              26   66   47   
8.00/8.01	c 391547         637935         7789472        41045264       30             0              26   60   41   
8.79/8.82	c 430775         699727         8582652        45260172       30             0              25   54   38   
9.69/9.71	c 473925         760154         9496681        49583409       30             0              28   49   33   
10.59/10.69	c 521390         837884         10419839       54822299       30             0              29   57   40   
11.89/11.90	c 573601         927250         11490846       61394132       30             0              32   68   43   
13.19/13.25	c 631033         1020391        12750056       68700666       30             0              17   62   46   
14.19/14.25	c 694208         1118669        13774248       73897887       30             0              29   66   50   
15.49/15.56	c 763700         1227248        15090557       80754926       30             0              31   60   48   
17.10/17.15	c 840141         1339076        16680076       87849833       30             0              21   61   40   
19.69/19.72	c 924226         1458063        19132092       101760944      30             0              31   58   44   
21.49/21.56	c 1016719        1594184        20908556       111417184      30             0              21   64   38   
23.49/23.56	c 1118461        1783967        22901490       121263346      30             0              30   56   42   
25.69/25.78	c 1230377        1969743        25023101       132473738      30             0              30   58   40   
28.10/28.16	c 1353484        2149144        27402323       143676808      30             0              9   55   34    
30.59/30.67	c 1488901        2381909        29790764       157020298      30             0              19   60   34   
34.39/34.47	c 1637859        2578506        33116104       177363469      30             0              20   65   45   
37.69/37.74	c 1801712        2845510        36082741       194736652      30             0              21   65   45   
41.49/41.58	c 1981950        3133108        39225841       216832819      30             0              24   56   44   
46.10/46.12	c 2180211        3467828        43509516       239427569      30             0              16   55   35   
50.59/50.69	c 2398298        3835946        47409409       265156040      30             0              23   57   44   
55.79/55.81	c 2638193        4177029        52213900       289890215      30             0              16   66   37   
62.40/62.40	c 2902077        4595852        58641106       323851179      30             0              19   57   34   
70.90/71.00	c 3192349        4983417        65643729       369939697      30             0              15   66   47   
77.80/77.87	c 3511648        5493191        71590414       408266619      30             0              20   66   44   
85.60/85.60	c 3862876        6050072        78433602       449862018      30             0              18   66   44   
91.40/91.48	c 4249226        6615142        84333264       478824871      30             0              14   60   39   
101.80/101.87	c 4674211        7332958        94315815       534402438      30             0              20   60   35   
113.70/113.73	c 5141694        8089801        106231273      595478177      30             0              24   60   35   
126.40/126.41	c 5655925        8994346        118579312      657566421      30             0              22   60   37   
137.70/137.75	c 6221579        9840683        129405771      717151573      30             0              24   60   34   
149.20/149.23	c 6843798        10881123       140319863      775997111      30             0              20   66   44   
162.80/162.86	c 7528238        12044270       153978898      839672400      30             0              12   68   37   
178.70/178.75	c 8281122        13291616       167970222      928545390      30             0              23   67   40   
195.20/195.20	c 9109294        14569931       182704492      1019906739     30             0              26   66   38   
222.01/222.09	c 10020283       16090094       209325538      1144431340     30             0              23   57   33   
242.70/242.73	c 11022370       17521867       227924269      1250099685     30             0              17   66   44   
268.70/268.71	c 12124665       19520134       254007316      1376652358     30             0              26   66   37   
292.50/292.57	c 13337189       21741647       276581834      1497582693     30             0              27   66   40   
348.01/348.04	c 14670965       23885913       321232608      1799372771     30             0              21   68   46   
376.30/376.38	c 16138118       26429346       347473189      1957270719     30             0              17   59   43   
406.70/406.75	c 17751986       28891770       375462601      2123156463     30             0              19   67   43   
447.50/447.59	c 19527240       31944082       412474553      2336880928     30             0              17   60   43   
476.50/476.54	c 21480019       34626439       441070865      2483466326     30             0              17   65   32   
531.60/531.64	c 23628075       38280334       491939978      2781317695     30             0              13   69   40   
598.60/598.61	c 25990936       42371306       557523414      3085940944     30             0              26   61   41   
655.90/655.99	c 28590083       46508857       610570276      3373002101     30             0              31   65   44   
722.51/722.55	c 31449144       50773351       672995756      3723362120     30             0              20   67   37   
794.61/794.68	c 34594111       56308854       743096099      4071520138     30             0              29   62   41   
877.21/877.29	c 38053574       61816521       817677256      4504041923     30             0              20   68   42   
977.61/977.67	c 41858983       68846850       914392390      5034522123     30             0              19   68   37   
1090.91/1091.00	c 46044932       75920189       1025101529     5597987813     30             0              21   67   37   
1204.51/1204.51	c 50649475       84054786       1141402083     6151787166     30             0              20   65   35   
1344.41/1344.46	c 55714472       92017365       1263731369     6899447984     30             0              28   68   42   
1495.02/1495.06	c 61285968       100691560      1413752649     7614615000     30             0              22   65   37   
1605.92/1605.96	c 67414613       110864566      1521005416     8189994092     30             0              24   69   48   
1821.72/1821.74	c 74156122       121272719      1705222630     9351273603     30             0              33   66   46   
1971.32/1971.34	c 81571781       133108167      1843135809     10137921923    30             0              34   70   48   
2120.62/2120.69	c 89729005       147052761      1980846206     10907928070    30             0              16   69   40   
2293.53/2293.50	c 98701951       162013674      2135395533     11835232315    30             0              22   69   46   
2503.53/2503.58	c 108572191      176766173      2339556185     12899628995    30             0              24   68   35   
2520.04/2520.00	
2520.04/2520.00	c *** INTERRUPTED ***
2520.04/2520.00	c restarts              : 122         
2520.04/2520.00	c conflicts             : 109419759    (43420 /sec)
2520.04/2520.00	c decisions             : 178310560    (70757 /sec)
2520.04/2520.00	c propagations          : 12984499567 (5152490 /sec)
2520.04/2520.00	c root propagations     : 307         
2520.04/2520.00	c filter calls          : 2355637166     (934760 /sec)
2520.04/2520.00	c useless filter calls  : 991752465      (42 %)
2520.04/2520.00	c Memory used           : 26.72 MB
2520.04/2520.00	c CPU time              : 2520.04 s
2520.04/2520.00	c real time             : 2520.01 s
2520.04/2520.00	
2520.04/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15208 MiB free)
  memory of node 1: 16384 MiB (15489 MiB free)
  node distances:
     10  21
     21  10

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

running on 4 cores: 1,3,5,7

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


[startup+0.100157 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 10519
/proc/meminfo: memFree=31434580/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3984 CPUtime=0.1 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1160 0 0 0 10 0 0 0 20 0 1 0 556005351 28012544 996 33554432000 4194304 6211132 140733228600112 140733228596648 5186301 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.209346 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 10519
/proc/meminfo: memFree=31434580/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3984 CPUtime=0.21 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1160 0 0 0 21 0 0 0 20 0 1 0 556005351 28012544 996 33554432000 4194304 6211132 140733228600112 140733228596648 5149253 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.308799 s]*
/proc/loadavg: 1.92 2.00 2.04 3/199 10519
/proc/meminfo: memFree=31434580/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3984 CPUtime=0.31 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1160 0 0 0 31 0 0 0 20 0 1 0 556005351 28012544 996 33554432000 4194304 6211132 140733228600112 140733228596648 5151124 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.700279 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 10519
/proc/meminfo: memFree=31434208/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3984 CPUtime=0.69 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1160 0 0 0 69 0 0 0 20 0 1 0 556005351 28012544 996 33554432000 4194304 6211132 140733228600112 140733228596648 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.50028 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 10519
/proc/meminfo: memFree=31434208/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3984 CPUtime=1.49 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1160 0 0 0 149 0 0 0 20 0 1 0 556005351 28012544 996 33554432000 4194304 6211132 140733228600112 140733228596648 5148882 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.10914 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 10521
/proc/meminfo: memFree=31432616/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3984 CPUtime=3.1 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1206 0 0 0 310 0 0 0 20 0 1 0 556005351 28012544 996 33554432000 4194304 6211132 140733228600112 140733228598072 5149256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/200 10521
/proc/meminfo: memFree=31432416/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=6.29 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1278 0 0 0 629 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.00 2.04 3/199 10521
/proc/meminfo: memFree=31432416/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=12.69 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1337 0 0 0 1269 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.00 2.04 3/199 10522
/proc/meminfo: memFree=31432540/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=25.49 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1442 0 0 0 2549 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5150937 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.90 1.98 2.03 3/200 10588
/proc/meminfo: memFree=31437024/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=51.1 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1514 0 0 0 5110 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/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.96 1.99 2.03 3/199 10592
/proc/meminfo: memFree=31436828/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=102.3 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1573 0 0 0 10230 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149714 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 2.04 3/200 10664
/proc/meminfo: memFree=31436748/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=162.3 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1632 0 0 0 16230 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5148887 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+222.3 s]
/proc/loadavg: 2.46 2.11 2.08 3/201 10669
/proc/meminfo: memFree=31436208/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=222.3 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1691 0 0 0 22230 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149706 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+282.3 s]
/proc/loadavg: 2.27 2.13 2.09 3/201 10675
/proc/meminfo: memFree=31436308/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=282.3 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1750 0 0 0 28230 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149732 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+342.3 s]
/proc/loadavg: 2.10 2.11 2.08 3/201 10679
/proc/meminfo: memFree=31436032/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=342.3 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1796 0 0 0 34230 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149709 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+402.3 s]
/proc/loadavg: 1.99 2.07 2.07 3/201 10744
/proc/meminfo: memFree=31386436/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=402.3 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1868 0 0 0 40230 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149080 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/199 10751
/proc/meminfo: memFree=31385380/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=462.3 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 1927 0 0 0 46230 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149732 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB


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

/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1722.32 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/199 10897
/proc/meminfo: memFree=31382920/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=1782.32 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3082 0 0 0 178232 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149266 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 10901
/proc/meminfo: memFree=31383564/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=1842.32 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3141 0 0 0 184232 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5150916 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1842.32 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/199 10907
/proc/meminfo: memFree=31383928/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=1902.32 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3191 0 0 0 190232 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5150197 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10919
/proc/meminfo: memFree=31383876/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=1962.32 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3237 0 0 0 196232 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10923
/proc/meminfo: memFree=31382964/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2022.32 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3296 0 0 0 202232 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149080 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 10929
/proc/meminfo: memFree=31383256/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2082.32 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3342 0 0 0 208232 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2082.32 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/200 10933
/proc/meminfo: memFree=31384060/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2142.32 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3401 0 0 0 214232 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5150194 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2142.32 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/200 10937
/proc/meminfo: memFree=31383028/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2202.32 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3447 0 0 0 220232 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149168 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2202.32 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 10944
/proc/meminfo: memFree=31383356/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2262.33 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3493 0 0 0 226233 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2262.33 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 10948
/proc/meminfo: memFree=31383348/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2322.33 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3552 0 0 0 232233 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149937 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2322.33 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/199 10952
/proc/meminfo: memFree=31383100/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2382.33 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3598 0 0 0 238233 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10959
/proc/meminfo: memFree=31382856/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2442.33 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3644 0 0 0 244233 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5193760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2442.33 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 10963
/proc/meminfo: memFree=31383088/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2502.33 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3690 0 0 0 250233 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5149266 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3992 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 10963
/proc/meminfo: memFree=31383336/32770624 swapFree=66936012/67108860
[pid=10518] ppid=10515 vsize=27356 memory=3992 CPUtime=2520.04 cores=1,3,5,7
/proc/10518/stat : 10518 (cosoco) R 10515 10518 7864 0 -1 4202496 3749 0 0 0 252004 0 0 0 20 0 1 0 556005351 28012544 998 33554432000 4194304 6211132 140733228600112 140733228598072 5193742 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 32387072 140733228606475 140733228606577 140733228606577 140733228609486 0
/proc/10518/statm: 6839 998 878 493 0 144 0
Current children cumulated CPU time: 2520.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+2520.01 s]
# the end of solver process 10518 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.04 s, system=0.006 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.05
CPU user time (s): 2520.04
CPU system time (s): 0.006
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 27356
Max. memory (cumulated for all children) (KiB): 3992

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


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4787 second user time and 12.3631 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-30 01:47:52
IDJOB=4408121
IDBENCH=133440
IDSOLVER=2874
FILE ID=node147/4408121-1569800916
RUNJOBID= node147-1569787348-7896
PBS_JOBID= 21705818
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-4408121-1569800916/watcher-4408121-1569800916 -o /tmp/evaluation-result-4408121-1569800916/solver-4408121-1569800916 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1569787348-7896 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4408121-1569800916.xml

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

MD5SUM BENCH= b9738aa7a21d23764c9c35483473acef
RANDOM SEED=1687022224

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31434336 kB
MemAvailable:   31793880 kB
Buffers:          220376 kB
Cached:           468996 kB
SwapCached:        68896 kB
Active:           414656 kB
Inactive:         350712 kB
Active(anon):      21776 kB
Inactive(anon):   136772 kB
Active(file):     392880 kB
Inactive(file):   213940 kB
Unevictable:      107708 kB
Mlocked:          107708 kB
SwapTotal:      67108860 kB
SwapFree:       66936012 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:        116860 kB
Mapped:            28884 kB
Shmem:             73672 kB
Slab:             166740 kB
SReclaimable:     137120 kB
SUnreclaim:        29620 kB
KernelStack:        3552 kB
PageTables:         5596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     571436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62024 MiB
End job on node147 at 2019-09-30 02:29:52