Trace number 4389581

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2? (TO) 2520.04 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-4389581-1568340382.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.12	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.14	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.25	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.30	c 13111          22947          263636         1527319        30             0              31   55   45   
0.31/0.34	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.41	c 17745          30627          368252         2069954        30             0              20   65   51   
0.41/0.45	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.58	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.85	c 39031          64441          796778         4339439        30             0              23   59   47   
0.89/0.93	c 43018          71493          883001         4753221        30             0              12   44   37   
1.00/1.01	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.51	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.84	c 84607          137238         1746526        9367328        30             0              22   58   43   
1.89/1.98	c 93147          150584         1883098        10090728       30             0              25   60   42   
2.10/2.14	c 102541         164178         2044984        10873553       30             0              32   62   42   
2.29/2.39	c 112874         180647         2270174        12184209       30             0              24   62   43   
2.59/2.60	c 124240         201843         2487514        13253433       30             0              33   67   52   
2.79/2.85	c 136742         221633         2724080        14609679       30             0              25   61   46   
3.10/3.14	c 150494         248197         3006911        16239431       30             0              31   65   48   
3.39/3.45	c 165621         274902         3278852        17939492       30             0              16   60   45   
3.79/3.85	c 182260         303602         3670668        20008875       30             0              22   64   40   
4.10/4.16	c 200562         332634         4006455        21433868       30             0              29   60   43   
4.59/4.65	c 220694         366090         4429480        24124922       30             0              19   67   44   
5.00/5.07	c 242839         404037         4859181        25878855       30             0              22   54   41   
5.49/5.52	c 267198         442221         5292275        28260638       30             0              21   66   44   
5.89/6.00	c 293992         485260         5714243        31215455       30             0              26   63   41   
6.59/6.62	c 323465         531816         6348008        34071931       30             0              30   68   47   
7.29/7.30	c 355885         585249         6997507        37687475       30             0              26   66   47   
8.00/8.05	c 391547         637935         7789472        41045264       30             0              26   60   41   
8.79/8.86	c 430775         699727         8582652        45260172       30             0              25   54   38   
9.69/9.76	c 473925         760154         9496681        49583409       30             0              28   49   33   
10.69/10.75	c 521390         837884         10419839       54822299       30             0              29   57   40   
11.89/11.97	c 573601         927250         11490846       61394132       30             0              32   68   43   
13.29/13.32	c 631033         1020391        12750056       68700666       30             0              17   62   46   
14.29/14.32	c 694208         1118669        13774248       73897887       30             0              29   66   50   
15.59/15.64	c 763700         1227248        15090557       80754926       30             0              31   60   48   
17.19/17.24	c 840141         1339076        16680076       87849833       30             0              21   61   40   
19.79/19.81	c 924226         1458063        19132092       101760944      30             0              31   58   44   
21.59/21.67	c 1016719        1594184        20908556       111417184      30             0              21   64   38   
23.59/23.67	c 1118461        1783967        22901490       121263346      30             0              30   56   42   
25.89/25.90	c 1230377        1969743        25023101       132473738      30             0              30   58   40   
28.29/28.30	c 1353484        2149144        27402323       143676808      30             0              9   55   34    
30.79/30.81	c 1488901        2381909        29790764       157020298      30             0              19   60   34   
34.59/34.63	c 1637859        2578506        33116104       177363469      30             0              20   65   45   
37.89/37.92	c 1801712        2845510        36082741       194736652      30             0              21   65   45   
41.69/41.79	c 1981950        3133108        39225841       216832819      30             0              24   56   44   
46.29/46.35	c 2180211        3467828        43509516       239427569      30             0              16   55   35   
50.89/50.94	c 2398298        3835946        47409409       265156040      30             0              23   57   44   
56.00/56.09	c 2638193        4177029        52213900       289890215      30             0              16   66   37   
62.69/62.71	c 2902077        4595852        58641106       323851179      30             0              19   57   34   
71.29/71.39	c 3192349        4983417        65643729       369939697      30             0              15   66   47   
78.29/78.30	c 3511648        5493191        71590414       408266619      30             0              20   66   44   
86.00/86.07	c 3862876        6050072        78433602       449862018      30             0              18   66   44   
91.89/91.98	c 4249226        6615142        84333264       478824871      30             0              14   60   39   
102.39/102.41	c 4674211        7332958        94315815       534402438      30             0              20   60   35   
114.29/114.33	c 5141694        8089801        106231273      595478177      30             0              24   60   35   
127.00/127.05	c 5655925        8994346        118579312      657566421      30             0              22   60   37   
138.39/138.45	c 6221579        9840683        129405771      717151573      30             0              24   60   34   
149.89/149.97	c 6843798        10881123       140319863      775997111      30             0              20   66   44   
163.59/163.69	c 7528238        12044270       153978898      839672400      30             0              12   68   37   
179.60/179.65	c 8281122        13291616       167970222      928545390      30             0              23   67   40   
196.10/196.17	c 9109294        14569931       182704492      1019906739     30             0              26   66   38   
223.20/223.20	c 10020283       16090094       209325538      1144431340     30             0              23   57   33   
243.90/244.00	c 11022370       17521867       227924269      1250099685     30             0              17   66   44   
270.01/270.08	c 12124665       19520134       254007316      1376652358     30             0              26   66   37   
294.01/294.07	c 13337189       21741647       276581834      1497582693     30             0              27   66   40   
350.01/350.02	c 14670965       23885913       321232608      1799372771     30             0              21   68   46   
378.40/378.47	c 16138118       26429346       347473189      1957270719     30             0              17   59   43   
409.01/409.02	c 17751986       28891770       375462601      2123156463     30             0              19   67   43   
450.01/450.06	c 19527240       31944082       412474553      2336880928     30             0              17   60   43   
479.01/479.10	c 21480019       34626439       441070865      2483466326     30             0              17   65   32   
534.40/534.45	c 23628075       38280334       491939978      2781317695     30             0              13   69   40   
601.60/601.65	c 25990936       42371306       557523414      3085940944     30             0              26   61   41   
659.30/659.35	c 28590083       46508857       610570276      3373002101     30             0              31   65   44   
726.30/726.34	c 31449144       50773351       672995756      3723362120     30             0              20   67   37   
798.70/798.78	c 34594111       56308854       743096099      4071520138     30             0              29   62   41   
881.91/881.97	c 38053574       61816521       817677256      4504041923     30             0              20   68   42   
982.80/982.84	c 41858983       68846850       914392390      5034522123     30             0              19   68   37   
1096.61/1096.67	c 46044932       75920189       1025101529     5597987813     30             0              21   67   37   
1210.71/1210.70	c 50649475       84054786       1141402083     6151787166     30             0              20   65   35   
1351.62/1351.63	c 55714472       92017365       1263731369     6899447984     30             0              28   68   42   
1502.92/1502.92	c 61285968       100691560      1413752649     7614615000     30             0              22   65   37   
1614.32/1614.30	c 67414613       110864566      1521005416     8189994092     30             0              24   69   48   
1831.92/1831.99	c 74156122       121272719      1705222630     9351273603     30             0              33   66   46   
1982.62/1982.61	c 81571781       133108167      1843135809     10137921923    30             0              34   70   48   
2132.92/2132.97	c 89729005       147052761      1980846206     10907928070    30             0              16   69   40   
2306.82/2306.89	c 98701951       162013674      2135395533     11835232315    30             0              22   69   46   
2518.13/2518.11	c 108572191      176766173      2339556185     12899628995    30             0              24   68   35   
2520.03/2520.00	
2520.03/2520.00	c *** INTERRUPTED ***
2520.03/2520.00	c restarts              : 122         
2520.03/2520.00	c conflicts             : 108671373    (43123 /sec)
2520.03/2520.00	c decisions             : 176947448    (70216 /sec)
2520.03/2520.00	c propagations          : 12909455693 (5122741 /sec)
2520.03/2520.00	c root propagations     : 307         
2520.03/2520.00	c filter calls          : 2341385852     (929111 /sec)
2520.03/2520.00	c useless filter calls  : 985502870      (42 %)
2520.03/2520.00	c Memory used           : 26.72 MB
2520.03/2520.00	c CPU time              : 2520.03 s
2520.03/2520.00	c real time             : 2520.01 s
2520.03/2520.00	
2520.03/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 (12575 MiB free)
  memory of node 1: 16384 MiB (15785 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389581-1568340382/watcher-4389581-1568340382 -o /tmp/evaluation-result-4389581-1568340382/solver-4389581-1568340382 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14000 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389581-1568340382.xml 

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

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

solver pid=20262, runsolver pid=20259

[startup+0.100196 s]*
/proc/loadavg: 2.01 2.03 2.05 3/201 20263
/proc/meminfo: memFree=29042020/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3972 CPUtime=0.1 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1156 0 0 0 10 0 0 0 20 0 1 0 410303120 28012544 993 33554432000 4194304 6210612 140725472680992 140725472677528 139721920105568 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 993 873 493 0 144 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB

[startup+0.209611 s]*
/proc/loadavg: 2.01 2.03 2.05 3/201 20263
/proc/meminfo: memFree=29042020/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3972 CPUtime=0.21 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1156 0 0 0 21 0 0 0 20 0 1 0 410303120 28012544 993 33554432000 4194304 6210612 140725472680992 140725472677528 5403856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 993 873 493 0 144 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB

[startup+0.309007 s]*
/proc/loadavg: 2.01 2.03 2.05 3/201 20263
/proc/meminfo: memFree=29042020/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3972 CPUtime=0.31 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1156 0 0 0 31 0 0 0 20 0 1 0 410303120 28012544 993 33554432000 4194304 6210612 140725472680992 140725472677528 5149290 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 993 873 493 0 144 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB

[startup+0.700331 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 20263
/proc/meminfo: memFree=29041324/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3972 CPUtime=0.69 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1156 0 0 0 69 0 0 0 20 0 1 0 410303120 28012544 993 33554432000 4194304 6210612 140725472680992 140725472678952 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 993 873 493 0 144 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB

[startup+1.50033 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 20263
/proc/meminfo: memFree=29041332/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3972 CPUtime=1.49 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1156 0 0 0 149 0 0 0 20 0 1 0 410303120 28012544 993 33554432000 4194304 6210612 140725472680992 140725472678952 5150247 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 993 873 493 0 144 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB

[startup+3.10916 s]
/proc/loadavg: 2.01 2.03 2.05 3/201 20263
/proc/meminfo: memFree=29041332/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3972 CPUtime=3.1 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1215 0 0 0 310 0 0 0 20 0 1 0 410303120 28012544 993 33554432000 4194304 6210612 140725472680992 140725472678952 5192894 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 993 873 493 0 144 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3972 KiB

[startup+6.3003 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 20263
/proc/meminfo: memFree=29041308/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=6.29 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1274 0 0 0 629 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5149694 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 20263
/proc/meminfo: memFree=29041432/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=12.69 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1333 0 0 0 1269 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5148824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 20263
/proc/meminfo: memFree=29041448/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=25.49 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1451 0 0 0 2549 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+51.109 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 20266
/proc/meminfo: memFree=29040552/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=51.1 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1510 0 0 0 5110 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5148844 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 20270
/proc/meminfo: memFree=29039912/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=102.29 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1569 0 0 0 10229 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5192894 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20274
/proc/meminfo: memFree=29040000/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=162.29 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1628 0 0 0 16229 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5192917 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20278
/proc/meminfo: memFree=29039616/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=222.3 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1687 0 0 0 22230 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5192883 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20292
/proc/meminfo: memFree=29038696/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=282.3 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1746 0 0 0 28230 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5148881 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20296
/proc/meminfo: memFree=29038628/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=342.3 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1792 0 0 0 34230 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5149552 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20300
/proc/meminfo: memFree=29039584/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=402.3 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1864 0 0 0 40230 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20306
/proc/meminfo: memFree=29039064/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=462.3 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 1923 0 0 0 46230 0 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5150707 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB


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

/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20485
/proc/meminfo: memFree=28993544/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=1782.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3091 0 0 0 178231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5389845 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1782.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20489
/proc/meminfo: memFree=28993488/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=1842.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3150 0 0 0 184231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5389681 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1842.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20495
/proc/meminfo: memFree=28993300/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=1902.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3200 0 0 0 190231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5389857 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20499
/proc/meminfo: memFree=28993268/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=1962.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3246 0 0 0 196231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20503
/proc/meminfo: memFree=28993416/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2022.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3305 0 0 0 202231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5149821 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20516
/proc/meminfo: memFree=28992852/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2082.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3351 0 0 0 208231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5148576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20520
/proc/meminfo: memFree=28990932/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2142.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3410 0 0 0 214231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5148430 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20524
/proc/meminfo: memFree=28990360/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2202.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3456 0 0 0 220231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5148824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20530
/proc/meminfo: memFree=28990140/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2262.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3502 0 0 0 226231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5192917 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20534
/proc/meminfo: memFree=28989956/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2322.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3561 0 0 0 232231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5149050 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20538
/proc/meminfo: memFree=28989260/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2382.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3607 0 0 0 238231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5148807 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20544
/proc/meminfo: memFree=28989572/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2442.32 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3653 0 0 0 244231 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5397269 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20548
/proc/meminfo: memFree=28989220/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2502.33 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3699 0 0 0 250232 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5148824 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 20551
/proc/meminfo: memFree=28989236/32770624 swapFree=66999908/67108860
[pid=20262] ppid=20259 vsize=27356 memory=3976 CPUtime=2520.03 cores=0,2,4,6
/proc/20262/stat : 20262 (cosoco) R 20259 20262 13969 0 -1 4202496 3758 0 0 0 252002 1 0 0 20 0 1 0 410303120 28012544 994 33554432000 4194304 6210612 140725472680992 140725472678952 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 40992768 140725472687115 140725472687217 140725472687217 140725472690126 0
/proc/20262/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

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

[startup+2520.01 s]
# the end of solver process 20262 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2520.03 s, system=0.015 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.04
CPU user time (s): 2520.03
CPU system time (s): 0.015
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 27356
Max. memory (cumulated for all children) (KiB): 3976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.03
system time used= 0.015
maximum resident set size= 4044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3796
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= 1978


# summary of solver processes directly reported to runsolver:
#   pid: 20262
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2520.03
#   total CPU system time (s): 0.015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51959 second user time and 16.7481 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 04:05:44
IDJOB=4389581
IDBENCH=133440
IDSOLVER=2829
FILE ID=node123/4389581-1568340382
RUNJOBID= node123-1568311188-14000
PBS_JOBID= 21701126
Free space on /tmp= 56796 MiB

SOLVER NAME= cosoco 2
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-4389581-1568340382/watcher-4389581-1568340382 -o /tmp/evaluation-result-4389581-1568340382/solver-4389581-1568340382 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568311188-14000 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389581-1568340382.xml

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

MD5SUM BENCH= b9738aa7a21d23764c9c35483473acef
RANDOM SEED=5069080

node123.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.49
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.49
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.49
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.49
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:        29042392 kB
MemAvailable:   31866004 kB
Buffers:          101068 kB
Cached:          2982432 kB
SwapCached:         7396 kB
Active:          1070040 kB
Inactive:        2031020 kB
Active(anon):       7752 kB
Inactive(anon):    51224 kB
Active(file):    1062288 kB
Inactive(file):  1979796 kB
Unevictable:      107524 kB
Mlocked:          107524 kB
SwapTotal:      67108860 kB
SwapFree:       66999908 kB
Dirty:              2832 kB
Writeback:             0 kB
AnonPages:        122948 kB
Mapped:            45264 kB
Shmem:             32672 kB
Slab:             223740 kB
SReclaimable:     194728 kB
SUnreclaim:        29012 kB
KernelStack:        3696 kB
PageTables:         5408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     532576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 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= 56792 MiB
End job on node123 at 2019-09-13 04:47:44