Trace number 4390086

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePrimes/
Primes-m1-p10/Primes-10-40-3-5.xml
MD5SUMb9738aa7a21d23764c9c35483473acef
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark261.548
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":91}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":9},{"degree":1,"count":19},{"degree":2,"count":29},{"degree":3,"count":25},{"degree":4,"count":15},{"degree":6,"count":3}]
Minimum constraint arity3
Maximum constraint arity8
Distribution of constraint arities[{"arity":3,"count":3},{"arity":4,"count":8},{"arity":5,"count":9},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":9}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":40}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c root propagations     : 307         
0.00/0.00	c restarts enabled, print stats at every restarts
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c
0.00/0.00	c This is cosoco 2.00 --  
0.00/0.00	c
0.00/0.00	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390086-1568341899.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.05	c 2122           3804           44490          270591         30             0              19   59   49   
0.00/0.06	c 2431           4343           52064          306778         30             0              21   54   47   
0.00/0.07	c 2770           4984           60663          348201         30             0              24   46   39   
0.00/0.08	c 3142           5650           69187          389340         30             0              14   44   33   
0.00/0.09	c 3551           6349           79310          475344         30             0              30   62   48   
0.00/0.10	c 4000           7151           89132          517561         30             0              21   48   41   
0.10/0.11	c 4493           7943           100149         565154         30             0              22   52   36   
0.10/0.12	c 5035           8679           107313         611178         30             0              27   33   31   
0.10/0.13	c 5631           9649           118699         662520         30             0              27   53   43   
0.10/0.15	c 6286           10977          135184         769729         30             0              21   55   45   
0.10/0.17	c 7006           12228          146713         830618         30             0              32   59   44   
0.10/0.18	c 7798           13485          158529         934587         30             0              29   54   42   
0.10/0.20	c 8669           15050          174361         1009764        30             0              36   55   46   
0.21/0.22	c 9627           16543          195995         1143070        30             0              30   55   42   
0.21/0.24	c 10680          18649          215998         1259847        30             0              35   60   44   
0.21/0.27	c 11838          20723          237681         1392038        30             0              31   57   40   
0.21/0.30	c 13111          22947          263636         1527319        30             0              31   55   45   
0.31/0.33	c 14511          25018          301415         1715077        30             0              41   49   45   
0.31/0.37	c 16051          28090          333591         1868060        30             0              17   38   33   
0.31/0.40	c 17745          30627          368252         2069954        30             0              20   65   51   
0.41/0.44	c 19608          33443          405452         2246036        30             0              18   60   42   
0.41/0.50	c 21657          36486          458313         2523983        30             0              24   60   48   
0.51/0.53	c 23910          39527          489021         2665411        30             0              24   44   38   
0.51/0.57	c 26388          44399          533892         2922239        30             0              22   62   49   
0.60/0.63	c 29113          48737          586294         3229424        30             0              30   53   38   
0.60/0.69	c 32110          53376          652434         3486214        30             0              13   46   41   
0.69/0.76	c 35406          58374          713108         3873849        30             0              16   65   49   
0.79/0.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   
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.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.83	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.49/2.59	c 124240         201843         2487514        13253433       30             0              33   67   52   
2.79/2.84	c 136742         221633         2724080        14609679       30             0              25   61   46   
3.10/3.14	c 150494         248197         3006911        16239431       30             0              31   65   48   
3.39/3.44	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.06	c 242839         404037         4859181        25878855       30             0              22   54   41   
5.49/5.51	c 267198         442221         5292275        28260638       30             0              21   66   44   
5.89/5.99	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.19/7.29	c 355885         585249         6997507        37687475       30             0              26   66   47   
8.00/8.04	c 391547         637935         7789472        41045264       30             0              26   60   41   
8.79/8.85	c 430775         699727         8582652        45260172       30             0              25   54   38   
9.69/9.75	c 473925         760154         9496681        49583409       30             0              28   49   33   
10.69/10.74	c 521390         837884         10419839       54822299       30             0              29   57   40   
11.89/11.96	c 573601         927250         11490846       61394132       30             0              32   68   43   
13.29/13.31	c 631033         1020391        12750056       68700666       30             0              17   62   46   
14.29/14.31	c 694208         1118669        13774248       73897887       30             0              29   66   50   
15.59/15.63	c 763700         1227248        15090557       80754926       30             0              31   60   48   
17.19/17.23	c 840141         1339076        16680076       87849833       30             0              21   61   40   
19.79/19.80	c 924226         1458063        19132092       101760944      30             0              31   58   44   
21.59/21.66	c 1016719        1594184        20908556       111417184      30             0              21   64   38   
23.59/23.65	c 1118461        1783967        22901490       121263346      30             0              30   56   42   
25.79/25.89	c 1230377        1969743        25023101       132473738      30             0              30   58   40   
28.19/28.28	c 1353484        2149144        27402323       143676808      30             0              9   55   34    
30.69/30.79	c 1488901        2381909        29790764       157020298      30             0              19   60   34   
34.59/34.61	c 1637859        2578506        33116104       177363469      30             0              20   65   45   
37.89/37.90	c 1801712        2845510        36082741       194736652      30             0              21   65   45   
41.69/41.77	c 1981950        3133108        39225841       216832819      30             0              24   56   44   
46.29/46.32	c 2180211        3467828        43509516       239427569      30             0              16   55   35   
50.89/50.91	c 2398298        3835946        47409409       265156040      30             0              23   57   44   
56.00/56.07	c 2638193        4177029        52213900       289890215      30             0              16   66   37   
62.59/62.68	c 2902077        4595852        58641106       323851179      30             0              19   57   34   
71.29/71.35	c 3192349        4983417        65643729       369939697      30             0              15   66   47   
78.19/78.25	c 3511648        5493191        71590414       408266619      30             0              20   66   44   
85.99/86.02	c 3862876        6050072        78433602       449862018      30             0              18   66   44   
91.88/91.92	c 4249226        6615142        84333264       478824871      30             0              14   60   39   
102.28/102.35	c 4674211        7332958        94315815       534402438      30             0              20   60   35   
114.18/114.26	c 5141694        8089801        106231273      595478177      30             0              24   60   35   
126.88/126.98	c 5655925        8994346        118579312      657566421      30             0              22   60   37   
138.28/138.38	c 6221579        9840683        129405771      717151573      30             0              24   60   34   
149.78/149.88	c 6843798        10881123       140319863      775997111      30             0              20   66   44   
163.48/163.58	c 7528238        12044270       153978898      839672400      30             0              12   68   37   
179.48/179.54	c 8281122        13291616       167970222      928545390      30             0              23   67   40   
195.99/196.04	c 9109294        14569931       182704492      1019906739     30             0              26   66   38   
222.98/223.05	c 10020283       16090094       209325538      1144431340     30             0              23   57   33   
243.77/243.85	c 11022370       17521867       227924269      1250099685     30             0              17   66   44   
269.87/269.91	c 12124665       19520134       254007316      1376652358     30             0              26   66   37   
293.87/293.91	c 13337189       21741647       276581834      1497582693     30             0              27   66   40   
349.77/349.83	c 14670965       23885913       321232608      1799372771     30             0              21   68   46   
378.16/378.25	c 16138118       26429346       347473189      1957270719     30             0              17   59   43   
408.66/408.79	c 17751986       28891770       375462601      2123156463     30             0              19   67   43   
449.76/449.83	c 19527240       31944082       412474553      2336880928     30             0              17   60   43   
478.76/478.88	c 21480019       34626439       441070865      2483466326     30             0              17   65   32   
534.15/534.20	c 23628075       38280334       491939978      2781317695     30             0              13   69   40   
601.35/601.40	c 25990936       42371306       557523414      3085940944     30             0              26   61   41   
658.95/659.05	c 28590083       46508857       610570276      3373002101     30             0              31   65   44   
725.84/725.99	c 31449144       50773351       672995756      3723362120     30             0              20   67   37   
798.24/798.36	c 34594111       56308854       743096099      4071520138     30             0              29   62   41   
881.43/881.51	c 38053574       61816521       817677256      4504041923     30             0              20   68   42   
982.22/982.30	c 41858983       68846850       914392390      5034522123     30             0              19   68   37   
1095.92/1096.09	c 46044932       75920189       1025101529     5597987813     30             0              21   67   37   
1209.91/1210.08	c 50649475       84054786       1141402083     6151787166     30             0              20   65   35   
1350.69/1350.83	c 55714472       92017365       1263731369     6899447984     30             0              28   68   42   
1501.89/1502.09	c 61285968       100691560      1413752649     7614615000     30             0              22   65   37   
1613.27/1613.48	c 67414613       110864566      1521005416     8189994092     30             0              24   69   48   
1830.56/1830.74	c 74156122       121272719      1705222630     9351273603     30             0              33   66   46   
1981.04/1981.26	c 81571781       133108167      1843135809     10137921923    30             0              34   70   48   
2131.23/2131.43	c 89729005       147052761      1980846206     10907928070    30             0              16   69   40   
2304.72/2304.93	c 98701951       162013674      2135395533     11835232315    30             0              22   69   46   
2400.01/2400.20	
2400.01/2400.20	c *** INTERRUPTED ***
2400.01/2400.20	c restarts              : 121         
2400.01/2400.20	c conflicts             : 103112801    (42963 /sec)
2400.01/2400.20	c decisions             : 168650196    (70270 /sec)
2400.01/2400.20	c propagations          : 12311786169 (5129876 /sec)
2400.01/2400.20	c root propagations     : 307         
2400.01/2400.20	c filter calls          : 2227620004     (928169 /sec)
2400.01/2400.20	c useless filter calls  : 938407917      (42 %)
2400.01/2400.20	c Memory used           : 26.72 MB
2400.01/2400.20	c CPU time              : 2400.02 s
2400.01/2400.20	c real time             : 2400.2 s
2400.01/2400.20	
2400.01/2400.20	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390086-1568341899/watcher-4390086-1568341899 -o /tmp/evaluation-result-4390086-1568341899/solver-4390086-1568341899 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390086-1568341899.xml 

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

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


[startup+0.100148 s]*
/proc/loadavg: 2.07 2.04 2.05 3/201 25611
/proc/meminfo: memFree=26683316/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3972 CPUtime=0.1 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1156 0 0 0 10 0 0 0 20 0 1 0 410437287 28012544 993 33554432000 4194304 6210612 140736527373744 140736527370280 5148430 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.209566 s]*
/proc/loadavg: 2.07 2.04 2.05 3/201 25611
/proc/meminfo: memFree=26683316/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3972 CPUtime=0.21 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1156 0 0 0 21 0 0 0 20 0 1 0 410437287 28012544 993 33554432000 4194304 6210612 140736527373744 140736527370280 5150761 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.309052 s]*
/proc/loadavg: 2.07 2.04 2.05 3/201 25611
/proc/meminfo: memFree=26683316/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3972 CPUtime=0.31 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1156 0 0 0 31 0 0 0 20 0 1 0 410437287 28012544 993 33554432000 4194304 6210612 140736527373744 140736527370280 5389663 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.700278 s]
/proc/loadavg: 2.07 2.04 2.05 3/201 25611
/proc/meminfo: memFree=26683316/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3972 CPUtime=0.69 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1156 0 0 0 69 0 0 0 20 0 1 0 410437287 28012544 993 33554432000 4194304 6210612 140736527373744 140736527371704 5148824 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.50027 s]
/proc/loadavg: 2.07 2.04 2.05 3/201 25611
/proc/meminfo: memFree=26683104/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3972 CPUtime=1.49 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1156 0 0 0 149 0 0 0 20 0 1 0 410437287 28012544 993 33554432000 4194304 6210612 140736527373744 140736527371704 5148680 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.10914 s]
/proc/loadavg: 2.07 2.04 2.05 3/201 25611
/proc/meminfo: memFree=26683240/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3972 CPUtime=3.1 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1215 0 0 0 310 0 0 0 20 0 1 0 410437287 28012544 993 33554432000 4194304 6210612 140736527373744 140736527371704 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.30026 s]
/proc/loadavg: 2.07 2.04 2.05 3/201 25611
/proc/meminfo: memFree=26683240/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=6.29 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1274 0 0 0 629 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5148702 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.06 2.04 2.05 3/201 25611
/proc/meminfo: memFree=26683240/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=12.69 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1333 0 0 0 1269 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5397015 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.05 2.04 2.05 3/201 25614
/proc/meminfo: memFree=26682568/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=25.49 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1451 0 0 0 2549 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5148849 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.1094 s]
/proc/loadavg: 2.03 2.04 2.05 3/201 25614
/proc/meminfo: memFree=26682196/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=51.1 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1510 0 0 0 5110 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149578 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/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.08 2.05 2.05 3/200 25679
/proc/meminfo: memFree=26765168/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=102.28 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1569 0 0 0 10228 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+162.3 s]
/proc/loadavg: 2.15 2.07 2.05 3/200 25685
/proc/meminfo: memFree=26764636/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=162.28 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1628 0 0 0 16228 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+222.3 s]
/proc/loadavg: 1.91 2.01 2.03 3/200 25810
/proc/meminfo: memFree=26764928/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=222.28 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1687 0 0 0 22228 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5148316 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/199 25875
/proc/meminfo: memFree=26765144/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=282.27 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1746 0 0 0 28227 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5148447 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/199 25881
/proc/meminfo: memFree=26765136/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=342.27 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1793 0 0 0 34227 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149074 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 25885
/proc/meminfo: memFree=26765116/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=402.26 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1864 0 0 0 40226 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5148579 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 25889
/proc/meminfo: memFree=26765700/32770624 swapFree=66927164/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=462.26 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 1923 0 0 0 46226 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149400 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB


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

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

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/199 26308
/proc/meminfo: memFree=26762012/32770624 swapFree=66927168/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=1662.17 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3007 0 0 0 166217 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149280 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1662.17 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 26312
/proc/meminfo: memFree=26762152/32770624 swapFree=66927168/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=1722.16 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3054 0 0 0 172216 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5148752 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 26327
/proc/meminfo: memFree=26761456/32770624 swapFree=66927172/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=1782.16 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3101 0 0 0 178216 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149285 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1782.16 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 26353
/proc/meminfo: memFree=26761648/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=1842.15 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3160 0 0 0 184215 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149314 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1842.15 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/201 26357
/proc/meminfo: memFree=26761428/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=1902.15 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3211 0 0 0 190215 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5397089 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1902.15 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/201 26363
/proc/meminfo: memFree=26761160/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=1962.15 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3258 0 0 0 196215 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5389663 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 1962.15 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/201 26367
/proc/meminfo: memFree=26761008/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=2022.14 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3317 0 0 0 202214 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5380107 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2022.14 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 26371
/proc/meminfo: memFree=26761644/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=2082.14 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3364 0 0 0 208214 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5150233 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 26378
/proc/meminfo: memFree=26761636/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=2142.13 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3423 0 0 0 214213 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149290 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2142.13 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/200 26382
/proc/meminfo: memFree=26760796/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=2202.13 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3470 0 0 0 220213 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2202.13 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/200 26386
/proc/meminfo: memFree=26761496/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=2262.12 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3517 0 0 0 226212 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5185856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2262.12 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/200 26392
/proc/meminfo: memFree=26761332/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=2322.12 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3576 0 0 0 232212 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5150219 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2322.12 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/201 26404
/proc/meminfo: memFree=26761520/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=2382.11 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3623 0 0 0 238211 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149332 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 26404
/proc/meminfo: memFree=26761676/32770624 swapFree=66927176/67108860
[pid=25610] ppid=25607 vsize=27356 memory=3976 CPUtime=2400.01 cores=1,3,5,7
/proc/25610/stat : 25610 (cosoco) R 25607 25610 21907 0 -1 4202496 3670 0 0 0 240001 0 0 0 20 0 1 0 410437287 28012544 994 33554432000 4194304 6210612 140736527373744 140736527371704 5149443 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 38424576 140736527381515 140736527381617 140736527381617 140736527384526 0
/proc/25610/statm: 6839 994 874 493 0 144 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 27356 KiB
Current children cumulated memory: 3976 KiB

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

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

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

Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.02
CPU user time (s): 2400.02
CPU system time (s): 0.002999
CPU usage (%): 99.9924
Max. virtual memory (cumulated for all children) (KiB): 27356
Max. memory (cumulated for all children) (KiB): 3976

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


# summary of solver processes directly reported to runsolver:
#   pid: 25610
#   total CPU time (s): 2400.02
#   total CPU user time (s): 2400.02
#   total CPU system time (s): 0.002999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.28466 second user time and 15.4883 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-13 04:30:57
IDJOB=4390086
IDBENCH=133440
IDSOLVER=2830
FILE ID=node137/4390086-1568341899
RUNJOBID= node137-1568323498-21939
PBS_JOBID= 21701145
Free space on /tmp= 61232 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-4390086-1568341899/watcher-4390086-1568341899 -o /tmp/evaluation-result-4390086-1568341899/solver-4390086-1568341899 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1568323498-21939 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390086-1568341899.xml

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

MD5SUM BENCH= b9738aa7a21d23764c9c35483473acef
RANDOM SEED=2045277630

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.00
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:        26683316 kB
MemAvailable:   31721940 kB
Buffers:          141064 kB
Cached:          5162828 kB
SwapCached:        77552 kB
Active:          1445248 kB
Inactive:        4021564 kB
Active(anon):      86968 kB
Inactive(anon):   117532 kB
Active(file):    1358280 kB
Inactive(file):  3904032 kB
Unevictable:      108716 kB
Mlocked:          108716 kB
SwapTotal:      67108860 kB
SwapFree:       66927164 kB
Dirty:              2800 kB
Writeback:             0 kB
AnonPages:        195920 kB
Mapped:            45528 kB
Shmem:             32696 kB
Slab:             213656 kB
SReclaimable:     184296 kB
SUnreclaim:        29360 kB
KernelStack:        3584 kB
PageTables:         5804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     609696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61232 MiB
End job on node137 at 2019-09-13 05:10:58