Trace number 4295693

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 1.12? (TO) 2519.65 2520.01

General information on the benchmark

NameFrb/
frb-53-24-2-mgd_c18.xml
MD5SUMefa4ad1e7c4e0975e1666af510b5ab46
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 benchmark1964.13
Satisfiable
(Un)Satisfiability was proved
Number of variables53
Number of constraints474
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":53}]
Minimum variable degree12
Maximum variable degree26
Distribution of variable degrees[{"degree":12,"count":1},{"degree":14,"count":6},{"degree":15,"count":3},{"degree":16,"count":9},{"degree":17,"count":8},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":5},{"degree":21,"count":3},{"degree":22,"count":7},{"degree":26,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":474}]
Number of extensional constraints474
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":474}]
Optimization problemNO
Type of objective

Solver Data 

0.21/0.22	c root propagations     : 0           
0.21/0.22	c restarts enabled, print stats at every restarts
0.21/0.22	c
0.21/0.22	c
0.21/0.22	c
0.21/0.22	c This is cosoco 1.12 --  
0.21/0.22	c
0.21/0.22	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295693-1532563573.xml 
0.21/0.22	c ========================================[ Problem Statistics ]===========================================
0.21/0.22	c |                                                                                                       
0.21/0.22	c |  Parse time        :         0.21 s 
0.21/0.22	c |
0.21/0.22	c |               Variables: 53
0.21/0.22	c |            Domain Sizes: 24..24
0.21/0.22	c |
0.21/0.22	c |             Constraints: 474
0.21/0.22	c |                   Arity: 2..2  -- Binary: 474
0.21/0.22	c | 
0.21/0.22	c |                   Types: 
0.21/0.22	c |                          Extension: 474  (nb tuples: 144..263) -- (shared: 0)
0.21/0.22	c |                          
0.21/0.22	c =========================================================================================================
0.21/0.22	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.21/0.23	c 101            274            79385          29779          0              0              9   17   12    
0.21/0.24	c 211            518            159727         60757          0              0              8   15   11    
0.21/0.25	c 332            860            252585         93991          0              0              8   17   12    
0.21/0.26	c 465            1174           347240         130965         0              0              9   15   11    
0.21/0.28	c 611            1554           453035         168332         0              0              8   16   12    
0.21/0.29	c 771            1923           564343         213862         0              0              8   15   11    
0.21/0.31	c 947            2355           690928         256611         0              0              7   16   12    
0.31/0.33	c 1140           2974           851649         318491         0              0              6   18   12    
0.31/0.36	c 1352           3498           1013585        378186         0              0              8   16   12    
0.31/0.38	c 1585           4148           1198388        447539         0              0              6   16   11    
0.31/0.41	c 1841           4903           1392673        520347         0              0              7   20   12    
0.41/0.44	c 2122           5668           1603340        595317         0              0              8   18   12    
0.41/0.47	c 2431           6517           1855445        686747         0              0              8   18   11    
0.41/0.51	c 2770           7423           2112729        792395         0              0              8   17   11    
0.51/0.54	c 3142           8393           2383753        890879         0              0              8   16   12    
0.51/0.58	c 3551           9488           2672531        998478         0              0              8   17   12    
0.60/0.63	c 4000           10675          2999430        1120585        0              0              8   18   12    
0.60/0.68	c 4493           12014          3378216        1267452        0              0              7   16   11    
0.69/0.73	c 5035           13468          3773037        1416554        0              0              7   17   12    
0.69/0.79	c 5631           15080          4214277        1583104        0              0              7   16   11    
0.79/0.85	c 6286           16700          4654897        1749633        0              0              8   18   12    
0.89/0.92	c 7006           18620          5187316        1936152        0              0              8   18   12    
0.89/0.99	c 7798           20625          5741167        2139426        0              0              7   18   11    
1.00/1.09	c 8669           23151          6430083        2406823        0              0              7   18   11    
1.10/1.19	c 9627           25862          7167857        2683021        0              0              6   17   11    
1.19/1.29	c 10680          28629          7925910        2953330        0              0              8   19   12    
1.29/1.39	c 11838          31825          8736778        3257431        0              0              7   20   13    
1.49/1.52	c 13111          35011          9694219        3610283        0              0              8   16   12    
1.59/1.68	c 14511          39143          10797916       4051910        0              0              6   19   11    
1.79/1.83	c 16051          43081          11898347       4464530        0              0              7   18   12    
1.89/2.00	c 17745          47622          13174772       4924528        0              0              7   19   12    
2.10/2.18	c 19608          52915          14591871       5423303        0              0              6   18   12    
2.29/2.38	c 21657          58476          16109698       5961625        0              0              7   19   12    
2.49/2.59	c 23910          64315          17759666       6525337        0              0              7   18   12    
2.79/2.84	c 26388          71180          19660751       7230314        0              0              6   20   12    
3.09/3.12	c 29113          78744          21763210       7991085        0              0              6   19   12    
3.38/3.43	c 32110          87065          24019482       8833101        0              0              6   20   11    
3.68/3.76	c 35406          95465          26502945       9739724        0              0              6   18   12    
4.09/4.13	c 39031          106618         29305040       10761522       0              0              6   20   13    
4.48/4.56	c 43018          117484         32398173       11943665       0              0              6   20   12    
4.88/5.00	c 47403          128926         35638355       13157874       0              0              7   18   11    
5.38/5.47	c 52226          141245         39121826       14456810       0              0              6   19   12    
5.99/6.01	c 57531          156958         43189253       15992820       0              0              5   20   12    
6.58/6.64	c 63366          173418         47788651       17710306       0              0              6   19   11    
7.18/7.28	c 69784          191018         52565832       19458256       0              0              6   19   12    
7.99/8.02	c 76843          211003         58028605       21477758       0              0              5   18   11    
8.78/8.86	c 84607          232572         64104035       23806841       0              0              6   19   11    
9.68/9.72	c 93147          254641         70472731       26159218       0              0              7   19   12    
10.58/10.68	c 102541         281966         77780007       28797527       0              0              5   21   12    
11.68/11.71	c 112874         310306         85615430       31608751       0              0              6   20   12    
12.99/13.01	c 124240         346013         94861859       35196667       0              0              4   21   12    
14.18/14.26	c 136742         379034         104344408      38544953       0              0              7   20   12    
15.58/15.67	c 150494         418390         114867157      42420515       0              0              6   21   12    
17.09/17.18	c 165621         463074         126363873      46592823       0              0              5   22   13    
18.78/18.86	c 182260         506561         138828078      51177101       0              0              6   19   12    
20.58/20.62	c 200562         555124         152385045      55858140       0              0              6   19   12    
22.58/22.67	c 220694         611767         167737658      61426472       0              0              5   20   12    
24.99/25.05	c 242839         674599         184987645      67995283       0              0              5   20   11    
27.68/27.73	c 267198         744051         204261639      75452895       0              0              6   22   12    
30.28/30.38	c 293992         814560         224061778      82598157       0              0              6   20   12    
33.58/33.67	c 323465         902556         247769737      91758725       0              0              5   21   12    
36.99/37.09	c 355885         991425         272814160      101203739      0              0              5   19   12    
40.78/40.88	c 391547         1093284        300821616      111813394      0              0              5   21   12    
44.78/44.88	c 430775         1201304        330437029      122949052      0              0              5   20   11    
49.08/49.17	c 473925         1323803        363293058      134689051      0              0              5   21   12    
53.77/53.88	c 521390         1453615        398918620      147718035      0              0              4   21   12    
59.17/59.24	c 573601         1594261        438308246      162520023      0              0              5   20   11    
64.98/65.06	c 631033         1752260        481942660      178474593      0              0              5   21   11    
71.87/71.90	c 694208         1933711        531436249      197546813      0              0              5   22   12    
79.17/79.25	c 763700         2129960        585456068      217815846      0              0              5   20   12    
86.87/86.98	c 840141         2340430        643659062      238734705      0              0              5   23   12    
95.66/95.78	c 924226         2570037        708115133      263127535      0              0              5   21   12    
104.86/104.91	c 1016719        2827966        777964957      288020107      0              0              5   22   12    
114.76/114.83	c 1118461        3107075        853379234      315411162      0              0              4   23   12    
126.46/126.52	c 1230377        3415127        938980524      347565869      0              0              4   20   11    
139.06/139.15	c 1353484        3758754        1032184973     382197038      0              0              5   21   12    
152.85/153.00	c 1488901        4147506        1135613158     420622791      0              0              4   22   12    
165.96/166.05	c 1637859        4542367        1242067825     454866352      0              0              6   21   13    
183.06/183.12	c 1801712        5011945        1368527248     501614476      0              0              5   22   12    
202.74/202.87	c 1981950        5523831        1508862629     557504659      0              0              4   22   11    
223.74/223.83	c 2180211        6086580        1663329051     615402232      0              0              5   22   12    
245.33/245.40	c 2398298        6700702        1827946902     674260341      0              0              4   22   12    
268.53/268.69	c 2638193        7347603        2006646620     737434989      0              0              5   21   12    
294.82/294.90	c 2902077        8066932        2206983098     808384615      0              0              5   23   11    
321.42/321.55	c 3192349        8855753        2419729051     879680426      0              0              4   23   12    
353.71/353.84	c 3511648        9755609        2662449947     969654981      0              0              4   23   12    
389.51/389.66	c 3862876        10714682       2929027071     1070517120     0              0              5   24   12    
431.50/431.68	c 4249226        11827116       3230687139     1189995015     0              0              4   23   11    
474.80/474.96	c 4674211        12966419       3549248412     1310088845     0              0              4   22   12    
519.29/519.49	c 5141694        14275387       3897525694     1432805825     0              0              4   23   12    
571.68/571.83	c 5655925        15720375       4291085448     1578129687     0              0              4   25   12    
629.17/629.34	c 6221579        17318486       4724862731     1736944004     0              0              4   24   12    
689.57/689.75	c 6843798        19044744       5187413285     1904757347     0              0              4   24   12    
755.36/755.56	c 7528238        20909997       5696272306     2085969991     0              0              5   23   12    
832.96/833.14	c 8281122        22998971       6269337833     2301463606     0              0              4   23   12    
914.44/914.69	c 9109294        25302553       6890024490     2527431309     0              0              4   24   11    
1008.72/1008.93	c 10020283       27915633       7588366001     2791269984     0              0              3   23   12    
1108.31/1108.59	c 11022370       30509740       8334541361     3064740481     0              0              4   22   11    
1219.69/1219.99	c 12124665       33518593       9168811571     3373365293     0              0              4   24   11    
1337.38/1337.64	c 13337189       36877572       10071768662    3699993291     0              0              3   22   12    
1474.87/1475.18	c 14670965       40555861       11095518524    4085926583     0              0              4   23   12    
1626.94/1627.20	c 16138118       44748739       12223694083    4509762941     0              0              3   25   12    
1794.22/1794.53	c 17751986       49186832       13463185527    4980366432     0              0              4   23   12    
1973.89/1974.27	c 19527240       54080122       14808178618    5478270745     0              0              3   23   11    
2172.68/2173.05	c 21480019       59352926       16294168452    6025823446     0              0              3   22   11    
2395.54/2395.90	c 23628075       65573234       17951118561    6646775040     0              0              3   24   12    
2519.64/2520.00	
2519.64/2520.00	c *** INTERRUPTED ***
2519.64/2520.00	c restarts              : 106         
2519.64/2520.00	c conflicts             : 24941051     (9899 /sec)
2519.64/2520.00	c decisions             : 69156817     (27447 /sec)
2519.64/2520.00	c propagations          : 6985935053  (2772595 /sec)
2519.64/2520.00	c root propagations     : 0           
2519.64/2520.00	c filter calls          : 18922189422    (7509884 /sec)
2519.64/2520.00	c useless filter calls  : 15188292363    (80 %)
2519.64/2520.00	c Memory used           : 27.41 MB
2519.64/2520.00	c CPU time              : 2519.64 s
2519.64/2520.00	
2519.64/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 (2259 MiB free)
  memory of node 1: 16384 MiB (6356 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295693-1532563573/watcher-4295693-1532563573 -o /tmp/evaluation-result-4295693-1532563573/solver-4295693-1532563573 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27478 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295693-1532563573.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
solver pid=31362, runsolver pid=31359
Current StackSize limit: 8192 KiB


[startup+0.100246 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 31363
/proc/meminfo: memFree=8822520/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=27556 memory=3844 CPUtime=0.1 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 1133 0 0 0 10 0 0 0 20 0 1 0 73920123 28217344 961 33554432000 4194304 6142532 140723323410592 140723323407240 5800650 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 6889 961 789 476 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27556 KiB
Current children cumulated memory: 3844 KiB

[startup+0.209279 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 31363
/proc/meminfo: memFree=8821868/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=27932 memory=4220 CPUtime=0.21 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 1236 0 0 0 21 0 0 0 20 0 1 0 73920123 28602368 1055 33554432000 4194304 6142532 140723323410592 140723323407240 140172565068773 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 6983 1055 789 476 0 305 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27932 KiB
Current children cumulated memory: 4220 KiB

[startup+0.308787 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 31363
/proc/meminfo: memFree=8821868/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4480 CPUtime=0.31 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 1307 0 0 0 31 0 0 0 20 0 1 0 73920123 28737536 1120 33554432000 4194304 6142532 140723323410592 140723323407240 5170096 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1120 801 476 0 338 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4480 KiB

[startup+0.700239 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31363
/proc/meminfo: memFree=8821620/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4480 CPUtime=0.69 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 1307 0 0 0 69 0 0 0 20 0 1 0 73920123 28737536 1120 33554432000 4194304 6142532 140723323410592 140723323407992 4995676 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1120 801 476 0 338 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4480 KiB

[startup+1.50023 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31363
/proc/meminfo: memFree=8821496/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4480 CPUtime=1.49 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 1307 0 0 0 149 0 0 0 20 0 1 0 73920123 28737536 1120 33554432000 4194304 6142532 140723323410592 140723323407992 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1120 801 476 0 338 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4480 KiB

[startup+3.10919 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31363
/proc/meminfo: memFree=8821516/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=3.09 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 1563 0 0 0 309 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995568 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+6.30021 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31363
/proc/meminfo: memFree=8821416/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=6.28 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 1819 0 0 0 628 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 5336759 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 31363
/proc/meminfo: memFree=8821540/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=12.68 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 2075 0 0 0 1268 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995528 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 31363
/proc/meminfo: memFree=8821544/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=25.48 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 2587 0 0 0 2548 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4990616 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+51.1089 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 31363
/proc/meminfo: memFree=8821420/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=51.08 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 2843 0 0 0 5108 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995568 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 31364
/proc/meminfo: memFree=8821388/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=102.26 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 3099 0 0 0 10226 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995872 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 31365
/proc/meminfo: memFree=8821332/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=162.25 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 3355 0 0 0 16225 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 5336753 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31366
/proc/meminfo: memFree=8821176/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=222.24 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 3611 0 0 0 22224 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995676 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 222.24 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 31376
/proc/meminfo: memFree=8820572/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=282.22 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 3867 0 0 0 28222 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+342.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/189 31377
/proc/meminfo: memFree=8820904/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=342.21 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 4123 0 0 0 34221 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 342.21 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+402.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/189 31378
/proc/meminfo: memFree=8821384/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=402.21 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 4379 0 0 0 40221 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 5326531 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/189 31379
/proc/meminfo: memFree=8821208/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=462.2 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 4635 0 0 0 46220 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 5170000 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB


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

/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 1722.03 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+1782.3 s]
/proc/loadavg: 1.96 2.01 2.04 3/187 31480
/proc/meminfo: memFree=8814392/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=1782.02 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 10157 0 0 0 178202 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4991100 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 1782.02 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+1842.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 31481
/proc/meminfo: memFree=8814568/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=1842.01 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 10412 0 0 0 184201 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 1842.01 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31482
/proc/meminfo: memFree=8814884/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=1902 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 10655 0 0 0 190200 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995568 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 1902 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31483
/proc/meminfo: memFree=8814952/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=1961.99 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 10898 0 0 0 196199 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995332 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 1961.99 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31484
/proc/meminfo: memFree=8815128/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2021.99 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 11155 0 0 0 202199 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995379 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2021.99 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 31492
/proc/meminfo: memFree=8814148/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2081.98 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 11399 0 0 0 208198 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995483 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2081.98 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2142.3 s]
/proc/loadavg: 2.15 2.04 2.05 3/187 31493
/proc/meminfo: memFree=8814332/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2141.97 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 11643 0 0 0 214197 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 5347440 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2141.97 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2202.3 s]
/proc/loadavg: 2.29 2.12 2.08 3/187 31494
/proc/meminfo: memFree=8814300/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2201.96 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 11899 0 0 0 220196 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995353 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2201.96 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2262.3 s]
/proc/loadavg: 2.11 2.10 2.07 3/187 31495
/proc/meminfo: memFree=8814256/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2261.96 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 12143 0 0 0 226196 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 5336753 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2261.96 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2322.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/187 31496
/proc/meminfo: memFree=8814320/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2321.95 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 12387 0 0 0 232195 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995568 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2321.95 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/187 31497
/proc/meminfo: memFree=8814132/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2381.94 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 12631 0 0 0 238194 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995350 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2381.94 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 31498
/proc/meminfo: memFree=8814060/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2441.93 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 12887 0 0 0 244193 0 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2441.93 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31499
/proc/meminfo: memFree=8814252/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2501.94 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 13131 0 0 0 250193 1 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2501.94 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 31499
/proc/meminfo: memFree=8814560/32770624 swapFree=67108860/67108860
[pid=31362] ppid=31359 vsize=28064 memory=4604 CPUtime=2519.64 cores=0,2,4,6
/proc/31362/stat : 31362 (cosoco) R 31359 31362 27447 0 -1 4202496 13375 0 0 0 251963 1 0 0 20 0 1 0 73920123 28737536 1151 33554432000 4194304 6142532 140723323410592 140723323407992 4995568 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 22753280 140723323417734 140723323417864 140723323417864 140723323420622 0
/proc/31362/statm: 7016 1151 831 476 0 338 0
Current children cumulated CPU time: 2519.64 s
Current children cumulated vsize: 28064 KiB
Current children cumulated memory: 4604 KiB

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

[startup+2520.01 s]
# the end of solver process 31362 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.64 s, system=0.011998 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): 2519.65
CPU user time (s): 2519.64
CPU system time (s): 0.011998
CPU usage (%): 99.9857
Max. virtual memory (cumulated for all children) (KiB): 28064
Max. memory (cumulated for all children) (KiB): 4604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.64
system time used= 0.011998
maximum resident set size= 4668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13423
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= 3141


# summary of solver processes directly reported to runsolver:
#   pid: 31362
#   total CPU time (s): 2519.65
#   total CPU user time (s): 2519.64
#   total CPU system time (s): 0.011998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.16968 second user time and 15.616 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-26 02:06:13
IDJOB=4295693
IDBENCH=141591
IDSOLVER=2752
FILE ID=node106/4295693-1532563573
RUNJOBID= node106-1532535025-27478
PBS_JOBID= 21021947
Free space on /tmp= 46236 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/Frb/frb-53-24-2-mgd_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295693-1532563573/watcher-4295693-1532563573 -o /tmp/evaluation-result-4295693-1532563573/solver-4295693-1532563573 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27478 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4295693-1532563573.xml

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

MD5SUM BENCH= efa4ad1e7c4e0975e1666af510b5ab46
RANDOM SEED=1258989944

node106.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.11
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.11
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.11
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.11
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:         8822988 kB
MemAvailable:   31928396 kB
Buffers:          286232 kB
Cached:         22713672 kB
SwapCached:            0 kB
Active:          2817156 kB
Inactive:       20242096 kB
Active(anon):      61232 kB
Inactive(anon):    25252 kB
Active(file):    2755924 kB
Inactive(file): 20216844 kB
Unevictable:        6944 kB
Mlocked:            6944 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2852 kB
Writeback:             0 kB
AnonPages:         79908 kB
Mapped:            42236 kB
Shmem:             25228 kB
Slab:             588028 kB
SReclaimable:     561100 kB
SUnreclaim:        26928 kB
KernelStack:        3568 kB
PageTables:         4940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 46232 MiB
End job on node106 at 2018-07-26 02:48:13