Trace number 4407996

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2520.03 2519.8

General information on the benchmark

NameLatinSquare/LatinSquare-xcsp2-qcp25/
qcp-25-264-08_X2.xml
MD5SUMe61b201f6225aab3795ad5f045ee307f
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 benchmark7.73665
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints15000
Number of domains26
Minimum domain size1
Maximum domain size25
Distribution of domain sizes[{"size":1,"count":361},{"size":25,"count":264}]
Minimum variable degree48
Maximum variable degree48
Distribution of variable degrees[{"degree":48,"count":625}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":15000}]
Number of extensional constraints15000
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":15000}]
Optimization problemNO
Type of objective

Solver Data 

0.40/0.42	c root propagations     : 5440        
0.40/0.42	c restarts enabled, print stats at every restarts
0.40/0.42	c
0.40/0.42	c
0.40/0.42	c
0.40/0.42	c This is cosoco 2.00 --  
0.40/0.42	c
0.40/0.42	c command line: cosoco -lc -model -restarts -stick HOME/instance-4407996-1569811301.xml 
0.40/0.42	c ========================================[ Problem Statistics ]===========================================
0.40/0.42	c |                                                                                                       
0.40/0.42	c |  Parse time        :         0.40 s 
0.40/0.42	c |
0.40/0.42	c |               Variables: 625
0.40/0.42	c |            Domain Sizes: 1..25
0.40/0.42	c |
0.40/0.42	c |             Constraints: 15000
0.40/0.42	c |                   Arity: 2..2  -- Binary: 15000
0.40/0.42	c | 
0.40/0.42	c |                   Types: 
0.40/0.42	c |                          Extension: 15000  (nb tuples: 0..25) -- (shared: 9458)
0.40/0.42	c |                          
0.40/0.42	c =========================================================================================================
0.40/0.42	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.40/0.44	c 101            731            168822         12332          264            0              408   437   417
0.40/0.46	c 211            1574           330967         19469          264            0              407   460   411
0.40/0.49	c 332            2499           545275         29848          264            0              26   473   206 
0.50/0.52	c 465            3105           813793         43060          264            0              37   78   53   
0.50/0.57	c 611            4292           1340557        70406          264            0              25   102   69  
0.60/0.62	c 771            5380           1843259        98454          264            0              52   83   67   
0.60/0.68	c 947            6588           2467473        131770         264            0              48   81   67   
0.69/0.73	c 1140           7505           2952166        161520         264            0              62   91   75   
0.69/0.78	c 1352           8707           3415088        184910         264            0              11   92   50   
0.79/0.82	c 1585           9907           3893988        212148         264            0              39   96   66   
0.79/0.89	c 1841           11533          4539980        247906         264            0              31   71   48   
0.89/0.97	c 2122           13615          5348915        289572         264            0              31   83   63   
1.00/1.08	c 2431           15869          6403521        343192         264            0              8   92   68    
1.19/1.22	c 2770           19453          7818677        412599         264            0              8   114   79   
1.29/1.30	c 3142           21495          8550836        448212         264            0              39   98   65   
1.39/1.44	c 3551           25297          9914186        515702         264            0              43   121   77  
1.59/1.64	c 4000           30099          11854702       611047         264            0              43   115   84  
1.69/1.80	c 4493           34137          13379717       689911         264            0              65   109   88  
2.00/2.04	c 5035           40124          15676870       800811         264            0              55   105   84  
2.19/2.22	c 5631           44862          17489027       894250         264            0              64   116   90  
2.39/2.40	c 6286           49960          19259746       984355         264            0              31   83   66   
2.59/2.66	c 7006           56223          21767629       1114933        264            0              56   101   76  
2.79/2.86	c 7798           61957          23714935       1212758        264            0              38   106   74  
3.10/3.12	c 8669           68595          26299608       1341665        264            0              54   125   90  
3.39/3.48	c 9627           78272          29701706       1503771        264            0              39   121   82  
3.79/3.81	c 10680          86734          32984304       1678662        264            0              62   115   85  
4.10/4.16	c 11838          95967          36217967       1845147        264            0              32   110   72  
4.49/4.55	c 13111          107602         39819177       2023198        264            0              12   112   72  
5.00/5.05	c 14511          120896         44681650       2270212        264            0              54   136   90  
5.49/5.50	c 16051          133083         49062798       2505826        264            0              43   113   91  
5.89/5.98	c 17745          147118         53683668       2738605        264            0              56   117   88  
6.59/6.62	c 19608          165194         59743298       3044804        264            0              17   117   86  
7.29/7.37	c 21657          184287         67120814       3425855        264            0              45   118   87  
8.10/8.18	c 23910          205440         74915065       3830869        264            0              35   123   84  
8.89/8.99	c 26388          227718         82839869       4222772        264            0              65   131   100 
9.79/9.88	c 29113          251319         91674269       4672532        264            0              62   126   94  
10.79/10.85	c 32110          276319         101314640      5177816        264            0              59   123   90  
11.68/11.74	c 35406          302845         110755841      5687297        264            0              32   121   85  
12.78/12.82	c 39031          339331         122393981      6255170        264            0              63   145   104 
13.99/14.02	c 43018          374865         135237648      6937686        264            0              25   128   85  
15.18/15.29	c 47403          414606         149301168      7677329        264            0              53   137   95  
16.68/16.76	c 52226          465935         164930188      8439652        264            0              48   147   88  
17.68/17.78	c 57531          501681         175702009      8987085        264            0              12   103   56  
19.78/19.85	c 63366          568040         198313956      10125834       264            0              60   154   103 
21.48/21.58	c 69784          627424         218080904      11146719       264            0              11   138   99  
23.48/23.51	c 76843          701264         242740546      12377216       264            0              48   133   90  
25.28/25.35	c 84607          768919         266222465      13611089       264            0              48   129   89  
27.38/27.43	c 93147          850883         292429416      14955816       264            0              44   136   87  
30.09/30.16	c 102541         958814         326851488      16679800       264            0              46   160   92  
32.87/32.97	c 112874         1073845        363043161      18454366       264            0              50   147   98  
35.88/35.93	c 124240         1186984        401887913      20356893       264            0              58   143   101 
39.08/39.11	c 136742         1314142        442786737      22425893       264            0              41   125   82  
42.18/42.21	c 150494         1434233        483148693      24549518       264            0              36   123   83  
45.58/45.65	c 165621         1559355        531401635      27283212       264            0              49   130   86  
49.88/49.94	c 182260         1718089        591670429      30410238       264            0              38   144   98  
55.09/55.12	c 200562         1916915        662431568      34056588       264            0              38   141   83  
59.78/59.86	c 220694         2105406        727046843      37423116       264            0              42   116   82  
66.18/66.21	c 242839         2349956        814587299      41881864       264            0              40   138   89  
72.38/72.42	c 267198         2590300        898625545      46237129       264            0              41   126   82  
79.58/79.68	c 293992         2861523        999196238      51379279       264            0              53   135   88  
85.59/85.66	c 323465         3090957        1080868022     55673120       264            0              43   129   86  
92.99/93.04	c 355885         3392770        1182739698     60851753       264            0              44   140   96  
101.39/101.42	c 391547         3760148        1295273401     66300366       264            0              35   132   92  
109.49/109.52	c 430775         4080114        1403575001     71885925       264            0              19   109   71  
118.69/118.75	c 473925         4473898        1524973630     78016548       264            0              29   114   69  
123.89/123.96	c 521390         4699376        1592417287     81321016       264            0              13   106   40  
135.10/135.15	c 573601         5132066        1742458878     89262655       264            0              17   102   65  
149.29/149.36	c 631033         5656481        1934300386     99735263       264            0              29   107   64  
158.39/158.43	c 694208         6047068        2052960040     105531483      264            0              7   88   54    
172.00/172.03	c 763700         6568887        2235978707     114779632      264            0              19   146   61  
187.00/187.01	c 840141         7178212        2435713221     124659779      264            0              35   111   69  
205.90/206.00	c 924226         7911313        2696434124     138002680      264            0              8   127   83   
225.40/225.41	c 1016719        8660923        2963203618     151333418      264            0              26   114   77  
246.20/246.25	c 1118461        9457627        3249401896     165833358      264            0              30   138   79  
271.80/271.84	c 1230377        10338614       3598958457     184732395      264            0              29   130   66  
298.31/298.32	c 1353484        11294673       3969989472     203268521      264            0              22   122   84  
330.31/330.32	c 1488901        12557213       4408923215     225392522      264            0              36   137   83  
367.71/367.79	c 1637859        13979642       4922146551     251343529      264            0              30   115   80  
404.42/404.41	c 1801712        15364430       5423430814     277064327      264            0              31   115   70  
438.62/438.68	c 1981950        16652368       5894141357     300797013      264            0              35   120   79  
484.72/484.74	c 2180211        18418799       6529843126     332571728      264            0              32   130   78  
541.33/541.37	c 2398298        20628741       7302267357     371342395      264            0              23   138   79  
600.33/600.36	c 2638193        22896253       8109222482     411827266      264            0              28   168   82  
652.94/652.96	c 2902077        24945608       8822905164     448111257      264            0              29   129   75  
720.65/720.69	c 3192349        27602986       9751883119     496036966      264            0              35   126   81  
796.75/796.72	c 3511648        30569004       10791832056    548809826      264            0              28   133   80  
854.76/854.75	c 3862876        32770850       11582446305    590185088      264            0              41   114   74  
936.57/936.50	c 4249226        36086316       12664081143    644940834      264            0              16   137   66  
1026.77/1026.72	c 4674211        39613352       13893107385    707505469      264            0              23   116   77  
1138.39/1138.31	c 5141694        44061913       15406402069    782761192      264            0              37   141   82  
1266.70/1266.60	c 5655925        49154568       17156882122    869363547      264            0              35   152   89  
1407.61/1407.52	c 6221579        54750974       19084643050    964805461      264            0              33   169   91  
1552.62/1552.53	c 6843798        60409010       21060873236    1067790844     264            0              30   136   86  
1703.74/1703.65	c 7528238        66184294       23174352336    1176252375     264            0              45   133   95  
1865.26/1865.15	c 8281122        73022108       25337859666    1283326618     264            0              6   130   82   
2033.28/2033.16	c 9109294        80219468       27615297578    1399082802     264            0              34   143   83  
2230.79/2230.60	c 10020283       88520893       30262657407    1530695585     264            0              7   151   77   
2456.82/2456.66	c 11022370       97879416       33376663231    1687576980     264            0              34   157   100 
2520.02/2519.80	
2520.02/2519.80	c *** INTERRUPTED ***
2520.02/2519.80	c restarts              : 98          
2520.02/2519.80	c conflicts             : 11251769     (4465 /sec)
2520.02/2519.80	c decisions             : 100290910    (39798 /sec)
2520.02/2519.80	c propagations          : 1731922143  (687274 /sec)
2520.02/2519.80	c root propagations     : 5440        
2520.02/2519.80	c filter calls          : 34248660398    (13590804 /sec)
2520.02/2519.80	c useless filter calls  : 32728564030    (95 %)
2520.02/2519.80	c Memory used           : 73.56 MB
2520.02/2519.80	c CPU time              : 2519.99 s
2520.02/2519.80	c real time             : 2519.8 s
2520.02/2519.80	
2520.02/2519.80	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 (12255 MiB free)
  memory of node 1: 16384 MiB (15639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407996-1569811301/watcher-4407996-1569811301 -o /tmp/evaluation-result-4407996-1569811301/solver-4407996-1569811301 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407996-1569811301.xml 

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

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

solver pid=30459, runsolver pid=30456

[startup+0.100142 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 30460
/proc/meminfo: memFree=28559844/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=38756 memory=15040 CPUtime=0.1 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 3926 0 0 0 10 0 0 0 20 0 1 0 557291604 39686144 3760 33554432000 4194304 6211132 140729830594528 140729830591800 140053359713253 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 9689 3760 808 493 0 2994 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38756 KiB
Current children cumulated memory: 15040 KiB

[startup+0.209744 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 30460
/proc/meminfo: memFree=28542476/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=50408 memory=26656 CPUtime=0.2 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 6848 0 0 0 20 0 0 0 20 0 1 0 557291604 51617792 6664 33554432000 4194304 6211132 140729830594528 140729830591800 5741250 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 12602 6664 808 493 0 5907 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50408 KiB
Current children cumulated memory: 26656 KiB

[startup+0.309659 s]*
/proc/loadavg: 2.00 2.00 2.04 3/200 30460
/proc/meminfo: memFree=28539500/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=52344 memory=28504 CPUtime=0.3 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 7319 0 0 0 30 0 0 0 20 0 1 0 557291604 53600256 7126 33554432000 4194304 6211132 140729830594528 140729830591800 140053359722352 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 13086 7126 808 493 0 6391 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 52344 KiB
Current children cumulated memory: 28504 KiB

[startup+0.700333 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30460
/proc/meminfo: memFree=28516064/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51652 CPUtime=0.69 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 13148 0 0 0 68 1 0 0 20 0 1 0 557291604 77127680 12913 33554432000 4194304 6211132 140729830594528 140729830592488 5017274 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12913 854 493 0 12135 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51652 KiB

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30460
/proc/meminfo: memFree=28515916/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51652 CPUtime=1.49 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 13148 0 0 0 148 1 0 0 20 0 1 0 557291604 77127680 12913 33554432000 4194304 6211132 140729830594528 140729830592488 5389460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12913 854 493 0 12135 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51652 KiB

[startup+3.10949 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30460
/proc/meminfo: memFree=28515816/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51828 CPUtime=3.1 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 21350 0 0 0 308 2 0 0 20 0 1 0 557291604 77127680 12957 33554432000 4194304 6211132 140729830594528 140729830592488 5017569 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12957 854 493 0 12135 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51828 KiB

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30460
/proc/meminfo: memFree=28515528/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51828 CPUtime=6.29 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 29555 0 0 0 627 2 0 0 20 0 1 0 557291604 77127680 12957 33554432000 4194304 6211132 140729830594528 140729830592488 5009095 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12957 854 493 0 12135 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51828 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30460
/proc/meminfo: memFree=28514212/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51848 CPUtime=12.68 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 37764 0 0 0 1266 2 0 0 20 0 1 0 557291604 77127680 12962 33554432000 4194304 6211132 140729830594528 140729830592488 5008958 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12962 854 493 0 12135 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51848 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30462
/proc/meminfo: memFree=28514548/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51848 CPUtime=25.48 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 46137 0 0 0 2546 2 0 0 20 0 1 0 557291604 77127680 12962 33554432000 4194304 6211132 140729830594528 140729830592488 5009195 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12962 854 493 0 12135 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51848 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30463
/proc/meminfo: memFree=28514648/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=51.09 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 47742 0 0 0 5106 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5391155 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30466
/proc/meminfo: memFree=28513764/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=102.29 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 47969 0 0 0 10226 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017569 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30472
/proc/meminfo: memFree=28513788/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=162.29 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 48196 0 0 0 16226 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5409485 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30476
/proc/meminfo: memFree=28514568/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=222.3 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 48422 0 0 0 22227 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017263 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 30480
/proc/meminfo: memFree=28513988/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=282.3 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 48423 0 0 0 28227 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5009107 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 30486
/proc/meminfo: memFree=28513904/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=342.31 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 48650 0 0 0 34228 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017472 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 30511
/proc/meminfo: memFree=28512996/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=402.32 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 48650 0 0 0 40229 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017252 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 30516
/proc/meminfo: memFree=28514960/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=462.32 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 48875 0 0 0 46229 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5389476 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB


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

/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/199 30669
/proc/meminfo: memFree=28512872/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=1782.44 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 51338 0 0 0 178241 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5008994 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 1782.44 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 30673
/proc/meminfo: memFree=28512980/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=1842.45 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 51338 0 0 0 184242 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5390097 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 30677
/proc/meminfo: memFree=28512740/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=1902.46 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 51563 0 0 0 190243 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5397407 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+1962.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/199 30868
/proc/meminfo: memFree=28364344/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=1962.46 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 51563 0 0 0 196243 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5409508 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2022.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/199 30872
/proc/meminfo: memFree=28364908/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2022.47 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 51760 0 0 0 202244 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5008918 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2082.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 30876
/proc/meminfo: memFree=28364396/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2082.47 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 51790 0 0 0 208244 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017248 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30882
/proc/meminfo: memFree=28365092/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2142.48 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 52003 0 0 0 214245 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017491 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30886
/proc/meminfo: memFree=28365244/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2202.48 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 52003 0 0 0 220245 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017252 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2202.48 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30890
/proc/meminfo: memFree=28365576/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2262.49 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 52228 0 0 0 226246 3 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5409481 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30896
/proc/meminfo: memFree=28364748/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2322.5 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 52228 0 0 0 232246 4 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017569 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2322.5 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30907
/proc/meminfo: memFree=28365064/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2382.51 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 52418 0 0 0 238247 4 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017274 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2382.51 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30911
/proc/meminfo: memFree=28364476/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2442.52 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 52420 0 0 0 244248 4 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017252 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2442.52 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30917
/proc/meminfo: memFree=28364432/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2502.52 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 52646 0 0 0 250248 4 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017549 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2502.52 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 30918
/proc/meminfo: memFree=28364504/32770624 swapFree=67002732/67108860
[pid=30459] ppid=30456 vsize=75320 memory=51852 CPUtime=2520.02 cores=0,2,4,6
/proc/30459/stat : 30459 (cosoco) R 30456 30459 25748 0 -1 4202496 52646 0 0 0 251998 4 0 0 20 0 1 0 557291604 77127680 12963 33554432000 4194304 6211132 140729830594528 140729830592488 5017274 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 14630912 140729830601739 140729830601841 140729830601841 140729830604750 0
/proc/30459/statm: 18830 12963 854 493 0 12135 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 75320 KiB
Current children cumulated memory: 51852 KiB

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

[startup+2519.8 s]
# the end of solver process 30459 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.99 s, system=0.042004 s

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

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.03
CPU user time (s): 2519.99
CPU system time (s): 0.042004
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 75320
Max. memory (cumulated for all children) (KiB): 51852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.99
system time used= 0.042004
maximum resident set size= 51916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52683
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= 31
involuntary context switches= 632


# summary of solver processes directly reported to runsolver:
#   pid: 30459
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.99
#   total CPU system time (s): 0.042004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.44167 second user time and 17.0586 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-30 04:41:03
IDJOB=4407996
IDBENCH=139111
IDSOLVER=2874
FILE ID=node148/4407996-1569811301
RUNJOBID= node148-1569787355-25779
PBS_JOBID= 21705817
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-08_X2.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4407996-1569811301/watcher-4407996-1569811301 -o /tmp/evaluation-result-4407996-1569811301/solver-4407996-1569811301 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4407996-1569811301.xml

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

MD5SUM BENCH= e61b201f6225aab3795ad5f045ee307f
RANDOM SEED=1445533790

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.13
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:        28563308 kB
MemAvailable:   31867944 kB
Buffers:          169192 kB
Cached:          3473720 kB
SwapCached:         3492 kB
Active:          2247100 kB
Inactive:        1407692 kB
Active(anon):      25256 kB
Inactive(anon):    67036 kB
Active(file):    2221844 kB
Inactive(file):  1340656 kB
Unevictable:      110976 kB
Mlocked:          110976 kB
SwapTotal:      67108860 kB
SwapFree:       67002732 kB
Dirty:              3240 kB
Writeback:             0 kB
AnonPages:        120728 kB
Mapped:            27916 kB
Shmem:             71796 kB
Slab:             144996 kB
SReclaimable:     115940 kB
SUnreclaim:        29056 kB
KernelStack:        3536 kB
PageTables:         5544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     574792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62024 MiB
End job on node148 at 2019-09-30 05:23:03